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

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

装备保障信息化研究初探

装备保障信息化是我军装备保障工作的发展方向,但目前尚无系统理论的指引,现借鉴外军经验,结合从事我军现阶段装备保障信息化工作的体会,较系统地对装备保障信息化的概念、外延、内涵、目标和建设原则与应优先考虑的问题等,作出了探索性地阐述,以期推动我军装备保障信息化理论的形成与发展.     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

航空电子综合系统作战飞行程序的研究

本文研究了作战飞行程序的开发及开发环境的基本原理,并对开发环境的基本软件组成、硬件结构及其应用进行了讨论。     

城镇化对察布查尔县锡伯族语言发展的影响研究

随着经济发展和社会进步,城镇化也带来了一系列的问题,城镇化进程中的语言问题应当引起高度重视。本文在城镇化背景下,选取新疆察布查尔锡伯自治县的3个城镇区域为样本(爱新舍里镇、察布查尔镇、种羊场),调查城镇化给不同区域的锡伯族人的语言使用所带来的影响。通过数据分析,我们认为城镇化将扩大国家通用语的使用范围,增加国家通用语和锡伯语语言接触的深度,将进一步改变锡伯族的语言观念,城镇化的发展将增加锡伯族语言转用人群。最后提出城镇化与察布查尔县锡伯族语言和谐发展的对策,解决语言生活中的实际问题。     

浅议陆军合成旅装备一体化联合检验

近年来,装备试验深入推进。作为装备试验领域的最高形式,装备一体化联合检验已经成为陆军合成旅装备试验的新趋势和新常态。本文从装备一体化联合检验的概念入手,简要阐述了以作战效能、作战适用性、体系适用性和在役适用性为主的“一能三性”,从装备体系效能的联合检验、装备体系运用的具体检验和陆军合成旅的综合检验三个方面深入理解和认识装备一体化联合检验,提出了立足联合作战、立足贴近实战、紧盯短板弱项、聚焦摸清底数等四个需要重点关注的问题,以为陆军合成旅装备一体化联合检验的深入开展提供理论参考和借鉴。     

美国太空安全领域最新发展分析

美国认为太空已被普遍认定为最重要的作战域之一,未来的太空安全态势将愈发严峻。本文认为, 美国正面向未来太空对抗环境进行全面转型, 从顶层战略、作战理论、组织结构、战备训练、装备技术等方面开展研究、调整和长远布局, 如以我为主要对手谋划布局、发布系列军事航天顶层指导文件、大幅增加太空攻防作战相关经费投入等。 目前, 美军正处于新旧体系转换、 下一代能力构建发展的关键期, 不仅正在变革军队组织体制、重组太空攻防作战力量, 还积极开展系列演习演训, 以加速形成太空攻防实战能力。美军这一系列动向将对未来太空领域安全与发展产生重大影响, 应引起我高度重视。     

社会历史发展中价值实现的辩证性

马克思创立的唯物史观富有深刻的价值内涵,一部社会发展史就是一部价值实现的历史。人类历史发展过程中价值的实现并不是一帆风顺的,是一个付出代价和扬弃代价的辩证过程,需要人们权衡利弊进行正确的价值选择,从而为社会进步谋求一条更好的发展之路。     

消防战训业务训练师资队伍建设研究

消防院校教练员队伍是一支专门从事消防业务理论教育和灭火救援业务技能训练的教育队伍。教练员队伍建设质量的高低决定着消防部队教育训练的发展方向,对提升消防部队整体作战能力起着关键性的作用。以提高消防教练员队伍综合素质为切入点,在分析现阶段教练员队伍现状的基础上,剖析了教练员队伍中存在的问题和原因,总结了新时期消防部队教练员应具备的素质与能力,提出了提高教练员队伍综合素质的措施,并提出了具体、可行的培养方案。     

新中国道德建设的基本经验及发展走向

新中国道德建设的基本经验主要是：形成了社会主义道德体系,坚持社会主义核心价值体系主导地位;明确了“相适应”、“相协调”、“相承接”三者统一的目标任务,坚定中国特色社会主义方向;坚持了先进性与广泛性相结合的实践要求,发挥先进典型示范引导作用,等。在新的历史时期,我们要力戒道德建设的“无我化”、“空洞化”和“泛政治化”,抵制“非道德主义”和“道德相对主义”的泛滥与风行。新中国道德建设的发展走向是：要在社会主义核心价值体系中,大力践行社会主义荣辱观;在“四观”中凸显道德观教育;在“四真”上下工夫塑造道德主体。