基于UML的可执行模型实现机制研究

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。     

机载嵌入式软件的体系结构框架设计与应用研究

本文介绍了嵌入式软件体系结构框架设计的思路,将面向对象的设计模式应用到机载嵌入式系统软件设计中,以实现可重用的应用程序框架。框架的实现,将可为上层嵌入式系统应用程序的开发提供架构上的支撑。建立通用的应用程序框架,也为架构的重用打下了基础。     

平台系统数字化框架轴锁定回路设计

平台系统测试设备要求平台在不开盖条件下实现框架锁定,在对陀螺和加速度计进行多位置测试时,必须确保平台框架处于正交锁定状态。原平台系统锁定回路是由模拟电路搭建,不但存在框架抖动问题,而且只能利用机械锁进行框架锁定。针对上述缺陷,本文对原模拟锁定回路进行了数字化改进设计,利用DSP实现传感器信号滤波、控制算法及PWM波输出,再经过功率驱动后控制各框架轴力矩电机实现框架锁定。经仿真和试验验证,数字化锁定回路性能满足测试设备对锁定回路技术要求。     

TDICCD相机侧摆MTF的研究

文章首先介绍TDICCD相机工作原理，分析了卫星侧摆引起像速度与TDICCD电荷转移速度不匹配，造成MTF下降，并提出了解决办法。     

面向虚拟企业联合设计的产品知识描述框架

虚拟企业中分散知识跨越传统企业边界的集成和共享，是虚拟企业基于知识的概念设计的关键环节。本文以FBS(功能行为结构)框架为主，结合功能行为状态描述产品物理原理的优点，对产品设计事例进行表达，使得跨领域产品设计知识组织具有结构化和一般化的特点，便于知识的管理和探索。在此基础上，提出了虚拟企业基于知识的概念设计系统的系统框架。     

不对称式圆柱齿轮差速器的原理以及在多桥驱动车辆中的应用

主要论述不对称式圆柱齿轮差速器的工作原理(差速运动关系特性、扭矩分配特性)，以及不对称差速器在多桥驱动车辆中的应用。     

一种框架误差推导的新方法

二自由度陀螺仪使用中存在框架误差不是一个新问题,以往推求框架误差表达式时过程繁,易出错,且没有与不同定义的欧拉角联系起来;原则上欧拉角组有12种,不同定义的欧拉角框架误差表达式不同。陀螺仪在运载体上有六种安装方式,文中介绍推导框架误差表达式的简易方法,它不因欧拉角定义不同而带来麻烦。     

Navier—Stokes方程粘性项的有限体积离散法研究

Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程粘性项的有限体积离散法研究封建湖西北工业大学应用数学系［摘要］：三维Ｎ－Ｓ方程是描述真实气体流动的非线性偏微分方程组，如何快速准确地计算其粘性项至关重要。这不仅因为粘性项的计算量非常巨大，而且粘性项对急剧变化的流动梯度的...     

桥函数在求解状态方程中的应用

本文介绍了桥函数级数用于求解状态方程,得到分段常值解的方法,以及为此所引导的一个积分算子矩阵。桥函数级数兼有沃尔什及方块脉冲函数级数的一些优点。实例表明:无论是级数展式,还是求解状态方程,桥函数都比沃尔什函数的计算量更小,在某些情况下,比方块脉冲函数的计算量也小。