您的位置: 专家智库 > >

国家自然科学基金(60473003)

作品数:42 被引量:302H指数:9
相关作者:孙吉贵张永刚张长胜卢欣华高健更多>>
相关机构:吉林大学苏州大学东北师范大学更多>>
发文基金:国家自然科学基金国家教育部博士点基金教育部“新世纪优秀人才支持计划”更多>>
相关领域:自动化与计算机技术电子电信生物学交通运输工程更多>>

文献类型

  • 42篇期刊文章
  • 2篇会议论文

领域

  • 40篇自动化与计算...
  • 3篇电子电信
  • 2篇生物学
  • 1篇机械工程
  • 1篇交通运输工程
  • 1篇农业科学
  • 1篇理学

主题

  • 6篇搜索
  • 5篇约束满足问题
  • 4篇聚类
  • 4篇弧相容
  • 3篇电子细胞
  • 3篇人工智能
  • 2篇软件模型
  • 2篇生物信息
  • 2篇生物信息学
  • 2篇群算法
  • 2篇人工生命
  • 2篇子群
  • 2篇网络
  • 2篇相容性
  • 2篇向量
  • 2篇向量空间
  • 2篇向量空间模型
  • 2篇粒子群
  • 2篇粒子群算法
  • 2篇聚类分析

机构

  • 40篇吉林大学
  • 3篇东北师范大学
  • 2篇苏州大学
  • 1篇广东警官学院
  • 1篇长春大学
  • 1篇复旦大学
  • 1篇长春工业大学
  • 1篇南京大学
  • 1篇教育部
  • 1篇浙江工业大学
  • 1篇中国第一汽车...
  • 1篇中国人民解放...

作者

  • 35篇孙吉贵
  • 5篇卢欣华
  • 5篇张长胜
  • 5篇张永刚
  • 3篇潘洪军
  • 3篇高健
  • 3篇张慧杰
  • 3篇亓常松
  • 3篇朱兴军
  • 3篇杨凤芹
  • 3篇张居阳
  • 2篇于海鸿
  • 2篇行荣
  • 2篇顾滨兵
  • 2篇刘吉锋
  • 2篇杨轻云
  • 2篇白曦
  • 2篇吕晓枫
  • 2篇蔡敦波
  • 2篇白洪涛

传媒

  • 8篇吉林大学学报...
  • 6篇计算机科学
  • 4篇吉林大学学报...
  • 3篇计算机研究与...
  • 3篇吉林大学学报...
  • 2篇自动化学报
  • 2篇计算机工程
  • 2篇计算机应用研...
  • 1篇科学通报
  • 1篇微计算机应用
  • 1篇通信学报
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇广西师范大学...
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇控制与决策
  • 1篇计算机工程与...
  • 1篇计算机测量与...
  • 1篇科技信息

年份

  • 1篇2012
  • 1篇2010
  • 17篇2008
  • 16篇2007
  • 8篇2006
  • 1篇2005
42 条 记 录,以下是 1-10
排序方式:
大词汇量连续语音识别中搜索空间的表示及相关搜索方法的研究进展被引量:2
2008年
本文综述了近年来大词汇量连续语音识别中搜索空间的表示及相关搜索方法的研究进展,分析了搜索空间的表示及相关搜索方法对语音识别性能产生的影响,并对本领域的研究中存在的问题和未来的发展动向进行了讨论。
杨凤芹孙吉贵张长胜张长海
关键词:搜索空间搜索声学模型语言模型
一种基于PSO的分割聚类算法被引量:5
2008年
为了求得一个数据集的最优分割,提出了一种基于PSO的分割聚类算法-PKPSO,将PSO算法和K均值聚类算法有效地结合在一起,对群体中的候选解有选择地利用K均值算法做进一步优化以提高解的精度。通过对算法的分析,给出了控制参数选择依据。并将此算法与单独使用K均值、PSO算法及QPSO算法聚类进行比较,试验测试结果表明:PKPSO算法有更好的全局收敛性,不仅能有效地克服传统算法易陷入局部极小值的缺点,而且求得解的精度和算法的稳定性都明显优于其他方法。
张长胜孙吉贵崔妍杨凤芹
关键词:人工智能粒子群算法K均值算法惯性权重
移动Agent位置透明通信模型的设计
2008年
提出一种高效可靠的移动Agent通信模型――D-C通信模型,结合域名字解析器和移动Agent系统中的Communicator实现移动Agent之间的通信。通过引入一种基于全局的、与位置无关的命名方法――通用Agent标识,论述移动Agent的创建、迁移和访问及消息的发送和处理。
冯萍宋雅娟殷名浩
关键词:移动AGENT通信机制名字解析
基于经典逻辑的安全协议模型检测方法被引量:3
2008年
本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。
徐畅刘吉锋孙吉贵
关键词:安全协议
关系扩展规则被引量:1
2008年
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
吴瑕于海鸿李泽海李河孙佳瑜
关键词:定理证明模态逻辑
半在线调度中约束求解算法研究被引量:3
2007年
很多实际调度问题是半在线的.尝试运用人工智能方法来求解半在线调度问题,首先简要介绍了半在线调度问题并对其约束模型进行了分类,通过引入单调性约束扩展的相关概念,从约束建模角度形式化描述了一类动态约束扩展,并在此基础上设计了一个完备动态约束求解算法,最后给出该算法在半在线离散资源约束调度求解的应用算例.测试结果表明,该算法是可行有效的.
张居阳孙吉贵杨轻云
关键词:单调性
稀疏二元约束满足问题的环割集粒子群算法(英文)被引量:1
2006年
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。
杨轻云孙吉贵张居阳王纯杰
关键词:二元约束满足问题粒子群算法弧相容
基于离散度的决策树构造方法被引量:9
2008年
在构造决策树的过程中,属性选择将影响到决策树的分类精度.对此,讨论了基于信息熵方法和WMR方法的局限性,提出了信息系统中条件属性集的离散度的概念.利用该概念在决策树构造过程中选择划分属性,设计了基于离散度的决策树构造算法DSD.DSD算法可以解决WMR方法在实际应用中的局限性.在UCI数据集上的实验表明,该方法构造的决策树精度与基于信息熵的方法相近,而时间复杂度则优于基于信息熵的方法.
亓常松孙吉贵于海鸿
关键词:决策树离散度
层次化模糊Petri网:形式化定义和推理被引量:6
2007年
针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点,在模糊Petri网的基础上给出了层次化模糊Petri网(Hierarchical Fuzzy PetriNets,HFPN)的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化,可以采用模块化方法设计知识系统,从而降低构建知识库的复杂性,方便知识库的优化和管理。
潘洪军孙吉贵亓常松
关键词:计算机工程知识库模糊逻辑
Analog-Cell电子细胞模型中基于并发约束的随机模型构架被引量:1
2008年
提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细胞模型含有更丰富的图像信息,能更清晰地观察细胞内基因表达的全过程,具有良好的应用前景。
卢欣华孙吉贵行荣韩霄松
关键词:电子细胞生物信息学
共5页<12345>
聚类工具0