基于可能性矩的混合不确定性全局灵敏度分析

在同时包含随机不确定性和模糊不确定性结构系统中,为了分别度量随机输入变量和模糊输入变量对输出响应的统计特征的影响,提出了随机输入变量和模糊输入变量的全局灵敏度新指标。在模糊变量可能性矩定义的基础上,分析了混合不确定性下输出响应的特征。从输出响应可能性矩的角度出发,以输出响应的可能性期望为例,通过比较输出响应有条件和无条件可能性期望的概率密度函数(PDF)的平均差异,分别建立了随机输入变量和模糊输入变量关于输出响应的可能性期望的灵敏度指标。讨论了所提指标的性质,并采用Kriging代理模型来提高混合不确定性全局灵敏度指标的计算效率。最后通过算例验证了本文所提方法的准确性和高效性。     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

基于随机与区间分析的状态方程不确定性比较

基于现代控制理论中状态方程的求解算法,对具有参数不确定性的控制系统采用非概率区间分析方法与随机控制理论进行研究。首先明确实际工程应用中不确定性的概念和影响,分别建立了区间值和随机过程2种描述方法,求解系统的响应区间,并分为与初始条件和输入相关的零输入和零状态两部分不确定量。根据区间数学中的区间函数扩张原理和概率统计理论中的切比雪夫不等式,从数学证明和数值计算2个方面,分别用非概率区间分析和概率统计方法求解不确定系统的响应,并对二者进行比较,分析其相容性。结果表明,在由概率统计信息得到不确定性变量的区间向量为系统输入的情况下,非概率区间分析方法得到的响应区间包含由随机控制理论得到的响应区间。     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

一种高效计算各类基于方差灵敏度指标的方法

为同时计算各类基于方差的灵敏度指标,提出了基于空间分割和无迹变换(UT)的计算方法,其可以重复利用一组样本点近似计算出基于方差的全局灵敏度指标(Sobol指标)、基于方差的区域灵敏度指标以及基于方差的W指标。除此之外,还对基于方差的W指标进行了改进,改进的基于方差的W指标除包含原始指标所提供的信息外,还包含了输入变量取不同实现区间时对输出响应方差影响的变异性,可以更合理地反映调整输入变量的不同取值区间对输出离散程度的平均影响。数值算例以及工程算例的计算结果表明了本文方法在计算上的准确性以及改进的基于方差的W指标的合理性。      

模糊-随机混合参数的机构运动可靠度计算方法

在目前机构产品的参数当中普遍存在着模糊变量和随机变量混合的情况,而现有的模糊-随机可靠度求解方法一般针对静态问题进行分析,不能有效描述具有混合不确定性的机构运动时变问题。基于机构运动误差分析,同时考虑失效判据和变量的模糊性,提出了基于改进包络函数的模糊-随机时变机构可靠性建模及计算方法。首先,将模糊判据转化为极限状态方程中的随机变量;其次,利用模糊论中的截集法处理模糊-随机混合变量,建立机构产品的模糊-随机时变可靠性模型;再次,利用改进的包络函数计算机构的运动时变可靠度;最后,结合四连杆机构的运动误差问题,验证了本文方法的可行性,结果表明该方法具有较高的计算精度。      

超磁致伸缩作动器的率相关建模与跟踪控制

利用Hammerstein模型对超磁致伸缩作动器(GMA, Giant Magnetostrictive Actuators)进行建模, 分别以改进的Prandtl-Ishlinskii(MPI, Modified Prandtl-Ishlinskii)模型和外因输入自回归模型(ARX, Autoregressive model with exogenous input)代表Hammerstein模型中的静态非线性部分和线性动态部分,并给出了模型的辨识方法.此模型能在1~100 Hz频率范围内较好地描述GMA的率相关迟滞非线性特性.提出了前馈逆补偿和比例-微分-积分(PID, Proportional-Integral-Derivative)反馈相结合的复合控制策略.实时跟踪幅值为16 μm的单一频率和复合频率正弦参考输入信号, 均方根误差小于1 μm, 相对误差小于10%, 证明了控制策略的有效性.     

Using neural networks to determine the optimum solar input for the prediction of ionospheric parameters

Neural networks (NNs) are proving to be ideal tools for modeling the behaviour of the ionosphere. The NNs are trained using a database of archived data describing the relationship between the output parameter and an input space. The input space is designed from knowledge of those variables that affect the behaviour of the output parameter. For ionospheric parameters this input space would always include a solar variable due to the strong influence that the sun has on ionospheric behaviour.     

空间环境模拟器液氮系统数学模型

大型空间环境模拟器的液氮系统庞大复杂,为满足确定控制方案、建立故障诊断模型、技术改造等的需要,建立液氮系统的数学模型是十分必要的。以某空间环境模拟器的液氮系统为例,建立了液氮系统的数学模型;分析了系统输入参数对系统输出参数影响;最后,应用这个模型,得到了一些有益的结论,提出了一种调节阀的准稳态控制方法。     

基于模糊控制的焊接机器人焊枪姿态规划

针对骑座式相贯线焊接机器人焊枪姿态的规划问题,提出了一种基于模糊控制的算法.以焊缝倾角、焊缝转角、坡口大小、被贯筒体厚度和相贯筒体厚度为输入变量,以焊接行走角和工作角为输出变量,建立多输入多输出系统模糊控制器;推导出各输入变量的隶属度函数;采用经验归纳法设计模糊控制规则,建立了相应的控制规则表;最后规划出焊枪的工作角和行走角.对不同的相贯筒体直径进行了仿真,结果表明,采用加权模糊专家系统对骑座式相贯线焊接机器人焊枪的工作角和行走角进行规划,可以有效的完成焊接过程焊枪的姿态控制.     

基于程序行为累积分析的软件故障定位方法

软件出现失效后,如何根据软件运行时的输入以及运行行为来快速定位引发失效的故障是一个非常有价值的研究问题.提出了故障定位的锥状框架,并基于其将故障定位问题表示为一个分层细化的过程.在软件输入层,利用程序行为累积分析技术对软件的行为进行建模分析,得到了统计故障定位模型,从而解决了软件输入层的故障定位问题.为了检验故障定位模型的效果,选择了5个软件进行实验,对其中4个设计并植入故障,另外1个为真实软件,实验获得了平均0.803的定准率和平均0.697的定全率.在此基础上,如何应用程序行为累积分析技术在软件设计模块层解决故障定位问题得到了进一步的分析.      

利用BP神经网络预测AE指数

采用的预报模式是一种全连接的BP网络模型,利用太阳风及行星际磁场的观测数据预报AE指数.神经网络输入选用ACE卫星数据,取5 min平均值,通过比较,选用4个预报参量.构造了预报参量时续为20 min,40 min和60 min依次递增的三个网络,分别进行训练和预测,并对行星际参量对AE指数影响的时续性进行了探讨.预报结果表明,全连接BP神经网络在AE指数的短期预报中是比较有效的,同时还提出了需要进一步改进的环节.      

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

一种新的矩独立重要性测度分析方法及高效算法

为了更加合理地分析输入随机变量对结构系统失效概率的影响,提出了一种新的矩独立重要性测度分析方法。传统的重要性测度指标只能估计输入随机变量在固定点时对结构系统输出响应的影响,而所提新指标能够充分反映输入随机变量在其分布区域的所有缩减区间上变化时对结构系统输出响应的平均影响程度,更加符合工程实际。为了求解新指标,给出了2种算法:传统的双层重复抽样蒙特卡罗（DLRS MC）方法和自适应超球重要抽样（ARBIS）方法。双层重复抽样蒙特卡罗方法计算结果可以作为对比参照解,但求解效率较低,计算量很大;自适应超球重要抽样方法在满足新指标求解精度的前提下,计算效率得到很大提高。应用数值算例和工程算例证明了所提新指标的意义和所提新算法的高效性。      

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.