高职高专土建类专业创新教学模式的探讨

针对高职高专教改中存在的问题，从能力培养要求，教学体系的改革，实践教学的改革，创新能力的培养等方面进行论述，提出构建模块化实践教学体系，加强专业实践教学改革的思路及可操作性的建议。     

有效载荷／运载火箭耦合分析的频域方法

盘算尖响函数综合技术导出了用耦合频响函数和无有效载荷的运载火箭界面加速度响应表示的有效载荷／运载火箭耦合动力分析的频域方法，给出了以自由界面的运载火箭模态分数放自由界面或固定界面有效载荷模态参数构成的耦合频响函数表达式。     

基于特征空间变换的运载火箭Pogo模型降阶方法

针对运载火箭Pogo状态空间模型存在维数高和奇异性的问题,开展了 Pogo模型的降阶方法研究.基于特征空间变换理论,导出了一般形式的Pogo状态空间模型的解耦形式.该形式与推进系统和结构系统的模态频率相对应,从而通过模态截断或保留感兴趣的模态实现有效的模型降阶.同时,还给出了降阶方法的实数运算公式.在两种不同型号推进系...     

微流星消融对中高层区域金属层的影响

采用连续的微流星体消融模型,对小微粒的流星颗粒(半径＜100μm)消融过程进行分析,并估计对中高层区域(80～110 km)金属层的影响．无线电流星雷达与激光雷达的探测结果表明,半径在100μm以上的流星颗粒的消融物并不是金属层主要的源．本文从流星颗粒的动量方程和能量方程出发,计算不同半径下的流星微粒在不同的注入速度下的消融剖面,并分析了流星消融截止高度的变化趋势．结合长期的激光雷达观测,计算表明,10～4μ半径的流星微粒是普通金属层的主要影响因素．     

日凌的计算及其对神六任务的影响分析

从信道链路上分析了日凌对卫星通信的影响,给出了日凌计算的几何模型与计算方法,并用该方法计算了神舟六号发射前后的日凌情况,分析了日凌对神舟六号发射的影响。该计算方法比较准确,并在实际观测中得到了验证。     

惯导系统旋转机构轴承动力学建模方法研究

旋转机构是旋转调制捷联惯导系统的关键部件之一。为了精确模拟旋转机构的动力学特性,研究了支撑旋转轴系的双列球轴承的动力学建模方法,提出了使用Bushing单元来建立同时具有径向移动刚度、轴向移动刚度和径向角刚度的三向刚度轴承动力学模型的方法。利用有限元数值仿真方法计算了三向刚度数值,并利用轴承手册上的经验公式进行了验证。在此基础上,建立了含弹性轴承支撑的旋转调制捷联惯导系统旋转机构的结构动力学有限元模型,分析比较了轴承有无角刚度两种状态下的固有模态。分析结果表明:对于旋转调制捷联惯导系统旋转机构来说,轴承模型角刚度对计算精度的影响较大,角刚度已知的模型更接近真实情况。     

增广误差模型算法在目标跟踪中的应用

针对目标机动运行过程中,滤波模型与机动状态模型失配的问题,提出了一种新的增广状态误差滤波模型。不同于现有增广方案,该模型从模型失配所致状态滤波误差的角度出发,将状态估计误差增广为一状态量,通过滤波估计后用其校正原状态量。算法分析表明,该增广滤波模型具有自适应调节多重渐消因子的等效特性,增强了对目标的跟踪能力。基于该增广状态误差滤波模型,给出了滤波算法设计并进行了仿真实验。实验结果表明,基于该模型的滤波算法在对机动目标进行跟踪时具有更强的鲁棒性。     

凸轮弹性连杆复合机构的动力学修改

本文以胶印机递纸机构为研究对象,该机构为一两自由度凸轮连杆复合机构。在建立该机构运动弹性动力学（ＫＥＤ）有限元分析模型和现场袂测固有频率的基础上,提出了一种利用实 固有频率数据修正复合机构有限元动力模型的方法。其基本思想是利用机构各个运动位置上的固有频率实测值与有限元模型的计算值之间的加权误差建立目标函数,然后利用优化方法使目标函数极小化,从而求出有限元模型参数的修正值。计算结果表明该方法是简便有     

A Nonlinear Sub-grid Scale Model for Compressible Turbulent Flow

本文采用直接过滤的Navier-Stokes方程组作为可压缩湍流大涡模拟控制方程组。方程组中因过滤产生的高阶相关项用Taylor级数展开近似,但仅保留级数的一阶导数项。这样产生的误差相当于丢失了模型的部分耗散作用,本文用一种动力学非线性亚格子模型来补偿丢失的耗散影响。本文根据Caylay-Hamilton定理导出了一个非线性亚格子模型,模型中包含的系数由动力学模式确定。与传统的动力学Smagorinsky模式相比,这种动力学非线性模型(DNM)稳定性更好,且不需要在统计均匀方向进行统计平均来计算模型系数,因此减少了计算开销。本文用这种非线性亚格子模型对绕双椭球高超声速湍流进行了模拟,并将所得结果与实验值、计算值及理论值进行了对比。结果表明,本文模型可以有效地模拟可压缩湍流流场。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。