强模态归结

研究了命题模态逻辑，Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“＝”型模态逻辑结果Ｓ＝Ｕ→Ｖ的自动推理。提出了证明“＝”型模态逻辑结果的归结推理方法－强模态归结。证明了强模态归结的可靠性与完备性。     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

基于溯因解释的信念修正

给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正的算法．该算法得到的是优化解．     

基于GIS的粮食管理预警决策支持系统

为了解决粮食管理中由于未及时预警而导致各种事故的难题,在粮食信息化管理基础上,结合G IS(Geograph ic Inform ation System)技术构建了粮食管理预警决策支持系统,利用监控预警模型、预测预警模型和知识发现预警模型对粮食信息进行监控与分析,发现威胁粮食安全的因素并及时进行预警。系统的有效预警率达到85%以上。系统已试运行,并取得满意的效果。     

粮食调拨决策支持系统的设计与实现

为满足粮食调拨的时间及降低调拨成本的要求,设计并实现了一个粮食调拨决策支持系统.该系统通过粮食调拨计划汇总、分配方案制定和粮食运输方案制定等物流过程,给出粮食分配和运输的优化解决方案,最大限度地提供系统的灵活性和可用性,为制定粮食调拨运输方案提供快捷有效的决策支持,同时提供了决策者人工干预的接口.在对比了CS(Cost-Scaling),RELAX,RNET,NETFLOW算法实际效率的前提下,选择实现了高效的CS算法.该系统作为粮食行业决策支持系统的子系统已得到实际应用.     

求解收银员调度问题的设计与实现

研究“零售业决策支持系统”中收银员调度问题和POS机管理问题的求解及实现. 通过收银员问题的调度模式指出相应的求解算法, 并针对不同的调度模式分别给出相应的数学模型、 用于解决POS机管理问题的模型和求解方法以及实现这些问题的求解系统.     

基于模糊对象的不精确需求建模

用模糊贴近度方法获取模糊类, 在模糊类中通过封装的模糊规则描述属性之间的关系, 根据模糊贴近度和模糊范围定义了用于计算子类和超类、 对象和类之间的隶属函数, 解决了对不精确和不确定复杂信息的获取问题, 所得结果可用于不精确需求建模.     

含等词的超表演算

将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回 溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.