陈火旺
- 作品数：242 被引量：2,265H指数：26
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术理学电子电信语言文字更多>>
- 基于重要抽样的软件统计测试加速被引量：10
- 2005年
- 本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件 Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题。同时,本文给出了计算优化迁移概率的模拟退火算法。实验仿真结果表明,该方法可以有效地提高安全攸关软件统计测试的效率。
- 颜炯王戟陈火旺
- 关键词：软件质量软件开发
- 基于Push技术的信息获取方式及其应用被引量：7
- 1999年
- 1.引言随着Internet上信息资源的日益丰富和多样化,传统的信息获取方式已不能满足人们希望快速准确地获取信息的要求。传统的信息获取方式基于的是Client/Server模型,主要采用“Pull(拉取)”技术获取信息。在这种方式下,客户首先向职务器发出请求,然后由服务器返回客户所需的信息。这就存在着某些局限性,为了与服务器建立连接,客户必须确切地知道服务器的地址;由于信息的经常更新,使得用户需不时地访问该站点以获取最新数据。从网络的角度来看,拉取技术基于面向连接的网络协议,提供可靠的数据包传送服务(无错,有序,无丢失)。
- 马红妹谭庆平陈火旺
- 关键词：信息获取PUSH技术INTERNET网
- 面向对象需求分析方法OORAM
- 王戟陈火旺
- 关键词：程序语言软件工程
- 义类自动标注方法的研究被引量：7
- 2001年
- 句法分析不能满足汉语分析的需要 ,句法和语义相结合的分析方法适用于汉语分析。分析的基础要有一部语法语义词典。目前的机读词典多是语法词典 ,因而需要在语法词典中加入词的语义信息。《同义词词林》是一部较好的义类词典 ,但没有语法信息 ,可以《同义词词林》的分类体系对语法词典进行义类标注 ,得到语法语义词典。这一过程中有不一致的情况 ,特别地 ,对《同义词词林》中未收录的词就不能直接标注义类。本文采用《同义词词林》的分类体系 ,研究设计了一个汉语词自动义类标注算法 ,对北大《现代汉语语法信息词典》进行自动义类标注。实验结果较为满意 ,得到 91 %的准确率。
- 齐璇王挺陈火旺
- 关键词：自然语言处理
- 地理信息系统三十年被引量：12
- 1995年
- 本文详细论述了地理信息系统三十年来的发展过程、常用的方法、硬软件环境、应用范围和亟待解决的理论问题。
- 王峰李德仁杨树强陈火旺
- 关键词：地理信息系统软件环境
- 协议形式化开发环境的规范语言被引量：6
- 1997年
- LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
- 罗铁庚陈火旺齐治昌龚正虎
- 关键词：协议形式化LOTOS语言计算机网络
- 多维DFT的多维多项式变换与离散W变换算法被引量：2
- 2001年
- 本文首先通过引进一种序列的重排技术将m(m 2 )维离散Fourier变换 (m DDFT)转化为一系列的一维广义离散Fourier变换 (GDFT)的多重和 .然后引入一维离散W变换 (DWT)以及多维多项式变换 (MD PT)计算该多重和以减少冗余的算术运算 ,从而得到了高效的多维DFT算法 ,该算法与常用的行 列DFT算法相比 ,乘法仅约为行 列法的 1/ 2m ,而加法仅约为行 列法的 (2m +1) / 4m .对于 2维DFT的计算 ,本文方法同单纯的多项式变换方法相比 ,乘法与加法分别减少 5 0 %与 40 %左右 .另外 ,本文算法计算结构简单 ,易于编程实现 。
- 钟广军成礼智陈火旺
- 关键词：离散傅里叶变换多项式变换
- 自动定理证明:十年回顾被引量：4
- 1993年
- 本文主要介绍近十年来定理证明器的发展情况,同时讨论了与自动定理证明相关的一些问题。
- 贲可荣陈火旺
- 关键词：定理证明器自动定理证明
- 从帐号口令“入侵与反入侵”──争夺“信息绝对制高点”的基本攻防战术被引量：2
- 1998年
- 有关获取敌方的帐号口令进入敌方的系统以及防止敌方获取我方的帐号口令并进入我方系统的技术，是信息战中最基本的、影响巨大的攻防战术。帐号口令的窃取和反窍取战争是信息战中敌我双方争夺“信息绝对制高点”的战争。本文探讨了从帐号四个途径入侵的方法，并介绍了一个非法获取口令的实例──Morris的发明的“蠕虫”。文中还阐述了防止非法获取口令的策略，并较详细地介绍了Win－dowsNT上可实现的帐号管理的安全策略。
- 樊爱华王志英陈火旺
- 关键词：信息战攻防战术计算机安全
- 一种用未分析语料训练文法的方法被引量：4
- 1998年
- 本文提出了文法规则的推导概率和归约概率的概念，通过修改Ｉｎｓｉｄｅ－Ｏｕｔｓｉｄｅ算法，将其应用于从未分析语料中获取一般形式的上下文无关文法规则的概率参数．
- 王挺史晓东陈火旺杨谊
- 关键词：自然语言处理
