含连续时滞和阻尼项的非线性双曲微分方程解的振动性

研究了一类舍有连续偏差变元和阻尼项的非线性双曲型偏微分方程,获得了该方程在Robin边值条件和Dirichlet边值条件下解振动的一些充分条件,所得结果说明了时滞与阻尼项对解的振动性的影响.     

余模范畴上单子的构造

根据A-上环（A是代数）的类群元的定义及有关性质，文章首先给出T-余单子（T是单子）的类群元的定义、存在条件，其次研究了类群元与缠绕结构之间的相关性质，最后构造了T-余模范畴上的单子。     

刚体姿态控制在火炮自动操瞄中的应用

刚体姿态控制问题近年来在空间站控制、机器人控制以及飞行控制等方面有广泛的应用,用误差四元数从动力学和运动学两方面对姿态控制进行全局描述,并用李雅普诺夫方法得到基于误差四元数的姿态/速率控制器,结合某压制火炮自动操瞄控制对此控制方法进行了仿真分析.     

基于GMM的数据仓库管理与维护

元数据管理系统是构建、管理、维护和使用数据仓库系统的核心部件。元数据管理关键在于构建一个全面的、可扩展的元数据模型,表示各种类型的元数据。本文提出了一个通用的元数据模型GMM,该模型可以有效支持数据仓库的管理和维护,如用户视图管理、个性化服务、增量刷新、数据志跟踪等。     

旋转弹导航算法研究北大核心

首先仿真分析了传统导航算法对旋转弹的适应性,并对其局限性产生的原因进行了分析。基于此,提出了3种不同的思路,分别为基于弹体系、准弹体系和四元数运动学的四元数更新算法,并进行了仿真分析。结果表明,这3种思路对提高旋转弹导航精度都起到了有利的作用。     

火力分配多目标优化的IBACO算法

应用蚁群优化算法(Ant Colony Optimization)求解多目标优化问题已经引起广泛关注,多目标火力分配问题的目标是求出一个合适的武器目标分配方案,使满足决策需要。建立了多目标火力分配的数学模型,提出一种基于指标的蚁群优化算法Indicator-Based Ant Colony Optimization),给出了算法的具体步骤。IBACO的核心思想是利用二元性能指标来引导人工蚂蚁进行搜索,由于该算法中的信息素是根据指标的值来更新的,通过奖励信息素可以强化最优解。仿真实验证明了该算法的有效性,在解决火力分配问题上,所提算法和蚁群优化算法相比具有较好的收敛性。     

一种基于元胞自动机的故障样本选取方法

故障样本选取是测试性验证中的关键环节,直接影响测试性验证试验的效率和结果的正确性。在板级电路的故障样本选取过程中,运用传染病思想中的元胞自动机模型分析了电路故障的传播行为,提出了一种基于元胞自动机的故障样本选取方法,实现了故障样本的等效选取。以某型装备关键部件为例,建立了故障传播模型,计算并改进了元胞自动机状态计算方法,通过注入易操作的故障样本,简化了故障注入的流程,提高了故障注入效率。     

增量元学习IDBD算法在轴频电场信号检测中的应用

为了提高海洋环境电场背景中微弱舰船轴频电场的检测能力,针对传统的最小均方误差算法进行了改进,提出了一种基于增量元学习IDBD算法的自适应线谱增强器。利用所提算法对舰船缩比模型产生的实测轴频电场信号数据进行处理,结果表明该算法在低信噪比的情况下能够有效地将微弱轴频电场信号从宽带背景噪声中分离出来。所提算法相比于普通的自适应线谱算法,在改善信号的信噪比方面效果更加显著,且具有更快的收敛速度和更小的稳态误差,极大提高了舰船轴频电场的检测能力。     

基于元模型的可执行体系结构建模方法

可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。     

基于元胞数组的多维空间在舰船方案论证设计中的应用

在分析多维空间及元胞数组的基础上,提出了将元胞数组抽象成坐标轴上的点,并以此为基础建立多维空间坐标系.使用多维空间上的离散点来表述水面舰船总体方案设计,用元胞数组来描述组成舰船子系统方案的若干功能属性.该方法将舰船方案用数字化元胞集合表示,集中了基于方案探索的优化论证设计和基于功能积木的虚拟化论证设计的优势.