论文部分内容阅读
该文引入了格值逻辑的Ｌ－素蕴含项的概念，并利用格论工具，讨论了Ｌ－素蕴含项的性质，进而给出一种格值逻辑公式化简的方法。
格值逻辑公式化简方法的研究
【摘 要】
：
该文引入了格值逻辑的Ｌ－素蕴含项的概念，并利用格论工具，讨论了Ｌ－素蕴含项的性质，进而给出一种格值逻辑公式化简的方法。
【机 构】
：
海事大学
【出 处】
：
中国系统工程学会96模糊理论与应用国际会议第八届年会
【发表日期】
：
1996年期
其他文献
该项目位于四川省乐山市市中区肖坝街,是乐山市目前建筑面积最大的保障性安居工程项目,也是乐山市保障性安居工程第一个设计为高层建筑小区项目。小区内安置的住户主要为征地
该文较详细地介绍了日本生活污水处理中，格栅设备的设计选型和维护管理方面的经验，并用表列出了格栅设备的分类、特点、故障诊断及处理要点。
一、发病症状霜霉病一般先从下部叶片开始发病,发病初期产生淡绿色水渍状小点,病斑边缘不明显,后期发展为黄色不规则病斑,湿度大时叶背产生灰白色霉层,逐渐变为深灰色。棚室
该文以格值测度为工具，定义了一种新的模态词，并把直觉主义引入到模态逻辑中来，从而建立了一个新的直觉主义模态逻辑系统，并对其性质做了初步探讨。
该文通过理论和实测分析对格栅加筋地基的沉降和承载力进行分析，格栅加筋的沉降分析采用有限元分析方法，结果表明格栅采用２～３层较为合理，施工时应采用包裹型。沉降分析表明，格栅加筋
本文介绍了英国百莱凯盖格有限公司（BRACKETT GEIGER LTD）研制开发的两种新型清污设备，从产品结构、工作原理、所用材料等方面进行了详细地详述。
该文介绍了新型爬式格栅清污机有新型耙斗式格栅清污机的结构、机理、技术特点及应用范围。并同时与纲绳式格栅清污机、高链式格栅清污机、连续自动回转式格栅清污机进行了性