一种基于OMT的面向对象的软件开发方法

本文介绍了面向对象软件开发方法的基本概念,并以OMT(object modeling design)方法为基础,描述了一种面向对象的软件开发方法,其中引入了信息流分解法,把自顶向下和自底向上的思想综合运用于该方法中,使其更加完善。     

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

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

空中目标的状态估计

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

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

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

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

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

改进的全机称量技术及求重心的解析法

本文在分析传统的全机称重方法缺陷的基础上，提出了一种改进的全机称重技术，并导出了根据飞机称重结果求重心的解析法公式，这是一种先进的全机称重技术，若能在我公司的全机称重中得到应用，并大大提高称重水平和称重精度，提高称重效率。     

Σ-演算的范畴模型

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