Boole语义的程度化方法

基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.     

非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念，给出了真度推理规则，证明了真值集为非线性序集四值逻辑系统L4^2中全体公式的真度值之集在[0，1]上是稠密的，为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础．     

基于混沌支持向量机的河川径流预测研究

以黄河上游兰州站月径流序列为研究对象,在介绍相空间重构原理的基础上,探讨了混沌分析的主要定量指标:饱和关联维数d,最大Lyapunov指数λ和Kolmogorov熵k。得到该时间序列的最佳嵌入滞时τ=3个月,饱和关联维数d=3.230,最小嵌入维数m=12和最大Lyapunov指数λ=0.241,Kolmogorov熵k=0.14,指出该序列的预测时限为4个月。在此基础上建立了基于混沌特性的支持向量机径流预测模型,用1995~2004年的月径流数据进行仿真试验后,用2005年1~12月的径流数据作为预测检验,结果表明,该模型可用于混沌时间序列的月径流预测,并验证了由最大Lyapunov指数所确定的可预报时限为4个月的结论。     

Lukasiewicz n值命题逻辑中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。     

Lukasiewicz三值命题逻辑在非均匀概率空间下命题的真度理论

在离散概率测度空间下定义了三值逻辑（p,q,r）测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑（1/6,1/3,1/2）测度下证明了L3中全体公式的真度值之集在[0,1]上是稠密的,并给出真度的表达式;利用真度定义公式的相似度和一种伪距离,为一般离散概率空间下三值命题的近似推理理论提供了一种可能的框架．     

MTL代数语义上逻辑公式的概率真度

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.     

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

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

逻辑系统G3中命题的D3-随机真度理论

通过引入随机向量序列对赋值集进行随机化,在逻辑系统G3中提出了公式的D3-随机真度的概念,证明了全体公式的D3-随机真度之集在[0,1]中没有孤立点;提出了D3-相似度和D3-伪距离,证明了在D3-逻辑度量空间中没有孤立点;在D3-逻辑度量空间中提出3种不同类型的近似推理模式;引入公式间的相容与独立的概念,研究了其关系。为进一步研究随机推理奠定了基础。     

粗糙逻辑中公式的一种新的粗糙概率真度

本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架.     

滚筒式冷渣器漏灰的处理

浙江江山化工股份有限公司的两台滚筒式冷渣器投入使用后漏灰严重,通过分析,对该冷渣器的进渣管进行改造后,问题得到了解决,产生了很好的经济效益。