论文部分内容阅读
将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3＊中由公式导出的三值R0函数的展开式,给出了L3＊中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3＊中对称逻辑公式的构造方法.
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
【摘 要】
：
将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3＊中由公式导出的三值R0函数的展开式,给出了L3＊中逻辑公式的准析取范式和准合取范式表示.研究了n
【机 构】
：
江西财经大学统计学院,陕西师范大学数学与信息科学学院
【出 处】
：
计算机学报
【发表日期】
：
2013年4期
【基金项目】
：
国家自然科学基金（11171200,61005046,61103133）, 教育部高等学校博士学科点专项科研资金（20100202120012）资助
其他文献
在今天，新技术日新月异，国内外市场竞争激素的时代里，信息和科学技术一样，作为一种生产力受到人们的极大重视。必须靠情报信息创新、靠情报信息创业、靠情报信息致富，现已被多数国
有一个朋友和我讨论，什么是婚姻中最重要的。我说，人生观一致。朋友不屑一顾，说我老土。可事实证明，除了爱，相近的人生观的确是幸福婚姻最重要的因素。 假如你是一个一心想出人头地的人，为了事业的成功可以牺牲时间、精力，甚至牺牲友情、善良和正义，那也没关系，如果你的另一半和你一样，抱着为了成功可以不择手段的想法，那么你们就会像一对优秀的合作伙伴，可以每晚都一起密谋。当然，由此引发的法律和道德问题不在本文
在美国威斯康星州的一个小镇，有一个清寒的家庭，因为父亲早逝，母亲带着四个孩子辛苦地过日子。平常，母亲就到附近的牛奶工厂打工，赚钱勉强糊口。大哥自从上中学就开始半工半读，放学
【关键词】安徽省 馆藏书画 安徽省位于华东腹地，清初属江南省，康熙6年（公元1667年），析江南省为江苏、安徽两省而正式建省，取当时安庆、徽州两府首字得名。安徽自古物华天宝，人文荟萃，英才辈出。如北宋著名的文人画家李公麟，《宣和画谱》记载曰：集众所善，以为己有，更自立意，专为一家，若不蹈袭前人，而实阴法其要。其所绘《五马图》黄庭坚在后跋：“……盖神骏精魄皆为伯时（李公麟的字）笔端取之而去……
这些地方，是一种梦想。极，顶点；尽头。致，情趣。不知道行走在这样一些散落在世界角落的小地方算不算一种极致。——除了极致，想不出别的词来赞叹它们。当我们遐想时，我们在向往中心
针对事务和数据的实时特性,给出了具有入侵容忍能力的实时数据库系统的体系架构.基于实时性的要求和入侵检测存在的延迟,提出了半马尔可夫评价模型,对实时数据库在入侵容忍条
图的Fielder向量在许多应用领域扮演着重要角色，包括矩阵重排、图的分割、蛋白质分析、数据挖掘、机器学习与网络搜索等．但一般认为，计算Fiedler向量是很耗时的，因为其牵涉到特征
压缩感知理论利用图像表示的稀疏先验知识,可以从远小于奈奎斯特抽样率的抽样点中重构图像.图像的稀疏表示和稀疏性度量是影响图像重构性能的两个重要因素.为获得更好的图像稀疏表示,文中根据简单细胞感受野特性,将圆对称轮廓波的一个倍频程尺度分裂为径向带宽比为1.414的两个尺度,构造出双密度圆对称轮廓波变换(DDCSCT).根据DDCSCT的联合分布特性,利用二元分布模型获得了压缩传感图像重构的二阶稀疏性度