论文部分内容阅读
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
三值乘积逻辑系统π3中的随机化研究
【摘 要】
：
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立
【机 构】
：
聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年14期
【基金项目】
：
国家自然科学基金No.60875034~~
其他文献
建立了风电增速箱输出级斜齿轮副的三维接触有限元模型,计算了静载荷作用下齿轮副的应力应变;基于齿轮材料的疲劳试验常数,计算了材料的近似S-N曲线;对风电增速箱真实载荷谱2
黑果枸杞作为一种天然果实,有“软黄金”之称。国内外大量实验研究发现,黑果枸杞对机体有一定的保健效能,备受人们的关注。本论文用青海省黑果枸杞的干果为原料,通过超声波辅
针对孤立的残留指纹往往具有清晰的纹路而不易被分割的问题,提出一种质量评估在残留指纹分割中的应用算法。该算法首先选取指纹图像的有效面积、干湿程度、位置偏移量作为评
从医学英语的教学目标出发,结合当前医学英语课堂枯燥乏味,医学生重阅读、轻交际的现状,主要从英语词汇教学及英语情境教学两个方面阐述如何帮助医学专业学生掌握基本的医学
安装工程造价是影响安装工程效益的重要因素之一,合理控制造价将使有限的资金发挥最大效益。本文结合安装工程特点,分析了工程造价的影响因素,进而提出控制对策。
非公企业是党执政的重要领域,尤其是在基层治理现代化的大背景下,随着组织覆盖和工作覆盖不断扩大,提升党组织作用发挥水平更为重要,事关非公企业党建的生命力,也事关基层治
<正>在信息化飞速发展的今天,信息技术存在于社会的各个部门和行业之中。它已经成为社会发展不可缺少的重要部分,我们的中学教育事业也不例外。多媒体技术应用在中学语文教学
对于高考语文的复习来说,老师几乎都是采用题海战术,让学生大量做题,以做题的数量来应对高考中的语文,期盼能够达到量变质的效果。然而这种复习方法带来的反面效果就是使学生
<正>上海师范大学比较文学与世界文学研究中心由著名外国文学史家朱雯教授、朱乃长教授等奠定根基,近十年来,该中心所依托的比较文学与世界文学专业经过比较文学专家孙景尧教
随着计算机科学技术近十年来的高速发展,现如今越来越多的相关技术被应用到各行各业当中。“军政科技化、国防信息化”也随着信息时代的潮流在各大军区展开,同时响应十八大“