公共文化服务平台

国防科学技术预先研究基金(413150501): 作品数：10 被引量：41H指数：4; 相关作者：陈平刘西洋李航刘鹤辉艾丽蓉更多>>; 相关机构：西安电子科技大学西北工业大学更多>>; 发文基金：国防科技技术预先研究基金国家教育部博士点基金更多>>; 相关领域：自动化与计算机技术航空宇航科学技术更多>>

基于进化算法的软件测试数据生成的自动化被引量：5: 2006年; 介绍了进化算法在测试数据生成中的应用思想,分析了在不同的覆盖准则下应用进化算法时适值函数的设计方法,把遗传算法等进化算法应用到测试数据生成中的进化测试技术,克服了局部搜索算法无法为较复杂程序的分支生成测试输入的问题。; 赵庆兰艾丽蓉刘西洋王斌刘鹤辉; 关键词：进化测试遗传算法

小卫星柔性测试床设计与实现被引量：1: 2005年; 分析了小卫星地面综合测试系统的特点和功能,通过对几种型号小卫星系统的研究,给出了柔性测试床的软硬件体系结构,阐述了柔性测试床星上和地面两部分的设计思想,主要介绍了通信参数的动态配置、TM数据信号的定义与解析的实现方法。小卫星柔性测试床已成功应用于三颗小卫星系统的研制,并取得了明显的应用效果。; 朱智林王竹平陈平; 关键词：测试床遥测

面向对象-规则语言系统的实现及在威胁估计中的应用被引量：4: 2004年; 针对C3I软件系统的需求和现有规则语言系统的不足,提出了一种把面向对象语言范型和规则语言范型相结合的混合语言系统,设计了该语言的语法,实现了编译器和规则引擎。该规则语言系统允许规则程序和C++程序交叉引用,弥补了自封闭规则系统的不足,满足了C3I软件系统中C/C++程序模块与规则程序模块交互和协作的要求。通过在C3I情报处理系统中的应用,证明使用规则来编码威胁优先级、告警级别等应用逻辑,能够把这些易变的部分与系统的其它部分独立开来,增强了系统的可维护性。; 刘晓健陈平

基于PVS的UML类图和序列图的一致性检验被引量：5: 2004年; 针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法。在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题。实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用。; 刘晓健陈平; 关键词：统一建模语言类图序列图

一种基于流行病理论的自组织信息扩散算法: 2005年; 在信息的可靠扩散过程中,流行病风格的协议存在着重发报文爆炸问题。当网络资源有限时,重发报文爆炸必然影响信息扩散的可靠性。提出了一种自组织的、采用负指数函数与负幂函数的乘积作为控制函数的算法,对重发报文的数量和流向进行控制。该算法融合了流行病理论以及群集智能的优点,个体只需通过简单的行为就可使群体获得统计上的高可靠性。仿真结果表明,该算法适合资源有限、易发生节点失效等指控类型的应用。; 郭敬林李航朱智林陈平; 关键词：信息扩散群集智能自组织可靠性

关键业务中内存数据库的T树索引优化被引量：15: 2004年; 在关键业务中,提高DBMS性能的一个途径是把数据库放在主存中而不是硬盘中,这样便可以设计新的数据结构和算法,来提高内存数据库(MMDB)的效率。该文列举了当前MMDB研究中关于索引结构的一些成果, 并设计了一个新的索引结构——T-tail 树, 最后给出了T-tail 树的主要算法和这些算法的性能分析。结果表明在内存数据库中, T-tail 树具备非常好的性能。; 林鹏李航徐学洲; 关键词：应用服务器 T树内存数据库

在Rose中代码生成工具的无缝集成被引量：2: 2005年; Rose提供了一个扩展机制,用于将第三方的开发工具集成到Rose中。通过Rose的openAPI,可以开发自己的代码生成程序。文中介绍了Rose的扩展模型,并且给出了一个代码生成工具实例MVC-C++。MVC-C++生成的是基于MVCserver进行开发的Rose模型正向生成的ANSIC++代码。; 孙天海金益民; 关键词：ROSE 代码生成 MVC SERVER

一种基于操作集计算生成有效XML文档的方法: 2005年; 目前XML工具的编辑能力不足以保证生成有效的XML文档,缺乏对文档模式的合理利用。而由XMLSchema定义的文档模式,不仅提供了有效性验证标准,同时蕴含了生成有效XML文档的准则。本文提出了一种生成有效XML文档的方法。该方法基于XML文档模式图定义不同节点的操作集合,以及该操作集合上的计算和相应操作语义,并分析论证了该方法本身的有效性。; 卑小贤陈平刘西洋; 关键词：XML文档 XML SCHEMA 有效性

RETE网络中的优化编译模式及其PVS形式验证被引量：3: 2003年; 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 optimization schemas in rule program compilation,and prove the semantic equivalence theorems of these schemas. Firstly,the structure of RETE network and Its PVS specification are represented. Secondly,three kinds of optimization schemas are listed. Then algorithms evaluating semantics of target RETE network are given. Finally,we prove the semantic equivalence theorems with theorem prover PVS (Prototype Verification System).; 刘晓建陈平; 关键词：PVS 编译器程序设计语言

面向Java语言的进化测试中分支依赖图的构建被引量：6: 2006年; 在面向对象程序的进化测试中,面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行,而封装特性则使得在一个对象外部无法直接调用其private方法或者protected方法。针对这两个问题,采用基于蚁群算法和遗传算法的动态搜索与静态分析相结合的方式提供了一种有效的思路。本文针对这种思路中的静态分析过程提出分支依赖图的概念,并设计、实现了针对Java语言的方法内分支依赖图以及类的分支依赖图的构建算法。; 艾丽蓉赵庆兰刘西洋刘洋刘鹤辉; 关键词：进化测试

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