基于全局时态逻辑(GTL)的验证和测试生成研究

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

【将军论坛】科技创新思维的哲学基础、本质特征与实践要求分析

科学技术是核心战斗力,科技创新思维是开启科技创新的“金钥匙”。为实现科技兴军目标,必须高度重视对科技创新思维的研究。本文首先提出马克思主义哲学是指导科技创新思维的锐利思想武器,并从唯物论、辨证法及认识论三个方面进行了论证;其次提出科技创新思维的三个本质特征,即新颖性、全维度和多样性;最后从五个方面提出科技创新思维的实践要求,即深刻认识创新对象、紧贴创新目标要求、重视创新实践探索、建构积淀创新知识、忠于坚守创新追求。     

武器装备需求问题框架及特性分析

针对武器装备需求内涵模糊的问题,建立武器装备需求问题框架并分析需求的相关本质特性.提取武器装备需求的关键影响要素,提出武器装备需求问题框架--包括需求关键影响要素、影响要素属性、影响要素之间的关系;采用高阶逻辑的规则,分析了武器装备需求及需求映像的特性,包括武器装备需求充分性、前提合理性、实现可行性、必要性和层次性,以及武器装备需求映像充分性、必要性和指导性.以假定的一个城市导弹防御系统的需求研究为例检验了方法的可行性和有效性.     

M&S中周期数据质量保证

数据的有效性与精确性在M&S全周期的校核、验证与确认过程中起着重要作用.从保证全生命周期的数据质量出发,说明了数据质量保证评估的体系结构,重点介绍了从数据采样到结论生成全周期中保证数据质量的基本原理和详细步骤.     

强爆轰驱动超高速碎片发射装置设计因素分析

为了得到发射装置设计因素和超高速碎片性能间的关系,考虑了药型罩的材料、炸药种类、装药长径比、药型罩的锥角、药型罩的厚度、药型罩顶部靠近装药侧的曲率半径等设计因素,采用AUTODYNTM,结合正交试验,对超高速碎片的发射过程进行数值模拟。结果表明,3种发射装置结构分别可以提供质量为1. 533 g的紫铜碎片、速度为11. 649 km/s的铝碎片、动能为85. 6 k J的铝碎片; 2种发射装置结构均可以提供质量大于1 g、速度高于11 km/s的密实结构圆柱状碎片。验证了仿真方法的可信性,对影响碎片性能的设计因素进行了分析、排序,并得到了这些设计因素与碎片质量、速度、动能的关系。     

舰炮制导弹药发展研究

从舰炮制导弹药的基本概念出发,结合其使命任务,对比中美两栖作战力量区别,指出发展低成本高精度制导兵器的必要性。总结当前国内外对制导弹药的研究现状,提取其关键技术,对比中外在顶层概念设计、系统交联、弹药实验测试等方面的发展差距,为下一步制导弹药的研究,提出了阶梯式、螺旋式发展、加强基础性研究工作、开展制导弹药协同控制技术研究等重要建议。     

基于高精度WCNS格式的γ-Reθ转捩模型标定与应用*

在高精度数值风洞平台上,采用低速平板试验数据对基于高精度WCNS格式的γ-Re_θ转捩模型进行了标定,并在二维低速问题中进行了应用。计算结果与试验的对比表明,基于高精度WCNS格式的γ-Re_θ转捩模型可准确模拟自然转捩、旁路转捩及分离转捩的位置,并且具有较低的网格敏感性。同时也表明在中等雷诺数范围,层流区域长度和湍流区域有相同量级时,计算必须采用转捩模型才能准确模拟阻力系数。     

基于Statemate的C~4ISR系统体系结构仿真

首先简要介绍了C4ISR系统体系结构,然后在基于Statemate的系统体系结构分析的基础上,结合防空系统实例给出了它的详细开发过程,为C4ISR系统体系结构的应用提供了初始原型。该项研究对C4ISR领域的系统仿真具有重要意义,值得进一步探讨。     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

C4ISR需求开发新途径：基于本体建模

针对C4ISR需求客观上复杂且特殊、主观上难沟通等特点导致C4ISR需求开发难的问题,研究C4ISR需求本体,提出开发C4ISR需求的一条新途径:基于本体建模。首先,构建C4ISR需求本体元模型、语义模型,很大程度上澄清了C4ISR需求领域知识结构;然后,提出基于本体建立C4ISR需求模型的具体步骤;最后,示例说明方法的可行性、有效性,展示了方法的应用前景。