锅炉的合理排污与节能

通过对徐州市工业锅炉排污状况的抽样调查,分析了锅炉节能与合理排污的密切关系,介绍了排污量的计算和测量方法以及排污水热能的利用。     

模态逻辑中的(n)真度理论与和谐定理

首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(n)相似度理论,并由此在全体公式之集中建立了(n)伪距离.得出了(n)模态逻辑度量空间,该空间以经典逻辑度量空间为子空间,从而可将经典命题逻辑中的近似推理理论推广到模态逻辑之中.     

格值模态命题逻辑及其完备性

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.     

多值逻辑系统W_n中α-三I问题的形式解

在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。     

基于正交分解技术的汽车非定常流场分析及重构

为有效开展汽车气动优化设计和主动流动控制技术,采用正交分解(Proper Orthogonal Decomposition,POD)技术分析汽车非定常流场中POD模态的物理意义,并利用重构技术建立汽车外流场瞬态简化模型.大涡模拟(Large Eddy Simulation,LES)仿真结果与实验结果的对比表明该仿真方法有效.POD分析结果表明:低阶模态主要对应分离泡的附着流动,包含流场中较高的能量;其他各个高阶模态含能相对较低,表征小尺度涡的作用.当保留前15阶POD模态时,通过重构技术可获得70%的原流场能量,得到的降阶模型可以较好地捕捉流动的特征.     

概率逻辑学基本定理的推广

通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数 的有限逻辑理论相容度概念,是δ-相容度的推广.     

L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式

证明了L^*-Lindenbaum代数[F]是具有逆序对台对应的有界分配格．得出了L^*中的公理系统的一种简化形式．     

多值Łukasiewicz逻辑公式的范式表示和计数问题

将符号化计算树逻辑中的Shannon展开式做了推广,在n值Łukasiewicz逻辑系统Łn中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题,并在n值Łukasiewicz逻辑系统Łn中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.     

浅谈石材幕墙在工程应用中的隐患

从石材幕墙的结构设计、材料选用、施工管理、业主使用等方面，探讨了石材幕墙产生的安全隐患，提出一些防治方法，并指出各界应对此给予足够重视。