重视学生辩证逻辑思维的培养

系统的论述了培养学生辩证逻辑思维的重要性。     

带Fuzzy外壳和Boole心脏的险象识别逻辑

结合新近发展起来的Ｆｕｚｚｙ命题逻辑的思想和组合线路险象识别技术的背景，改造Ｇｏｅｄｅｌ蕴算子和公式代数的赋值格，构造了另一种带Ｆｕｚｚｙ外壳和Ｂｏｏｌｅ心脏的险象识别逻辑，对其进行了语义地研究，得到了若干有趣的结果。     

一类典型模糊逻辑控制器的输出结构

研究一类特殊的多输入单输出的模糊逻辑控制器 ,其组成规则中的输入输出语言变量的语言值均取正规的三角形隶属函数 ,且分别作成其相应论域的模糊划分 ,在其输入输出之间存在一种特殊的映射关系———线性规则映射 .经分析得到结论 :模糊逻辑控制器的输出可以表示成输入的凸组合函数 .这一结论建立了模糊逻辑控制器的精确数学模型 ,对于模糊逻辑控制器的分析和调整提供了直接依据 .     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

用GAL构成无计数误差的倍频鉴相器

从逻辑和时序上说明了无计数误差四倍频鉴相器的结构，为使此结构满足GAL的“组合逻辑结构”，给出了满足GAL的逻辑方程。     

反问句逻辑研究

论述了反问句是逻辑判断或推理的特殊表达形式,分析了反问句凸显的揭示事物发展的客观规律、揭示事物的趋势、论证某一观点、强调事物性质、揭示事物之间的某种联系、肯定或否定某一事物等12种语用逻辑功能。     

群和线性半群的准完备性

本文提出了群完备和准完备的充要条件。同时,还较详尽地讨论了线性半群中的完备性问题。定出其所有的准完备类(即极大封闭集)     

模态逻辑的信息框架

针对一些学者对情景语义学的质疑，该理论创始人之一巴威斯采用信息流模型理论的技术手段提出从信息视角解释模态概念的信息框架。信息框架，作为模态逻辑的语义框架，与克里普克框架有相同的解释力和适用范围。信息框架能够为形式描述容错性信息流推理的模态信息流逻辑研究提供可能语义基础，为信息流逻辑的进一步深入研究提供理论支持。     

(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。     

基于C/S的校园网MIS应用成分的分布及应用

运用Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算模式并结合校园网教育管理信息系统的设计和开发中的实际情况，对应用成分分布问题作探讨．