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

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

常用航迹初始化技术分析

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

姿控发动机点火逻辑研究

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

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

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

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

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

用权不能“任性”

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

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

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

兵团精神与井冈山精神:价值意蕴、逻辑体系与实践路径

兵团精神与井冈山精神都是党在革命、建设的伟大实践中创造的红色基因,都是中国革命精神的重要组成部分,都是中国共产党人的精神谱系。同时,兵团精神实践主体来源于井冈山,兵团精神继承和发扬了井冈山精神,特别是井冈山精神中坚定执着追求理想、艰苦创业的奋斗精神、实事求是的精神等成为兵团精神的强大思想动力。兵团精神是井冈山精神结合边疆实际的继承和发扬。新时代高校大学生继承和发扬兵团精神、井冈山精神需要通过广泛实践来践行;继承和发扬兵团精神、井冈山精神需要融入大学生课堂教育;继承和发扬兵团精神、井冈山精神需要融入大学生社会实践;继承和发扬兵团精神、井冈山精神需要创新教育传播。     

基于动态故障树的航空装备系统可靠性评估方法

为分析复杂航空装备系统的可靠性,提出了基于动态故障树的航空装备系统可靠性评估方法。在传统故障树基础上,引入动态逻辑门,构建系统的动态故障树模型。将动态故障树模块化为独立的静态子树和动态子树,并采用马尔科夫模型进行求解,通过综合分析得到系统失效的概率。运用构建的动态故障树模型,对航空电子系统的可靠性进行了分析和评估,验证了动态故障树用于航空装备系统可靠性评估的有效性和可行性。     

含逻辑门的C~4ISR系统效能评估

为了充分考虑C4ISR系统中若干子层重要指标对整体效能的影响,更加贴切地反映装备的真实效能,将"逻辑门"的思想应用到C4ISR系统效能指标的聚合中,构建了含有逻辑门的C4ISR系统效能指标体系;并应用灰色聚类评估法,对系统重要指标进行评估,解决了类似于"一票否决"式指标对系统整体效能的影响性问题,并为合理应用该方法提供了一种有益的思考思路。