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

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

把握主线 固本强军

深入学习胡主席在庆祝中国共产党成立90周年大会上的重要讲话,应当把握主题主线,明确军队改革发展的重大任务,为推进国防和军队建设科学发展、有效履行我军历史使命这些基本论断,我感到应当着重从以下四个方面来深刻领会。深刻领会铸牢军魂的根本要求胡主席在讲话中强调指出:"坚持     

在新的站位上加速推进战斗力生成模式转变

加快转变战斗力生成模式,是我军适应时代发展要求的重大创新实践.必须认清加快转变战斗力生成模式的极端重要性,积极研究探索其基本内涵、本质特征、作用机理、目标任务和思路措施,做到方向明、思路清、真转实干.     

围绕主线抓好新组建新装备部队人才队伍建设

围绕主线抓好新组建新装备部队人才队伍建设,必须解放思想、瞄准前沿,积极建树适应加快转变战斗力生成模式的人才培养理念;整合融合、优化资源,不断打牢适应加快转变战斗力生成模式的人才建设基础;搭建平台、丰富手段,努力拓宽适应加快转变战斗力生成模式的人才培养渠道;以人为本、浓厚氛围,大力营造适应加快转变战斗力生成模式的人才成长...     

紧抓活动主线 努力创先争优

农九师163团党委紧紧围绕唱响田园牧歌,建设和谐团场的主题,在全团31个基层党组织、867名党员中扎实开展创先争优活动,实现党员干部争先进、科学发展上水平、职工群众得实惠的目标,推进团场各项事业和谐发展。发挥带头作用促进科学发展创先争优活动的开展,使163团呈现出连队比发展,部门比服务,行业比贡     

围绕主题主线坚持“四个给力”在加强和改进政治工作中推进武警部队现代化建设

胡主席关于主题主线的重大战略思想,是统领武警部队现代化建设全局的总纲,规定了武警部队现代化建设的根本方向、指导方针、发展目标,回答了新时期武警部队“向哪里发展、怎样发展”,“向哪里转、怎样转”等重大问题。推进武警部队现代化建设,必须紧紧围绕主题主线加强和改进政治工作,把握规律,确立科学理念;以人为本,提高能力素质;端正思想,提升质量效益;重心下移,抓基层打基础。充分发挥服务保证作用。     

深入贯彻主题主线战略思想 推进军队人才建设创新发展

军队人才建设贯彻主题主线重大战略思想,要适应形势任务要求,转变人才发展理念和思路;聚焦军事斗争需要,调整人才工作重心布局;着眼人才建设任务落实,积极完善对策措施。     

基于Markov Logic的军事系统效能评估

由于军事系统中存在不同的体制编制和多变的网络结构,并且军事单元能力发挥不稳定,信息延时不确定,因此为完成特定军事任务,系统中会存在诸多OODA过程,以至于难以评估军事系统的效能.针对目前效能评估方法人为定性评估成分较大,或者评估过程忽视军事实体间的相关联系而仅在统计意义上进行评估,将军事系统的不确定性纳入评估体系,基于统计关系学习框架Markov logic以OODA军事策略为基础对不同军事规则进行一阶逻辑建模,并以当前网络态势为先验条件,应用Alchemy工具对表示最终作战效能的原子谓词进行条件概率推理,求得该网络作战效能期望,突出了模型对不确定信息的处理能力.最后研究了军事单元和军事体制对系统效能的影响,实验结果验证了本模型的有效性,表明其具有一定的实践和理论意义.     

建设巩固国防和强大军队

十八大报告明确提出了建设与我国国际地位相称、与国家安全和发展利益相适应的巩固国防和强大军队,是我国现代化建设的战略任务.必须坚持以科学发展观指导国防和军队现代化建设.坚持主题主线战略思想,推进军队全面建设,深化国防和军队改革.坚持富国与强军相统一,走中国特色军民融合式发展路子.     

坚持把院校基层建设作为贯彻落实主题主线的重要着力点

坚持把院校基层建设作为贯彻落实国防和军队建设主题主线的重要着力点,充分认清基层建设在院校全面建设中的基础性地位,切实增强抓好基层建设的使命感责任感;切实加强党委机关建设,以党委机关各项建设的高标准带动和促进基层建设;在积极走进矛盾、努力破解难题中推动基层建设科学发展;做好建章立制工作,努力营造基层建设良好的外部环境条件.