国家教育部博士点基金(20050183065)
- 作品数：21 被引量：144H指数：8
- 相关作者：孙吉贵卢欣华吕帅张永刚蔡敦波更多>>
- 相关机构：吉林大学东北师范大学长春大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术生物学天文地球电子电信更多>>
- Analog-Cell:一种新的电子细胞图形模型被引量：8
- 2007年
- 本文提出了一种新的模拟基因表达过程的电子细胞图形模型Analog-Cell,给出了实现该模型设计的主要算法和模拟结果.与其它电子细胞模型相比,Analog-Cell特点在于含有丰富的图像信息,并在分子水平上模拟了基因突变.
- 卢欣华孙吉贵
- 关键词：生物信息学电子细胞人工生命
- 基于延迟部分推理的快速前向规划系统被引量：10
- 2008年
- 根据动作组件诱发关系的存在和抵制计算的必要性,提出一个计算松弛规划解的新方法——延迟部分推理.该方法在考虑动作删除效果的假定下,构造不包含任何互斥关系的组件规划图,通过定义"松弛诱发"关系预测后续规划过程中可能出现的组件诱发现象,在松弛规划解提取阶段判断动作组件间的"松弛诱发"关系并选择抵制动作避免可能发生的消极作用.基于延迟部分推理方法定义了新的启发式函数和剪枝策略,设计了规划系统FFc并在多个国际通用的测试域上进行实验.结果表明,FFc较之Fast-Forward在求解效率和求解质量方面都有显著的提高.
- 蔡敦波殷明浩谷文祥孙吉贵刘科成
- 关键词：启发式搜索
- 一个基于最小冲突修补的动态约束满足求解算法被引量：13
- 2007年
- 约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法.
- 孙吉贵高健张永刚
- 关键词：禁忌搜索
- 大规模三维地形可视化算法研究进展被引量：30
- 2007年
- 大规模地形可视化是大型户外环境模拟不可缺少的组成部分,也是近年来可视化领域的研究热点,在游戏、仿真、虚拟现实、地理信息系统等领域有着广泛的应用。本文重点讨论了国内外学者在该领域的研究方法和最新研究进展以及尚未解决的问题。从数据拟合和模型简化两个方面叙述了自适应地形可视化建模方法,根据对现代图形硬件是否友好,将地形模型简化算法归纳为面向CPU的细粒度LOD算法和面向GPU的粗粒度LOD算法两类,同时描述了建模过程中存在的空间不连续问题以及各种解决方案,详细阐述了支持大数据集绘制的out-of-core技术,最后总结并分析了地形可视化建模领域的发展趋势和今后的研究重点。
- 张慧杰孙吉贵刘雪洁李泽海
- 关键词：多分辨率模型粗粒度
- 基于Conformant Fast-Forward规划系统的析取目标处理方法被引量：4
- 2008年
- 将规划系统Conformant Fast-Forward从单目标规划扩展到基于析取目标的不确定规划,设计并实现了新的规划系统Conformant-FF-d.Conformant-FF-d的新功能主要包括:目标状态判断、可达性分析和启发函数.提出一种利用SAT技术进行目标状态判断的高效方法;提出析取目标条件下信念状态的可达性分析方法,有效地删除无法到达目标的信念状态,进而缩小了搜索空间的规模;设计了适用于析取目标的启发函数,有效地指导搜索算法向更有希望到达目标的方向进行.在国际规划竞赛的问题域上对Conformant-FF-d和先进的规划系统POND进行测试和对比分析,实验结果表明:Conformant-FF-d的求解效率高而且具有较好的可扩展性.
- 杨宇鹏欧阳丹彤蔡敦波吕帅
- 关键词：SAT
- 关系扩展规则被引量：1
- 2008年
- 基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
- 吴瑕于海鸿李泽海李河孙佳瑜
- 关键词：定理证明模态逻辑
- 电子细胞中的基因表达调控研究
- 2008年
- 基因表达调控决定了基因组中遗传信息表达为影响细胞生命活动的蛋白质组的数量、成分和功能,现有的电子细胞模型对基因表达调控模拟得较少。提出Analog-Cell电子细胞模型,通过定义反应过程中的调节因子和酶以及制定合理的反应规则,有效地模拟了基因表达中主要的调控机制,真实地再现了细胞内基因表达这一生命活动,并得到了比较理想的模拟结果。
- 卢欣华孙吉贵
- 关键词：电子细胞人工生命基因表达调控生物信息学
- 一种多目标增量启发式搜索算法被引量：6
- 2009年
- 提出一种多目标增量启发式搜索算法,该算法结合启发式搜索与增量搜索的思想,当多目标问题搜索图的状态格局发生改变时,该算法并不是对变化后的问题进行完全重新求解,而是部分利用了先前搜索保留的信息求解新问题的最优解集,从而提高了问题求解的效率.通过Gridworld标准测试问题上的实验测试,验证了算法的效率.
- 魏唯欧阳丹彤吕帅殷明浩
- 关键词：启发式搜索多目标问题最优解集
- JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统
- 2009年
- 不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取相关的定性信息.在2004年概率规划比赛冠军LAO系统的基础上设计了JLU-RLAO系统和JLU-QLAO系统.它们可以在无法获得精确的状态转移概率条件下,依然保证规划求解的健壮性.实验结果表明,JLU-RLAO系统和JLU-QLAO系统可以快速高效地解决上述不确定智能规划问题.
- 孙吉贵殷明浩吕帅
- Analog-Cell电子细胞模型中基于并发约束的随机模型构架被引量：1
- 2008年
- 提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细胞模型含有更丰富的图像信息,能更清晰地观察细胞内基因表达的全过程,具有良好的应用前景。
- 卢欣华孙吉贵行荣韩霄松
- 关键词：电子细胞生物信息学
