参数化系统二维抽象框架

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

谨防原则变“圆”则

《现代汉语词典》对“原则”的解释是：说话或行事所依据的法则或标准。可见,原则是经过实践检验的合理化准则,是我们日常工作生活中不可偏离的基本准绳。     

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

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

软件装备检验技术研究

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

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

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

中国国防支出与供需因素影响关系测度分析

针对中国国防支出的计量经济数据特征,采集1996-2016年影响国防支出主要供需因素的观测样本数据,融合动态联系与时空统一的基本假设,结合数据计量特性检验、非结构化建模与分析方法,进行了实证研究.结果表明:供需因素对中国国防支出的影响程度大小排序为自身因素>供给因素>需求因素,需求因素中其他国家对中国的影响大小排序为美...     

基于仿真电桥的电火工品瞬态脉冲检验系统设计

介绍了基于仿真电桥的电火工品瞬态脉冲检验系统的硬件组成框图和工作原理,重点说明恒流源和仿真电桥的电路设计及提高测试精度的措施,最后介绍仿真电桥同步和调零的解决办法。     

关于不合理品审理的思考

随着企业质量体系认证的展开,一些企业在不合格品的审理上出现了:凡是要对不合格品进行处置都必须经不合格品审理;凡是对不合格品的处置,检验人员都不得介入的“两个凡是”现象。这“两个凡是”使生产现场的不合格品得不到及时和最有效的隔离和处置,直接影响到了生产现场管理水平的提高。处理好这个问题,才能够推进企业的质量体系建设。     

多项检验与单项检验的OC函数的关系

在军械装备维修中,对于维修时间除了进行通常的单项检验外,有时还要进行多项检验,一般为双项检验,即检验两个指定时间的维修度是否符合规定的标准。讨论了这种多项检验的OC函数与所对应的两个单项检验的OC函数的关系。