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

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

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

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

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

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

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

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

常用航迹初始化技术分析

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

姿控发动机点火逻辑研究

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

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

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

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

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

用权不能“任性”

近期,"有钱,就是任性"频繁出现在网络和微信中,由此衍生出的"任性体"也成为一些人挂在嘴边的流行语。任性,原指执拗使性、无所顾忌,必欲按自己的愿望或想法行事等。范文澜在《中国通史》中评价隋炀帝,说他是"予智予雄,任性妄为,剥削不顾民众的死活,浪费只求本人的快意"。结果"任性"的隋炀帝,因"妄为"而失人心、丢江山。可见,由"任性"而"妄为"是一种发展逻辑,误事害己。反观当前,个别党员干部对待权力凭个人意志行事,凭感情用事,作风不民主,     

对中国式现代化的哲学思考

党的二十大报告指出,从现在起,中国共产党的中心任务就是团结带领全国各族人民全面建成社会主义现代化强国、实现第二个百年奋斗目标,以中国式现代化全面推进中华民族伟大复兴。作为马克思主义的执政党,中国共产党提出的中国式现代化,充分体现了马克思主义立场观点方法,因此,我们有必要从马克思主义哲学的视角分析理解中国式现代化,读懂中国式现代化背后的深层逻辑。