陈火旺

作品数:204被引量:1571H指数:18
导出分析报告
供职机构:国防科学技术大学计算机学院更多>>
发文主题:人工智能程序设计计算机遗传算法软件工程更多>>
发文领域:自动化与计算机技术理学电子电信语言文字更多>>
发文期刊:更多>>
所获基金:国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”国家重点基础研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
PSL构造双向交换自动机及非确定自动机的方法
《软件学报》2010年第1期34-46,共13页虞蕾 陈火旺 
国家自然科学基金No.60503032;国家高技术研究发展计划(863)No.2007AA010301~~
PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时...
关键词:PSL(property specification language) FL(foundation language) 双向交换自动机 非确定自动机 模型检验 
求解三维装箱问题的混合模拟退火算法被引量:67
《计算机学报》2009年第11期2147-2156,共10页张德富 彭煜 朱文兴 陈火旺 
提出了一个高效求解三维装箱问题(Three Dimensional Container Loading Problem 3D-CLP)的混合模拟退火算法.三维装箱问题要求装载给定箱子集合的一个子集到容器中,使得被装载的箱子总体积最大.文中介绍的混合模拟退火算法基于三个重...
关键词:三维装箱 启发式算法 模拟退火 
用于二维不规则排样的离散临界多边形模型被引量:11
《软件学报》2009年第6期1511-1520,共10页张德富 陈竞驰 刘永凯 陈火旺 
国家自然科学基金No.60773126;福建省自然科学基金No.A07100234;厦门大学985二期信息科技基金No.0000-X07204;厦门大学院士启动基金No.X01109~~
提出了一个用于求解二维不规则排样问题的离散临界多边形模型.Burke等人的BLF算法是求解排样问题的一种有效算法,但其算法对一些特殊实例会产生非法的解.为了解决这个问题,提出了一种基于离散临界多边形模型,并对其正确性作了严格证明....
关键词:不规则排样问题 禁止区 临界多边形 离散临界多边形 
蛋白质相互作用研究中的计算方法综述被引量:3
《计算机研究与发展》2008年第12期2129-2137,共9页李舟军 陈义明 刘军万 陈火旺 
国家自然科学基金项目(60573057,60473057,90604007);湖南农业大学人才科学基金项目(06YJ16)~~
随着分子生物学的研究进入以蛋白质组学为标志的后基因组时代,蛋白质相互作用成为蛋白质组学研究的一个重要主题.因为计算方法代价低和周期短的特点,它被广泛地用来分析相互作用数据从而指导生物学家的实验设计.从蛋白质相互作用网络的...
关键词:蛋白质相互作用 相互作用预测 PPI网络参数 PPI网络模型 图论分析 
一种基于模糊核超球感知器的模糊分类模型被引量:1
《南京大学学报(自然科学版)》2008年第5期559-568,共10页阳爱民 陈火旺 
中国博士后科学基金(20070410299);广东省自然科学基金(7300450);国家自然科学基金(60673191)
本文提出一种模糊核超球感知器(FKHP)学习方法,并介绍了一种基于FKHP这种学习方法的模糊分类模型.模型构建的基本思想是首先选择适当的核函数,将训练模式从输入空间映射到高维特征空间;然后,在特征空间中,利用提出的模糊核超球感知器学...
关键词:FKHP 核函数 模糊分类模型 模糊分类规则 隶属函数 
工作流任务分派的现状及其发展被引量:11
《计算机科学》2008年第9期5-6,20,共3页汪涛 谭庆平 陈火旺 
工作流任务分派策略是工作流管理系统的关键技术之一,本文从学术研究和当前市场上工作流产品两个方面对工作流任务分派进行了比较研究,认为当前工作流任务分派描述存在不足,提出了工作流任务分派策略应该基于组织模型和流程模型的导航,...
关键词:工作流 任务分派 业务规则 
新闻文本话题关联识别研究
《计算机工程与科学》2008年第4期131-134,138,共5页张晓艳 王挺 陈火旺 
国家自然科学基金资助项目(60403050)
本文首先简单介绍了话题发现与追踪的发展史及主要任务,然后重点分析比较了现有话题关联识别模型的使用情况,并测试了文档中各层次知识特征对话题关联识别性能的影响。其测试结果对如何评判已有的识别系统或构建好的识别系统具有一定参...
关键词:话题关联识别 话题发现与追踪 知识特征 
肿瘤信息基因启发式宽度优先搜索算法研究被引量:17
《计算机学报》2008年第4期636-649,共14页王树林 王戟 陈火旺 李树涛 张波云 
湖南省自然科学杰出青年基金(06JJ1010)资助~~
基于基因表达谱的肿瘤检测方法有望成为临床医学上一种快速而有效的肿瘤分子诊断方法,但由于基因表达谱数据存在维数过高、样本量很小以及噪音很大等特点,使得肿瘤信息基因选择成为一件有挑战性的工作.根据肿瘤基因表达谱样本集的特点,...
关键词:基因表达谱 肿瘤分类 信息基因选择 支持向量机 全折交叉验证方法 
描述逻辑关于CBox的推理复杂性被引量:1
《计算机工程与科学》2008年第2期131-134,共4页于洋 王戟 陈火旺 
国家973计划资助项目(2005CB321802)
本文证明基础描述逻辑ALC关于CBox推理是非确定指数完全的。这个结论说明了描述逻辑关于CBox推理是一致地困难。本文还指出了哪些DL对于基数约束的数字编码是敏感的。
关键词:描述逻辑 基数约束 计算复杂性 
半监督学习和主动学习相结合的浅层语义分析被引量:13
《中文信息学报》2008年第2期70-75,共6页陈耀东 王挺 陈火旺 
国家自然科学基金资助项目(60403050);新世纪优秀人才支持计划资助项目(NCET-06-0926)
语义分析是基于内容的文本挖掘领域的重要技术和研究难点。有监督机器学习方法受限于标注语料的规模,在小规模标注样本中难以获取较高性能。本文面向浅层语义分析任务,采用一种新颖的半监督学习方法——直推式支持向量机,并结合其训练...
关键词:计算机应用 中文信息处理 浅层语义分析 半监督学习 直推式支持向量机 主动学习 
检索报告 对象比较 聚类工具 使用帮助 返回顶部