论文部分内容阅读
在二值逻辑系统中，初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论（作为Γ结论）的误差不会超过各前提误差的和。
计量逻辑学中的误差累计理论
【摘 要】
：
在二值逻辑系统中，初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论（作为Γ结论）的误差不会超过各前提误差的和。
【机 构】
：
陕西师范大学数学与信．息科学学院,西安电子科技大学理学院数科系,陕西师范大学计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年23期
【基金项目】
：
博士学科点专项基金（No.20080718000）.
其他文献
本文介绍了智能照明控制系统与楼宇自控系统的含义,基于Zigbee技术阐述了楼宇智能照明系统的设计和实现,并对如何实现楼宇自控系统与智能化照明控制系统的有效集成进行了详细
数据流频繁项集挖掘是指在数据流中找出出现频数大于给定的最小支持度的项集过程。随着一些新兴应用如传感器网络、网络监控等的出现，数据流中频繁项集挖掘引起了很大的重视。
学科交叉和融合是目前科学研究的热点领域，对于交叉学科研究生的培养需要强化研究生的学科交叉意识，提高研究生的创新能力。本文结合国防特色学科“现代精密驱动与精密工程”学
芬兰现代学徒制能力本位培训（Competence Based Training,CBT）能够获得长足发展与其完善的培训机制是密不可分的。本文基于芬兰现代学徒制CBT理念和机制,结合护理专业的特点,对
本文介绍了如何以职业能力和综合素质培养为主线,与医院、企业采用“6＋3”实习模式联合培养,共同对学生进行管理和考核,提升学生的基本能力、核心能力和综合能力,为社会培养高
2009年，四川腾中重工提出收购悍马，轰动一时。时隔五年，这家“为国增光”的企业，又一次站在媒体聚光灯下，只是，这一次是“蒙羞”，老板李炎被爆出卷款跑路。
随着时代的发展以及科技的不断创新,我国的很多行业都得到了巨大的进步,在这一过程当中,机械行业也得到了长足的发展。在我国机械行业的发展过程当中,数控加工技术对我国工业
提出了一种新的图像特征提取方法,用二维经验模式分解将图像分解到固有模态函数(Intrinsic Mode Functions,IMF)域,即将图像分解成一系列的IMF和一个残差。并结合灰度共生矩阵对所提取到的各IMF图像和残差图像进行特征提取。为了验证算法的有效性,将其推广到像素级,对合成纹理和遥感图像进行了特征提取,并结合核模糊聚类(KFCM)算法对提取的特征向量做聚类分析,实现了图像的有效分割
顶岗实习是职业院校重要的实践教学环节。如何强化其教学功能,建立完善的系统化教学体系,是当前高职教育提高教学质量的迫切任务。本文提出一种“五维一体”的顶岗实习教学体
与Dempster—Shafter理论（DST）相比，Dezert—Smarandache理论（DSmT）通过保留证据冲突项作为数据融合的焦元，从而可以很好地解决在证据发生高冲突情况下的信息融合问题。但是因为DSm