PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

卫星及其诱饵的表面瞬态温度场

文中给出了计算空间目标和诱饵表面温度场的方法,比较了目标和诱饵表面温度特性的差异,指出了这些差异对点目标自动识别的重要意义。     

基于代价敏感多类别三支决策的目标意图识别方法

针对传统意图识别算法在现代化空中对抗中识别飞机行动意图结果存在冲突,甚至无法识别目标意图的问题,提出了一种基于代价敏感多类别三支决策的目标意图识别方法;建立意图识别与代价敏感多类别三支决策相结合的数学模型,在每一个识别阶段计算出误分类代价损失值最小的那一种意图分类,得到唯一的识别结果,避免冲突结果的产生,同时,引入误分类代价第二最小损失的分类结果作为延迟域的备选选项,弥补多类别三支决策延迟域缺失的这一状况。最后通过仿真实验,验证了设计算法的有效性。     

智能化网络研究进展及舰艇应用分析

智能化网络是网络技术与人工智能技术深度融合的产物,可以使网络具备感知、思考、学习和行动的能力。首先分析舰艇装备对网络智能化发展提出的要求,其次介绍智能化网络相关概念及标准化进展,从ICT设备厂商、电信运营商、学术研究团队、美国海军等维度介绍智能化网络研究进展,最后总结舰艇网络发展现状,探讨分析舰艇网络智能化发展趋势,为推动舰艇网络向高效能、智能化方向演进提供支撑。     

车联网环境下车辆协同高精度定位研究进展

车辆位置信息是许多智能交通应用的基础,如车辆导航、路径规划和车辆编队等.现有研究中融合单车车载多源传感器的定位方法无法有效解决城市峡谷、隧道和立交桥等卫星信号不可用条件下的车辆定位问题.围绕车辆高精度定位进行了综合评述,主要深入研究分析了车辆协同定位技术.首先分析了单车自主定位的关键技术及其主要应用场景;然后对车辆协同...     

导弹自动装填技术研究综述

与传统装填方式不同,导弹自动装填技术是适应未来无人化作战平台的一种新型装填方式.介绍了国内外现有的导弹装填方式,分析了"推装"式自动装填与"视觉伺服机械臂+柔索并联吊具"装填方式的区别,重点对第二种导弹全自动装填技术进行了研究.结合基于改进路径规划算法的机械臂控制技术、实现导弹装填自对准的机器视觉技术、具备柔索并联式结...     

某火炮电击发装置关键件设计与优化

为有效提升大口径火炮的发射速度,满足大口径火炮电击发底火自动装填装置可靠性设计的要求,提出对大口径火炮电击发装置中连接击针和电击发装置的关键件进行设计与优化,利用有限元软件对关键件进行仿真,并对簧片安装孔深度及厚度等参数进行优化分析,最终设计一种能够长寿命高可靠工作的大口径火炮关键件,能够用于机-电两用击发装置,保证大口径火炮可靠击发。