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

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

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）的实时估计和用户完好性算法的研究.     

大型运载火箭加筋柱壳近似建模方法

为提高大型运载火箭中薄壁加筋柱壳结构的后屈曲分析、优化设计的计算效率,提出基于矩估计的增广径向基函数(ARBF)近似建模方法。首先,分析了形状参数对ARBF近似模型泛化能力的影响规律;然后,基于样本点局部密度给出了ARBF基准形状参数确定方法,并根据模型响应特点,引入缩放系数对形状参数进行自适应调整;进一步,基于矩估计方法将确定形状参数的复杂域优化问题转化为确定缩放系数的优化问题,并利用多起点并行优化算法求解该问题,显著降低了计算复杂度;最后,通过典型数值算例和工程应用,对比研究了本文方法与其他典型近似建模方法的优劣。数值和工程算例表明,相较其他典型近似建模方法,本文方法可通过训练较少的样本点达到较高的近似精度,对比结果验证了本文方法的有效性和高鲁棒性,表明其具有一定的工程应用价值。