概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

对强化武器装备体系建设经济性论证的思考

强化武器装备体系建设经济性论证应当通过技术性与经济性的有机结合,体现装备限费设计理念,推进国防科技工业体系管理机制创新,把论证工作落到实处。军方要严格国防科研项目的概算价格评审,强化对目标价格的管理和实施研制过程成本监控;论证与承研单位要合理提出研制费的概算和目标价格。要通过建立基础信息环境、建设专业队伍、明确主体及职责、优化管理机制,规范使用工程估算、参数估算、类比估算、层次分析、结构分析等技术方法,为实现经济性论证目标服务。     

强化审计职能 提高审计质量

强化审计职能要创新思想、机制和制度,用创新促进审计工作科学发展;要敢于审计,坚持依法审计原则,如实揭露和反映问题;要善于审计,抓住有利条件,采取巧妙的方式方法,以最少的投入获取最佳的审计效果;要跟踪回访,抓好审计建议和意见的落实,增强审计效果;要强化审计使命教育、人才队伍建设和审计质量控制,用责任促进审计质量不断提高。     

培育战斗精神要体现“十性”

随着战争形态向信息化加速转型,作战双方攻心夺志更加激烈,各国军队为打赢未来战争,不断强化战斗精神培育。纵观古今中外,各国军队都把战斗精神培育作为一项长期而永无止境的艰巨任务。举世闻名的我军战斗精神,来自于我军80多年长期培育,来自于一次次战争实践锤炼,来自于无数先烈浴血奋战。新世纪新阶段,我军培育战斗精神,必须着眼有效履行多样化任务这个使命,在继承和弘扬传统方法的基础上,重点围绕“十性”进行系统培育,努力打造一支英勇善战的人民军队。     

重视运用心理学方法做好个别人工作

反思近年来部队发生的事故案件和违纪问题,许多都与个别人的不良情绪逐步积累、心理问题得不到及时化解有关。重视运用心理学的方法做好个别人工作,已成为部队预防犯罪工作的当务之急。     

确立科学指导理念提升工作指导效益

任何工作都要讲效益,讲效益从根本上说是一个理念问题,具体来说是一个方法问题。科学发展观是讲求质量效益的发展观,学习实践科学发展观,对于政治机关来说,很重要的一条,就是要确立与科学发展观相适应的指导理念,着力提高工作指导效益。     

（I＋C（α））预条件AOR迭代法比较性定理

在预条件矩阵（I＋C（α））下,讨论了AOR方法的敛散性;给出了该预条件AOR迭代方法与经典AOR迭代方法之间的比较性定理。     

什么是超前标准化

超前标准化是：根据预测的分析,针对正在发展的产品和技术领域,提前制定并实施标准以指导产品和技术的发展,并根据实施的情况逐步修订完善标准的一种标准化方法。     

努力提高民兵非战争军事行动能力

信息时代,非战争军事行动日益成为国家军事力量运用的重要方式。民兵是我国武装力量的重要组成部分,遂行非战争军事任务是民兵的使命所系、职责所在、任务所需。必须积极适应新的形势任务,按照“平时服务、急时应急、战时应战”的要求,全面加强民兵非战争军事行动能力建设。     

积极改革和加强民兵组织建设

管理工作是民兵建设的经常性工作。民兵应急分队是民兵队伍的重点力量,更要严格日常管理不放松。市场经济条件下,加强民兵应急分队管理,必须适应其亦兵亦民的特点,采取多元化的方法手段。一是制度管。对民兵应急分队的管理,