您的位置： 专家智库 > >

朱兴军

作品数：11 被引量：43H指数：4
供职机构：吉林大学更多>>
发文基金：国家自然科学基金吉林省青年科研基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术交通运输工程机械工程更多>>

合作作者

文献类型

  • 8篇期刊文章
  • 2篇学位论文
  • 1篇科技成果

领域

  • 10篇自动化与计算...
  • 1篇机械工程
  • 1篇交通运输工程

主题

  • 5篇约束满足问题
  • 2篇定理
  • 2篇定理机器证明
  • 2篇人工智能
  • 2篇相容性
  • 2篇命题逻辑
  • 2篇弧相容
  • 2篇机器证明
  • 1篇地形
  • 1篇定理证明
  • 1篇动力学仿真
  • 1篇虚拟样机
  • 1篇样机
  • 1篇仿真
  • 1篇分治策略
  • 1篇参数化
  • 1篇产品配置
  • 1篇产品配置器

机构

  • 11篇吉林大学
  • 1篇东北大学

作者

  • 11篇朱兴军
  • 8篇孙吉贵
  • 6篇张永刚
  • 5篇李莹
  • 2篇高健
  • 2篇吴瑕
  • 1篇于海鸿
  • 1篇任建
  • 1篇刘春晖
  • 1篇杨风杰
  • 1篇吕帅
  • 1篇高健
  • 1篇张长胜
  • 1篇李占山
  • 1篇白洪涛
  • 1篇李河
  • 1篇姜珊珊

传媒

  • 2篇自动化学报
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇吉林大学学报...
  • 1篇吉林大学学报...

年份

  • 1篇2011
  • 5篇2009
  • 4篇2008
  • 1篇2007
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于IMOM和IBOHM启发式策略的扩展规则算法被引量：13
2009年
基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法中,有指导性地选择限定搜索空间的子句,设计并实现了算法IMOMH_IER和IBOHMH_IER.实验结果表明,由于这两种启发式策略能够选择较为合适的搜索空间,可以尽快地判定出原问题是否可满足,故其速度平均能够达到原有算法DR(directional resolution)和IER的10～200倍.
李莹孙吉贵吴瑕朱兴军
关键词：定理机器证明命题逻辑
一种基于预处理技术的约束满足问题求解算法被引量：12
2008年
相容性技术作为约束满足问题的一种有效求解技术，不论是在求解前的预处理过程中，还是在搜索过程中，都扮演着极为重要的角色。文中对预处理阶段的相容性技术进行改进和信息抽取，提出两种应用于搜索过程中的新算法Pre-AC和Pre-AC^＊，并嵌入到BT框架中，形成新的搜索算法BT＋MPAC和BT＋MPAC^＊，给出了其正确性证明，通过复杂性分析得到Pre-AC和Pre-AC”的时间复杂度分别是O（nd）和O（ed^2），明显低于目前最流行的弧相容技术的时间复杂度O（ed^3）．实验测试结果表明：对于不同类别的用例，新算法的执行效率是弧相容维护算法的2～50倍。
孙吉贵朱兴军张永刚李莹
关键词：约束满足问题
约束求解的推理技术研究
本文主要工作是研究与改进约束求解中的推理技术。具体内容包括:提出基于最先失败原则的约束传播算法FFP-AC;研究相容性技术传播级别,提出singleton子问题弧相容概念和相应算法;提出并证明多值传播定理,提出多值传播的...
朱兴军
关键词：人工智能
文献传递
基于约束推理的产品配置器建模研究
孙吉贵李占山张永刚于海鸿吴瑕杨风杰李河白洪涛高健任建朱兴军
本项目主要把约束推理与诊断推理嵌入到产品配置器求解算法中, 并对此进行了深入的研究，取得了系列研究成果。发表学术论文20余篇，完成了配置求解工具软件系统“轿车配置的智能决策支持系统”的研发。在研究产品建模方法时，采用了“...
关键词：
关键词：产品配置
一种新的基于完全独立相容性的预处理技术被引量：3
2009年
研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行了详细证明.基于此概念和性质,提出了一种基于完全独立相容性的预处理算法:SAC-ESC算法,并给出了正确性证明.最后,本文采用分治思想,根据不同问题的论域自适应地合理划分其子论域.实验结果表明,对于随机问题、鸽巢问题、N皇后问题和基准用例,算法SAC-ESC的执行效率大约是目前流行算法SAC-SDS和SAC-3的3～20倍.
朱兴军孙吉贵张永刚李莹
关键词：约束满足问题分治策略
最先失败原则的约束传播算法被引量：8
2008年
约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%.
孙吉贵朱兴军张永刚高健
关键词：弧相容约束满足问题
全地形双节履带运输车转向动力学分析与仿真
履带式车辆因其具有良好的通过性而被广泛的应用于农业、工程建筑、森林消防、军事等领域。全地形双节履带运输车是一种可以在多种地面条件下行驶的履带车辆,它可以在普通车辆无法行驶的地形条件下行走自如,甚至在一些极端险恶的地理条件...
朱兴军
关键词：虚拟样机动力学仿真
文献传递
一种改进的双向singleton弧相容算法被引量：2
2008年
在现有相容性算法研究的基础上,提出了一种在约束网络中确立双向singleton弧相容的新算法——BiSAC-2,并给出了其正确性和完备性证明。该算法与原有算法BiSAC-1具有相同的化简问题能力,但BiSAC-2能够减少弧相容维护的次数,避免冗余约束传播过程的产生,从而可以快速地到达稳定点,进而实现高效的目的。对随机约束满足问题的测试结果表明,算法BiSAC-2比原始算法BiSAC-1具有更明显的性能优势。
刘春晖朱兴军孙吉贵姜珊珊
关键词：人工智能约束满足问题
参数化弧相容约束传播被引量：3
2007年
为进一步提高约束满足问题求解算法的效率，对约束传播过程进行了分析，并使用变量论域缩减比例对弧相容传播深度进行参数化描述，同时提出了一个约束传播程度可以控制的弧相容传播算法，研究了在不同参数下约束求解算法的效率。该算法在“明月1．0”架构下实现。实验结果表明，约束传播程度是影响算法求解效率的一个重要因素，通过调整控制参数可以使算法效率提高3～4倍。
高健孙吉贵张永刚朱兴军
关键词：弧相容
一种新的基于扩展规则的定理证明算法被引量：19
2009年
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.
孙吉贵李莹朱兴军吕帅
关键词：定理机器证明命题逻辑
全选 清除 导出
共2页<12>
聚类工具0