一种基于蒙特卡洛法的巡航弹航迹规划建模与软件实现方法

蒙特卡洛法MC(Monte Carlo)是一种重要的概率计算方法.航迹规划是一个非结构化优化过程,是一种难以用一组数学模型来描述一条航迹的规划方法.其难点是力求快速准确,以提高应急反应能力,此是生存与制胜的关键所在.研究了利用MC法设计突破火力单元等障碍物的算法,该算法首先是将规划分成若干较为细小的事件,而后通过用随机数进行统计实验,最后归纳出是否是概率有效的,以决定取舍.MC法有效地实现了在约束条件下的航迹优化设计,速度可比常规方法提高22%.用UML语言进行了软件建模实现,包括类图、时序图等静态模型和动态模型.所给出航迹规划软件平台经应用效果良好,不但规范了航迹规划工程,而且缩短了开发时间.     

巡航导弹飞行捷径、高度及速度对突防影响的仿真研究

研究巡航导弹航迹规划中飞行捷径、高度及速度3个关键性因素，重点是通过仿真给出在其约束条件下巡航导弹突防的概率．通过大量实验和作战仿真得出单枚巡航导弹对歼击机火力单元突防的概率随航路捷径、高度以及速度变化的规律和数学模型．     

一种航迹规划地形分析的改进算法

巡航弹航迹规划因地形参数不同而直接影响到规划方法与最终所得的航线的优劣，本文提出了巡航弹航迹规划地形分析的一种改进算法，包括由地形图已知点生成德朗利三角网的改进算法和由德朗利三角网找出通视点的改进算法．经仿真实验表明该算法可用性强、速度快，易于在规划作业过程中应用，包括实现部分地形图的变更和动态增加各种火力点等障碍物．     

PSL可满足问题的计算复杂度

PSL是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL和分支时序逻辑OBE两部分。由于OBE就是CTL,因此论文重点研究FL逻辑。理论上已证明许多难解的问题都可多项式变换为“可满足性”问题,“可满足性”问题是研究时序逻辑的核心问题之一,并已成为程序验证的一种有力工具;而计算复杂度是“可满足性”问题需要解决的最深刻的方向之一,其研究意义在于它可作为解决一类问题的难度的标准。文中在利用“铺砖模型”基础上,推导并得出FL的“可满足性”问题的计算复杂度为EXPSPACE—hard,这对正确评价解决该问题的各种算法的效率,进而确定对已有算法的改进余地具有重要的指导意义。     

PSL可满足问题的计算复杂度

PSL是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL和分支时序逻辑OBE两部分。由于OBE就是CTL,因此论文重点研究FL逻辑。理论上已证明许多难解的问题都可多项式变换为“可满足性”问题,“可满足性”问题是研究时序逻辑的核心问题之一,并已成为程序验证的一种有力工具;而计算复杂度是“可满足性”问题需要解决的最深刻的方向之一,其研究意义在于它可作为解决一类问题的难度的标准。文中在利用“铺砖模型”基础上,推导并得出FL的“可满足性”问题的计算复杂度为EXPSPACE—hard,这对正确评价解决该问题的各种算法的效率,进而确定对已有算法的改进余地具有重要的指导意义。     

应用OBDD和PSL的航迹规划方法研究

航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据问题的约束条件,在搜索中剪枝。模型检验的经典OBDD(有序二叉决策图)方法是表示状态和状态迁移的高效率的数据结构方法,可以简化状态系统的表示空间;而PSL是一种重要时序逻辑,利用PSL和一阶逻辑描述无人飞行器航迹规划的领域约束,以期在规划中剪枝搜索状态。在使用上述两种优化策略基础上设计了航迹规划搜索算法,并实现了该算法的规划仿真,仿真结果表明该方法是一种有效可行的航迹规划方法。     

基于UML和组件的应用软件开发技术研究

讨论了软件工程领域两个热点问题:UML语言和组件技术的应用问题.在此基础上,开发了电子对抗信息处理的应用软件.经实际应用表明,该技术工程化特点突出,易于应用、评估,可用性强.所开发出的应用软件效率高,可视化程度好,定时性较强,在该工程中发挥显著的应用效果.     

一种基于地形通视分析的航迹规划算法

提出了一种基于地形通视分析的巡航弹航迹规划算法。包括由地形图已知点生成德朗利三角网的改进算法和由德朗利三角网找出通视点的改进算法。经仿真实验表明该算法可用性强、速度快，易于在超低空航迹规划中应用。     

PSL逻辑及验证技术研究进展与展望*

在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。     

影响建筑成本控制的主要因素及成本控制

对建设项目成本控制现状及成本控制存在的问题进行阐述。本文最先对建筑项目工程的基本概况和施工部署的情况进行介绍，然后指出在建筑成本控制中，工程变更以及工程组织安排两个方面存在的主要问题。针对此类问题，进行研究提出高效的应对方案。根据建筑成本控制的步骤和相关程序，合理的选择成本控制方法，从而实现正确科学的成本控制。