基于懒替换的C符号执行

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

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

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

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

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

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

基于无关变量分离的EFSM测试数据进化生成

扩展有限状态机（EFSM）相比于有限状态机（FSM）能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步提高搜索效率,在遗传算法（GA）的基础上提出一种自动分离测试路径中无关输入变量的方法,该方法通过分析模型中变量与迁移间的关系,判定不影响子路径中谓词条件的无关输入变量,进而从个体中将其分离以实现搜索空间的自动缩减,提升测试数据生成效率。对几种具有不同复杂度的基准EFSM模型进行实验后的结果表明,该方法生成有效测试数据的成功率均达到98.2%以上,且与未分离输入变量的遗传算法相比,所需平均迭代次数减少44.7%~85.9%,平均运行时间减少24.1%~85.5%。      

基于神经网络的卫星控制系统故障识别方法

闭环控制系统的反馈调节机制,可能破坏开环系统的可辨识性,导致误报率和漏报率同时上升,还可能导致同一故障模式下的多个变量发生异常,给闭环控制系统故障识别带来难度。针对单输入单输出系统,分析了闭环控制对可辨识性、误报率和漏报率的影响,对多输入多输出系统,理论上推导了闭环控制系统传感器故障的传播机理,分析了闭环控制系统对系统变量的影响关系,利用神经网络构建了闭环故障识别算法。数值仿真结果验证了闭环对故障系统诊断的不利影响,而卫星姿态控制系统的仿真结果标明:与传统方法相比,提出的方法识别性能更高。     

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

测量系统的动态校准与动态测量的数据处理

一、前言在动态测量中,由于测量系统不可能是全通网络,因而测量系统的输出响应就难于真实反映它的输入函数。也就是说,由于测量系统的频率特性不一样,在同一信号作用下,不同的测量系统会有不同的输出响应。因此,在测量分析中,对测量系统的输出响应与输入函数以及二者与测量系统之间的关系,一般分成三类问题来研究:     

四足步行机的一种新全方位步态

对四足步行机器人的平衡与全方位步态进行了研究,提出了一种适用于工程应用的静平衡判断准则;探讨与提出了在平衡条件下,以最短路径为优化目标的一种全方位步态,推导、建立了它的数学模型,利用松驰变量法求解极值,并用北航四足步行机器人实验样机作为实例进行了验算。     

二阶滑模控制在十字梁控制实验系统中的应用

为了削弱传统滑模控制在十字梁实验系统中应用所产生的抖振问题,运用了高阶滑模的设计思想设计了多输入多输出十字梁试验系统的输出跟踪二阶滑模控制器,从而实现了高阶滑模在多输入多输出系统中的应用,并对该系统进行了仿真,仿真结果表明,二阶滑模控制器能够有效地削弱系统产生的抖振.      

基于BP神经网络的纳卫星轨道温度预测

为了实现纳卫星在轨温度的预测,在对纳卫星热系统动态特性模型分析的基础上,建立BP神经网络预测模型实现纳卫星在轨温度的预测.通过分析纳卫星热系统动态特性模型,得到用于BP神经网络预测模型的输入、输出变量以及训练神经网络所需的数据样本.BP神经网络预测模型分别以纳卫星外壳、辐射器、舱内仪器的热流及温度值为神经网络输入、输出,预测纳卫星10s后的轨道温度.经验证,神经网络预测模型预测结果与纳卫星实际轨道温度吻合较好,表明神经网络预测模型是快捷有效的.      

非线性解耦中的参数扰动

本文讨论了非线性系统参数扰动对输入输出解耦的影响。通过对一类参数扰动进行刻画,得到了这类参数扰动下,静态反馈闭环系统仍保持无交互控制,且输出不受影响的充要条件,然后讨论了系统同时存在输入扰动时干扰解耦问题可解的条件。     

参数不确定空间机械臂关节轨迹跟踪的增广自适应控制方案

讨论了载体位置与姿态均不受控制的漂浮基两杆空间机械臂系统的控制问题.系统动力学分析的结果表明,结合系统动量及动量矩守恒关系得到的系统动力学方程将为系统惯性参数的非线性函数.证明了借助于增广变量法,即通过适当扩展系统的控制输入与输出可以得到一组控制方程,它们可以表示为一组适当选择的惯性参数的线性函数.以此为基础,针对机械臂末端载荷参数未知的情况,设计了关节空间轨迹跟踪的增广自适应控制方案.此控制方案的显著优点在于不需要测量漂浮基的位置及移动的速度、加速度.仿真运算证实了方法的有效性.      

高压除水环境控制系统的解耦控制

高压除水环境控制系统是典型的多输入多输出(MIMO)复杂控制系统,各个变量之间存在很强的耦合关系.试飞证明,采用传统的PID控制方法不能很好的解决电子设备和座舱的冷却问题,最明显的就是电子设备舱的冷却效果不佳.因此,对现有的飞机环境控制系统(ECS)必须加以改进.通过仿真表明,采用输出反馈、静态解耦控制后的环境控制系统能够满足系统设计要求.     

一种平均矩独立重要性指标及其拒绝抽样方法

在矩独立重要性分析过程中,重要性指标往往用于衡量结构系统输出不确定性向输入变量不确定性的逆向分配问题。假设输入参数的方差可以减缩一定比例因子,那么矩独立重要性指标可以定义为该缩减因子的函数。同时,假设输入参数的方差缩减因子为一随机变量,那么可以取矩独立重要性指标函数的均值定义一个新的平均矩独立重要性指标。由于使用Sobol方法计算平均矩独立重要性指标的模型需要循环抽样,计算量很高,故引入拒绝抽样（RS）方法,通过重复利用矩独立重要性分析中的一组输入输出样本,就可以额外计算得到矩独立指标函数和平均矩独立重要性指标,这大大节约了计算成本。本文所提指标函数及平均指标的有效性和RS方法的准确性、高效性通过数值和工程算例得以验证。      

工程设计程序的探讨

文章用系统工程的观点对工程设计的设计程序进行了探讨。从讨论现行的各种设计程序出发,分析了设计程序的多维性质,归纳出时间维、系统维和逻辑维等三种不同类型的设计程序,并研究了它们的内在联系和层次关系。提出了一种三维设计程序模式。以三维设计程序作为框架,经过简化,得出一个通用的设计工作先后次序及段落划分的模式。这个模式可以作为编排各种不同类型设计程序的基础。     

步进电机驱动柔性负载的一种振动抑制控制策略

  针对步进电机的输出力矩特征以及柔性负载的低频振动特性,提出一种抑制柔性负载振动的控制策略。推导了步进电机驱动柔性负载的动力学模型,分析了输入成形法抑制振动的原理并对其进行了扩展,由此产生的步进电机控制逻辑可以有效抑制柔性负载的低频振动。以数据中继卫星的单址天线回扫模式进行了数学仿真,结果表明,提出的控制策略有效且对系统的参数摄动具有一定的鲁棒性。     

基于NARX和Kriging的时变可靠性分析双层代理模型

针对具有动态输出性能的结构系统，传统的求解时变可靠性的代理模型方法在建模时只关注当前瞬间作用于系统的随机变量的作用，而忽视了时间累积效果，使得模型对于时变可靠性的预测效果并不理想。基于此，提出了一种基于带外生输入的非线性自回归(NARX)模型和Kriging模型的时变可靠性分析的双层代理模型方法。所提方法在内层利用NARX模型构建给定随机输入变量下输出响应随时间的变化模型，准确模拟系统的动态行为；在外层基于NARX所得极值构建系统极值与随机变量之间的Kriging模型，得到时变结构系统的可靠性。通过3个算例验证了所提方法在处理具有较强波动性输出系统的可靠性问题时的有效性和准确性。     

基于Riccati方程解的高增益未知输入观测器设计

针对具有未知输入和测量噪声的一类Lipschitz非线性系统,研究了状态估计、噪声估计及未知输入重构问题.通过将输出噪声看作扩展状态,把原系统转化为描述系统.针对描述系统,首先基于Riccati方程的解,提出了一种高增益观测器设计方法,实现对系统状态的估计和测量噪声的重构;之后,设计二阶高增益滑模观测器精确估计输出的微分,并利用状态和输出微分的估计,提出了一种未知输入的重构方法.在一Riccati方程有解的前提下,所提出的未知输入和测量噪声的重构,均适用于强时变信号.最后,对一个实际模型仿真,验证所提出方法的有效性.