关系扩展规则

基于关系转换方法对模态逻辑进行转换, 使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理, 得到一种新的可用于模态逻辑的推理方法, 并证明了其正确性和完备性.     

库 存 决 策 支 持 系 统

从建立实用的系统出发, 针对确定性离散需求量的库存问题提出一种新的库存模型——费用比较模型. 在该模型和其它现有库存模型的基础上, 设计并实现关于库存管理问题的决策支持系统, 该系统能解决商业中的库存优化问题,给库存决策者提供了有力的决策支持.     

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

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

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

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