一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度，并利用真度给出一种改进了的相似度定义，进而导出全体公式集F(S)上的一种伪距离，最后讨论了相似度及伪距离的重要性质．     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.     

二值随机序列的一个极限定理

设｛Ｘｎ，ｎ≥１｝是在Ｓ＝｛０，１｝中取值的二值随机变量序列，｛ａｎ，ｎ≥１｝是一列实数。本文利用随机比较系数的概念研究｛ａｎ，Ｘｎ，ｎ≥１｝的极限性质，二值随就量序列的一个强大数字律是本文结果的推论。     

二值随机序列随机加权和的一类极限定理

设（Ｘｎ（ｗ）,ｎ≥１）是在Ｅ＝（０,１）中取值的随机变量序列,（ａｎ（ｗ）ｎ≥１）是一列随机变量,利用区间剖分法给出了序列（ａｎ（ｗ）,Ｘｎ（ｗ）,ｎ≥１）的一类用不等式表示的极限定理,它是强大数定理的推广。     

关于二值随机序列随机稀疏的一个强极限定理的信息条件

利用刘文教授提出的分析方法,给出了任意二值随机序列随机稀疏的一个强极限定理的信息条件,它是Ｂｏｒｅｌ强大数定理的推广。     

手机SAR值测试系统不确定度分析

SAR值测试系统精密而复杂,通信行业标准YD/T 1644.1-2007给出了简要的SAR测试系统不确定度分析.本文对一种手机SAR测试系统不确定度进行一次评估.     

二值随机序列的一个极限定理

设（Ｘｎ，ｎ≥１｝是在Ｓ＝｛０，１｝中取值的二值随机变量序列，｛ａｎ，ｎ≥１｝是一列实数．本文利用随机比较系数的概念研究｛ａｎＸｎ，ｎ≥１｝的极限性质．二值随就量序列的一个强大数定律是本文结果的推论．     

关于二值随机序列随机稀疏的一个强极限定理的信息条件

利用刘文教授提出的分析方法,给出了任意二值随机序列随机稀疏的一个强极限定理的信息条件,它是Borel强大数定理的推广.     

命题逻辑系统理论(广义)根性质及应用

del命题逻辑系统和R0-命题逻辑系统上讨论理论Γ的根和广义根性质,给出了一个有(广义)根的理论Γ的结论集D(Γ)的结构。应用(广义)根的性质与构造,获得了理论Γ的相容度、发散度和公式A是Γ-结论的隶属度等新的计算公式。     

D-逻辑伪距离不等式与近似推理

以D-随机真度为基础，给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式，得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式，并在D-逻辑度量空间中进行了近似推理讨论．     

三值乘积逻辑中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在三值乘积逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则,引入公式间的条件相似度和条件伪距离,建立了条件逻辑度量空间,推导出条件伪距离的若干性质.     

基于模糊逻辑推理的BP神经网络及其应用

阐述了ＢＰ神经网络的原理及学习算法,在结合模糊逻辑推理的基础上提出了一种具有分层结构,能够进行规则自提取、自修正、自学习的复合模糊ＢＰ神经网络模型。这种模糊神经网络不仅可以充分利用原有的专家的经验和知识,而且能够从实际数据中通过不断学习获取新的知识和推理规则。同时,在相应的网络权值训练中引入了遗传算法和模糊逻辑控制器的优化求解思想。还进一步探讨了将这种网络模型用于汇率分析系统的形式和方法。     

可计算性逻辑中CL4系统定理证明

可计算性逻辑的形式系统CL4具有强大的表达能力和很好的应用前景,为了进一步完善其理论基础,采用严格的逻辑方法,对该系统中的相关重要定理进行证明。证明过程及其结果显示,该系统中的一般原子表示一般的可计算性问题,在意义上有别于经典逻辑中的原子。     

基于案例推理的故障诊断系统关联度计算

将基于案例的推理方法应用于智能故障诊断系统中，讨论了故障案例库和结果库的建立，并将其用关联数据库的格式进行存储。应用了灰色关联理论和模糊集给出了关联度的定义和计算方法，从而可以准确地检索到相似的故障案例，对检测故障给出了定性或者定量的分析。     

可编程控制器和触摸屏组合加热炉控制系统的设计

为了提高天津某石化公司设计的加热炉控制系统的控制精度,设计了一种基于西门子可编程逻辑控制器和触摸屏综合应用方法.首先采用西门子S7 300系列中央处理器模块作为主控单元,通过接口对温度变送器接受到的信号进行采集,然后中央处理器运行程序对采集的信号进行处理,处理的信号送到燃烧机,自动调节燃烧机的输出功率,控制加热炉系统中的温度,构成一个闭环系统.通过触摸屏对实时参数进行监控,显示系统各部分的运行状态,保持热载体及被加热介质温度在设定范围之内,达到了保证工艺温度、优化燃烧、节能运行的目的.     

建筑室内环境对空调系统依赖度评价体系的构建

利用建筑室内环境对空调系统依赖度。初步构建了建筑室内环境对空调系统依赖度的评价体系,采用层次分析法得出评价体系中各项指标的权重。通过此评价体系可以找到建筑设计的节能途径,即如何通过改变体型系数、窗墙比、自然通风量等条件来减小室内环境对空调系统依赖度,从而降低空调的负荷,减少建筑的能耗。