软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

六自由度Stewart平台动力学模型的特性分析

根据六自由度Stewart平台的动力学模型,利用矩阵分析的方法详细分析和证明了动力学模型的一些物理特性:动力学模型系数矩阵的有界性,矩阵函数的斜对称性以及动力学模型的线性参数化. 这些工作为基于六自由度Stewart平台动力学模型的非线性控制器设计、系统稳定性的证明以及系统物理参数的辨识奠定了理论基础.      

基于边缘与颜色信息的车牌精确定位算法

针对现有车牌定位算法定位率不高和速度慢等问题,结合数学形态学,提出了一种基于车牌边缘检测与颜色信息的精确定位算法.首先对图像进行灰度化、平滑去噪及灰度拉伸等预处理,然后对图像进行垂直边缘检测和二值化处理;再采用线过滤算法滤去干扰边缘线信息,并利用车牌区域灰度变化次数多的特性定位出车牌上下边缘;对经过上下边缘定位后的车牌采用点密度过滤算法滤去零散点,接着采用数学形态学方法寻找连通域粗定位出车牌区域;最后对粗定位车牌在HSV空间进行颜色分割和倾斜矫正,从而精确定位出车牌.实验结果表明,该算法能够实现车牌的快速精确定位.      

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.     

软件GNSS信号模拟器架构与中频信号生成

软件GNSS(Global Navigation Satellite Systems)信号模拟器对于GNSS接收机的高效研发将做出重要贡献,因其结构灵活、开放性以及低成本.以GPS/Galileo组合系统为例,讨论了软件GNSS中频信号模拟器的架构,主要功能模块包括卫星星座仿真、接收机轨迹生成、传播通道特性仿真(包括电离层模型、对流层模型、多径模型等)、数字中频信号生成.在此基础上,着重阐述了数字中频信号生成模块的实现,功率谱图及分析结果验证了所生成的信号,包括GPS L1 C/A,Galileo E1 CBOC(Composite Binary Offset Carrier),Galileo E5a和E5b信号.     

基于离散数据点的变壁厚叶身参数化设计

在原始截面离散数据点的基础上,给出了面向工程实际的中弧线几何造型方法和基于离散数据点的内形曲线参数化方法;深入分析了UG(Unigraphic)系统参数化造型的实质;给出了可行的参数化方案;结合面向对象的思想和创成式的建模方式,实现了变壁厚叶身参数化设计.该模块基于UG/OpenAPI接口,采用即时记录数据点和标记回溯点的方式,在交互中可以实时动态修改,达到"所见即所得"的效果,并在实际应用中得到有效验证.      

统一硬化模型在复杂加载条件下的应用

超固结土模型是能够描述土的剪缩、剪胀、硬化、软化和应力路径依赖性等特性的简单、实用的模型,与剑桥模型相比,仅增加了一个材料参数(Hvorslev面斜率).采用基于SMP(Specialy Mobilized Plane)强度准则的变换应力方法对模型实现了三维化.在模型中应用加卸载准则来反映复杂加载条件下土体的应力应变特性,模拟了随着循环次数的增加,土体会逐渐变硬,剪切模量逐渐增大、孔隙比减小、超固结程度不断增大等趋势.由循环加载以及真三轴试验数据和预测结果的基本吻合表明了模型能够合理地反映复杂加载条件下土的变形特性.      

抗离群值的鲁棒正则化贯序超限学习机

针对离群值环境下的在线学习问题,提出一种鲁棒正则化贯序超限学习机(Robust regularized online sequential extreme learning machine,RR-OSELM)。RR-OSELM以增量学习新样本的方式实现在线学习,并在学习过程中基于样本的先验误差进行逆向加权计算以降低学习模型对于离群值的敏感性;同时RR-OSELM通过融合使用Tikhonov正则化技术进一步增强了其在实际应用中的稳定性。实验结果表明,RR-OSELM具有较同类算法更好的鲁棒性和实用性,对于离群值环境下的在线建模与预测问题是积极有效的。     

基于CATIA的杠杆加载系统快速设计方法研究

目前我国飞机结构试验中杠杆加载系统存在着设计工作量大、效率低等问题.针对企业的实际需求,本文基于CATIA软件平台,开发了一套杠杆加载参数化快速设计系统.首先基于总体设计的全机外形数模计算了外形加载点;其次运用改进的聚合层次聚类算法生成了杠杆加载系统的拓扑结构图;最后对杠杆、连接件等实现参数化建模并完成自动装配.实例表...     

类水滴进口高超内收缩进气道参数化分析

基于马赫数分布规律可控的轴对称基准流场,使用流线追踪和截面渐变方法设计了进口截面形状非对称的类水滴形进口转圆形出口高超内收缩进气道,研究了设计参数横向位置d,纵向位置h和进口形状曲线参数a对性能的影响规律。在相同约束条件下对比了类水滴形进口进气道与常规矩形转圆、方形转圆进气道的性能差异。结果表明:在设计点,所研究的设计参数对类水滴进口进气道总体性能影响显著;在捕获面积和内收缩比相同的情况下,类水滴进口进气道综合性能明显优于常规矩形转圆、方形转圆进气道。