您的位置: 专家智库 > >

国家教育部博士点基金(20070183057)

作品数:8 被引量:16H指数:3
相关作者:张长海陈娟贾海洋刘大有余军更多>>
相关机构:吉林大学长春大学更多>>
发文基金:国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 8篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信
  • 1篇理学

主题

  • 2篇搜索
  • 2篇计算机
  • 2篇贝叶斯
  • 2篇贝叶斯网
  • 1篇大整数
  • 1篇大整数分解
  • 1篇等价
  • 1篇等价类
  • 1篇定性空间推理
  • 1篇动态规划
  • 1篇动态规划算法
  • 1篇遗传算法
  • 1篇约束满足问题
  • 1篇整数分解
  • 1篇生物信息
  • 1篇生物信息学
  • 1篇搜索空间
  • 1篇搜索模板
  • 1篇注记
  • 1篇拓扑

机构

  • 8篇吉林大学
  • 1篇长春大学
  • 1篇东北师范大学

作者

  • 3篇刘大有
  • 3篇贾海洋
  • 3篇陈娟
  • 3篇张长海
  • 2篇刘磊
  • 2篇余军
  • 1篇石莲
  • 1篇吕帅
  • 1篇刘元宁
  • 1篇李映红
  • 1篇关淞元
  • 1篇付治国
  • 1篇张浩
  • 1篇付燕宁
  • 1篇魏唯
  • 1篇杨凤芹
  • 1篇杨超
  • 1篇赵冠男
  • 1篇刘欣

传媒

  • 2篇吉林大学学报...
  • 2篇吉林大学学报...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机工程与...
  • 1篇Journa...

年份

  • 2篇2011
  • 3篇2010
  • 2篇2009
  • 2篇2008
8 条 记 录,以下是 1-9
排序方式:
免疫遗传算法学习贝叶斯网等价类被引量:4
2009年
针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子的使用可有效缩小搜索空间规模,加快收敛速度,提高执行效率.
贾海洋刘大有陈娟关淞元刘欣
关键词:贝叶斯网免疫遗传算法
具有积分边值条件的单调性定理被引量:1
2008年
应用Leray-Schauder度理论给出二阶微分方程在积分边值条件下的单调性定理,利用该定理可直接判定右端函数f(t,x,x′)满足Nagumo条件的二阶微分方程解的存在性.
李映红余军
关键词:积分边值条件存在性
Simulating the Folding Pathway of RNA Secondary Structure Using the Modified Ant Colony Algorithm
2010年
A new method for simulating the folding pathway of RNA secondary structure using the modified ant colony algorithmis proposed.For a given RNA sequence,the set of all possible stems is obtained and the energy of each stem iscalculated and stored at the initial stage.Furthermore,a more realistic formula is used to compute the energy ofmulti-branch loop in the following iteration.Then a folding pathway is simulated,including such processes as constructionof the heuristic information,the rule of initializing the pheromone,the mechanism of choosing the initial andnext stem and the strategy of updating the pheromone between two different stems.Finally by testing RNA sequences withknown secondary structures from the public databases,we analyze the experimental data to select appropriate values forparameters.The measure indexes show that our procedure is more consistent with phylogenetically proven structures thansoftware RNAstructure sometimes and more effective than the standard Genetic Algorithm.
Jun Yu~(1,2),Changhai Zhang~(1,2),Yuanning Liu~(1,2),Xin Li~(1,2) 1.College of Computer Science and Technology,Jilin University,Changchun 130012,P.R.China 2.Key Laboratory of Symbolic Computation and Knowledge Engineering (Ministry of Education,China) Jilin University,Changchun 130012,P.R.China
关键词:SECONDARYFOLDINGPATHWAYANTCOLONY
贝叶斯网结构学习搜索空间分析
2010年
贝叶斯网结构学习是一个NP难题,提高学习效率是重要研究问题之一。贝叶斯网结构空间的规模随节点(随机变量)数呈指数增加,选择适当的结构空间可以提高学习效率。本文对贝叶斯网结构空间进行定性和定量分析,对比有向图空间、贝叶斯网空间和马尔科夫等价类空间的规模和特点。通过实验数据分析先验结构空间约束对降低结构空间规模的效率,给出约束参数的选择区间。为贝叶斯网结构学习选择搜索空间和确定约束参数提供理论支持,从而提高学习效率。
贾海洋陈娟刘大有
关键词:贝叶斯网搜索空间
依赖公理约简的经典规划方法
2011年
基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.
吕帅刘磊石莲魏唯杨超
关键词:命题逻辑
流程模板驱动的Web服务组合方法被引量:3
2008年
通过将业务流程表达为流程模板,利用服务选取代理SAS使BPEL4WS与语义Web服务相集成,提出了流程模板驱动的Web服务组合方法。该方法可以根据任务的搜索模板动态地发现、选择和绑定相应的Web服务,将抽象的流程模板实例化为可执行的流程实例。与同类方法相比,该方法考虑了现有的BPEL4WS规范的技术能力。
付燕宁刘磊张长海
关键词:计算机软件WEB服务搜索模板
基于MBR的拓扑、方位、尺寸结合的定性空间推理被引量:6
2010年
解决实际问题需将多方面空间关系结合进行推理,多方面空间关系结合推理已成为定性空间推理的研究热点;已有工作主要集中在两方面空间关系结合,缺少两方面以上空间关系结合工作.为解决上述问题,通过最小外包矩形近似表示区域对象,利用其在坐标轴上投影间的关系表示相应空间关系;提出扩展矩形关系模型,实现拓扑、方位和尺寸关系的统一表示和推理;给出RCC8、主方位及尺寸关系转换成扩展矩形关系的转换算法;讨论其上关系取反和复合,指出其复合是基于相容性而非存在性;证明(强预)凸扩展矩形关系约束网是可处理的.
陈娟刘大有贾海洋张长海
关键词:定性空间推理拓扑尺寸约束满足问题
关于RSA的一个注记
RSA是当前应用最广泛的公钥密码系统,它的安全性依赖于大整数分解的困难性.对RSA大整数N=pq,若存在整数t=uv,使|pv-qu|<4m,其中m=‘(N·uv)’+1.给出了一个基于一元二次多项式的能有效分解N的算法...
杨凤芹张长海付治国
关键词:大整数分解连分数
文献传递
基于茎区的动态规划算法的核糖核酸二级结构预测被引量:2
2011年
结合传统动态规划算法和组合优化算法在二级结构预测的优势,提出了一种以茎区为最小结构单元的新的动态规划算法。对于给定的RNA序列,首先得到所有可能的茎区集合,采用环依赖的方式计算二级结构的能量,通过茎区动态规划算法递归得到能量最优的二级结构,最后选取数据库中不同长度的已知二级结构的RNA序列进行测试。结果表明,该算法在特异性、敏感性和马休兹参数方面均优于遗传算法,在计算复杂性方面低于传统的动态规划算法。
余军张长海张浩赵冠男刘元宁
关键词:计算机应用生物信息学核糖核酸茎区动态规划算法
共1页<1>
聚类工具0