基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

VHF通信系统干扰及日常维护工作的讨论

一、概述 在新疆空管系统中VHF通信是目前地空话音通讯的首选手段,由于它质量稳定可靠,话音质量较高。VHF通信做为目前空中管制部门的最主要的主要措施。它的良好运行无论在何时都尤为重要,VHF信号更是不能中断。这就对VHF台站的日常维护提出了更高的要求。VHF一般作为空中管制中心指挥使用的首选。它的好坏很大程度上决定了空中管制中心指挥的效率。     

Newall球栅传感器

球栅传感器是英国Newall公司发明的世界专利产品. 其主要特点是: (1)球栅尺和读数头全密封,防水、防油、防尘、防铁屑、耐振动,高可靠.     

L11飞机机翼1肋壁板对接区可靠寿命估算

长寿命、高可靠性是对飞机结构的基本要求，本文对Ｌ１１飞机机翼的关键与危险部位之一－－１肋壁板对接区进行了变幅载荷下的可靠寿命估算，结果表明，该对接区能满足Ｌ１１飞机设计寿命指标要求。     

JPEG 2000压缩编码标准介绍

静态数字图像处理是当前信息技术（尤其是多媒体技术）的一个重要组成部分，随着多媒体应用的不断增长，对多媒体应用技术上的要求也在不断提升。静态数字图像压缩在需要实现新的功能的同时，需要较高的性能。于是，新的编码压缩标准JPEG 2000应运而生。JPEG 2000是目前国际上最新的静态图像压缩编码标准，介绍了JPEG 2000的应用背景，对该标准的新特性，包括ROI编码、随机访问技术、渐进传输等进行了探讨。对JPEG 2000与静态图像压缩编码的现有标准进行了分析和比较。     

东四平台长寿命高可靠工程实践

简要介绍了通过实施东四平台长寿命高可靠工程所突破的关键技术、取得的成果以及工程实施的管理经验。     

仪表着陆系统NM3500故障案例浅析

仪表着陆系统NN3500型号是挪威NOMARC公司20世纪90年代早期生产的精密导航设备,国内使用一般为Ⅰ类进近标准,因其工作性能稳定可靠,维护使用方便,目前在中国许多机场仍在继续使用。笔者所在机场于1996年投入使用该型号设备（双频型号）,根据多年来维护该设备的过程中遇到的故障及维修过程中取得的一点维修经验,本着交流与借鉴目的,特列举几个故障案例供大家借鉴参考。     

全球商用卫星通信技术的发展和应用

1卫星通信发展概况 卫星通信是现代通信技术的重要成果，也是航天技术应用的重要领域。它具有覆盖面广、频带宽、容量大、适用于多种业务、性能稳定可靠、机动灵活、不受地理条件限制、成本与通信距离无关等优点。40多年来，它在国际通信、国内通信、国防通信、移动通信和广播电视等领域得到了广泛的应用。     

美国空军空间司令部试图“睁开”更多的在轨“眼睛”

美国空军空间司令部计划利用以前未曾使用的数据源，以改进其对地球轨道卫星活动的了解。这项称作“魔爪红云”（Talon Red Cloud）的研究计划，可能有助于分担对空间监视网中现有探测器的某些监视要求。其想法是，利用来自政府其他机构和有信誉的商业公司有关他们的卫星的位置和运动的可靠数据。依靠这些来自可信数据源关于卫星的数据，