油液在线监测技术研究进展

油液在线监测技术是机械故障智能诊断的重要发展方向,传感器作为其关键元件,发挥着重要作用。对油液在线监测的粘度传感器、水分传感器、磨粒传感器以及多传感器集成的国内外研究进展进行了介绍。从电磁法、静电法、电感法、图像识别几个方面对磨粒测量与分析的国内外研究进行了介绍。提出了现阶段存在的不足,对油液在线监测的未来发展之路进行了展望。     

Π系统中公式的真值函数及真度分布

以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。     

(L)ukasiewicz三值逻辑系统中的随机化研究

利用赋值集的随机化方法,在三值逻辑L3,中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式问的DL3一相似度与伪距离的概念,并建立了DL3,一逻辑度量空间,证明了此空间没有孤立点.     

基于蕴涵算子族L-λ-Ro的FMT三I约束算法

提出了基于蕴涵算子族L-λ-Ro的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-Ro给出了FMT模型的三I约束算法、α一三I约束算法.给出了FMT模型的三I约束算法、α一三I约束算法计算公式.     

基于蕴涵算子族Lλ0λG的反向三I支持算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的反向三I支持算法。     

基于蕴涵算子Lp的模糊推理的FMP反向三I算法

研究了基于蕴涵算子L_p模糊推理的FMP反向三I支持算法及α-反向三I支持算法,给出了FMP模型的反向三I算法及α-反向三I算法的计算公式。     

蕴涵算子族G-λ-∏的模糊推理三I支持算法

提出了基于蕴涵算子族G-λ-∏的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族G-λ-∏给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法。     

命题逻辑系统中公式的概率真度理论

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。     

大型汽化冷却烟道制造的关键工艺

介绍了大型汽化冷却烟道的特殊结构和制造的关键技术以及产品热处理工艺。     

Adomian分解法在反应工程非线性数模求解中的应用

针对传统数值求解方法存在的不足,将Adomian分解法(Adomian Decomposition Method,ADM)引入到反应工程非线性数模求解中,可给出非线性数模逼近解析解的代数表达式.介绍了ADM的基本原理及其近年来在反应工程非线性数模求解中的应用进展,给出了ADM求解多孔催化剂、多孔电极及填充床电极理论数模的实例,并对其求解多种反应工程数模的应用前景作了展望.实践证明:在求解精度和收敛速度方面,ADM是一种替代数值计算的有效方法.