简介：本文试图描述《通典》第148卷载《司马法》的片断里提到的古代阵形。关于《孙子兵法》提到的古代“奇/正”问题的文献存留的不多,《司马法》是其中的一部。研读古代战略著作的一个主要困难是许多专用词汇都同技术装备和组织有关,当时可能是以“行话”的方式来使用的,现在早已无人了解其意义,因为它们同古代战争关系密切,而古代战争已经逐渐被人丢开。

简介：基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。

简介：如果中国大陆一旦决定出兵收复台湾，这不大可能是诺曼底式的大规模两栖登陆行动。实际情况是，大陆更可能实施一种斩首战略。即一种旨在造成指挥和控制系统瘫痪，摧毁全岛的神经中枢，进而导致对手无奈地败下阵来的战略。正如一句古老的谚语所说：“首瘫则身不存。”大陆需要做的仅仅是夺取权力中心。并俘虏其领导人。

简介：基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（GlobalTemporalLogic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

简介：目前，边防部门对于群体性事件预警情报的分析缺乏科学系统的工作流程和分析思路，受思维定势、先入为主等主观因素的影响较为严重。随着科学技术的不断发展，群体性事件预警情报的来源不断扩展，数量不断攀升，如何进行准确的情报分析，成为边防部门面临的一个亟待解决的问题。分析了竞争性假设分析法在群体性事件情报预警中的可行性和实际应用，对预警情报的分析工作有一定的借鉴价值。

简介：为了探究先验信息对软件可靠性验证测试次数的影响,对软件可靠性验证测试中的实时先验信息进行动态整合,提出了纠错、不纠错2种情况下的先验信息动态整合方法,以此为基础,提出了基于先验信息动态整合的贝叶斯软件可靠性验证测试方法。最后,通过实例分别分析了这2种情况下先验信息动态整合方法对软件可靠性验证测试次数的影响。

简介：为了验证高功率密度柴油机智能化控制冷却系统控制策略是否正确,以DSPACE为基础搭建了半实物仿真试验平台;通过仿真试验平台验证,控制策略符合柴油机冷却系统工作要求,电控阀、传感器、驱动电路等部件工作可靠,节省了研制时间、经费,降低了研制风险。