论文部分内容阅读
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结论真度的表达式。
二值命题逻辑中逻辑理论的计量化及应用
【摘 要】
：
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和
【机 构】
：
兰州理工大学理学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2014年24期
【基金项目】
：
国家自然科学基金（No.11261032）, 兰州理工大学博士基金资助项目
其他文献
利用航空影像和LiDAR数据各自的优势点而进行的融合为复杂建筑物三维重建提供了一种可靠的途径。利用LiDAR数据获取建筑物初始边界,在航空影像中提取出边界特征,从而对初始建筑物边界进行精化;针对少量错误和丢失的建筑物边界进行编辑,开发了相应的软件系统。对某研究区域进行实验,并从重建建筑物模型的正确性、完整性和精度三方面进行分析,证明了所提出算法的可行性和有效性。
为更好解决抽油机井示功图模式诊断问题，依据示功图绘制原理，将示功图识别看作动态系统连续曲线（位移．时间曲线和载荷一时间曲线）的模式识别问题。利用过程神经元能同时处理时、空
随着微波通信技术的迅速发展,作为微波接收机主要部件之一的混频器也向小型化，多功能化发展。利用ADS工具辅助设计和调试了—个X波段镜像抑制混频器。对常用混频器的结构进行
随着人们生活水平的提高,以及国民经济的发展,机动车辆逐渐成为人们的主要代步方式,购买量明显增加,这虽然能够在一定程度上加快我国经济发展,但同时机动车尾气排放量也会大
针对已有文献中二元优势关系定义过于宽松的不足,在集值序信息系统中结合对象间的不同优势程度,提出δ-优势关系的概念;基于δ-优势关系,将信息熵和知识粒度引入集值序信息系
针对TinyOS先来先服务调度策略中重要任务不能及时响应的不足，提出一种基于多优先级任务队列的调度策略。该调度策略将原来一个任务队列增加为三个优先级队列并引入抢占机制，最