曹文静
- 作品数：54 被引量：88H指数：5
- 供职机构：中国人民解放军海军航空工程学院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金中国人民解放军总装备部“十五”预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术军事电子电信更多>>
- 针对基于忙音的广播方法的仿真研究
- 广播是一种分发信息的基本方法。在高动态拓扑自组织网络中,基于常规握手机制的广播方法难以有效进行信息分发,为此,提出了一种基于忙音的广播方法。针对基于忙音的广播方法,利用网络仿真平台OPNET,建立并实现了该广播方法的模型...
- 曹文静韩庆田徐胜红
- 关键词：自组织网络忙音仿真
- 文献传递
- 基于模糊推理的驾驶员车速决策行为建模与仿真被引量：1
- 2014年
- 为了在微观交通仿真中更真实地模拟驾驶员的车速决策行为,在综合自由行驶和跟驰两种驾驶行为的基础上,采用模糊推理技术进行建模研究。选取车头时距、期望速度差、前车速度差作为模糊推理系统输入变量,加速度为系统输出,结合实际中加减速行为的不对称性及不同行驶状态下主要行驶意图的不同,构造模糊规则,建立基于模糊推理的车速决策模型。利用模糊系统的输入输出曲面进行了模型的校核,并在考虑驾驶员反应时间的基础上进行了仿真实验。仿真结果表明,车辆能够根据前车行驶状态和自身期望车速进行适当的速度决策,验证了所建模型的合理性。
- 李连杨松曹文静
- 关键词：模糊推理跟驰期望车速模型校核
- 基于多源信息的发动机无故障数据可靠性评估被引量：2
- 2012年
- 针对弹用发动机无故障数据可靠性评估问题,提出基于多源信息的可靠性评估方法;综合应用修正极大似然估计和Bayes估计方法,给出信息源权值的计算公式和可靠性评估步骤,最后给出应用实例。计算结果表明,多源信息融合方法计算简单,评估结果合理,具有一定工程应用价值。
- 韩庆田曹文静李文强
- 关键词：可靠性评估修正极大似然估计BAYES估计
- 引用未初始化变量故障静态测试方法研究被引量：2
- 2007年
- 引用未初始化变量故障往往存在于C/C++程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形式化定义,作为研究引用未初始化变量的基础;分析了变量状态及其变化,建立了变量状态集产生模型,作为静态识别引用未初始化变量的前提基础;建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;提出了引用未初始化变量自动测试算法.实验结果表明,基于引用未初始化变量故障模型的静态测试方法具有较高的故障检测准确率和测试效率,这说明建立的故障模型和自动测试方法是有效的.
- 曹文静宫云战
- 关键词：软件测试
- 一种分发车用安全信息的单跳广播协议
- 2012年
- 单跳广播是分发车用安全信息的基本方法。在车用安全信息广播中,预约信道机制和信道状态指示机制是影响安全信息及时可靠传输的关键问题。本文首先研究了现有的信道预约机制和信道状态指示机制,分析了其对于车用安全信息分发的局限性,提出了一种利用忙音预约一跳信道、指示一跳信道状态的单跳广播协议,并在OPNET网络仿真平台上,进行了仿真实验。实验结果表明,和没有预约信道、以及预约两跳信道的单跳广播协议相比,本文提出的单跳广播协议的性能稳健性较好,更适合于分发车用安全信息。
- 曹文静李文强韩庆田徐胜红
- 关键词：车载自组织网络信道预约
- 非法计算故障的自动测试方法被引量：5
- 2006年
- 基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测过程自动化,给出了非法计算自动测试算法.该方法通过对程序源代码的静态分析,实现了非法计算故障检测的自动化.实验结果表明,该自动测试方法能有效地提高检测非法计算的准确率和自动化水平.
- 曹文静徐胜红宫云战
- 关键词：软件测试非法计算
- 路径覆盖测试的检错效果研究
- 本文首先讨论了两类错误,分析并给出了两类错误的故障暴露率的计算公式,然后给出了一个评估路径覆盖测试对程序故障覆盖率的计算公式.最后指出了路径覆盖测试的弱点,提出了一种组合测试方法,从而提高软件测试的可靠性.
- 曹文静宫云战李晓维
- 关键词：软件测试路径覆盖测试
- 文献传递
- 一种多无人机协同飞行方法被引量：4
- 2015年
- 多无人机协同执行任务能够提升无人机的作战效能和生存性。协同飞行是最基本的协同任务,研究了基于工作流的多无人机协同飞行方法。在基于工作流的多无人机协同方法的基础上,针对协同飞行任务,分析了协同飞行过程,构建了相应的协同飞行工作流及其Petri网模型,并进一步分析了协同工作流的执行可达性,验证了基于工作流的多无人机协同飞行方法的可行性。
- 曹文静徐胜红苏涛
- 关键词：无人机工作流PETRI网
- 软件测试工具的问题及解决方法被引量：4
- 2004年
- 讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.
- 谈利群曹文静刘予
- 关键词：软件测试.NET
- 基于地标信息的车载惯导姿态修正技术被引量：3
- 2014年
- 惯导与速率计构成的组合系统是机动作战车辆较常使用的自主定位定向系统,其惯导姿态精度将直接影响组合定位精度。文章利用车辆运动途中的地标信息,讨论了车载惯导姿态误差估计与修正技术,通过仿真分析了地标位置与车辆零速信息在惯导姿态修正过程中的作用。结果表明:利用地标信息是进行车载惯导姿态修正较为实用的途径,在此基础上可以有效提高车载惯导/速率计组合定位系统的精度。
- 李瑞涛徐胜红曹文静
- 关键词：惯导系统
