MTL系统在电石炉生产中的智能开发与应用

介绍了MTL系统在电石炉生产中的智能开发应用及故障分析。

MTL∀谓词逻辑系统公理化真度及其相似度的性质研究

命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.

逻辑系统MTL_▽及其完备性

在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL▽代数的概念,并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。

MTL地温梯度探测系统海上作业方法研究

海底热流是在天然气勘探中认识沉积层热状态、推算沉积层地温分布的重要参数之一。MTL是国内首个成功应用的地热流探测系统，可同时进行沉积物地温梯度测量和沉积物取样，为天然气水合物资源调查和海洋区域地质调查获取相关数据资料。本文就MTL地温梯度探测系统的组成、主要技术指标及海上作业方法进行阐述。

谓词逻辑系统MTL■中公式的公理化真度

命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL■中,利用公理化方法提出了MTL■公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL■的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题。

MTL■谓词逻辑系统公理化真度的运算性质研究

针对命题逻辑及谓词逻辑的计量化这一研究热点,在基于左连续三角模的谓词演算系统MTL■中,对公理化真度的计算方法、运算性质、逻辑算子之间的关系进行了研究.

MTL8000远程I/O系统在两酸处理联合装置中的应用

介绍了MTL8000远程I/O系统的特点、基本构成及在兰州石化公司两酸处理联合装置中的实际应用。

MTL8000控制系统在脂肪醇工程中的应用

MTL8 0 0 0控制系统具有分散控制、集中管理、控制精度高、瞬态响应快、防爆等特点 ,在某公司脂肪醇工程中被采用。详细阐述了该控制系统在此工程中的系统配置、网络配置、供电保障配置、系统安装要求等。经过安装调试后 ,系统运行状况良好 。

三角模族T_(q,p)-LGN与逻辑系统LGN

首先,给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)),分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM)的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族。

MTL命题逻辑系统中理论的结论和余零化子及其相互关系

本文在基本命题逻辑系统MTL中主要对理论的余零化子和结论的性质及其相互关系进行了研究。首先,在MTL系统中给出了理论的余零化子的概念,讨论了理论的余零化子的一些基本性质;其次,对MTL系统中理论的结论的性质进行了进一步研究;最后,讨论了MTL系统中理论的余零化子和结论之间的相互关系。

基于Schweizer-Sklar T-范数的模糊逻辑系统

基于Schweizer-Sklar T-范数,提出了一个新的模糊逻辑形式系统UL*,证明了系统UL*的可靠性和完备性,并指出著名的SBL～系统是UL*的语义扩张,而IMTL△系统是UL*当两个'非'运算重合时的特例.最后分析了UL*系统与其他模糊逻辑形式系统的关系,并从Yager的'与度'、Whalen的'模糊规则交互作用的强度'概念出发,说明了系统UL*中参数p的含义及其在近似推理中的应用.