大圆弧面铣削方法的研究及应用

介绍了用端铣刀铣削大圆弧面的成型理论、铣刀偏移角度的公式推导、理论误差计算和分析以及铣刀直径的选取方法。通过对端铣刀铣削平面时产生平面误差的分析和研究,用三点定圆法推导出用培铣刀铣削大圆弧面的计算公式。依据该公式和给定的圆弧半径、半弦长、选取的端铣刀半径,可计算出铣刀轴线的偏移角度。为了使加工出的圆弧面能够保证图纸的技术要求,给出了理论误差的计算公式。找出了误差的分布规律、影响误差的主要因素以及各因素之间的关系,并给出了误差曲线图。     

空中目标的状态估计

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

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

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

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

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

数据压缩技术在遥测中的应用

从码速率和数据冗余度两个方面分析了对数据压缩的必要性和可能性.提出了在遥测中进行数据压缩的两种可实现的方案,即在弹上设备中和地面站中进行压缩,并给出了两种方案的原理框图.     

Σ-演算的范畴模型

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

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

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