无人集群体系设计与仿真评估方法

无人集群作战正在成为一种改变战争形态的新型作战样式。针对当前无人装备试验相对独立、缺乏一体化闭环设计与集成验证手段的问题,提出了一种体系设计与仿真评估方法。该方法包含了作战概念建模与需求分析、体系设计理念与体系设计、内场仿真实验与方案探索、体系原型研发与评估优化、外场集成试验与综合决策五个阶段,创新发展了体系设计、仿真试验、评估优化的理论方法、工具链路、集成环境,为无人集群的体系化、智能化、实战化提供了一定的理论与技术支撑。     

现代谱估计法在导弹系统仿真模型验证中的应用

给出了应用现代谱估计法验证导弹系统仿真模型的方法,该方法适合于反坦克导弹系统动态过程仿真的输出为短时序、低信噪比特点。针对复杂的反坦克导弹系统仿真模型的验证问题,结合某型号滚转稳定的反坦克导弹系统的仿真数据和实测数据给出了现代谱估计的应用结果。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

糗事

放凳子新兵连时,有一次准备上思想政治教育课,看到我们这群新兵蛋子稀稀拉拉的放凳子动作,排长便较起劲来一遍、两遍、三遍,几十号人还是没能让凳子同时着地。在台上准备给我们上课的教导员随即说道:"你们只管使劲往下砸,凳子烂了我负责。"教导员部发话了,大家都憋足了狠劲。"准备放凳子——放!"口令下达后,只听见啪的一声脆响,这回终于算是放     

面向协同区域反恐侦察的无人机集群规划与控制

以无人机集群协同侦察多个区域内潜在的恐怖分子为背景,提出了一种基于贪婪算法的求解思路,设计了任务分配-路径规划-跟踪控制的算法流程,解决了面向协同区域反恐侦察的无人机集群规划与控制问题。首先,设计任务分配算法,为无人机分配任务区域,解决多无人机多目标的任务分配问题;然后,每一架无人机进行路径规划,生成从当前点到任务区域以及在任务区域侦察的组合路径;再使用追踪虚拟目标点的方法,使无人机沿着规划航线飞行。任务分配-路径规划-跟踪控制在线滚动执行,使无人机集群协同执行反恐侦察任务。对上述算法进行了数值仿真,并基于开源仿真平台搭建复合翼无人机协同仿真环境,进一步验证了算法流程。     

让比较阅读在语文教学中绽放异彩

比较作为思维的一个过程,活跃在各种研究领域。比较就是通过对两种或两种以上的事物或现象之间的对比来加深、扩大和验证认知的一种研究方法。通过事物众多特征的对比,可以剔除事物的非本质特征,把握事物的本质特征,得到对影响事物发生、发展和变化的事物本质属性的理解。在中学语文教学中,教师运用比较阅读法,可以使学生辨善恶,明良莠,提升和深化对主题思想的认识和把握,诱发学生的认知冲突,让学生经历自主探究发现的学习过程,在发现性阅读中享受探究和创造的乐趣,进一步丰富他们的内心体验,促进学生情感态度的变化。具体说来,比较阅读的益…     

导弹机动作战路线的优选

现代条件下的战争给导弹部队的机动性提出了更高的要求,机动路线制定的好坏直接影响着机动作战中作战效能的大小,也直接决定着战斗的胜败.根据当前导弹部队机动能力的现状,分析路况、隐蔽性、武器系统本身的机动性和伪装性等对机动作战的影响因素,给出求解最优路线的模型和算法,并通过实例计算验证了此方法的有效性.     

基于粗糙集-神经网络编队协同空战决策系统

为了提高空战决策的实时性和准确度,将粗糙集理论和神经网络引入到编队协同空战战术决策研究中,提出了应用SOM网络-粗糙集-BP网络集成进行编队协同空战战术决策的方案:应用SOM网络离散化决策系统输入数据的连续属性值;利用粗糙集数据分析方法,从数据中提取出规则将输入映射到输出的子空间上;在这个子空间上用BP网络进行逼近.2:4编队空战实例仿真结果验证该方案的可行性,在数据充分的条件下,该方案可以推广应用于其它空战决策系统.     

试验环境需求分析与验证方法

为构建逼真的试验环境,首先对试验环境构建流程进行了分析,建立了试验环境需求分析框架,介绍了需求分析的背景空间、分析方法和管理与确认方法,研究了试验环境概念模型的构建方法,提出了概念模型验证的原则,并从语义、语法和语用三个方面建立了概念模型的验证指标体系,形成了一套完整的试验环境需求分析与验证的体系结构。该方法为试验环境构建提供一定的参考。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。