航天刚-弹-液耦合系统的弹-液耦合研究

航天刚-弹-液耦合动力学中的弹-液耦合问题是关系到航天刚-弹-液耦合系统液固耦合机理研究和大规模液固耦合建模计算研究的重要课题。通过分析刚-弹-液耦合动力学拟变分原理的泛函,说明刚-弹-液耦合中的刚-弹耦合、刚-液耦合和弹-液耦合的特点。应用Lagrange乘子法,将无际边界条件纳入泛函中,通过识别Lagrange乘子,逐步说明弹-液耦合的机理。通过对泛函求驻值发现,无际边界条件由原来的先决条件转化为驻值条件,实现了从协调元到杂交元的过渡。通过分析泛函识别Lagrange乘子前后的驻值条件,明确了识别Lagrange乘子可以有效地减少计算自由度。      

卫星大挠性结构抑制技术地面试验系统设计

随着空间技术的发展,大型化、低刚度和挠性化已成为现代航天器发展的一个重要趋势。对卫星大挠性结构抑制技术地面试验系统进行了总体方案设计,建立了基于模态分析方法的挠性桁架的数学模型,并进行了比例积分微分控制律、全维观测器以及线性二次型调节器的设计与仿真,最后通过仿真验证了本文方法的有效性。     

基于多信号流图的分层系统测试性建模与分析

为了对分层系统进行测试性分析,提出基于多信号流图模型的分层系统测试性建模与分析方法.该方法利用多信号流图模型建立分层系统的层次结构模型,进行测试性分析时,首先利用相关性模型法对顶层模型进行测试性分析,当层次性模块与其它模块不能区分时,再利用相关性模型法对模糊组进行测试性分析,最终实现对分层系统的诊断设计.最后,利用某具有层次性结构的滤波放大器电路对该方法进行了验证,试验结果证明,该方法对于分层系统的测试性建模与分析是有效的,能够为分层系统制定有效的诊断策略.      

Formation mechanism of great positive TEC disturbances prior to Wenchuan earthquake on May 12, 2008

The problems of physical explanation and possible mechanisms of the seismo-ionospheric effects formation are under discussion now. There are proposed different mechanisms of such effects, for example, large- and small-scale internal gravity waves (IGWs), atmospheric electric field, electromagnetic fields and emissions. However, the appearance of local large-scale seismo-ionospheric anomalies in Total Electron Content (TEC) is possible to explain only by two mechanisms: an atmospheric electric field and/or small-scale IGWs. In this paper, the simulation results for reproduction of the observed seismo-ionospheric great positive effects in TEC prior to strong Wenchuan earthquake are presented. The obtained results confirm the proposed mechanism of seismo-ionospheric effects formation by the penetration of the seismogenic electric field from the atmosphere into the ionosphere. It is suggested that so great TEC enhancement observed 3 days prior to Wenchuan earthquake could be explained by combined action of seismogenic vertical electric field and IGWs generated by the solar terminator.     

大规模设备协同中的时间建模与验证

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.     

基于BOM和FEDEP的多分辨率建模框架

为了规范和统一多分辨率模型的描述方法、建模步骤和活动,提出一种基于BOM(Base Object Model)和FEDEP(Federation Development and Execution Process)的多分辨率建模框架.该框架包括3种基于BOM的多分辨率建模方法和基于FEDEP的多分辨率建模过程.简要介绍这3种方法,重点分析FEDEP中与BOM和多分辨率建模相关的基本活动,将基于BOM的多分辨率建模过程与FEDEP集成在一起.该框架可以实现多分辨率模型描述的形式化和通用性、建模步骤和过程的规范化,促进多分辨率模型的重用、互操作和组合,保证模型的一致性和多分辨率建模的有效性.     

基于场景控制特征的安全性需求分析方法

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程（STAMP）的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。      

具有尾缘襟翼的风力机动力学建模与恒功率控制

具有尾缘襟翼的风力机在大型风力机领域具有广阔的应用前景。在具有可变尾缘襟翼的智能风力机中,通过控制襟翼偏转角可以调节风力机叶片的气动特性,可达到控制风电系统输出的目的。采用叶素动量方法建立了具有尾缘襟翼的风力机气动模型,在此基础上建立了智能风电系统的非线性动力学模型。基于动态逆方法对非线性系统进行线性化,采用H∞状态反馈方法设计了反馈控制器。针对12~16 m/s的阶跃风况和基于四分量模型所建立的实际风况进行了仿真验证,仿真结果表明,所设计的控制系统能有效控制风电系统的输出功率。     

基于组态建模的航天器姿轨控数学仿真系统

数学仿真是研究航天器姿态轨道控制系统常用的手段,目前常用人工编程的方式建模,花费时间长且软件的可读性、可维护性较差.提出一套基于组态建模的航天器姿态轨道控制仿真系统,该系统通用性强、可支持自动建模及代码生成.仿真实例表明,该系统模块化、自动化程度较高,大大提高了研究人员的工作效率.     

伪距噪声建模方法研究和分析

主要介绍从GPS原始数据中提取伪距噪声的方法,并利用MATLAB非线性拟合工具箱cftool中的参数逼近模型对提取出的伪距噪声建模,针对几种较好的建模结果进行数据回放和比较,确定最佳建模方案.建模结果可用于Galileo系统空间信号误差（signal-in-space error）的实时估计和用户完好性算法的研究.