AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

PN码相位精确测量的累加最小二乘法

利用最小二乘（LS）法可以实现PN码相位的精确测量,但该方法对粗同步要求高,难以满足实际工程需求。给出了一种新的累加LS法的实现结构,在该结构下根据鉴相曲线的波形变化特征,利用累加后的离散鉴相曲线的最大值和最小值点作为特征基准点,取最值之间的数据进行LS线性拟合,实现粗同步于半个码元宽度以内的伪码相位精确测量。理论分析表明,该方法的鉴相特性呈线性特征,可以有效使用累加LS线性拟合方法。仿真结果表明,该方法相比于其他方法使用范围更广,测量精度更高。      

高精度法矢下切割面自适应的凸曲面射线寻迹

针对电大尺寸目标难以精确解析表达带来的一致性几何绕射算法应用难问题,提出了基于三角网格、适用于任意凸曲面的射线寻迹（TM-tracing）算法。应用工程中较易获取的三角网格及其协议,设计了一种满足快速多边搜索条件的网状数据存储链表;提出了满足寻迹要求的高精度法矢求解算法;采用切割面自适应调整的弧形拟合寻迹方法实现了爬行波寻迹算法;结合一致性几何绕射理论（UTD）实现了暗区场值求解算法。任意网格曲面射线寻迹结果表明:本文提出的寻迹算法适用于包括球、柱和锥在内的任意光滑凸曲面,寻迹偏差小于1.61%,寻迹速度为2.8 s,具有一定的工程应用价值。      

基于半实物仿真的地磁导航等值线匹配算法评估

影响地磁导航匹配算法性能的因素很多,而现阶段算法的评估完全依靠计算机仿真,其可信性有待进一步验证.以等值线(ICCP)算法为研究对象,首先从理论上分析影响算法性能的因素;然后搭建了地磁匹配导航半实物仿真系统,通过引入磁场仿真环境和磁传感器,提高了仿真的可信度;最后从测量噪声、匹配长度、匹配区域和惯导误差4个方面对ICCP 匹配算法的性能进行半实物仿真试验分析.仿真结果表明,通过半实物仿真试验可以对算法的抗干扰性、算法匹配长度的确定、匹配区域的选择以及惯导误差的影响做出有效评估,从而推动地磁匹配导航及匹配算法的工程化进程.      

GNSS-IR双频数据融合的土壤湿度反演方法

目前全球导航卫星系统反射信号干涉测量（GNSS-IR）土壤湿度反演研究仅针对单一频点展开,提出用熵值法将2个频点数据进行融合以改进土壤湿度反演精度。首先,利用频谱分析法分别解析出各频点的信噪比（SNR）序列的振荡频率,计算出对应的等效天线高度,并利用最小二乘法求解各频点信噪比序列相位;然后,通过熵值法进行2个频点的相位观测量融合;最后,利用融合结果与实测土壤湿度建立经验模型,实现土壤湿度反演。利用地基观测实验获得的全球定位系统（GPS）L1和L2信噪比数据对该方法进行了验证,结果表明:L1和L2双频融合反演结果平均标准差为0.6%,比L1单频反演结果提高64.73%,比L2单频反演结果提高32.12%;均方根误差为0.37%,比L1频点降低72.8%,比L2频点降低73.4%。      

高速开关阀的复合PWM控制策略分析与优化

针对单一PWM控制的高速开关阀（HSV）存在响应慢和功耗大的问题,从信号产生机理出发,提出了一种复合PWM控制策略,该复合PWM由基准PWM、激励PWM、高频PWM及反向PWM组成。首先,给出复合PWM的作用机制与工作原理;其次,通过仿真分析了激励PWM、高频PWM及反向PWM的占空比在不同工况下对高速开关阀性能的影响规律;最后,分别为激励PWM、高频PWM及反向PWM的占空比设计了相应的基于状态量反馈的闭环控制器。结果表明:与单一PWM控制相比,所提出的复合PWM控制器可以有效减少线圈的功耗和阀芯的关闭时间,线圈电流在阀芯最大开口维持阶段降低约80%,阀芯关闭时间减少约62.5%。      

130nm体硅反相器链的单粒子瞬态脉宽特性研究

针对130 nm体硅反相器链,利用脉冲激光和重离子实验研究了目标电路单粒子瞬态（SET）的脉宽特性,并分析了电路被辐射诱发的SET脉宽特性受激光能量、重离子线性能量传递（LET）值、PMOS管栅长尺寸等因素的影响机制。重离子和脉冲激光实验结果类似,均表现为随激光能量、LET值的增加,电路被辐射诱发的SET脉宽逐步增大,且表现出明显的双（多）峰分布趋势,但辐射诱发的SET脉冲个数呈先增加再减少规律。此外,实验结果表明,在不同激光能量、LET值下,PMOS管栅长尺寸影响反相器链SET脉冲的特征不同。当激光能量、LET值较低时,PMOS管栅长尺寸大的电路产生的SET脉宽较大,而当激光能量、LET值较大时,PMOS管栅长尺寸小的电路反而产生更宽的SET脉冲。分析表明,较高激光能量、LET辐照时,寄生双极放大效应被触发可能是导致PMOS管栅长尺寸影响电路SET特征差异的主要原因。      

基于UGF-GO法的EWIS退化系统可靠性分析

针对飞机电气线路互联系统（EWIS）差异性大、随时间退化严重、可靠性建模困难等问题,将通用生成函数（UGF）和GO法融合,提出了基于UGF-GO法的EWIS退化可靠性分析方法。首先,考虑EWIS各连接部件使用性能及环境的差异性,利用含随机参数的Wiener退化过程模型建立部件可靠性仿真模型,采用马尔可夫链蒙特卡罗（MCMC）算法对模型中的未知参数进行估计,并与传统二步法参数估计值进行对比,得到较为精确的系统部件退化可靠性曲线。其次,在分析系统退化可靠性时,利用UGF-GO法对某飞机EWIS结构可靠性进行建模及计算。最后,以某飞机电气线路互联系统为例,结合部件退化可靠性计算结果,评估系统在不同给定阈值下可靠性水平。结果表明:UGF-GO法可有效解决系统退化状态的可靠性分析问题。      

桁架拓扑优化几何稳定性判定法和约束方案比较

为提高桁架结构几何稳定性的判定准确度和桁架拓扑优化结果的工程实用性,对桁架结构几何稳定性的判定方法和桁架结构拓扑优化问题中3种几何稳定约束方案的有效性进行了比较研究。首先结合简单桁架示例,对比了判定桁架结构几何稳定性的几种方法,给出评估桁架结构几何稳定性的一种简单流程;然后对处理桁架结构几何稳定性的3种常见约束方案,给出了对应拓扑优化问题的一个统一的半定规划（SDP）模型;最后结合算例讨论了3种几何稳定约束方案下的拓扑优化结果,说明了不同方案的有效性。结果表明,考虑附加载荷或全局稳定约束均不能保证优化后桁架结构的几何稳定性,但在约束值合理设置的情况下,考虑基频约束则可以保证。      

空间目标的ISAR成像及轮廓特征提取

空间目标的逆合成孔径雷达（ISAR）成像由于受自身遮挡及噪声干扰等影响,导致生成的ISAR像难以直接进行图像分析及目标识别。由此,以空间目标的ISAR成像建模为基础对ISAR像处理及特征提取展开了研究。首先,分别建立了目标卫星的ISAR成像模型、ISAR信号模型及ISAR图像函数提取模型,并经过旁瓣抑制与相干斑滤波等初步处理得到了目标卫星的ISAR像。其次,采用Otsu算法、canny算子及Hough变换使卫星旋转至最长轴平行于像平面横轴,通过闭运算填充卫星内部孔洞,去除外部孤立噪声,并基于连通域思想分割出卫星所在子区域,实现了卫星的轮廓提取。所设计的图像处理算法能有效改善ISAR像质量,提取的卫星轮廓线能较好地勾勒出目标卫星的外形结构,为进一步展开卫星的识别工作奠定了重要基础。