空中目标的状态估计

本文根据卡尔曼滤波理论,设计了一种对空中目标状态估计的算法,即卡尔曼滤波器。首先选择适合防空火控系统卡尔曼滤波器的坐标(?)直角坐标系,然后建立适合目标运动规律的随机加速度模型,接着针对防空雷达建立观测方程,讨论了初始条件的选择。并对该算法进行仿真分析。     

系统辨识在变推力火箭发动机系统建模中的应用

本文根据国外关于系统辨识的基本方法,结合国内BYF发动机实验数据,利用不同辨识计算方法对BYF发动机进行了模型及参数辨识,并取得了满意的结果.结果表明,发动机系统的辨识研究十分重要,它可以提高建立数学模型的准确性和效率,并为自校正控制的实现奠定了基础.     

论固体推进剂配方的计算方法

本文讨论了固体推进剂配方中的粘合剂,固化剂,增塑剂,以及带有活性基团的其他组分的用量计算方法和存在问题,并提出一个简便而通用的当量比计算方法。此法已在实际中应用。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

圆柱尾流与游鱼间相互作用的数值计算研究

为了预测鱼类游泳问题的流动演变,开发了一种基于浸入边界格子玻尔兹曼方法的流动求解器.采用基于隐式边界力校正框架的灵活迭代算法降低计算成本和内存.在确定边界节点的速度修正后动量力由简单的直接力公式描述,无需复杂的积分计算.使用所提出的流动求解器,分析了鱼引起的动态失速涡与非定常流动中的传入涡之间的流体动力学相互作用.数值...     

基于ANCF的薄膜太阳帆自旋展开动力学模拟

执行深空探测任务的薄膜太阳帆在入轨展开过程中,其薄膜结构在宏观力学响应上表现出显著的拉压不对称特性.系统的动力学行为呈现出强烈的非线性特征,使其动力学建模与仿真计算面对巨大挑战.基于绝对节点坐标方法(Absolute Nodal Coordinate Formulation,ANCF),整合张力场和不同模量弹性理论,推...     

自由面碎冰浮冰环境高速入水动力学特性

为了研究碎冰环境下航行体高速入水过程中的空泡流场演化、航行体动力学响应以及碎冰载荷特性等规律,基于任意拉格朗日-欧拉方法建立了碎冰环境下的航行体高速入水流固耦合计算模型,并与高速入水试验、冰材料三点弯矩试验对比验证了方法的有效性和冰材料模型的可靠性。利用构建完成的高速入水流固耦合计算模型重点研究了碎冰以及碎冰间隙对航行体入水过程流场、动力学参数以及载荷的影响。研究结果表明：碎冰的存在对航行体入水后的水面抬升以及产生的飞溅演化存在抑制作用;碎冰环境下航行体的入水冲击载荷显著增加,其过程相较于无冰环境具有更大的动能损耗,但其砰击载荷持续时间与无冰环境入水过程一致;入水形成的飞溅冠连续性随着碎冰间隙的增加而增加,一定碎冰间隙范围内,航行体瞬时砰击载荷与间隙大小呈负相关关系,间隙足够大时,砰击载荷变化相对较小。