论文部分内容阅读
本文对部分四值逻辑中3元正则可离关系的分类进行了研究。文章在固定BT算法模型下证明了几个图论问题的指数下界，探讨了其基本定义，阐述了主要结果。
关于部分四值逻辑中3元正则可离关系的分类
【摘 要】
：
本文对部分四值逻辑中3元正则可离关系的分类进行了研究。文章在固定BT算法模型下证明了几个图论问题的指数下界，探讨了其基本定义，阐述了主要结果。
【机 构】
：
湘潭大学信息工程学院,湘潭,411105
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年期
其他文献
研究表明,不仅内分泌而且自分泌/旁分泌产生的催乳素(prolactin,PRL)在体外细胞水平、体内多种转基因和基因敲除动物模型以及一定数量的人群流行病学调查水平上,均与乳腺肿瘤
目的:研究甲基苄肼诱发转基因小鼠MutaTMMouse主要致癌靶器官的cⅡ基因突变谱以及可能的致突变机理,为抗癌药物引发二次肿瘤提供风险-效益评估的依据。方法:甲基苄肼(150 mg.
从技术审评角度,提出目前以子宫内膜异位症为适应症的中药新药研究中应特别关注的几个问题:临床定位,腹腔镜检查诊断,疗程、对照组设置及安全性研究等。
From the technical
移动自组网络是一种自组织、多跳的无线网络,其特性使得移动Ad hoc网络面临着比现有网络更大的安全挑战,其中密钥管理服务是整个网络能够提供安全服务的基础也是难点.采用资
在信息论假定下,本文给出了主动性分享函数的定义和主动性可验证秘密分享及其鲁棒性的数学模型.在此基础上分析了给定一个单调扩张程序的一般性的设计的安全性,给出了实现鲁
目的:观察米氮平与SSRIs类抗抑郁药对伴有性功能障碍的男性抑郁症患者的治疗效果和不良反应情况及性功能随药物治疗的变化情况.方法:采用开放性非随机对照研究方法,将120例伴
本文介绍了CO2激光器工作气体的组成及工作原理,阐述了TLF12000t激光器的工作气体组成及其杂质气体对激光输出功率的影响.
KSR案是美国最高法院审理的为数不多的专利上诉案件之一,也是2007年最具影响的专利案件。该案对生物医药行业的专利尤其对纳米医药专利产生了极其重要的影响。本文分析了KSR
本文对工作流逻辑模型进行了分析。文章从工作流过程逻辑人手，用向量的形式来表示活动间的逻辑关系，利用迹(变迁序列)理论讨论了工作流的模型性质，并用规约的思想分析了结构的正