时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

为了部队建设安全发展——河北省军区军师旅团四级领导安全建设能力集训侧记

为深人贯彻北京军区安全工作"石家庄集训"精神,抓好省军区部队安全基本工作落实,前不久,河北省军区依托省军区教导大队,组织开展了"八个方面"安全建设能力集训。省军区部门以上领导、机关各处(室、办、院)负责人和来自各师(旅)级单位军事主官、参谋长和军务、保卫工作负责人,各团级单位军事主官和各设区市民兵装备仓库、省军区直属装备仓库负责人300余人共同探讨防范重大安全问题的办法,并结合实际案例,总结经验教训。短短     

以制度落实为抓手 增强党委班子原则性

增强党委班子的原则性是个老问题、难问题,也是一个迫切需要解决的普遍性问题。新形势下,增强党委班子的原则性,既要把贯彻落实政策规定是否坚决作为评判的重要尺度,更要把建立健全规章制度作为行之有效的基本途径和根本保证,着力在强化法规观念、加强制度规范、抓好制度落实、维护制度权威上下功夫见成效。     

高规修订内容若干问题探讨

《高层民用建筑设计防火规范》是我国高层民用建筑防火设计的基础性规范。从设置商业服务网点的居住建筑、建筑结构、安全疏散和消防给水四个方面对《高层民用建筑设计防火规范》的有关规定进行深入分析,指出存在的问题,并针对规范不完善的条款提出修订意见。     

资讯

军工科研院所改革工作领导小组第一次会议在京召开陈求发局长要求加强组织领导扎实推进改革11月21日,国防科工局在京组织召开军工科研院所改革工作领导小组第一次会议。军工科研院所改革工作领导小组组长,国防科工局党组书记、局长陈求发出席会议并讲话。国防科工局党组成员、副局长虞列贵主持会议并宣读了《关于成立军工科研院所改革工作领导小组的通知》。国防科工局党组成员、副局长黄强,胡亚枫出席会议,国防科工局总工程师周武胜通报了军工科研院所改革清理规范阶段的工作安排。     

车用再制造发动机验收检验台架磨合规范试验研究

对未经磨合的再制造发动机新品进行动力性能试验,试验结果与原机标准相差较大,经分析后认为未进行充分磨合是性能不达标的主要原因。针对再制造发动机的出厂验收技术特点,制定了小负荷循环磨合规范,并对起初推断进行了试验验证。根据磨合过程中发动机动力性能的变化规律,通过试验对磨合规范进行了优化,总结出了快速有效的台架磨合规范。试验结果表明：快速磨合规范不仅能够提高磨合效率,而且保证了磨合效果。     

一○二团:把党的温暖送到职工群众心坎里

按照兵团干部作风建设年活动的要求,农六师102团开展了"四项活动",即问政于民、心系群众、深入调查研究活动;清理审批,规范程序,提高办事效能活动;破解难题,狠抓落实,攻坚克难活动;服务发展,服务基层,提升服务水平活动。为保证     

以小促大拓宽民兵政治教育渠道

近年来,基层人武干部普遍有一种感觉,民兵政治教育难落实!笔者认为,民兵政治教育之所以落实难。主要原因在于教育内容交叉重复,教育方法、手段滞后,教员队伍素质不高。因而。解决好这些问题,应该成为民兵教育改革创新的新思路。除了在规范教育内容上要有新突破外,更重要的是在改革教育手段上要有新突破。要打破民兵思想政治教育传统的老模式、老套路、老方法。努力开辟新渠道,探索新方式,拓展新领域,逐步形成以课堂教育为主与其他教育形式有机结合互相补充的大教育格局,构建处处有教育、事事受教育、人人搞教育的氛围。要突出抓好“三小、三大”民兵教育活动,确保民兵政治教育得到全面落实。     

新修订的《中国人民解放军机关公文处理条例》的特点

2005年10月2日,中央军委发布了新修订的《中国人民解放军机关公文处理条例》》(以下简称新《条例》),自2006年1月1日起在全军施行。新《条例》充分体现了时代性、继承性、创新性、科学性和规范性,为军队现代化、正规化建设提供了制度规范,展示了我军第一部公文处理法规的鲜明特色。一、坚持与时俱进,努力实现了与国际惯例和国家标准的接轨。新《条例》部分实现了党政军机关公文处理工作的一体化,增强了科学性、实用性和前瞻性,这是新《条例》的一个显著特点。(一)参照国际惯例和国内法规,对公文制发提出了质量标准。新《条例》配套制定了国…     

基于作战势能比值的态势评估方法

作战态势评估是作战指挥的关键问题之一。引入势、作战势能及势比的概念,在数理战术学规范交战模式的基础上,综合考虑体系作战中实际战场情况对基本毁伤力和各种交战关系的影响,提出一种体系对抗背景下态势评估的新方法。