基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

载重汽车自动离合器坡道起步控制策略与试验研究

根据坡道起步时离合器的接合特性,将离合器接合过程分为3个阶段,分别选取不同的控制参数和控制策略,实现了电机驱动式自动离合器在不同坡道下的起步控制。经试验证明:该控制策略可以适应驾驶员的起步意图,达到了起步冲击度和滑磨功综合控制的目的,取得了满意的控制效果。     

用于蓝军自动决策的多主体协商与协调方法

在分析军事训练与教学实践对蓝军自动决策需求的基础上,设计了基于多主体的蓝军自动决 策系统体系结构,重点论述了多主体间的协商与协调方法。     

第三代短波自适应通信协议分析

第三代短波自适应通信系统是以3G-ALE为核心协议的一种无线分组交换系统,本文从系统协议结构出发,分析了第三代短波自适应通信系统中的主要层次功能和主要协议。     

上山,陪你过年

这里是一座山,山里两个兵,守着一个营房和国防通信线。万家团圆的时候,他们默默坚守在自己的岗位,或许,落雪无痕,可我们没有忘记,我的士兵兄弟,让我来陪你过春节……     

坦克实体智能机动路径模型

根据坦克机动作战的一般原则,首先对影响坦克实体机动的因素进行了分析和合理的假设;充分考虑战术模拟中的实际情况,将数字地图中各点间的空间距离转化为以各点间机动时间为权边的网图,通过求任意两点间的最短距离的方法,建立坦克实体机动最短时间路径的数学模型。并给出了人工智能算法,把问题求解过程简化,从而解决战术模拟系统中智能机动中的路径选择问题。     

谈核电站火灾自动报警系统的特殊配置

结合核电站火灾危险的特殊性,阐述了核电站常规岛中网控楼、蓄电池室、汽轮机厂房、电缆隧道、输变电变压器等建筑的火灾自动报警系统设备的特殊配置及选用特点,以发挥火灾自动报警系统的监控作用。     

完善军事文化人才队伍建设制度机制

大力发展先进军事文化,要有军事文化人才队伍作支撑。在遵循人才队伍建设规律的基础上,不断提升军事文化人才队伍建设科学化水平。1.建立符合军事文化人才成长规律的培养机制。一是建立思想政治教育制度。德才兼备,以德为先,是军事人才的基本要求。这就要求对军事文化工作者进行思想政治教育,使军事文化人才养成坚定的思想政治基础。始终做到用马克思主义理论武装头     

砥砺春秋铸辉煌——写在北方客车公司年产千台车下线之际

光阴流转．物换星移。历经27载．奋发踔厉,刻苦求进的北方人迎来了北方大客车年产干台的喜庆时刻。秉承德国尼奥普兰独特客车技术．植根于军工工艺的北方大客车．自诞生之日起．迈出的每一步都始终吸引着行业内外的关注目光．成长的每一个台阶都饱含着国人对民族客车强盛的热忱期待。从几个车型到型谱丰富的客车家族．从单纯技术引进到消化,吸收和自主创新．从几条客运线路到遍布全国的用户群体．北方客车驶过了一条艰辛而辉煌的航程。