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

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

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

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

关于空军财务文化建设

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

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

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

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

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