论文部分内容阅读
吴洪博博士将王国俊教授在尺。逻辑系统中的广义重言式理论推广到Goedel逻辑系统中，通过定义两个同构映射，得到其逻辑系统F（s）的一个分划。将这一理论推广到区间值模糊命题逻辑系统中，定义了两个新的区间同构映射，最终得到区间值逻辑系统F（S）的一个分划。
Gdel区间值逻辑系统的广义拟重言式
【摘 要】
：
吴洪博博士将王国俊教授在尺。逻辑系统中的广义重言式理论推广到Goedel逻辑系统中，通过定义两个同构映射，得到其逻辑系统F（s）的一个分划。将这一理论推广到区间值模糊命题逻辑系
【机 构】
：
河南师范大学计算机与信息技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年6期
【基金项目】
：
河南省自然科学基金（the Natural Science Foundation of Henan Province of China under Grant No.0611053900）
其他文献
为开发具有可复用性、可扩展性的高质量软件,探讨了基于UML的面向对象分析方法的设计过程,并以'心电记录仪'为例给出用UML语言为嵌入式系统建模的方法,结果表明:UML
反腐倡廉制度建设本身就是一种政治体制改革,是整个政治体制改革的重要组成部分,甚至是关键性组成部分,必须以更大的决心和勇气积极推进政治体制改革,为反腐倡廉制度建设创造
高校辅导员是我国高校对大学生进行教育的骨干力量,在实际工作中辅导员如能较好的将学生干部团结在自己的周围,形成一个强有力的工作团体,将会给自己工作的顺利开展带来很大
为了提取带钢表面缺陷特征,首先需要正确检测缺陷边缘。针对现有方法对于光照不均和复杂背景条件下噪声抑制以及保持图像细节方面的不足,提出一种新的基于序列滤波器的边缘检测方法。先将缺陷图片进行中值滤波,然后在新的滤波器窗口相对于中心元素计算总变差,结果图像作为预处理图像送入Canny边缘探测器进行边缘检测,最后采用形态学方法进行光滑处理,得到完整的缺陷边缘。实验表明该方法具有较强的抑制噪声能力,有效去除
廉政学是专门研究国家廉政活动和廉政制度建设的独立学科。廉政学的学科使命主要包括：从学科建构的角度，建立综合性、系统性的知识体系，对中国廉政制度与实践中的一些特殊问题做
软件工程领域的知识复用，有助于改进软件过程整体实施的质量。选用高适用度的软件工程知识，能够为软件项目开发构造坚实的实施基础。情形是软件工程知识得以共享和复用的重要基
为解决转台框架设计中结构质量不均匀问题,利用人工神经网络的非线性映射能力对转台框架结构进行了动力修正.首先建立了转台框架振动频率与其结构参数的非线性神经网络映射关
采用序批式活性污泥法,在温度为28±1℃的条件下,通过控制反应器内初始pH为7.8～8.7开发了一种新型短程硝化生物脱氮工艺.试验结果表明:经过25 d的运行,曝气结束时出水中主
通过对图书馆读者忠诚度现状调查,发现现在图书馆读者服务方面存在一些问题。图书馆需要做一定的革新,要从深层次上进行改变。因此,笔者从重塑图书馆形象、满足读者预期、提
针对机器人足球多智能体系统的协作和避障问题,定义了预计算概念,提出了预测模型,并在此基础上改进了决策子系统.经过机器人足球的实际比赛和实验验证,该模型和策略是有效的,