环上逻辑函数的相关性分析

分析了Galois和Zm环上逻辑函数的互相关函数与特征谱之间的关系,并且利用逻辑函数的互相关性研究了环上逻辑函数的密码特性.     

反问句逻辑研究

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

深基坑工程风险评估的决策支持系统

对深基坑工程风险评估进行了讨论，分析决策支持系统的逻辑结构，认为将决策支持技术应用于深基坑工程风险评估，可以解决决策方案模糊性、决策目标冲突性以及结构不良等问题，提高科学决策水平。     

群和线性半群的准完备性

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

模态逻辑的信息框架

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

一种基于模糊决策表的知识获取方法

本文描述了一种基于模糊逻辑的决策表方法，该方法可用于构造知识库。     

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

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

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

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

基于排队模型的联锁逻辑仿真模型研究

基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统.与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好.根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法.     

多目标攻击中的攻击逻辑与决策方法

面临多目标时，如何确定攻击顺序是多目标攻击火控系统中有待解决的关键技术之一。针对这一问题，本文通过分析参数对多目标攻击的影响，提出了一种“初值＋量化值”的线性加权决策方法。该方法简洁实用，而且使用先进的快速模拟法计算导弹允许攻击区，使计算速度大大提高。仿真结果表明该决策方法具有一定的工程应用价值。