排序方式: 共有244条查询结果,搜索用时 0 毫秒
181.
作战指挥系统是海上舰艇编队的神经中枢。针对现代舰艇编队作战指挥系统研制过程的特点,构建了支持协同建模、动态重组、敏捷制造和增量开发等功能的支撑平台。该平台由建模工具、仿真引擎、系统管理与模型部署3个工具组成,重点对建模工具和仿真引擎进行了介绍。建模工具支持多种开发视图、多种建模方法和模型表示方法,特别适用于对复杂大系统进行多层次、多粒度的建模;仿真引擎是模型的求解环境,为模型的运行提供柔性的架构、简单的接口和高级的支撑服务,大大地简化了应用系统的实现,促进了模型的复用。最后,举例说明了如何应用该平台开发一个应用系统。 相似文献
182.
提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的. 相似文献
183.
军事装备大数据是实现军事现代化、智能化的基础,其中,数据共享对实现装备可视化管理、整合装备供应链、优化指挥控制系统等具有至关重要的作用。军事装备数据涉及核心机密,数据的安全共享问题是导致这些技术发展迟缓的关键因素之一。区块链是一种具有去中心化、不可篡改、稳定可靠等特性的分布式链式账本技术,利用区块链技术和云计算可以保障装备数据安全,在军事领域有着广阔的发展前景。本文面向装备数据安全共享业务开展研究,探讨利用基于属性加密技术和智能合约技术解决不同主体间的信任问题,并提出了基于区块链的装备数据安全共享方案,以打破传统装备系统中的“信息孤岛”现象。 相似文献
184.
根据造成装备故障的老化失效和外部环境因素,将装备故障分为内部故障和外部故障,综合考虑装备的完美修理和换件2种维修策略,基于PH分布对装备内外部故障过程的描述建立了装备的维修模型.分析了该模型的2个性能测度,即单位时间内平均修理次数和换件次数,并给出了具体的算例.仿真结果表明,该模型具有通用性和实用性. 相似文献
185.
在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议. 相似文献
186.
187.
一种三维空间目标被动跟踪算法 总被引:1,自引:0,他引:1
对海上和岸上的运动与静止目标进行跟踪,并以此为基础提供远程目标指示是进行远程火力打击的重要环节.针对这一问题,提出了一种在三维空间中基于光学测量的被动跟踪算法.利用测量到的目标方位角、高低角,结合平台自身运动要素,建立了基于最小二乘估计的目标函数.分别对海上和岸上的运动与静止目标跟踪进行仿真计算,统计结果表明:该方法能... 相似文献
188.
当前,军队工程防护对象以地下工程和野战阵地为主,对于设施设备及军事活动以地表为主的机动式保障基地系统,其毁伤特点规律、防护威胁、评估方法及防护标准等尚无专门研究。本文介绍了机动式保障基地系统的基本概念、主要功能及构成要素,研究了近年来典型军事基地遇袭案例,采用案例分析与数据库研究相结合的方法,分析了机动式保障基地系统的主要威胁及其毁伤元和毁伤评估量,并提出机动式保障基地系统防护需求的构建原则和评估步骤。根据建立的原则和步骤,建立5级防护需求等级,以海外维和基地为例,分析了基地内各类保障装备的防护等级需求和防护等级设置的主要依据,为开展机动式保障基地系统防护体系研究打下基础。 相似文献
189.
建立区域卫星导航系统的测控网是卫星导航系统要解决的关键问题之一。讨论国内测控站的布设问题,采用网格计算方法分析国内测控站对导航星座的可观测性。引入位置精度衰减因子PDOP和定轨中的法矩阵条件数,分析测控网对导航星座的观测几何结构强度以及测站位置分布对轨道确定精度的影响,仿真结果表明,利用我国有限的国土跨度和航天测控资源可以确保对导航卫星的测控任务的完成。对在国外布设测控站进行讨论和仿真,结果说明位于国外的测控站(如可在澳大利亚的珀斯设站)的加入能明显改善观测的几何结构强度、提高导航卫星的轨道精度。 相似文献
190.
针对多轴随机激励的控制问题 ,从多输入多输出线性系统的假定出发 ,研究了均衡控制算法、驱动谱矩阵模拟以及控制系统设计等问题 ;在此基础上 ,提出了多轴随机激励的闭环控制算法 ,仿真运算结果证明了该算法的有效性。文章最后给出了控制系统软件与硬件的设计方案 相似文献