泛逻辑的基本形式演绎系统UL及其可靠性

来源 :计算机科学 | 被引量 : 0次 | 上传用户:erdongzi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注,但是,由于模糊推理长期以来没有严格的逻辑基础,致使其进一步发展受到限制,且不可避免地受到怀疑与批判[3].
其他文献
首先对乳化沥青冷再生混合料进行配合比设计,利用修正马歇尔法确定了再生混合料的乳化沥青用量,并对再生混合料进行了水稳定性、高温稳定性及低温抗裂性能检验.试验结果表明,
结合某一级公路路面改造工程,简要介绍了全深式就地冷再生基层的施工原理和施工工艺,并对经济和社会效益进行了综合分析。结果表明:全深式就地冷再生基层技术工期短、节能环保、
在用碳热还原法制备AlN粉未过程中,发现大量白色AlN晶须存在于AlN粉末坯体表面某形貌有直板状、锯齿状及抿曲状,电子衍射花斑显示结晶方向均为(0002),其生长机理可能为VS机制。
在大气中成功地用快速凝固Sn基活性钎料低温连接ZnO陶瓷,接头的剪切强度明显高于用普通凝固钎料的最高达60Ma。
对晋阳高速两段事故多发路段的事故原因进行分析,研究提出了两路段处治对策,最大限度避免交通事故的发生,保证行车安全.
用sol-gel方法制备掺杂的ZnO纳米粉体,分析讨论了这种粉体对材料显微结构,材料电学特性如非线性系数,压敏电压和介电特性的影响,与传统方法制成的粉体相比,sol-gel方法制成的纳米粉人有掺杂均匀,晶粒
用DTA、XRD、SEM、EPMA等研究了Nb镀层与c-BN晶体在600-1000℃范围的界面反应过程、界面成分和结构特征,讨论了烧结时Nb镀层与SiO2-Na2O-B2O3玻化结合剂的作用,结果表明:Nb镀与c-BN晶体在600℃以上发生界面反应,外延生长形成NbN,800℃以上形成
The paper focuses on the method of formal concept analysis in data analyzing for software process improve-ment. It sets up that not only the Software Quality Gu
利用炭黑与高密度聚乙烯复合制成了具有PTC功能的导电材料(HDPE-C),根据目前各种导电理论,提出“晶界”导电模型,并推导出了炭黑的填加量(L)、高聚物结晶体大小(α)、碳粒子半径(rc)、碳粒子间距(x)之间
以注浆技术处理高速公路路基沉降、开裂问题工程实例为依托,从注浆方法、施工工艺及质量控制要点等方面进行了详细的论述,以便为以后类似工程注浆技术的应用提供一些参考.