参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

一个不可缺少的条件

利用导数比较区间内点处函数值与区间端处函数值的大小,函数在区间端点处的连续性是不可缺少的条件。     

军人犯罪刑事政策探究

刑事政策是大刑事法思想的基本范畴 ,军人犯罪刑事政策是国家基本刑事政策在军队的具体沿用。军人犯罪刑事政策是由军委就一定时期军队犯罪情况制订的原则性指导意见 ,它不直接对某一犯罪人作出评判 ,而是作为军事立法机关和司法机关形成最终法律判断的动态标准。     

微胶囊技术及其在消防中的应用

分析传统固定式气体灭火系统在保护方式上存在的缺陷和火探灭火系统的优点 ,提出在特定消防保护场所采用火探灭火系统替代传统固定式气体灭火系统的建议。     

城市区域消防安全评估方法研究

城市区域消防安全评估是科学有效地进行城市消防规划、部署和消防法规的制定的重要依据 ,对于城市建设和社会经济的协调发展具有保证和促进作用。根据《中华人民共和国消防法》及《机关、团体、企业、事业单位消防安全管理规定》(6 1号令 )对消防管理对象的界定标准 ,提出两种不同的分类方法 ,确定了城市区域消防安全体系的组成要素 ,采用层次分析法确定了各要素的权重 ,应用多层次多目标系统模糊优选理论 ,建立了城市区域消防安全评价模型 ,对城市区域消防安全评估进行了方法研究和具体计算 ,并应用所设计的模型对北京市宣武区的区域消防安全状况进行了两种方法的分析评估。计算结果证明了方法的有效性 ,用两种不同的分类方法所做出的结果 ,显示了不同分类的一致性。     

军事法研究的价值取向与方法论

军事法研究的前提论证必须是重述军事学与法学二者如何作用才能推进军事法的繁荣 ,这一问题也应是军事法学科进路的研究宏线。军事法各子学科的理论视角都应围绕这一中轴展开。法学与军事学在军事法这一共同体中更多的体现了手段与目的的关系 ,而不是目的与目的的冲突与调和的关系 ,即军事法学是借用法学的理论来规范军事行为的一门社会科学。关于军事与法的内在冲突的理论阐述可以揭示军事法学研究应遵循的一般规则 ,为学科自治提供理论研究的方法平台。     

一种应用于超视距目标指示的误差分析方法

导弹超视距攻击的目标指示信息的误差会直接影响导弹攻击的准确度。为了实时并准确地计算出超视距目标指示信息的误差大小,分析了使用中继法进行超视距目标指示的过程,提出了一种基于坐标投影以及坐标旋转的误差分析方法。根据仿真计算,与传统的误差分析方法——蒙特卡罗法——进行比较,说明了所提出方法准确性高、计算速度快的优点。     

基于CPN建模的行动方案开发与分析系统设计

协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点。针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度。军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析。     

飞行保障组织指挥模拟训练系统研究

针对目前航空兵场站飞行保障组织指挥训练的主要特点,运用计算机模拟技术揭示飞行保障的内在规律。设计了一个基于网络的飞行保障组织指挥模拟训练系统,提出了服务器子系统、导调子系统和模拟子系统的实现方案。该系统能够实现对不同机种(型)的飞行保障计算机模拟,较好地满足了航空兵场站飞行保障组织指挥训练的要求。     

靶场GPS数据实时传输对安控时延的影响及修正

靶场对飞行器进行安控试验时需要掌握安控时延,而在实时传输安控信息中产生时延较大的信息为GPS数据,并对安控实时判决有很大的影响,针对GPS数据实时传输时延产生的原因进行了分析,提出采用最小二乘拟合法进行修正。验证结果表明,这一方法在实际应用中可有效提高安控的实时性,为试验指挥员的安控判决提供了充裕的时间。