可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

毛细泵环路系统运行特性的数值研究

给出了描述毛细泵环路(CPL)系统运行特性的非稳态模型,并运用该模型模拟了系统的启动过程,考察了储液罐中温度波动以及蒸发器上热负荷的突然改变对系统稳定性的影响;从数值模拟的角度更好地预测和分析CPL系统运行的过程和特点,该模型的数值结果与实验现象和实验数据相比有较好的一致性。通过该模型还可以进一步揭示CPL系统运行过程中启动困难、储液罐温度不能波动过大以及热流密度突然改变引起系统失效等内在原因,为设计出性能优良的CPL系统提供了理论依据。     

低轨卫星移动系统的点波束确定算法

根据星座空间几何基础,以及卫星对地面的覆盖情况以及点波束的形状,通过建立数学模型,提出了地面终端确定所在点波束的仿真算法;并以典型的低轨卫星移动系统Globalstar为仿真背景,仿真得出了与实际系统参数接近的结果,验证了算法。     

仪器设备间距对空间实验室机柜内部流动和传热的影响分析

为充分利用机柜内有限空间并改善仪器设备的散热环境,建立了空间实验室机柜的模型,运用数值计算方法,对不同仪器设备间距下机柜内流场和温度场进行求解,研究了不同布局仪器层平均风速和仪器表面平均对流换热系数的变化规律。结果表明,合理地选择仪器设备间距可以有效地改善其表面的散热状况,为空间实验室机柜的热设计提供了依据。     

Simulation Techniques for Cosmological Simulations

Modern cosmological observations allow us to study in great detail the evolution and history of the large scale structure hierarchy. The fundamental problem of accurate constraints on the cosmological parameters, within a given cosmological model, requires precise modelling of the observed structure. In this paper we briefly review the current most effective techniques of large scale structure simulations, emphasising both their advantages and shortcomings. Starting with basics of the direct N-body simulations appropriate to modelling cold dark matter evolution, we then discuss the direct-sum technique GRAPE, particle-mesh (PM) and hybrid methods, combining the PM and the tree algorithms. Simulations of baryonic matter in the Universe often use hydrodynamic codes based on both particle methods that discretise mass, and grid-based methods. We briefly describe Eulerian grid methods, and also some variants of Lagrangian smoothed particle hydrodynamics (SPH) methods.     

有源周期性结构控制电磁波反射波束指向研究

提出有源反射的概念.利用如光带隙电磁结晶结构、高阻抗结构等周期性结构的带隙特性和 阻抗特性,通过在类似高阻抗表面的周期性金属单元表面铺设有源器件--变容二极管,控 制周期性结构的性能,建立有源周期性结构,影响入射电磁波的传播特性,实现对反射波束 的指向的有源控制和有效改变.仿真实验证明采用单层或双层有源周期性结构表面,可以有 效控制反射波束的相位和角度指向.     

基于云模型的全局最优化算法

基于云模型在定性概念与其定量数值表示之间转换过程中的优良特性,结合遗传算法的基本思想,提出一种自适应高精度快速随机搜索算法,并将之运用到函数寻优中.在定性知识的指导下该算法能够自适应控制搜索空间的范围,较好地避免了传统遗传算法易陷入局部最优解和选择压力过大造成的早熟收敛等问题.算法易于实现,不存在遗传算法中的编码问题.试验结果表明该算法具有精度高、收敛速度快等优点.在众多优化问题上有广泛的应用前景.      

光纤陀螺系统热建模及仿真

在热状态方程的数学离散的基础上,从系统的角度出发,建立某一高精度光纤陀螺的热模型,介绍光纤陀螺电子系统热模型的建立过程,包括结构体几何模型的建立、内部热源模型的建立以及热敏光纤环体模型的建立.模型建立的方法不仅适用于研究对象,对于结构和组成类似的其他类型的陀螺也是适用的.并通过稳态热仿真研究了系统内热点分布及温度场分布;瞬态仿真分析了陀螺在常温(25.6℃)、低温(-40℃)以及高温(+60℃)环境下,启动过程中陀螺内部温度的变化,实验测试对比分析验证了模型的正确性.在此基础上得出了几个有意义的结论,这将有益于高精度光纤陀螺的工程化.      

六自由度Stewart平台动力学模型的特性分析

根据六自由度Stewart平台的动力学模型,利用矩阵分析的方法详细分析和证明了动力学模型的一些物理特性:动力学模型系数矩阵的有界性,矩阵函数的斜对称性以及动力学模型的线性参数化. 这些工作为基于六自由度Stewart平台动力学模型的非线性控制器设计、系统稳定性的证明以及系统物理参数的辨识奠定了理论基础.      

基于模态测试数据的阻尼矩阵与陀螺矩阵的修正

提出了一种基于不完备复模态测量数据修正阻尼陀螺系统有限元模型的有效数值方法。在假定分析质量矩阵与刚度矩阵是精确的情况下,通过求解一个约束最优化问题,得到了满足特征方程的加权Frobenius范数意义下的最优修正矩阵。