国防科学技术预先研究基金(413150501)

作品数：10被引量：21H指数：3
导出分析报告
相关作者：陈平刘西洋李航刘鹤辉艾丽蓉更多>>
相关机构：西安电子科技大学西北工业大学更多>>
相关期刊：《系统工程与电子技术》《计算机工程》《计算机测量与控制》《计算机科学》更多>>
相关主题：进化测试PVST树内存数据库索引优化更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于进化算法的软件测试数据生成的自动化被引量：4
《计算机测量与控制》2006年第10期1420-1422,共3页赵庆兰 艾丽蓉 刘西洋 王斌 刘鹤辉 
"十五"国防预研项目(413150501)
介绍了进化算法在测试数据生成中的应用思想,分析了在不同的覆盖准则下应用进化算法时适值函数的设计方法,把遗传算法等进化算法应用到测试数据生成中的进化测试技术,克服了局部搜索算法无法为较复杂程序的分支生成测试输入的问题。
关键词：进化测试 遗传算法 适值函数 
面向Java语言的进化测试中分支依赖图的构建被引量：5
《计算机科学》2006年第7期249-252,285,共5页艾丽蓉 赵庆兰 刘西洋 刘洋 刘鹤辉 
"十五"国防预先研究项目"可信软件工程技术"(413150501)资助
在面向对象程序的进化测试中,面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行,而封装特性则使得在一个对象外部无法直接调用其private方法或者protected方法。针对这两个问题,采用基于蚁群算法和遗传算...
关键词：进化测试 状态问题 分支依赖 
一种基于操作集计算生成有效XML文档的方法
《计算机科学》2005年第12期68-71,共4页卑小贤 陈平 刘西洋 
"十五"国防预研项目(413150501)
目前XML工具的编辑能力不足以保证生成有效的XML文档,缺乏对文档模式的合理利用。而由XMLSchema定义的文档模式,不仅提供了有效性验证标准,同时蕴含了生成有效XML文档的准则。本文提出了一种生成有效XML文档的方法。该方法基于XML文档...
关键词：XML文档 操作集计算 XML文档模式图 XML SCHEMA 有效性 
在Rose中代码生成工具的无缝集成被引量：1
《微机发展》2005年第4期129-131,共3页孙天海 金益民 
国家十五预研项目(413150501)
Rose提供了一个扩展机制,用于将第三方的开发工具集成到Rose中。通过Rose的openAPI,可以开发自己的代码生成程序。文中介绍了Rose的扩展模型,并且给出了一个代码生成工具实例MVC-C++。MVC-C++生成的是基于MVCserver进行开发的Rose模型...
关键词：ROSE 扩展模型 MVC_C++ 代码生成 MVC SERVER 
一种基于流行病理论的自组织信息扩散算法
《系统工程与电子技术》2005年第2期320-323,共4页郭敬林 李航 朱智林 陈平 
国防预研基金资助课题(413150501)
在信息的可靠扩散过程中,流行病风格的协议存在着重发报文爆炸问题。当网络资源有限时,重发报文爆炸必然影响信息扩散的可靠性。提出了一种自组织的、采用负指数函数与负幂函数的乘积作为控制函数的算法,对重发报文的数量和流向进行控...
关键词：流行病理论 信息扩散 群集智能 自组织 可靠性 
小卫星柔性测试床设计与实现被引量：1
《系统工程与电子技术》2005年第1期69-71,共3页朱智林 王竹平 陈平 
"十五"国防预研项目(413150501)资助课题
分析了小卫星地面综合测试系统的特点和功能,通过对几种型号小卫星系统的研究,给出了柔性测试床的软硬件体系结构,阐述了柔性测试床星上和地面两部分的设计思想,主要介绍了通信参数的动态配置、TM数据信号的定义与解析的实现方法。小卫...
关键词：测试床 参数配置 遥测 信号解析 
关键业务中内存数据库的T树索引优化被引量：7
《计算机工程》2004年第17期75-76,97,共3页林鹏 李航 徐学洲 
国家"十五"预研基金资助项目(413150501)
在关键业务中,提高DBMS性能的一个途径是把数据库放在主存中而不是硬盘中,这样便可以设计新的数据结构和算法,来提高内存数据库(MMDB)的效率。该文列举了当前MMDB研究中关于索引结构的一些成果, 并设计了一个新的索引结构——T-tail 树,...
关键词：应用服务器 T树 T-tail树 内存数据库 业务对象组织与管理 
基于PVS的UML类图和序列图的一致性检验被引量：1
《系统工程与电子技术》2004年第10期1481-1486,1525,共7页刘晓健 陈平 
高等学校博士学科点专项基金(K014010422);"十五"国防预研项目基金(413150501)资助课题
针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性...
关键词：统一建模语言 类图 序列图 机械定理 
面向对象-规则语言系统的实现及在威胁估计中的应用被引量：1
《系统工程与电子技术》2004年第4期444-448,共5页刘晓健 陈平 
高等学校博士学科点专项基金(K014010422);"十五"国防预先研究项目基金(413150501)资助课题
针对C3I软件系统的需求和现有规则语言系统的不足,提出了一种把面向对象语言范型和规则语言范型相结合的混合语言系统,设计了该语言的语法,实现了编译器和规则引擎。该规则语言系统允许规则程序和C++程序交叉引用,弥补了自封闭规则系统...
关键词：基于规则的语言 规则编译器 威胁估计 
RETE网络中的优化编译模式及其PVS形式验证被引量：1
《计算机科学》2003年第6期168-171,共4页刘晓建 陈平 
"十五"国防预先研究项目基金"可信软件工程技术"(413150501)
In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimizat...
关键词：RETE网络 优化编译模式 PVS 形式验证 编译器 程序设计语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部