软件装备检验技术研究

本文就软件装备检验技术的定义、组成、过程和对象提出了一些看法,针对软件测试的目的和原则提出了建议。     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

整改落实须让群众可感可知

“人情风”弱了、多占住房退了、“三公”经费少了、服务态度好了……党、的群众路线教育实践活动中的变化,让群众体会到纠“四风”正作风的成效。如今,教育实践活动到了整改落实、建章立制环节。抓好整改、推动落实,最重要的检验标准就是让群众可感可知,让群众满意满足。     

“关”“山”度跃辉

一批批精密的产品,一道道流水化的程序,一个个机械的动作,组成了刘跃辉27个相似的年头。作为江南工业集团有限公司检验试验中心五检室二班班长,刘跃辉不论是在雪域高原昆仑山,还是日常工作的楠竹山,都严把公司产品质量＂关＂,在看似平凡的岗位绽放夺目的光芒。翻得过雪山耐得住繁琐检验是一项重复性强、很繁琐的工作,随着某产品的多批次生产,针对该产品的检验也要多批次进行。公司的产品出于性能原因,经常需要在边远地区检测,     

重视发挥思想政治工作潜在因素的功能

发挥思想政治工作潜在因素的功能,是适应官兵思想活动独立性、多维性、差异性逐步增强的特点,与时俱进做好思想政治工作的前提和条件。重视发挥意识主导的功能。意识是人的头脑对物质世界的主观反映,本身又具有能动作用。因此,我们在做思想政治工作时,就要注重研究官兵在认识客观事物过程中,意识来源的各个环节是否正确反映客观实在,如何才能正确反映客观实在,从而把对官兵一般意义上的思想引导,上升到哲学意义上的意识主导,做到从根本上把握官兵的思想脉搏。同时,官兵思想日益呈现出多样性和差异性,也只能通过发挥意识主导的功能,才能真正…     

提高党委班子领军打仗本领

军队因战争而存在,打得赢才是硬道理。《党委工作条例》提出各级党委要增强"四个本领",其中的一条就是"领导军事斗争准备、带领部队完成信息化条件下作战任务的本领"。加强党委班子能力建设,必须把提高带领部队完成多样化军事任务能力作为根本目标和检验标准,围绕中心建班子,围绕中心强班子。一、能打仗的前提是想打仗。提高党委班子领军打仗能力,既难在     

揭开经得起实践检验的奥秘——解读广东省湛江军分区党委提高科学决策水平的几个关键词

党委班子实现科学决策的抓手在哪里?广东省湛江军分区党委"一班人"把学习实践科学发展观与党委班子决策实践相结合,提高科学决策水平,决策效能经受住了实践检验。     

广义计数型序贯抽样检验

针对计数型产品的可靠性验证试验,提出了一种广义计数型序贯抽样检验方案,该检验方案实际上是经典序贯概率似然比检验的推广.通过构造马尔可夫链模型,研究了广义计数型序贯抽样检验方案的风险计算方法.在此基础上,给出了广义序贯抽样检验方案的制定程序.最后,通过实例分析表明:广义序贯抽样检验方案比国际标准IEC1123所推荐的方案...     

射击精度的序贯检验评定方法

在分析传统T检验法不足的基础上,提出采用序贯比值检验方法评定射击精度,能有效减少试验次数,缩短试验时间.并对序贯比值检验中两个常值的取值问题进行了深入的研究,最后给出了确定常值的具体方法并进行了方案设计举例,供有关人员参考.