一种基于SPIHT的ROI图像编码

感兴趣区域的ROI（Region of Interest）编码是正在制订的静止图像压缩国际新标准JPEG2000支持的一种创新方法,在渐进重构的初始阶段,ROI的保真度高于图像其余部分（背景）,该方法可观地节省了传输时间和存储空间。由于SPIHT是嵌入式编码,所以在按一定比例放大ROI系数（或者按一定比例缩小背景系数）后,ROI便可以比背景更快更清晰的重构出来。     

直升机驾驶人员的可靠性分析与研究

根据直升机的使用及型号研制中的经验教训,提出了在直升机的可靠性分析中必须考虑人的失误对直升机使用的安全性和可靠性的影响,并根据THERP(Technique for the Human Error Rate Prediction)方法,建立了人的失误的分析和计算程序,最后以直11型机为例详细地说明了THERP方法的应用。     

SIP协议的形式化分析与验证

文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.     

中国民用航空器CO2减排潜力的区域划分

对中国进行科学的区域划分，是研究具有区域差异性与空间相关性航空器CO₂排放问题并提出差异化CO₂减排措施的重要基础。基于2007—2016年中国部分地区民用航空器运行数据，在构建CO₂减排潜力分类模型的基础上，通过Kruskal算法得到省域网络关系最小生成树；采用谱聚类算法，以“最大化区划优度”为目标，划分航空器CO₂减排潜力的不同区域。结果表明：最优区域划分为四分区，区划优度为0.35；航空器CO₂减排潜力高的区域主要分布于中国西南和中南地区，潜力低的区域主要分布于东北和华北地区；针对各区域CO₂减排特征，从民航局、机场和航空公司等不同主体提出了差异化的区域CO₂减排措施。     

摆正安全与服务的关系树立空管行业形象

作为一名进入空管行业十余载的从业人员，伴随着民航的高速发展．笔者同样见证了空中交通管制的飞速发展，这一发展既包括了管制环境的彻底改善．也迎来了管制设施的换代更新，更输入了大批管制专业的生力军，为我国民航的持续发展提供了有力的保障。然而随着这可谓脱胎换骨式的变化．我们似乎没有看到国家投入大量人力财力的空中交通管制在社会甚至于民航内部得到广泛认知与肯定，甚至还有“空管是民航发展的瓶颈”一说．这无疑是一种遗憾。     

媒体

红色树，黄色树；大爆炸！暴胀！遥远的“表兄妹”。     

航空发动机性能图像纹理片段划分方法

为了解决深度学习在航空发动机性能异常检测中出现的数据不平衡的问题，在高频次纹理片段对应性能稳定状态、低 频次纹理片段对应异常波动状态的合理假设下，提出了一种航空发动机性能图像纹理片段划分方法。通过研究性能数据空间与 RGB彩色空间的映射，提出高维性能数据图像化。引入分形盒维理论，定义纹理特征维数表征性能图像纹理特征，提出基于高频 次生长树的图像纹理片段划分方法，实现性能图像按纹理出现频次的精细划分，建立正常样本和异常样本数量接近的数据集。选 取多个航段发动机性能数据，与时频图和采样法生成的数据集进行对比验证。验证结果表明：该方法可以生成数量相当且真实 客观的正常样本和异常样本，在ResNet50模型上的准确率达91.72%，减小了数据不平衡对准确率的影响。     

推动SolidWorks软件的应用，促进CAD工作的开展

本文根据目前CAD发展现状，剖析了我公司CAD的应用情况，重点讲述了三维软件SolidWorks的主要性能和特点。     

HPF程序编译信息的超文本生成器

ＨＰＦ是最新的数据并行程序设计语言，其程序分析工具的研究，是ＨＰＦ编译器研制的可靠保障。本文给出了ＨＰＦ程序的中间表示抽象语法树（ＡＳＴ）的组成，研究了将ＡＳＴ转换为可读形式的工具ｄｕｍｐａｓｔ，实现了ｄｕｍｐａｓｔ的超文本自动生成器，为用户提供了观察ＡＳＴ的非线性手段，可在网络上浏览。     

概率风险评价技术及应用

介绍了概率风险评价技术的基本概念，详细分析了概率风险评价的实施过程，包括目标定义和系统分析、初因事件识别、事件链建模、故障模式确定、数据收集和分析、模型的量化和集成、不确定性分析和结果分析等步骤。最后通过一个航天器推进系统的示例说明概率风险评价技术的分析结果及应用范围。