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

作品数：21被引量：121H指数：7
导出分析报告
相关作者：孙吉贵卢欣华吕帅张永刚蔡敦波更多>>
相关机构：吉林大学东北师范大学长春大学更多>>
相关期刊：《吉林大学学报（理学版）》《计算机学报》《吉林大学学报（信息科学版）》《电子学报》更多>>
相关主题：生物信息学弧相容人工生命电子细胞定理证明更多>>
相关领域：自动化与计算机技术生物学天文地球电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种多目标增量启发式搜索算法被引量：5
《吉林大学学报（理学版）》2009年第4期752-758,共7页魏唯 欧阳丹彤 吕帅 殷明浩 
国家自然科学基金(批准号:60773097;60873044;60803102;60873148);教育部博士学科点基金(批准号:20050183065;20060183044);吉林省科技发展计划项目基金(批准号:20060532;20080107);吉林省青年科研基金(批准号:20080617)
提出一种多目标增量启发式搜索算法,该算法结合启发式搜索与增量搜索的思想,当多目标问题搜索图的状态格局发生改变时,该算法并不是对变化后的问题进行完全重新求解,而是部分利用了先前搜索保留的信息求解新问题的最优解集,从而提高了...
关键词：启发式搜索 增量搜索 多目标问题 最优解集 
JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统
《计算机研究与发展》2009年第4期667-675,共9页孙吉贵 殷明浩 吕帅 
国家自然科学基金重大项目(6049321);国家自然科学基金项目(60473042;60573067;60803102);高等学校博士学科点专项科研基金项目(20050183065);东北师范大学青年自然科学基金项目(20070601)~~
不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取...
关键词：智能规划 不确定规划 最坏模型 最好模型 定性决策 
基于扩展规则的模型计数与智能规划方法被引量：22
《计算机研究与发展》2009年第3期459-469,共11页赖永 欧阳丹彤 蔡敦波 吕帅 
国家自然科学基金项目(607730097);教育部高等学校博士学科点专项科研基金项目(20050183065)~~
提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方...
关键词：自动推理 扩展规则 命题可满足问题 模型计数 Conformant规划 
真核生物启动子的预测技术被引量：11
《计算机科学》2009年第1期5-9,33,共6页孙吉贵 韩霄松 卢欣华 行荣 仲洋 
国家自然科学基金(No.607730097);国家教育部高等学校博士学科点专项科研基金(No.20050183065)资助
启动子是基因表达过程中非常重要的调控序列,是影响基因能否转录的重要功能单位之一,真核生物的启动子预测已经成为生物信息学研究的热点。将结合人工神经网络、支持向量机、二次判别分析和位置权值矩阵技术,对国内外真核生物启动子的...
关键词：启动子 人工神经网络 支持向量机 二次判别分析技术 位置权值矩阵 生物信息学 
一种新的基于扩展规则的定理证明算法被引量：17
《计算机研究与发展》2009年第1期9-14,共6页孙吉贵 李莹 朱兴军 吕帅 
国家自然科学基金项目(60773097);高等学校博士学科点基金项目(20050183065);吉林省青年科研基金项目(20080107)~~
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提...
关键词：定理机器证明 命题逻辑 扩展规则 可满足性问题 归结 
基于Conformant Fast-Forward规划系统的析取目标处理方法被引量：1
《计算机研究与发展》2008年第12期2120-2128,共9页杨宇鹏 欧阳丹彤 蔡敦波 吕帅 
国家自然科学基金项目(607730097);教育部高等学校博士学科点专项科研基金项目(20050183065);吉林大学"九八五"工程研究生创新基金项目(20080233)~~
将规划系统Conformant Fast-Forward从单目标规划扩展到基于析取目标的不确定规划,设计并实现了新的规划系统Conformant-FF-d.Conformant-FF-d的新功能主要包括:目标状态判断、可达性分析和启发函数.提出一种利用SAT技术进行目标状态判...
关键词：Conformant规划 析取目标 松弛规划图 SAT 2-CNF推理 
Analog-Cell电子细胞模型中基于并发约束的随机模型构架被引量：1
《计算机科学》2008年第12期183-186,共4页卢欣华 孙吉贵 行荣 韩霄松 
国家自然科学基金重大项目(No.60496321);国家自然科学基金(No.60473003);教育部高等学校博士学科点专项科研基金(No.20050183065);吉林省科技发展计划重大基金项目(No.20040526);吉林省杰出青年基金资助项目(No.20030107)
提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细...
关键词：电子细胞 并发约束 随机模型 生物信息学 
移动Agent位置透明通信模型的设计
《计算机工程》2008年第18期137-139,共3页冯萍 宋雅娟 殷名浩 
国家自然科学基金资助项目(60473003);教育部博士点基金资助项目(20050183065)
提出一种高效可靠的移动Agent通信模型――D-C通信模型,结合域名字解析器和移动Agent系统中的Communicator实现移动Agent之间的通信。通过引入一种基于全局的、与位置无关的命名方法――通用Agent标识,论述移动Agent的创建、迁移和访问...
关键词：移动AGENT 通信机制 命名 名字解析 
COM组件技术研究被引量：6
《科技信息》2008年第26期343-,379,共2页张盛 卢建华 卢欣华 
国家自然科学基金重大项目(No.60496321);国家自然科学基金(No.60473003);教育部高等学校博士学科点专项科研基金(No.20050183065);吉林省科技发展计划(No.20040526)资助
本文阐述了COM组件技术的定义、发展趋势和组成结构,指出COM技术使得软件系统可以无缝的整合到操作系统中,合乎软件发展的需要。它几乎成为每个大型软件系统架构的基本设计思想。
关键词：COM组件 软件开发 接口技术 
关系扩展规则被引量：1
《吉林大学学报（理学版）》2008年第3期504-508,共5页吴瑕 于海鸿 李泽海 李河 孙佳瑜 
国家自然科学基金(批准号:60473003;60773097);教育部博士点专项科研基金(批准号:20050183065)
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
关键词：定理证明 模态逻辑 扩展规则 关系转换 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部