论文部分内容阅读
在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离，得到了公式到有限理论结论集的T-伪距离的T-真度表示式，为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。
二值命题逻辑系统的T-真度理论（Ⅰ）
【摘 要】
：
在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离，得到了公式到有限理论结论集的T-伪距离的T-真度表示式，为研究
【机 构】
：
青岛大学师范学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年10期
其他文献
单体型组装问题就是根据个体基因组测序获得的DNA序列数据重构出该个体的一对单体型。目前单体型组装问题的各种优化计算模型已有相关的启发式算法和参数化精确算法,但是这些
【动态】美国加州大学戴维斯分校的科学家报道细胞凋亡因子Bax也参与调控线粒体的活动。线粒体不断的分开、融合。控制线粒体分裂的蛋白也促进细胞凋亡，相反，控制线粒体融合的
工程项目的进度控制是三大控制的重要内容，建筑产品的最终形成是在施工阶段，因此，在施工阶段进行严格的进度控制就显得格外重要。
【摘 要】施工组织编制是铁路工程投标阶段中的一项重要工作，如何进行施工组织编制以及如何发挥编制技巧，本文以施工组织编制技巧为主线，结合现场实际情况，以施工组织编制的重要性、编制的原则、编制的技巧、编制的方法为主体内容，从信息准备阶段、总体规划阶段、内容编制阶段、评审完善阶段四个方面，多角度、多方面、多层次就施工组织编制工作开展的内容、方向及技巧为侧重进行了叙述。 【关键词】铁路工程；投标；施工组
在初中语文阅读教学当中,许多学生都对语文阅读教学的兴趣不高,他们很难通过阅读,来深入把握文章的主旨,导致初中语文阅读教学效果一直得不到提升。因此,在初中语文阅读教学
公交换乘问题在公共交通中是一个重要的问题。针对十分流行的8684公交网络查询系统只能查询到2次换乘的缺点,提出了一种对公交线路信息预先进行处理,然后采用减少站点和线路
从图书馆和勤工助学学生两个角度分析了图书馆开展勤工助学的意义,以及图书馆在开展勤工助学过程中存在的一系列问题,并结合笔者工作实践,提出了完善图书馆勤工助学管理工作
本文运用文本分析方法,以江苏A高校图书馆为例,结合《中国图书馆员职业道德准则》,解析了图书馆员职业道德准则及特点。