国家自然科学基金(60073039)
- 作品数：16 被引量：101H指数：5
- 相关作者：孙吉贵刘全张永刚于海鸿寇飞宏更多>>
- 相关机构：吉林大学苏州大学更多>>
- 发文基金：国家自然科学基金吉林省自然科学基金高等学校骨干教师资助计划更多>>
- 相关领域：自动化与计算机技术理学社会学经济管理更多>>
- 一种模型不完备条件下的诊断方法
- 2003年
- 基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.
- 林海孙吉贵
- 一种多值规则量词公式的tableau的方法
- 2003年
- 在多值逻辑中，含有量词的tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明。但是由于扩展后的分枝非常庞大，使机器实现非常困难。文章通过对规则量词公式与一阶经典量词公式的对应关系的研究，使二者使用统一的扩展规则。
- 刘全孙吉贵窦全胜
- 关键词：量词TABLEAU
- 支持非覆盖维的扩展多维数据模型
- 2005年
- 非覆盖维等复杂结构维的处理一直都是数据仓库领域的难题,本文在详细分析非覆盖维特性的基础上,提出了一个扩展的多维数据模型,改变了传统的级别间的映射关系的定义方式,定义了从父级别到子级别分区的映射关系,从而实现了对非覆盖维和非平衡维的支持,并能够完整地表达各种复杂维层次结构语义。同时,基于DAG图描述的维层次结构,定义了基于该多维模型的立方体代数和OLAP操作。将多维数据库概念模型中的维与度量的转换操作引入到OLAP操作集合中,使其支持复杂维的转化操作,进而丰富和增强基于该模型的OLAP系统的分析能力。
- 李泽海孙吉贵赵君于海鸿
- 关键词：数据仓库联机分析处理多维数据模型
- 基于tableau的自动推理技术综述被引量：4
- 2005年
- tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。
- 刘全孙吉贵于万钧
- 关键词：TABLEAUTABLEAU方法计算机实现
- 约束逻辑程序的一个新语义研究被引量：1
- 2003年
- 首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.
- 张永刚孙吉贵
- 基于约束的调度研究和实现被引量：3
- 2004年
- 运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基于约束的调度求解算法CBS-1;并对一些典型问题进行了实验,实验结果表明算法提高了约束调度求解的效率和通用性。
- 张居阳礼欣孙吉贵
- 关键词：约束程序设计调度
- 约束满足问题求解及ILOG SOLVER系统简介被引量：17
- 2002年
- 首先综述求解约束满足问题的基本算法和搜索策略 ,然后介绍ILOGSOLVER求解系统提供的类和函数的基本组成 。
- 姜英新孙吉贵
- 关键词：约束满足问题搜索策略ILOG
- 网络优化算法的实现与比较被引量：13
- 2002年
- 以实际“物流决策支持系统”项目为背景 ,讨论了网络的邻接矩阵、关联矩阵、邻接表、弧表、星型表示法等计算机存储表示在处理实际问题时的优缺点 ,选用邻接矩阵、邻接表表示法设计实现了最短路算法和最大流算法 ,通过分析、测试 Ford-Fulkerson算法、最大容量增广路算法、Dinic算法、最高标号预流推进算法等 。
- 白洪涛孙吉贵焦洋徐长青
- 关键词：最短路径最大流算法网络优化
- 一种含等词的分阶段tableau算法
- 2003年
- 在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法——分阶段tableau 。在该算法中，将tableau分成两个阶段，等词单独处理，利用提取不等式析取并在启发式的帮助下计算等价类的方法，进一步限制了tableau的搜索空间，提高了tableau的推理效率。同时，为了研究分阶段tableau的有效性，进行了实例分析，并与Fitting和Jeffrey方法进行了比较，结果表明，分阶段tableau方法优于其它方法。
- 刘全孙吉贵张永刚
- 关键词：等词等价类
- 产品配置器的研究进展被引量：16
- 2006年
- 给出大批量定制生产方式与产品配置器的关系,并从理论研究与技术两个角度描述了产品配置的发展现状、研究内容、知识表示以及目前存在的问题,在此基础上提出基于图形知识的配置表示,指出了降低配置计算复杂性、提高配置求解效率的可行性方法以及产品配置器的应用前景.
- 李占山寇飞宏欧阳丹彤孙吉贵
- 关键词：大批量定制产品配置产品配置器
