打牢民兵建设基础

内蒙古巴彦淖尔军分区在民兵整组工作中,坚持“用什么编什么、缺什么补什么、弱什么强什么的原则”,注重在抓程序规范上下功夫。军分区党委认为,抓好民兵组织整顿工作,促进民兵队伍的协调发展．既是落实我国民兵制度的必然要求,也是实施人民战争动员的组织基础。为此,他们以乌拉特前旗乌拉山收费所民兵连为基础,对民兵整组的时间、程序、组织形式等进行规范化试点,并召开现场会,让全市各旗县分管领导、人武部主官亲临现场参观见学。军分区还及时完善试点经验,采取相应措施逐步推广,限期组织考评验收。通过完善制度加强民兵动态管理,制定外出联系、请销假、定期报告等制度,确保“编得好、管得住、联得上”。     

试论语文教学中的语言美

语言是人类最基本的交际工具,是连结人与人之间关系的纽带,我们可以透过它清晰地窥见一个人的思想境界,看出一个人的情操人格;语言是人的生命中最美丽的花朵,人生活在这样一个瑰丽的语言世界中,培养一个人的语言能力,就是培养人自身.传统的语文教学只重视"传道、授业、解惑",往往只抓住字、词、句、段的分析与理解,而忽视语文教学中语言本身所具有的美.这些美具体地体现在语文教材中优秀的文学作品上.文学是语言的艺术,文学作品中使用的语言,来源于日常生活,又通过作家的艺术提炼、加工和改造.日常口语丰富无比,但它如同一条波涛汹涌的江河湖海,鱼龙混杂,泥沙俱下,还有待于我们去澄清、净化;而文学语言则规范、纯正、健康,也更为准确、生动、鲜明.所以,语言的艺术随处都在树立着语言美的典范和楷模,特别是语文教材中的语言,明净如山间的清泉,清纯似含苞的花蕾,欣赏这样的篇章,自然而然的会受到语言之美的教育和熏陶.所以我们不能忽视语文中的语言之美,不能忽视语言美的特征.笔者认为语文中的语言美主要有情趣美、色彩美、声韵美、简洁与繁复美等等.     

农牧团场中小学体育课中安全环节的思考

体育教育是党的教育方针的重要方面,是素质教育的有机组成部分,缺少体育的学校教育是不完整的教育,也就谈不上全面贯彻党的教育方针和全面推进素质教育.为了加强学校体育,促进青少年学生的全面发展,教育部在九年义务教育课程改革中,增加了体育课的课时,更加突出了健康第一的指导思想,目前,各农牧团场的中小学按照基础教育新课改革标准的要求,开足开齐体育课,并且想方设法不断提高体育课的教学质量.但是由于农牧团场学校教育受经济条件的制约,体育场地不规范,体育器材不齐全,专业体育教师数量不足等原因,致使农牧团场中小学体育课上造成学生意外伤害事故的情况时有发生.     

形式化方法在装备保障决策支持系统中的应用

为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升.     

浅谈检定规程与校准规范之比较

近年来,国家质量监督检验检疫总局已发布不少校准规范取代了原来的检定规程。检定规程与校准规范之间有何区别、有何关系,本文试从检定规程和校准规范的颁布状况,各自术语定义、编写规则要求等方面的比较．以《内测千分尺检定规程》与《测量内尺寸千分尺校准规范》做一范例比较,并与有关标准进行对照分析,从中找出它们的异同性和承启性。本文供质量、计量和标准化人员参考。     

白山军分区扎实做好征兵准备工作

针对"当兵冷、征兵难"的问题,白山军分区扎实开展"四抓四到位"活动,确保征兵工作有效落实。一是抓宣传教育,氛围营造到位。利用广播、电视、报纸、网络等媒体,广泛宣传征兵工作的新政策、新规定、新举措,深入搞好思想发动,大力营造"一人参军、全家光荣"的浓厚氛围,提高了适龄青年依法服兵役的自觉性和主动性。二是抓规范程序,兵役登记到位。采取到站登记与上门登记、本人登记与家人代登记等形式,认真填写《兵役登记情况表》,对适龄青年的病史进行调查、身体进行目测、现实表现进行     

MAS中Agent属性冲突形式化描述及消解系统研究

由于多智能体系统(MAS)中各个Agent具有自治性、分布性和异构性等特征,导致MAS内部经常会出现冲突现象。首先,运用数学方法对MAS中存在的属性冲突进行形式化描述,并将其分为6类,针对每类冲突提出了相应的消解对策。其次,对属性冲突智能消解系统(AACIRS)流程框架进行了分析,并在此基础上建立了AACIRS系统,实现了MAS中属性冲突的消解。从而为解决MAS中Agent属性冲突提供了解决方案,为MAS的稳定运行提供了技术保证。     

作战任务的形式化描述及其过程表示方法

为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

关于空军财务文化建设

加强空军财务文化建设,把其融入到财务保障与管理的全过程,不断用先进的财务文化鼓舞人心、凝聚士气、激发干劲,对推动空军财务正规化建设和转变战斗力生成模式必将起到推动作用。空军财务文化的基本构成。空军财务文化包括理财理念、理财习惯、理财风气、理财作风、理财程序、理财规范等方面,概括起来主要包括制度文化、物质文化和精神文化三个方面。精神文化主要体现在财务人员的思想意识、精神面貌、心理素