郑炜
- 作品数:80 被引量:215H指数:8
- 供职机构:西北工业大学更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金陕西省工业科技攻关项目更多>>
- 相关领域:自动化与计算机技术文化科学电子电信兵器科学与技术更多>>
- 基于异构网络平台的虚拟试验支撑环境研究被引量:1
- 2011年
- 针对仿真试验模型的复杂性、多样性和不同实时性的要求而提出了基于VMIC的反射内存网与基于RTI以太网相结合的异构网络平台的虚拟试验支撑环境解决方案,设计并实现了基于异构网络平台的虚拟试验支撑系统;结合某海空对抗作战任务的虚拟仿真试验,对基于异构网络平台的虚拟试验支撑环境模型之间的属性更新延迟的性能指标进行了测试,同时证实基于异构网络平台的虚拟试验支撑环境整体品质良好,能满足其虚拟试验应用中不同实时性粒度的模型在其上运行的要求。
- 王蒙郑炜陈宏茹王晓允
- 关键词:虚拟试验以太网反射内存网
- 基于虚拟仪器伪指令机制的航天自动化测试方法
- 本发明涉及一种基于虚拟仪器伪指令机制的航天自动化测试方法,针对某一类型的仪器,将其每一功能单元封装为一条伪指令,而对于具体型号的仪器,ATS系统管理员需在添加或管理时指定其所属仪器类型的每条伪指令对应的真实指令码。基于这...
- 郑炜鲍建安曹石超刘波锋王康
- 一种基于聚类和不确定性的循环神经网络组件测试用例选择方法
- 本发明提出一种基于聚类和不确定性的循环神经网络组件测试用例选择方法,首先使用待测循环神经网络模型预测原始测试用例集的输出置信度特征,然后对输出置信度特征进行特征处理;接着进行HDBSCAN聚类计算。根据HDBSCAN聚类...
- 郑炜李云帆沈金金吴潇雪黎东朗李柯
- 基于语义变异算子的测试用例生成和优化方法
- 本发明涉及一种基于语义变异算子的测试用例生成和优化方法,其特点是主要包括两个部分:一是测试用例的生成,即结合语义变异算子和混合执行生成覆盖率尽可能高的初始测试用例集;二是对初始测试用例集进行优化,即通过对初始测试用例集在...
- 郑炜王育杨喜兵吴潇雪
- 文献传递
- 应用过程间分析技术的并行错误模式匹配方法
- 2017年
- 过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想。为此,文章试图运用过程间分析技术对并行程序进行"错误模式"的匹配。通过遍历构建的全局控制流图,分析图中单个节点所包含的语句,对其中可能出现错误的程序进行了错误模式的匹配,最终得出"错误定位"的结果。通过在实际开源系统中的应用,结果表明文中所提出的方法效果良好,具有较好的错误定位能力。
- 郑炜蔺军黄月明冯晨吴潇雪
- 关键词:过程间分析
- 基于DLL的卫星地面通用自动化测试方法
- 本发明涉及一种基于DLL的卫星地面通用自动化测试方法,引入了DLL技术,各测试项目子类通过继承测试方法基类中所需实现的虚函数接口,利用C++语言将测试项目子类编译生成DLL文件。不同的测试项目分别以独立的DLL文件形式存...
- 郑炜王超高志钱石钊刘波锋王康
- 文献传递
- 基于谓词频率统计的软件故障定位方法
- 本发明公开了一种基于谓词频率统计的软件故障定位方法,用于解决现有软件故障定位方法定位精度低的技术问题。技术方案是采用化整为零的方法,将所求面积分成N块,对每一块求值,最后将所有的N个子块的面积求和,即求得要求的总区间[0...
- 郑炜李知隆阴一溦柏晗吴潇雪
- 文献传递
- 基于CORBA的网络作业管理系统的开发与研究
- 2000年
- 描述了一个基于CommonObjectRequestBrokerArchitecture(CORBA)的网络管理系统模型及其实现。对系统所使用的模块间通信协议体制CORBA作了比较详尽的介绍,并给出了作业管理系统的结构和功能.
- 郑炜董欢庆岳洋
- 关键词:CORBA网络作业管理系统计算机网络通信协议
- 概率预测的网络数学模型及其应用被引量:3
- 2009年
- 通过对网络结构进行分析,将网络模型用有向图进行表示,为其建立了基于概率预测的网络数学模型,并以解决交通拥堵问题为例,对该模型进行实际应用,为其设计出相应概率预测算法。通过对算法进行分析,进而抽象出一个更一般的网络数学模型,用线性规划算法给出这个模型的近似解法,以及迭代使用线性规划法的一个精确解法,通过精确解法的实验数据分析,得出贪婪算法在该模型中具有较高的效率。
- 郑炜张科汪芳
- 关键词:网络有向图关联矩阵
- 基于关键词语义的安全缺陷报告识别方法
- 本发明提出一种基于关键词语义的安全缺陷报告识别方法,首先准备初始数据源,使用CVE漏洞类型、CWE常见缺陷列表前25项最危险的安全缺陷类型、缺陷报告训练集数据作为数据源。然后通过知识图谱构建技术,对数据源中的文本信息进行...
- 郑炜孙瑞阳吴潇雪成婧源刘程远王晓龙