基于Markov模型的系统安全性和可靠性分析

建立了二乘二取二系统状态转换的Markov模型,研究了失效率、维修系数、故障检测覆盖率等参数对二乘二取二系统的安全性、可靠性和可用性的影响,证明分布式二乘二取二系统具有更高的可靠性、安全性。     

基于Bigraph的面向方面动态软件体系结构演化研究

随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求.面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性.Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质.因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化.最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程.     

适用于任意接收机航迹的无源WiMAX-SAR成像方法

研究基于WiMAX信号的无源合成孔径雷达成像,即WiMAX-SAR成像,并给出了一种基于滤波反投影原理的成像方法.该方法利用环境中已有的WiMAX信号作为照射源,通过对接收机位于不同位置时所接收到的WiMAX回波信号进行滤波反投影,从而场景重建.仿真结果证明了基于FBP的WiMAX-SAR成像方法的可行性,且适用于任意接收机飞行轨迹.该方法也适用于基于其他照射源的双基SAR成像.     

基于SAR实测数据的舰船成像研究

该文基于机载SAR实测数据,对舰船目标成像进行了研究。SAR成像是针对静止目标,舰船目标表现在SAR图像上是散焦的。基于舰船目标的非合作性,可采用ISAR的方法对其进行成像处理,以得到高分辨的舰船图像。该文介绍了如何从SAR实测数据中提取出舰船目标的回波数据,并讨论了对舰船成像比较有效的ISAR运动补偿方法。最后给出了多艘典型舰船的清晰成像结果。该文提供了机载雷达SAR模式工作时对舰船成像的有效处理方法。     

煎炸油及煎炸食品卫生指标的调查

本文选择两个生产量较大的早点加工店进行了调查。煎炸油的酸价随时间延长而显著增高,经统计(r=0.96 P<0.0005)差异有高度显著性。油条中的酸价随炸油酸价的增高而增高,经统计学处理(r=0.8746)两者间有明显相关(P<0.0005)。煎炸油的过氧化值经统计学处理(r=0 r=0.0951 P>0.25)与煎炸时间、油条均没有明显关系。炸油的羰基价和油条的羰基价均随时间的延长明显上升,炸油羟基价与油条羰基价间经统计差异有显著性意义(r=0.922 P<0.0005)。     

4H-SiC结势垒肖特基二极管VRSM特性研究

通过器件模拟仿真软件Sentauras和高分辨率透射电子显微镜（High-Resolution Transmission Electron Microscopy ,简称HRTEM）研究了4H-SiC结势垒肖特基二极管（Junction Barrier Schottky ,简称JBS）在反向浪涌电压应力作用下的失效机理;进而重点研究了结终端扩展区（Junction Termination Extension ,简称JTE）的长度、深度和掺杂浓度对该器件反向浪涌峰值电压（Maximum Surge Peak Reverse Voltage ,简称VRSM）的影响,并结合JBS的基本结构对其进行优化设计;最后,流片测试显示优化设计的4H-SiC结势垒肖特基二极管的VRSM值约为1450V,比原器件提升了20%左右。     

结合最近邻图模型的稀疏ISAR成像方法

逆合成孔径雷达（Inverse Synthetic Aperture Radar,ISAR）稀疏成像方法可提供图像对比度高、旁瓣干扰少的成像结果 .稀疏成像以场景或目标散射率分布具有稀疏性为前提,待成像目标场景的稀疏特性决定了最终成像质量. ISAR目标场景的自然稀疏特性着重刻画点状特征,变换域稀疏表示可增强目标图像的纹理等通用特征.通过学习获得的稀疏变换字典,可自适应于待成像的ISAR目标场景,找到面向ISAR目标图像块的特有稀疏表示.但是,图像块的特有稀疏表示中忽略了待成像目标场景中目标的几何特征信息.最近邻图模型可建立给定数据的几何特征描述算子,刻画出给定数据的几何特征信息.本文利用最近邻图模型来刻画待成像目标场景中目标的几何特征信息,并映射到待成像目标场景的特有稀疏表示中;提出结合最近邻图模型的ISAR稀疏成像方法,用于不同类别实测ISAR数据成像.相比已有的ISAR稀疏成像方法,所提成像方法可获得目标轮廓更清晰的成像结果,成像所需时间平均减少10.4%.     

层次分析法在建筑施工现场安全管理中的作用

建筑工程施工现场存在危险因素多、安全事故多发等问题,所以应该加强施工现场安全管理.同时,利用层次分析法可以对各种因素以及指标进行定性及定量分析,所以本文以某建筑工程施工现场安全管理为对象,从人员、环境、设备以及管理等因素辨别施工现场当中的安全风险,构建了相应的评价指标体系,以期提高施工现场安全管理质量.     

机载气象雷达目标的三维建模方法研究

三维可视化系统能够为机载气象雷达回波数据分析提供支持。本文以预先提取的气象目标三维点云数据为基础,设计了一种面向机载气象雷达目标的三维建模方法。首先运用α-shape算法提取气象目标的外轮廓点云,并通过主元分析法求取点的法向量,再利用泊松重建算法对具有法向信息的外轮廓点云进行三维表面重建。结果表明,该方法得到的气象目标三维重建结果轮廓清晰,表面细节特征明显,能够反映气象目标的空间结构分布特征。相较于仅使用α-shape算法和移动立方体算法,该方法在重建精度和计算效率方面均有提高。重建模型整体上满足机载气象目标三维建模的要求,可以为未来的机载显控气象信息平台三维可视化提供技术支持。     

计算机应用中模糊数值函数的F-导数刻划理论研究

利用支撑函数定义了模糊数值函数的F-导数,对其基本性质进行了刻划,并证明该导数比Puri和Ralescu定义的导数弱。