一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

三亚市举行快速运动员采血演练

血液是国防动员首批动员的重要物资之一。而通过近年来的潜力调查统计和实战动员演练发现,因受限于储备储藏和来源条件,目前血液中心(血站)血液储备量只能保障日常供给,在战时或突发情况下的供血能力极其有限。4月16日,按照"军事机关提需求、国动委搞协调、政府抓落实"的运     

贮存环境对火箭弹动平衡冲量的影响

实验测定了已经在南方和北方2个地区贮存5年的火箭弹动平衡速度,计算了动平衡冲量,并利用秩和检验方法对实验结果进行了处理与分析。通过实验与分析,得到了32发火箭弹的动平衡冲量,综合试验、计算和检验结果表明,贮存环境对于该火箭弹的动平衡冲量有显著影响。     

基于SPRT的组合导航故障检测与隔离互辅算法

针对SPRT(序贯概率比检验)算法无法准确判断缓变故障结束时间的问题,提出了一种故障检测与隔离互辅算法。采用SPRT算法对滤波残差进行故障检测,确认故障后隔离故障观测量,重新建立卡尔曼滤波观测方程并完成量测更新,将隔离后的滤波结果作为下一时刻的滤波初值辅助故障检测。仿真结果表明,该方法能准确定位故障观测量并判断出故障的结束时间,提高了系统可靠性。     

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

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

截尾序贯验后加权检验截尾点的优化设计

选取截尾点是截尾序贯验后加权检验很关键的一步,目前理论上尚无有效的选取方法。本文用优化技术确定截尾点Ｃ,克服了实践中确定停时Ｎ和截尾点Ｃ遇到的计算困难,避免了一般取Ｃ＝１的盲目性,使截尾点Ｃ的选取有了理论根据。优选的截尾点不仅使双方承担的风险之和最小,而且使双方承担的风险值相对合理,易于接受。     

海西军分区扎实抓好牧区民兵应急分队训练

前不久。济南军区组成联合工作组，利用2个月时间．赴山东、河南两省实地检查验收了民兵应急分队处置突发事件的能力。     

创新考评思路 推进战备落实

为进一步加强海防战备工作，推进防卫作战准备，最近，福建省军区领导带领考评组。对全区分队战术训练落实情况进行了考评。考评着眼以考促训、以考促备，有以下三个突出特点：一是设置“真实”对手，全方位检验分队作战准备成效。改变传统的自导自演、单方检验的做法。专门组成蓝军模拟分队充任敌特攻分队，按敌实际作战编组与受考分队进行实兵对抗。     

再谈百分比抽样检验的不科学性

针对相当一部分企业仍在使用已被淘汰的百分比抽样检验方法检验、验收产品的现象,从3个侧面证明这种方法的不科学性及统计抽样检验的科学性。