虞蕾
- 作品数：16 被引量：53H指数：4
- 供职机构：第二炮兵工程学院计算机系更多>>
- 发文基金：中国博士后科学基金国家高技术研究发展计划国防基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 巡航导弹飞行捷径、高度及速度对突防影响的仿真研究被引量：3
- 2005年
- 研究巡航导弹航迹规划中飞行捷径、高度及速度3个关键性因素,重点是通过仿真给出在其约束条件下巡航导弹突防的概率.通过大量实验和作战仿真得出单枚巡航导弹对歼击机火力单元突防的概率随航路捷径、高度以及速度变化的规律和数学模型.
- 虞蕾杜娟赵红赵宗涛
- 关键词：巡航导弹突防仿真
- 一种基于地形通视分析的航迹规划算法被引量：7
- 2006年
- 提出了一种基于地形通视分析的巡航弹航迹规划算法,包括由地形图已知点生成德朗利三角网的改进算法和由德朗利三角网找出通视点的改进算法。经仿真实验表明该算法可用性强、速度快,易于在超低空航迹规划中应用。
- 虞蕾赵红赵宗涛
- 关键词：地形分析航迹规划
- 一种基于地形分析的航线规划算法研究被引量：6
- 2005年
- 文章论述了分形、分数维的基本概念,以及分数布朗运动的数学模型。结合实际又推导了地形分数维和方差值的求解方法。提出了航线规划选取流程,着重研究了用分数维地形分析方法进行超低空无人机航线规划的算法流程,对两幅地形图进行了实验分析。分数维数表征了局部地形粗糙的程度;方差值表征了地形起伏的程度;信息熵表征了在某一具体方向上的地形变化情况。
- 虞蕾赵红赵宗涛
- 关键词：分数维信息熵无人机
- 一种基于蒙特卡洛法的巡航弹航迹规划建模与软件实现方法被引量：2
- 2010年
- 蒙特卡洛法MC(Monte Carlo)是一种重要的概率计算方法。航迹规划是一个非结构化优化过程,是一种难以用一组数学模型来描述一条航迹的规划方法。其难点是力求快速准确,以提高应急反应能力,此是生存与制胜的关键所在。研究了利用MC法设计突破火力单元等障碍物的算法,该算法首先是将规划分成若干较为细小的事件,而后通过用随机数进行统计实验,最后归纳出是否是概率有效的,以决定取舍。MC法有效地实现了在约束条件下的航迹优化设计,速度可比常规方法提高22%。用UML语言进行了软件建模实现,包括类图、时序图等静态模型和动态模型。所给出航迹规划软件平台经应用效果良好,不但规范了航迹规划工程,而且缩短了开发时间。
- 李刚虞蕾赵宗涛
- 关键词：航迹规划大地方位角UML
- PSL构造双向交换自动机及非确定自动机的方法
- 2010年
- PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值.
- 虞蕾陈火旺
- 一种地形分析方法在航迹规划中的应用被引量：3
- 2006年
- 为提高巡航导弹的实时地形匹配概率,通过利用分形学中的分数布朗运动函数推导了地形分数维D和方差δ值的求解公式,提出利用分数维地形分析方法进行巡航导弹航迹规划的选取流程。依据该推导公式计算了地形图中地形区域的分数维和方差值,从而成功地比较了地形匹配的概率。实例表明,该方法能明显地增大地形匹配的成功概率。
- 赵红何华灿赵宗涛虞蕾
- 关键词：分数维信息熵航迹规划
- PSL的有界模型检验被引量：2
- 2009年
- 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.
- 虞蕾赵宗涛
- 遗传算法在航迹优化中的应用研究
- 2005年
- 提出一种基于遗传算法的航迹优化方法.主要是用遗传算法设计优化了一类巡航导弹航线.在此过程中根据所设计航迹要满足避开地空导弹、高炮、歼击机群、电磁脉冲等火力单元和地形地物障碍,并且满足航迹路径长度短、耗油量少等约束条件,对航迹优化提出了一种算法和一个航迹规划代价评判模型.建立了一个基于VC++和MATLAB软件平台开发的巡航弹航迹优化仿真软件.经仿真实验证明该方法典型性强,处理的信息量小,实时性也较好,具有一定的理论和使用价值.
- 虞蕾赵红赵宗涛
- 关键词：遗传算法航迹优化巡航导弹
- 一种航迹规划地形分析的改进算法
- 2005年
- 巡航弹航迹规划因地形参数不同而直接影响到规划方法与最终所得的航线的优劣,本文提出了巡航弹航迹规划地形分析的一种改进算法,包括由地形图已知点生成德朗利三角网的改进算法和由德朗利三角网找出通视点的改进算法.经仿真实验表明该算法可用性强、速度快,易于在规划作业过程中应用,包括实现部分地形图的变更和动态增加各种火力点等障碍物.
- 虞蕾赵红赵宗涛
- 关键词：地形分析航迹规划
- 应用OBDD和PSL的航迹规划方法研究
- 2011年
- 航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据问题的约束条件,在搜索中剪枝。模型检验的经典OBDD(有序二叉决策图)方法是表示状态和状态迁移的高效率的数据结构方法,可以简化状态系统的表示空间;而PSL是一种重要时序逻辑,利用PSL和一阶逻辑描述无人飞行器航迹规划的领域约束,以期在规划中剪枝搜索状态。在使用上述两种优化策略基础上设计了航迹规划搜索算法,并实现了该算法的规划仿真,仿真结果表明该方法是一种有效可行的航迹规划方法。
- 虞蕾赵宗涛
- 关键词：航迹规划OBDDPSL
