论文部分内容阅读
为确定部分四值逻辑的最小覆盖，根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论，对部分四值逻辑的最小覆盖进行分析，证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
P4^＊中保二元正则可离关系非最小覆盖的剔除
【摘 要】
：
为确定部分四值逻辑的最小覆盖，根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论，对部分四值逻辑的最小覆盖进行分析，证明了270个保二元正则可离关系
【机 构】
：
湖南理工学院数学系,湘潭大学信息工程学院
【出 处】
：
山东大学学报：理学版
【发表日期】
：
2008年12期
【基金项目】
：
国家自然科学基金资助项目（606731931）,湖南省教育厅重点资助项目（07A067）,湖南省教育厅资助项目（08C390）
其他文献
通过数值模拟试验，分析研究了聚集效应对离散的宿主-寄生物相互作用种群模型的影响，结果表明聚集效应能明显提高系统的稳定性，有利于种群的稳定共存。
基于目前细化和特征点提取的实现方法,提出了改进的分组细化方法和远端拐点法。改进的分组细化法能够在细化过程中,根据分组数标记字符图像中分叉点的类型,为后续的拐点提取做准备。给出了一种快速提取汉字拐点的方法远端拐点法。实验结果表明,该方法能够较好地提取笔段,特征点提取的正确率达到98.6%。
结合分离原理和处理LQ问题的通常技术，给出了一类部分可观测信息下不定LQ问题可解的充分条件.
在医疗卫生体制改革不断深化的大环境下,医院宣传工作的职责、范围也在不断地变革之中。伴随社会注意市场经济不断变革变化,人们对于精神生活的追求也日益加深,对于医疗的需
建立了双枝模糊集并一表现定理，讨论了双枝模糊集的运算性质．结果表明：双枝模糊集表现定理是单枝模糊集表现定理的一般形式，单枝模糊集表现定理是双枝模糊集表现定理的特例．
随着公共财政预算制度的不断改革,国库集中收付制度的不断完善,公务卡制度作为一种制度创新,虽然具有携带方便、使用便捷、透明度高的特点,并也得到了广泛认可,但是,在使用过
研究了Halin图的有点面约束的边染色，给出了Halin图的有点面约束的边染色色数的一个精确结果。