辽宁省军区组织后勤动员分队拉动点验

近日，辽宁省军区后勤部联合省发改委经济动员办公室，组织预编在重要方向和重点地区的后勤综合保障大队、“三防”医学救援队进行拉动式点验。该点验结合边境地区应急行动后勤保障任务特点，采取随机导调的方式，通过临机抽考入队训练、军车伴随加油、偶发感染鼠疫病毒急救、人工心肺复苏等课目，重点检验所属军分区、人武部年度编兵整组质量、军民融合能力建设成果，为提升遂行边境应急行动背景下的战役后勤保障能力提供了有力支撑。     

浅谈预备役部队非战争军事行动准备

装备器材是战斗力构成的基本要素。预备役部队要有效遂行非战争军事任务，就必须构建完善相应的装备器材保障体系。在2008年抗击南方低温雨雪冰冻灾害和汶川特大地震灾害中，民兵预备役部队应急装备器材落后、专业装备器材缺乏的问题，严重制约了应急行动效果。这个教训应该牢牢记取。要按照“军民结合、     

三国装备能否兼容

现代战争中,军队对后勤补给的依赖非常大。而对于美、日、韩三国来说,尽管日韩两国近年来大力提倡武器装备国产化,也有多种自行研制的武器服役,但实际上如果联合作战,其压力却是不大。下面我们就来看看,日本和韩国的军需官们到底可以从美军仓库里直接领取哪些东西来满足自己部队的需要。     

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

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