曹文静
- 作品数：54 被引量：94H指数：5
- 供职机构：中国人民解放军海军航空工程学院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金中国人民解放军总装备部“十五”预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术军事文化科学更多>>
- 针对基于忙音的广播方法的仿真研究
- 广播是一种分发信息的基本方法。在高动态拓扑自组织网络中,基于常规握手机制的广播方法难以有效进行信息分发,为此,提出了一种基于忙音的广播方法。针对基于忙音的广播方法,利用网络仿真平台OPNET,建立并实现了该广播方法的模型...
- 曹文静韩庆田徐胜红
- 关键词：自组织网络忙音仿真
- 文献传递
- 基于模糊推理的驾驶员车速决策行为建模与仿真被引量：1
- 2014年
- 为了在微观交通仿真中更真实地模拟驾驶员的车速决策行为,在综合自由行驶和跟驰两种驾驶行为的基础上,采用模糊推理技术进行建模研究。选取车头时距、期望速度差、前车速度差作为模糊推理系统输入变量,加速度为系统输出,结合实际中加减速行为的不对称性及不同行驶状态下主要行驶意图的不同,构造模糊规则,建立基于模糊推理的车速决策模型。利用模糊系统的输入输出曲面进行了模型的校核,并在考虑驾驶员反应时间的基础上进行了仿真实验。仿真结果表明,车辆能够根据前车行驶状态和自身期望车速进行适当的速度决策,验证了所建模型的合理性。
- 李连杨松曹文静
- 关键词：模糊推理跟驰期望车速模型校核
- 基于多源信息的发动机无故障数据可靠性评估被引量：2
- 2012年
- 针对弹用发动机无故障数据可靠性评估问题,提出基于多源信息的可靠性评估方法;综合应用修正极大似然估计和Bayes估计方法,给出信息源权值的计算公式和可靠性评估步骤,最后给出应用实例。计算结果表明,多源信息融合方法计算简单,评估结果合理,具有一定工程应用价值。
- 韩庆田曹文静李文强
- 关键词：可靠性评估修正极大似然估计BAYES估计
- 引用未初始化变量故障静态测试方法研究被引量：2
- 2007年
- 引用未初始化变量故障往往存在于C/C++程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形式化定义,作为研究引用未初始化变量的基础;分析了变量状态及其变化,建立了变量状态集产生模型,作为静态识别引用未初始化变量的前提基础;建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;提出了引用未初始化变量自动测试算法.实验结果表明,基于引用未初始化变量故障模型的静态测试方法具有较高的故障检测准确率和测试效率,这说明建立的故障模型和自动测试方法是有效的.
- 曹文静宫云战
- 关键词：软件测试
- 一种分发车用安全信息的单跳广播协议
- 2012年
- 单跳广播是分发车用安全信息的基本方法。在车用安全信息广播中,预约信道机制和信道状态指示机制是影响安全信息及时可靠传输的关键问题。本文首先研究了现有的信道预约机制和信道状态指示机制,分析了其对于车用安全信息分发的局限性,提出了一种利用忙音预约一跳信道、指示一跳信道状态的单跳广播协议,并在OPNET网络仿真平台上,进行了仿真实验。实验结果表明,和没有预约信道、以及预约两跳信道的单跳广播协议相比,本文提出的单跳广播协议的性能稳健性较好,更适合于分发车用安全信息。
- 曹文静李文强韩庆田徐胜红
- 关键词：车载自组织网络信道预约
- 基于错误的表达式测试研究
- 2005年
- 由于表达式LRAUC错误对程序中各类错误的广泛覆盖性,本文以表达式 LRAUC错误为检测对象,研究了表达式测试方法。本文首先阐述了当前表达式测试方法理论研究的局限性;然后,为了解决处于程序上下文中的一般表达式测试问题,研究了表达式错误/失效过程,并对影响该过程复杂性的因素进行了简化,提出了表达式LRAUC单路测试方法;阐述了此方法的具体实现,给出了表达式LRAUC单路测试约束集构造算法。
- 曹文静宫云战
- 关键词：软件测试计算机软件开发
- 一种车辆安全信息广播系统
- 本实用新型公开了一种车辆安全信息广播系统，其特征在于其包括用于观察信道的状态、控制信道的预约、以及数据和忙音信号的发送、接收与处理的处理器（2），无线射频设备（1），用于产生车辆安全信息的自动或手动触发设备（3），天线（...
- 曹文静徐胜红李连张毅韩庆田杨林李文强苏涛
- 文献传递
- 基于状态观测的预测控制系统设计与仿真
- 碟形飞行器无尾无舵,是一类较为特别的静不稳定系统。在系统存在模型偏差的情况下,采用变质量矩/推力矢量复合控制方式的碟形飞行器控制系统按常规预测控制设计思路难以获得理想控制效果。为此,提出了基于状态观测的预测控制设计方法,...
- 徐胜红梁国强曹文静
- 关键词：碟形飞行器复合控制预测控制
- 文献传递
- 多无人机协同工作流建模与分析被引量：3
- 2016年
- 多无人机协同执行任务能够提升无人机的作战效能和生存性,而协同方法是协同的基础;描述了基于工作流的多无人机协同方法;通过分析单个无人机工作流执行过程,建立单个无人机工作流,研究了协同工作过程;引入Petri网理论,使用基本Petri网形式化描述协同工作流,构建了多无人机协同工作流Petri网模型;针对所建立的协同工作流Petri网模型,通过构建和分析相应的可达图,验证了多无人机协同工作流的有效性;结果表明:所建立的多无人机协同工作流是有效的,基于工作流的协同方法是可行的。
- 徐胜红曹文静
- 关键词：无人机工作流PETRI网可达图
- 基于数据流图的测试用例生成技术研究
- 测试用例的生成是测试的核心问题。对于图形用户界面软件而言,功能的实现是通过复杂的人机交互完成的,目前的测试用例生成方法也常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致产生的测试用例随意性较大,测...
- 曹文静徐胜红
- 关键词：软件测试数据流图测试用例
- 文献传递
