信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高.提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法.该规划方法分为离线构建阶段和在线规划阶段.离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯.当采样点足够多时,...     

伟大建党精神与自我革命的内在逻辑研究

党推进自我革命的历程彰显着伟大建党精神,在新时代推进自我革命需要继续发挥伟大建党精神的引领作用,伟大建党精神与自我革命紧密相连。伟大建党精神指明了自我革命的理论根基,昭示了自我革命的目标导向,彰显了自我革命的道德品质,确立了自我革命的政治旨归。     

BDOTI结构空战指挥控制决策的逻辑框架

通过对空战决策的思维方法进行分析,根据编队协同空战的决策特点和需求,应用时态分支逻辑CTL*建立了协同空战指挥决策可能世界的语义.应用时态逻辑和模态逻辑建立了基于信念(Belief)、愿望(Desire)、责任(Obligation)、战术作战意图(Tactical Intention)BDOTI结构的机载空战指挥决策的逻辑框架.并设计了一个BDOTI解释器对空战指挥决策的全过程进行描述.     

基于时序超网的作战体系效能指标动态测量方法

由于作战体系具有整体涌现性、动态演化性以及能力相对性等复杂系统特征,传统树状指标体系与加权求和的静态评估方法已不再适用。提出一种基于时序超网的作战体系效能指标动态测量方法。以复杂网络理论为基础,利用网络模型特征参数对部分作战体系效能指标进行映射;采用超网络与时序网络相结合的方式,构建作战体系时序超网模型;通过分析体系超网络中各层网络的特点,分类选取网络特征参数。基于兵棋推演数据对作战体系中交战网的特征参数进行了动态测量,验证了方法的有效性。     

基于时序的舰空导弹试验靶标数据处理

在舰空导弹试验鉴定中,靶标真值数据、武备内部数据有一个显著的特点是基于时间序列,靶标真值数据处理的目的是转为严格对应武器系统内部报文时序的真值序列;系统分析了四点外推剔点算法、拉格朗日及牛顿插值算法、坐标转换算法的实际应用,深入研究了基于时间序列的靶标真值数据处理分析的方法流程,并给出了在某型舰空导弹试验中的具体应用实例。研究的内容方法,在舰空导弹试验中有着实际的应用基础,此方法对于基于时间序列的试验数据分析有着极强的借鉴意义和推广价值。     

基于多层LSTM的复杂系统剩余寿命智能预测

剩余寿命作为预测性维修的重要支撑,智能预测能及时识别出复杂系统寿命变化规律,准确反映不同工况对剩余寿命的影响.针对复杂系统运行工况与高维度、多尺度时序数据,构建多层LSTM预测模型,防止了梯度消失,能够提取不同工况下时序数据的深层次关联性抽象特征.利用Dropout方法减少预测模型过拟合,针对预测模型的不确定性,设计误...     

常用航迹初始化技术分析

评价了四种常用的航迹初始方法的性能,这四种方法是:基于规则的方法,基于逻辑的方法,霍夫法和改进的霍夫变换法。详细描述了这四种方法,针对距离方位系统,通过蒙特卡洛模拟比较了在杂波环境下各种算法对于捕获新航迹和产生虚假航迹的概率,特别是多目标的情况下。     

姿控发动机点火逻辑研究

跟踪与分析国外先进防空导弹的姿控发动机控制技术,以美国PAC-3导弹为例,对姿控发动机组建立离散模型,然后采用一定的优化方法,对其点火方法作了研究,并提供仿真结果。     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

基于EVALPSN的循环式多轿厢电梯避撞设计与实现

多轿厢电梯系统作为垂直运输的新方式,避免轿厢之间的碰撞成为了其安全运行急需解决的重要问题。根据循环式多轿厢电梯控制系统的轿厢安全运行准则,分析了循环式多轿厢电梯系统的避撞控制问题,研究了基于带有强否定的扩展矢量注解的逻辑规划方法,设计一种电梯轿厢安全避障方法。通过建立了禁止轿厢危险运行的EVALPSN算式,避免了派梯中所选轿厢在井道中发生碰撞,保证电梯控制系统的安全运行,实验结果表明:所设计的方法针对循环式多轿厢断电梯避撞问题有较好的效果,可有效地保证多轿厢运行的安全性。