于海鸿
- 作品数：22 被引量：87H指数：6
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金吉林省科技发展计划基金吉林省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学社会学更多>>
- 关系扩展规则被引量：1
- 2008年
- 基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
- 吴瑕于海鸿李泽海李河孙佳瑜
- 关键词：定理证明模态逻辑
- 一种基于STR算法的新表压缩方法
- 2018年
- 约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction,STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalised arc consistent,GAC)算法的运行速度.短支持方法是在约束传播算法中使用最广泛的一种表压缩方式,但当约束表压缩率较低时,短支持方法提高运行速度效果不明显.因此提出一种压缩约束表的新算法STRO(simple tabular reduction optimization),结合短支持压缩和位操作,在提高STR算法的运行速度的同时压缩表空间效果更好.实验结果表明:在约束表的平均大小不是特别小的情况下,STRO与ShortSTR2,STR2算法相比,速度更快、效率更高;与STRbit算法相比,在时间上可以替代STRbit算法,但STRO算法的表压缩率更大、更加节省空间.
- 董爱迪李占山于海鸿
- 关键词：位操作
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- 文献传递
- 支持非覆盖维的扩展多维数据模型
- 2005年
- 非覆盖维等复杂结构维的处理一直都是数据仓库领域的难题,本文在详细分析非覆盖维特性的基础上,提出了一个扩展的多维数据模型,改变了传统的级别间的映射关系的定义方式,定义了从父级别到子级别分区的映射关系,从而实现了对非覆盖维和非平衡维的支持,并能够完整地表达各种复杂维层次结构语义。同时,基于DAG图描述的维层次结构,定义了基于该多维模型的立方体代数和OLAP操作。将多维数据库概念模型中的维与度量的转换操作引入到OLAP操作集合中,使其支持复杂维的转化操作,进而丰富和增强基于该模型的OLAP系统的分析能力。
- 李泽海孙吉贵赵君于海鸿
- 关键词：数据仓库联机分析处理多维数据模型
- 基于离散度的决策树构造方法被引量：9
- 2008年
- 在构造决策树的过程中,属性选择将影响到决策树的分类精度.对此,讨论了基于信息熵方法和WMR方法的局限性,提出了信息系统中条件属性集的离散度的概念.利用该概念在决策树构造过程中选择划分属性,设计了基于离散度的决策树构造算法DSD.DSD算法可以解决WMR方法在实际应用中的局限性.在UCI数据集上的实验表明,该方法构造的决策树精度与基于信息熵的方法相近,而时间复杂度则优于基于信息熵的方法.
- 亓常松孙吉贵于海鸿
- 关键词：决策树离散度
- 基于GIS的粮食管理预警决策支持系统被引量：6
- 2006年
- 为了解决粮食管理中由于未及时预警而导致各种事故的难题,在粮食信息化管理基础上,结合G IS(Geograph ic Inform ation System)技术构建了粮食管理预警决策支持系统,利用监控预警模型、预测预警模型和知识发现预警模型对粮食信息进行监控与分析,发现威胁粮食安全的因素并及时进行预警。系统的有效预警率达到85%以上。系统已试运行,并取得满意的效果。
- 于海鸿孙吉贵李泽海孙国
- 关键词：预警地理信息系统预警模型决策支持系统
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- 粮食管理信息智能决策支持系统
- 程德龙孙吉贵孙国陈岩于海鸿李泽海欧阳丹彤白洪涛牛晓威赵国龙刘洪兵李春鹏王广胥革非单耀驰张春
- 该项目开发了粮食管理信息智能决策支持系统。应用商务智能技术建立了面向决策分析的粮食行业数据仓库；运用利用联机分析处理技术、数据挖掘技术、预测技术进行粮食行业数据的多角度全方位分析；运用数学优化模型对粮食管理的实际问题给予...
- 关键词：
- 粮食调拨决策支持系统的设计与实现被引量：11
- 2005年
- 为满足粮食调拨的时间及降低调拨成本的要求,设计并实现了一个粮食调拨决策支持系统。该系统通过粮食调拨计划汇总、分配方案制定和粮食运输方案制定等物流过程,给出粮食分配和运输的优化解决方案,最大限度地提供系统的灵活性和可用性,为制定粮食调拨运输方案提供快捷有效的决策支持,同时提供了决策者人工干预的接口。在对比了CS(Cost Scaling),RELAX,RNET,NETFLOW算法实际效率的前提下,选择实现了高效的CS算法。该系统作为粮食行业决策支持系统的子系统已得到实际应用。
- 孙吉贵白洪涛于海鸿李泽海
- 关键词：调拨决策支持最小费用流
- 多维数据环境中决策支持相关技术研究及应用
- 数据仓库和联机分析处理为决策支持系统开辟了新的途径，基于数据仓库的智能决策支持系统成为决策支持系统的新形式。数据仓库为决策支持系统提供了新的多维数据环境，新的数据环境引起了传统决策支持技术的变革。本文对多维数据环境中决策...
- 于海鸿
- 关键词：模型管理模型组合多维数据联机分析处理
- 文献传递
