一个断语的推广及应用

将一个断语进行推广,并借助它介绍一类问题的通用解法.     

论四大滴定理论内容整合与教材改革

提出对四大滴定理论进行整合,统一滴定过程观察量为pM′,删简功能相同或者内容相同的重复概念,围绕滴定反应稳定常数K稳定建立逻辑体系,在数学处理模式上取得一致,从而获得基本理论的统一,同时建议吸收计算机等相关学科的成果来简化并强化分析化学中的计算手段;继承并发展经典的分析化学滴定理论。     

含参量蕴涵算子的构造及其性质

从空间几何的角度给出了几类含参量蕴涵算子，它们可以将常见的三种蕴涵算子Lukasiewicz算子、如算子及Godel算子包含其中，此外，还讨论了蕴涵算子的正则性质。     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

多丝正比室的逃逸门技术

为进行空间硬X射线天文观测,研制了一个高空气球载的高压氙(Xe)多丝正比室硬X射线谱仪,采用了逃逸门技术.本文介绍逃逸门技术的原理,并描述该谱仪实现逃逸门技术的方法及实际性能.该谱仪在87年高空气球飞行观测中获得了有效的实验数据.     

解析简易逻辑中的常见问题

“简易逻辑”内容因为知识的逻辑性较强，常有一些典型、易错问题出现，本文就这些问题提出自己的一些见解．     

消错逻辑的增加转化词

定义了增加转化词的概念 ,说明了它的研究对象及在消除决策错误中的作用 ,研究了在消错逻辑变换中 ,这个转化词所具有的性质和规律 .     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.