国家自然科学基金(607730097)
- 作品数：4 被引量：40H指数：3
- 相关作者：欧阳丹彤蔡敦波吕帅赖永韩霄松更多>>
- 相关机构：吉林大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术生物学天文地球更多>>
- 真核生物启动子的预测技术被引量：11
- 2009年
- 启动子是基因表达过程中非常重要的调控序列,是影响基因能否转录的重要功能单位之一,真核生物的启动子预测已经成为生物信息学研究的热点。将结合人工神经网络、支持向量机、二次判别分析和位置权值矩阵技术,对国内外真核生物启动子的预测研究进行介绍,并在最后采用合适的技术应用到模拟真核生物基因表达过程的电子细胞模型Analog-Cell中。
- 孙吉贵韩霄松卢欣华行荣仲洋
- 关键词：启动子人工神经网络支持向量机生物信息学
- 基于扩展规则的模型计数与智能规划方法被引量：23
- 2009年
- 提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方法的Conformant规划系统.实验结果表明:使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间;对于互补因子较高的问题,#ER优于#DPLL;#CDE融合了#ER和#DPLL的优点.研究表明扩展规则方法对于互补因子较高的问题具有较大的优势,具有广阔的应用前景.
- 赖永欧阳丹彤蔡敦波吕帅
- 基于Conformant Fast-Forward规划系统的析取目标处理方法被引量：3
- 2008年
- 将规划系统Conformant Fast-Forward从单目标规划扩展到基于析取目标的不确定规划,设计并实现了新的规划系统Conformant-FF-d.Conformant-FF-d的新功能主要包括:目标状态判断、可达性分析和启发函数.提出一种利用SAT技术进行目标状态判断的高效方法;提出析取目标条件下信念状态的可达性分析方法,有效地删除无法到达目标的信念状态,进而缩小了搜索空间的规模;设计了适用于析取目标的启发函数,有效地指导搜索算法向更有希望到达目标的方向进行.在国际规划竞赛的问题域上对Conformant-FF-d和先进的规划系统POND进行测试和对比分析,实验结果表明:Conformant-FF-d的求解效率高而且具有较好的可扩展性.
- 杨宇鹏欧阳丹彤蔡敦波吕帅
- 关键词：SAT
- 基于故障行为的模型诊断方法被引量：4
- 2008年
- 提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题。在集合枚举树中添加了终止节点,从而避免了非极小诊断的产生,且不会因剪枝而丢失正确的解。实验结果表明,该算法程序容易编制,且效率较好,可以满足复杂的被诊断对象的实时性要求。
- 张立明欧阳丹彤赵相福
- 关键词：集合枚举树
