安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

基于混沌变量的航空发动机性能监控与故障诊断

针对在利用综合加权法计算表征发动机整体性能的综合指数时,各参数的权系数难于确定,本文提出利用混沌变量确定各参数的权系数,使优化得到的综合指数值比采用专家调查法所得到的综合指数值更能灵敏、准确地反映发动机整体性能的变化情况,提高了发动机性能正常与否的识别率,并以此来发现发动机潜在早期故障,防止故障的扩大。通过对某型涡扇发动机进行监控,证明该方法确实有效。      

一种小型全流量补燃循环火箭发动机实验装置

介绍一种新的液体火箭发动机动力循环型式—全流量补燃循环的概念及其相对于其它动力循环的优点。为研究这一先进的循环系统,设计了一套小型全流量补燃循环氢/氧火箭发动机实验装置。结合该装置的系统方案,对其进行一维管路计算;通过对2个预燃室进行热力计算,确定了其燃烧温度和预燃气体的热物理性质;在燃烧室压强和混合比大范围变化的情况下,对氢氧推进剂的比冲特性进行探讨,以此确定燃烧室压强为4.0MPa,推进剂余氧系数为0.75。最后估算出该实验装置所能产生的推力为4018.77N。      

位置不确定持续移动对象的离散表示

基于快照模型,提出对多个离散快照进行整体插值来生成不确定性二维移动点对象的离散模型用于时空数据库系统的实现。利用GM（1,1）模型,通过灰生成降低各个离散快照本身包含的不确定性,建立能够反映移动对象的整体运动趋势的离散实现模型。与线性插值模型的对比实验说明,信息受限情况下采用该模型计算位置不确定持续运动对象的时空运动情况能够保持稳定的低误筹率。     

Weibull分布下恒定应力加速寿命试验分组数据的统计分析

对Weibull分布恒定应力加速寿命试验的分组数据,利用形状参数的线性无偏估计将分组数据转换为指数分布的加速寿命试验分组数据,建立相应的似然方程,求解得到加速模型参数最大似然估计,最后对某实例进行了分析。     

基于远程实时数据的导弹虚拟飞行仿真

以基于远程实时数据的导弹虚拟飞行仿真为例,着重探讨了三维模型、虚拟场景的建立以及实时数据在视景仿真中应用的方法.通过仿真实现了基于实时数据的导弹虚拟飞行的三维可视化显示.可用于实时、直观地监测导弹飞行中的姿态及轨迹,提高了导弹虚拟场景的逼真度和实时性.     

基于Tophat变换和文字纹理的车牌定位算法

针对车牌自动识别系统的应用场景越来越广泛,提出一种新的基于Tophat滤波和文字纹理特征的车牌定位算法.首先,利用形态学Tophat滤波抑制背景、消除不均匀光照,然后对图像进行二值化操作和连通域分析;其次,扫描图像得到区域的垂直投影图(VPM, Vertical Projection Map),对VPM进行离散余弦变换(DCT, Discrete Cosine Transformation),利用中低频描绘子重构VPM,重构后的VPM更为平滑,不受噪声影响,其波峰波谷数量、统计量更能描绘区域纹理的本质属性;最后,结合部分中低频描绘子和统计量组成描述区域纹理的模式向量,输入支持向量机归类.实验表明,算法适用于自然场景中的车牌定位问题,具有较强的适应性.      

磁响应Fe3O4/HCS复合微球的制备及特性

由壳聚糖与环氧丙烷制备了羟丙基壳聚糖(HCS)。将其配制成水溶液,利用离子凝胶法,与多聚磷酸钠(TPP)反应,制备了粒径在0.6μm羟丙基壳聚糖微球。再用滴定水解法制备了四氧化三铁微粒,激光粒度分析显示滴定水解法制备的Fe3O4粒径分布较窄,粒径小。在此基础上采用交联聚合法制备了Fe3O4/HCS复合微球,微球为实心,四氧化三铁微粒被包裹于微球内部,形状规则,粒径约为0.8μm,经过磁响应分析表明Fe3O4/HCS复合微球具有磁响应性。     

超声横波斜探头K值对缺陷定位的影响

本文重点分析了影响横波斜探头K值测量的因素之一的测试用横孔埋深,对实测K值的影响,通过实验,得出了两个修订方程,可以提高横波斜探头在探伤时对缺陷的定位精度。     

基于DS18B20的数字温度测量仪

介绍了DS18B20-线式数字温度传感器的功能特性和结构特点,分析了其工作时序,结合AT89S51给出了数字式温度测量装置的系统结构、硬件接口电路和软件设计方法。