预测及其主要模型的实现系统

针对已有预测模型并不完善的问题，在总结现有的预测模型（线性回归模型、时间序列分析、线性随机模型、神经网络模型等）基础上，采用实验分析的方法提出一种新的加权模糊推理的预测模型及基于马尔科夫性的区间预测方法，给出了实现系统，经试验验证，这种模型是比较准确的，一般误差不超过10％。     

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

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

广义因果理论上基于模型诊断过程的形式化

对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例     

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

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

多重取因子的线性序归结

本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性.     

RUE-NRF演绎与使用归结和调解的演绎

本文证明了在一定条件下,RUE-NRF演绎可以重写为使用归结和调解的演绎;通过反例说明RUE-NRF输入反驳与RUE-NRF单元反驳不等价及RUE-NRF线性反驳的不完备性.     

商业智能技术及行业应用分析

在详细讨论商业智能技术及与商业智能密切相关的数据仓库技术、联机分析处理、数据挖掘、客户关系管理等技术的基础上，结合行业应用需求，从数据仓库结构与模型的设计、提取转换与加载工具的设计、联机分析处理中概化视图选取方法的设计以及数据挖掘有关算法在具体问题中的应用入手，对粮食企业实现商业智能进行了深入的介绍和分析；重点解决了数据仓库结构，部分分区中概化视图的选取方法，数据挖掘技术具体应用等问题，为粮食行业建设智能决策支持系统提供了可行的建设方案。     

基于模型诊断的替换测试与问题分解的研究

利用基于模型的诊断理论研究了元件的替换测试，提出了相关部分替换测试的概念，利用元件替换对系统观测值的影响刻画了诊断的判定，新冲突的生成，并利用替换的特殊性，刻画了诊断问题的替换分解等相关问题，本工作能够克服已有测试理论的缺陷，改善诊断测试的适应性，提高测试效率并降低测试成本，并为研究降低诊断问题复杂度提供理论依据。     

一种模型不完备条件下的诊断方法

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.