吉林省科技发展计划基金(20020306)
- 作品数:13 被引量:88H指数:6
- 相关作者:孙吉贵李泽海于海鸿白洪涛杨凤杰更多>>
- 相关机构:吉林大学广东警官学院复旦大学更多>>
- 发文基金:吉林省科技发展计划基金国家自然科学基金吉林省杰出青年科学基金更多>>
- 相关领域:自动化与计算机技术理学农业科学更多>>
- 提高一阶多值逻辑Tableau推理效率的布尔剪枝方法被引量:11
- 2003年
- 含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合的上集 /下集联系起来 ,使含量词的一阶多值逻辑公式的扩展规则大大简化 .进一步 ,通过对布尔剪枝方法的分析 ,建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法 ,该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法 .
- 刘全孙吉贵
- 关键词:人工智能
- 非二元约束满足问题求解被引量:17
- 2003年
- 在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .
- 孙吉贵景沈艳
- 关键词:启发式搜索算法
- 粮食调拨决策支持系统的设计与实现被引量:11
- 2005年
- 为满足粮食调拨的时间及降低调拨成本的要求,设计并实现了一个粮食调拨决策支持系统。该系统通过粮食调拨计划汇总、分配方案制定和粮食运输方案制定等物流过程,给出粮食分配和运输的优化解决方案,最大限度地提供系统的灵活性和可用性,为制定粮食调拨运输方案提供快捷有效的决策支持,同时提供了决策者人工干预的接口。在对比了CS(Cost Scaling),RELAX,RNET,NETFLOW算法实际效率的前提下,选择实现了高效的CS算法。该系统作为粮食行业决策支持系统的子系统已得到实际应用。
- 孙吉贵白洪涛于海鸿李泽海
- 关键词:调拨决策支持最小费用流
- 一种求解粮食调运优化问题的两阶段方法被引量:2
- 2007年
- 粮食调运优化问题属于一种多回路运输问题,本文提出了一个解决粮食调运优化问题的两阶段求解方法,在第一阶段,由图搜索算法产生所有可行的运输路线,并根据约束条件对搜索树进行剪枝;在第二阶段,采用整数规划模型从第一阶段产生的可行路线集合中选取最佳路线,使总的运输成本最低.同时基于该方法开发了一个粮食调运决策支持系统,经过测试,该系统在最坏的情况下能节省9%~15%的路程和10%~18%的运输费用.
- 于海鸿孙吉贵李泽海
- 关键词:粮食调运图搜索算法整数规划决策支持系统
- 智能决策中的模糊近似被引量:6
- 2004年
- 信息表通过目标集合来描述 ,目标通过条件属性和决策属性进行描述 在对这样的信息表分析处理过程中 ,粗糙集理论是一个非常有用的工具 ,粗糙集合理论的主要观点就是知识的上下近似 在实际中 ,条件属性和决策属性的概念通常是模糊的 ,而且可以利用模糊集合来说明 提出了基于模糊集合和粗糙集结合的一种新方法 ,对包含度进行了定义 ,给出了截近似和综合函数的概念 应用这些概念并结合具体例子讨论了条件属性和决策属性之间的关系 。
- 刘云翔孙吉贵
- 关键词:包含度
- 基于GIS的粮食管理预警决策支持系统被引量:6
- 2006年
- 为了解决粮食管理中由于未及时预警而导致各种事故的难题,在粮食信息化管理基础上,结合G IS(Geograph ic Inform ation System)技术构建了粮食管理预警决策支持系统,利用监控预警模型、预测预警模型和知识发现预警模型对粮食信息进行监控与分析,发现威胁粮食安全的因素并及时进行预警。系统的有效预警率达到85%以上。系统已试运行,并取得满意的效果。
- 于海鸿孙吉贵李泽海孙国
- 关键词:预警地理信息系统预警模型决策支持系统
- 因果知识的表示和推理被引量:3
- 2004年
- 本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足。本文也简单地介绍了J.Pearl提出的因果推理方法,该方法的基本思想是把因果推理看成是一种“计算模式”,而这种把智能归结为“计算模式”的想法正是认知科学中的核心思想。本文最后比较了基于逻辑的方法和基于认知科学的方法实现智能的区别,指出了因果推理应该在认知科学的框架内得到解决。
- 林海孙吉贵
- 关键词:因果推理逻辑
- 一种基于距离的增量聚类算法被引量:4
- 2005年
- 为了加快传统聚类方法的计算速度,提高实际工作的效率,在传统层次聚类算法基础上,探讨了一种基于距离的增量聚类算法,并应用于粮食智能决策支持系统中。算法在保持层次聚类优点的基础上,利用旧的聚类结果提高聚类速度,根据用户需要在聚类精度和聚类速度方面选取一个适当的平衡点,有效地提高了聚类分析的效率。由此得出结论:可以利用旧的历史数据提高分析效率,缩短实际业务中的统计计算时间。
- 吴琪高滢王晓涛左万利
- 关键词:增量聚类层次聚类决策支持系统数据挖掘
- 基于决策树分类方法的粮食轮换决策支持系统被引量:1
- 2006年
- 粮食轮换决策一直是困扰国家粮食存储企业的难题。粮食管理信息系统多年的成功应用,积累了大量的粮食数据信息。粮食轮换决策支持系统基于数据挖掘中的决策树分类方法,在大量的粮食轮换样本数据的基础上,发掘粮食轮换的决策知识,并利用这些知识指导粮食轮换决策。该系统运行稳定,已成功试运行于某地区的粮食管理部门和企业,并明显改善了其粮食轮换决策的效能。
- 于海鸿孙吉贵李泽海孙国
- 关键词:决策支持系统决策树
- 一个粮食聚类分析系统的设计与实现
- 2005年
- 在构建粮食行业数据仓库的基础上,运用数据挖掘中的层次聚类分析方法和分裂聚类分析法,结合中国粮食行业的业务发展方向并充分考虑用户的热点需求,实现了一个完整的聚类分析系统,并针对粮食行业的业务特点对聚类分析中的各种问题提出了相应的解决办法,是粮食行业的数据仓库解决方案中的重要组成部分。
- 吴琪左万利
- 关键词:聚类数据仓库数据挖掘