软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

培养造就高素质人武干部

人武部执行新编制,在人员减少的情况下,对人武干部的能力素质提出了更高的要求,人武干部能否以过硬的能力素质应对国防后备力量建设的新任务、新情况。我们通过有关战区人武指挥学员中,集体座谈、查阅资料、个案剖析等方式,对人武部干部的能力素质情况进行了调查分析。总的感到：人武干部的能力素质与收归军队建制之初有了明显改善,但距国防现代化建设和现实军事斗争准备的要求还存在一定差距。培养和造就一批新型高素质的人武干部,是我们面临的一个重要课题。     

基于HLA的弹道导弹突防仿真系统开发研究

随着反导防御系统的发展,弹道导弹突防将受到更大的威胁。HLA以其可重用性、互操作性好的特点,逐渐成为仿真的主流体系结构。介绍了HLA的系统组成和联邦开发的过程,提出了一个基于HLA的弹道导弹突防仿真系统仿真框架,为后续的仿真系统开发奠定了必要的基础。     

樊纲：怎样衡量一个城市的竞争力

中国(海南)改革发展研究院执行院长迟福林近日在接受媒体采访时称,中国的改革仍处在攻坚阶段与关键时期。今年应着力推进改革,并实现某些重要改革的实质性突破。     

官司赢了还需注意申请执行的期限

【案例】2002年2月,陈某与李某因借款纠纷诉至法院,法院查明审理后于同年5月13日判决陈某在2003年8月20日以前还清借款13126元及利息给李某。事后,陈某一直未上诉也未履行判决,李某也未向法院提出申请执行。2004年12月,李某见陈某久未还款,便申请法院强制执行。法院审查后认为,李某的申请已超过申请执行的期限,遂驳回李某的申请。     

国际 国内 兵团（2006年12月1日至31日）

1日，巴勒斯坦民族权力机构主席阿巴斯在巴勒斯坦解放组织执行委员会会议上表示，民族解放运动（法塔赫）与伊斯兰抵抗运动（哈马斯）关于组建巴勒斯坦民族联合政府的谈判已经夭折。     

落实规章制度 加强后勤管理

加强后勤管理,必须从严落实各项法规制度,形成按制度管后勤、依法管后勤的良好氛围,求得资源管理使用的最大效益.一是执行制度不打折扣.制度就是法规.一些单位发生资源浪费和投向不合理问题,最根本的原因就是在落实上级的各项规章制度上打折扣,搞"上有政策下有对策"、因此,必须不折不扣地按规章制度办事.如,在财务管理上,要坚持党委集体理财,严格预算执行,严把经费投向关;在工程建设上,要严格项目审批、严格招标投标、严格质量监督;在给养供给上,要精打细算,用好每一分钱.     

将“杂音”化为养分

一项正确决策必须经过多层次、多渠道地征求意见，广泛吸收“杂音”，才会正确、健康，符合民意。这里的“杂音”是指在对某一问题进行酝酿、决策和执行过程中出现的不同声音。     

军队预算执行考核指标体系研究

当前军队预算执行考核指标存在的问题是考核指标尚未形成体系、考核指标的反映功能偏弱、考核指标的量化程度不够。建立军队预算执行考核指标体系,要遵循科学性、普遍性和可行性的原则,首先建立考核指标库,然后通过一定的方法,确定指标的权重。