基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

一种有限对象集的输入通道任意增益/相角裕度调节方法

针对一类有限多输入多输出线性时不变对象集,提出了一种调节输入通道增益/相角裕度的方法。首先针对单个对象,采用连续线性二次调节器理论设计状态反馈控制器;进而利用周期控制方法设计一个针对有限对象集的线性周期控制器。该控制器可使有限对象集的所有反馈控制回路在输入通道同时实现任意大的增益裕度和直到90°的相角裕度。仿真结果表明了所设计控制器的有效性。     

一种AUKF滤波算法及其在电力频率测量中的应用

为了提高无迹卡尔曼滤波器（UKF）在非线性随机系统中的抗干扰性和状态跟踪性能,提出了一种自适应无迹卡尔曼滤波算法（AUKF）。该算法通过计算状态变量微分累积值判断状态变量是否发生突变,并在突变时刻重新设置协方差矩阵,使状态变量估计值迅速收敛;同时估计观测噪声,通过调整噪声方差以减小观测噪声变化对测量精度的影响。将AUKF算法应用于电力系统频率测量,通过数值仿真得到电力频率稳定、波动和突变时的频率测量值。仿真结果表明该算法具有较好的测量效果,在保证频率测量精度和稳定性的同时,减小了频率测量滞后时间和超调。     

基于氨基作为质子转移桥梁的赖氨酸分子手性转变机理

采用密度泛函理论的B3LYP方法和微扰理论的MP2方法, 考察赖氨酸分子基于氨基作为质子转移桥梁的手性转变机理以及水分子和羟基自由基对氢迁移反应的催化作用. 结果表明, 赖氨酸分子手性转变有2个通道a和b, 通道a为主反应通道, 决速步骤裸反应Gibbs自由能垒为252.6 kJ/mol, 2个水分子构成的链以及羟基自由基和水分子构成的链使通道a决速步骤的自由能垒分别降为119.5,98.5 kJ/mol. 表明水分子和羟自由基对H迁移反应有较好的催化作用, 生命体内的羟基自由基是导致左旋赖氨酸旋光异构的主要原因.     

量子信道对纠缠鲁棒性的影响

考虑量子信道对多体纠缠鲁棒性的影响. 先根据可分态之集为一个凸闭集, 证明可以取到纠缠鲁棒性定义中的下确界, 再证明同一纠缠态ρ的两个最优态的凸组合仍是最优态, 纠缠鲁棒性作为定义态集合上函数是下半连续的; 最后, 分别给出一个量子信道不增加、 不减少[KG*8]及保持所有量子态的纠缠鲁棒性的充分必
要条件.     

基于高阶累积量和改进GRNN的CSI手臂行为识别

为了挖掘信道状态信息(channel state information,CSI)在手臂行为识别中的非线性深层特征,提高识别准确度,提出了一种基于高阶累积量和改进广义回归神经网络(generalized regression neural network,GRNN)的CSI手臂行为识别算法.离线阶段,将在不同手臂动作下...     

离散非线性系统状态和故障估计

针对同时含有执行器故障和传感器故障的离散Lipschitz非线性系统,提出一种可以同时估计系统状态、执行器故障和传感器故障的观测器设计方法。首先,通过系统状态向量的扩展,将原系统化为形式上不含传感器故障的广义Lipschitz非线性系统;然后,对得到的广义系统设计可以同时估计系统状态和执行器故障的观测器;最后,将观测器设计过程化为求解线性矩阵不等式的形式。仿真结果表明,所提方法具有有效性、正确性以及优越性。相较于现有很多方法,所提方法具有高效快捷的特点,具有较强的实用性。     

精密运动平台宏微控制系统的设计

基于高动态精密伺服运动双台系统模型提出一种非线性宏微控制方法.该方法采用长行程直线电机宏动跟随音圈电机高精密微动的驱动方式,并引入扩张状态观测器.系统在定位误差较大时,采用近似时间最优控制律的轻阻尼宏动台,以允许的最大速度快速响应,在接近目标位置后,再用采用复合非线性反馈控制律的重阻尼微动台来补偿宏动台超调引起的位置偏差,最终实现系统快速高精度的定位.通过扩张状态观测器观测系统的动态变化,补偿系统中的各种扰动,减小系统的稳态跟踪误差.研究结果表明:该方法改善系统的动态性能和抗干扰能力,提高系统的定位精度.     

混合动力履带车辆全系统建模与实时仿真

采用面向对象思想建立履带车辆动力学实时仿真模型. 建立了发动机-发电机组和电池组电功率耦合特性模型和混合动力驱动系统及其控制策略模型. 依托RT-LAB环境实现混合动力驱动系统和控制策略模型实时化. 通过CAN实现车辆动力学模型与混合动力驱动系统及其控制模型的实时通信,建立了混合动力履带车辆驾驶员在环的全系统实时仿真软硬件环境,仿真实例验证其可行性及有效性.      

（Ba0.2Sr0.8）1-1.5xBixZn0.04T i0.98O3陶瓷结构及介电性能的研究

采用传统固相反应方法,制备了（Ba0.2Sr0.8）1-1.5xBixZn0.04Ti0.98O3（x=0.00、0.01、0.02、0.03）陶瓷材料,用X射线衍射、扫描电子显微镜和变温介电谱方法,对它们的晶格结构、微观形貌和复介电常数进行了测量和分析.结果表明：1）Zn2＋和Bi3＋进入到Ba0.2Sr0.8TiO3晶格中并与之形成ABO3钙钛矿型固溶体;2）随Bi2O3掺入,陶瓷的室温晶系结构由立方相转变为四方相,同时出现在约120K的弥散相变转化为弛豫相变;3）Bi2O3掺杂对晶粒生长有明显的抑制作用,但晶粒之间的连接性增强,陶瓷的致密度增加;4）当T=300K,f=1Hz,当Bi3＋的掺杂量为0.01mol时,陶瓷样品室温介电常最大（ε＇=1529.95）,此时室温介电损耗值为最大（tanδ=3.366×10-2）.上述结果为该类陶瓷掺杂改性研究,以及弛豫相变机制探索提供参考.