【摘 要】
：
在n值R0命题逻辑系统Ln^＊中，基于命题的真度概念提出了命题之间的支持度，并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制，并给出了解的存在性定理．本文
【机 构】
：
兰州理工大学理学院,陕西师范大学数学研究所
【基金项目】
：
国家自然科学基金（No.10771129）,陕西师范大学博士创新基金（No.2006CXB002）,兰州理工大学优秀青年基金（No.2003YX0971）
论文部分内容阅读
在n值R0命题逻辑系统Ln^＊中，基于命题的真度概念提出了命题之间的支持度，并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制，并给出了解的存在性定理．本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础．本文的方法是一种程度化的方法，这就使得求解过程从算法上实现成为可能，并对知识的程度化推理有所启示．
其他文献
摘?要 园林工程是我国现代城市建设的重要工程，是城市生态绿化的重要组成部分，不仅美化了城市景观，而且降低了城市的热岛效应，大大提升了现代城市的生活质量。因此，加强对园林工程施工中园林植物病虫害的防治，不仅是园林工程施工的要求，更是提高城市生活质量的要求。笔者将对园林工程中常见的病虫害做出简单介绍，分析病虫害防治原则，探究施工过程中病虫害防治方法，以促进我国园林工程病虫害防治工作的进展。 关键词
为了在802.11的网络中提供服务质量（QoS）支持,IEEE 802.11 Task Group E提出了EDCF协议.然而EDCF只能提供业务区分服务,并不能提供服务质量（QoS）保证.为了能在重负载下提供QoS保
近日，重庆市渝北区科协组织渝北区消防支队的官兵为松树桥中学师生们开展了2012年秋季应急疏散演练和消防知识及器材使用演练活动，有效提高了师生们风险防范意识和自救互救能力
历时一年多，包钢稀土对内蒙古自治区稀土上游企业的整合终于迈出实质性的一步。包钢稀土12月28日公告，公司于12月27日在包头与内蒙古自治区内12家稀土上游企业及股东分别签署了《稀土上游企业整合重组框架协议》。 这意味着包钢稀土的重组工作正式展开，组建北方稀土集团的整合思路也逐步实现，北方轻稀土产业集中度将进一步提高。 整合上游企业 包钢稀土对上游企业的整合从去年即已经开始。2011年5月，内
对于复杂的非线性和非平稳时间序列预测,基本的支持向量回归（Support Vecotr Regression,SVR）在线算法无法有效兼顾执行效率和预测精度.本文首先采用局部SVR进行时间序列建模预
本文提出了一种新的图像特征——主相位一致性(Principal Phase Congruency,PPC),并在此基础上构造了一种新的基于主相位一致性的配准算法.首先计算不同尺度、方向上的相位一致性,然后利用主成分分析将它们进行融合,从而得到信息更加丰富的主相位一致性;将待配准图像的主相位一致性看作模糊集合,引入模糊数学中的贴近度概念,计算它们的模糊相似性.我们对模拟和真实数据进行了实验,结果表明
针对建筑领域科学总结、分析工作的一定困难，本文提出抓住建筑中环境与人这一对至关重要的关系，从矛盾观、系统观、生态观三个角度考察。在此基础上，通过借鉴相关学科理论和结合
矿井安全与生产是相辅相成不可分割的。安全是为了生产，生产必须安全，作为矿井调度员，要深入现场了解一切，包括各采掘面断面情况，打钻抽放情况，通风情况，瓦斯情况，运输情况等，才能抓好
针对动态系统的在线故障诊断问题,将信度分配小脑神经网络CA-CMAC(Credit Assigned Cerebellar Mod-el Articulation Controller)应用于主元分析模型,实现多传感器在线故障检测与隔离.首先,应用传感器正常工作时测量的历史数据,由主元分析模型得到所有传感器的预测值;接着计算传感器系统的均方预期误差值SPE(Squared Predic-tion
不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管