国家自然科学基金(60473003)

作品数：42被引量：221H指数：7
导出分析报告
相关作者：孙吉贵张永刚张长胜卢欣华高健更多>>
相关机构：吉林大学苏州大学东北师范大学浙江工业大学更多>>
相关期刊：《计算机工程与设计》《吉林大学学报（理学版）》《计算机学报》《吉林大学学报（信息科学版）》更多>>
相关主题：约束满足问题弧相容人工智能人工生命PSO更多>>
相关领域：自动化与计算机技术电子电信生物学交通运输工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于云计算的Apriori挖掘算法被引量：6
《计算机测量与控制》2012年第6期1653-1655,共3页吴琪 
国家自然科学基金(60473003);2009广东警官学院科研项目(2009-Z09)
MapReduce是云计算技术主流的分布式计算模型,它充分利用计算机集群的处理能力;能对大规模数据进行高效的挖掘分析;在研究MapReduce模型架构的基础上,将云计算技术与数据挖掘技术结合在一起,提出了基于MapReduce模型的Apriori算法;该算...
关键词：关联规则 APRIORI算法 云计算 MAPREDUCE模型 
一种软件模型检测方法及其原型系统被引量：4
《微计算机应用》2010年第11期39-46,共8页顾滨兵 
国家自然科学基金(60473003)资助课题
模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技...
关键词：模型检测 软件验证 程序分析技术 SAT方法 
一种基于PSO的分割聚类算法被引量：5
《吉林大学学报（工学版）》2008年第6期1371-1377,共7页张长胜 孙吉贵 崔妍 杨凤芹 
国家自然科学基金项目(60473003,60773097);教育部新世纪优秀人才支持计划基金项目(60273080);吉林省杰出青年基金项目(20030107);吉林省青年科研基金项目(20080107,20080617)
为了求得一个数据集的最优分割,提出了一种基于PSO的分割聚类算法-PKPSO,将PSO算法和K均值聚类算法有效地结合在一起,对群体中的候选解有选择地利用K均值算法做进一步优化以提高解的精度。通过对算法的分析,给出了控制参数选择依据。并...
关键词：人工智能 粒子群算法 分割聚类 K均值算法 惯性权重 
移动Agent位置透明通信模型的设计
《计算机工程》2008年第18期137-139,共3页冯萍 宋雅娟 殷名浩 
国家自然科学基金资助项目(60473003);教育部博士点基金资助项目(20050183065)
提出一种高效可靠的移动Agent通信模型――D-C通信模型,结合域名字解析器和移动Agent系统中的Communicator实现移动Agent之间的通信。通过引入一种基于全局的、与位置无关的命名方法――通用Agent标识,论述移动Agent的创建、迁移和访问...
关键词：移动AGENT 通信机制 命名 名字解析 
Analog-Cell电子细胞模型中基于并发约束的随机模型构架被引量：1
《计算机科学》2008年第12期183-186,共4页卢欣华 孙吉贵 行荣 韩霄松 
国家自然科学基金重大项目(No.60496321);国家自然科学基金(No.60473003);教育部高等学校博士学科点专项科研基金(No.20050183065);吉林省科技发展计划重大基金项目(No.20040526);吉林省杰出青年基金资助项目(No.20030107)
提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细...
关键词：电子细胞 并发约束 随机模型 生物信息学 
一致性规划研究被引量：1
《计算机工程》2008年第24期31-33,36,共4页赵晶晶 孙吉贵 殷明浩 蔡敦波 
国家自然科学基金资助项目(60473003);长春工业大学科学研究发展基金资助项目(2007114);东北师范大学青年教师科学基金资助项目(20070601)
针对一致性规划的高度求解复杂度,分析主流一致性规划器的求解策略,给出影响一致性规划器性能的主要因素:启发信息的有效性,信念状态表示方法的紧凑性和最终问题求解机制的效率。分析信念状态的表示方法和相应的求解机制,并比较不同表...
关键词：智能规划 不确定性规划 一致性规划 
强化学习算法研究被引量：10
《计算机工程与设计》2008年第22期5805-5809,共5页刘忠 李海红 刘全 
国家自然科学基金项目(60473003、60673092);中国博士后科研基金项目(20060390919);江苏省高校自然科学基金项目(06KJB520104);江苏省博士后科研基金项目(060211C)
针对智能Agent运动中普遍存在的避障问题,结合强化学习具有的试错和环境交互获得在某状态下选择动作的策略以及无导师在线学习等特性。在介绍强化学习的原理、分类以及主要算法(TD(λ)、Q_learning、Dyna、Prioritized Sweeping、Sarsa...
关键词：强化学习 Q学习 Agent智能体 机器人控制 避障 搜索引擎 
COM组件技术研究被引量：6
《科技信息》2008年第26期343-,379,共2页张盛 卢建华 卢欣华 
国家自然科学基金重大项目(No.60496321);国家自然科学基金(No.60473003);教育部高等学校博士学科点专项科研基金(No.20050183065);吉林省科技发展计划(No.20040526)资助
本文阐述了COM组件技术的定义、发展趋势和组成结构,指出COM技术使得软件系统可以无缝的整合到操作系统中,合乎软件发展的需要。它几乎成为每个大型软件系统架构的基本设计思想。
关键词：COM组件 软件开发 接口技术 
基于经典逻辑的安全协议模型检测方法被引量：3
《计算机科学》2008年第6期20-24,共5页徐畅 刘吉锋 孙吉贵 
国家自然科学基金(60473003);教育部“新世纪优秀人才支持计划”;博士点基金(20050183065)资助课题
本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。
关键词：安全协议 模型检测 SAT求解 归结 
关系扩展规则被引量：1
《吉林大学学报（理学版）》2008年第3期504-508,共5页吴瑕 于海鸿 李泽海 李河 孙佳瑜 
国家自然科学基金(批准号:60473003;60773097);教育部博士点专项科研基金(批准号:20050183065)
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
关键词：定理证明 模态逻辑 扩展规则 关系转换 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部