王瑶水库供水工程遥测系统的设计与实现

介绍延安市王瑶水库供水工程遥测系统的设计与实现问题，并对其中关键的远程通讯和数据管理技术作了详细讨论。     

以数字化工卡为核心技术的修理新模式探索

针对航空修理企业和现状,提出以数字化工卡为核心的修理新模式,阐述了数字化工卡的概念,描述了以数字化工卡为核心的修理模型,重点针对数字化工卡驱动修理过程中各信息系统要素的修理模式进行了分析和探索,为从信息化层面有效整合航修企业各项资源,搭建快捷、高效的航空装备修理平台,加快转变航空装备修理保障能力生成模式提供了有效途径。     

基于北斗接收机的车载卫星导航系统的设计

基于北斗卫星导航系统、北斗地基增强系统、移动通信网络,设计开发了 一款小体积、高精度车载导航系统。主要在接收基站差分信息以及实现高精度定位方面 进行探索。通过单点定位和差分定位的野外跑车对比试验得出,该系统性能稳定、可靠 性高,其差分定位精度能够满足车辆导航的要求。     

全球卫星导航星座网络协议体系与运行模式

针对全球卫星导航星座网络建设初期或论证阶段所涉及的网络体系结构、协议体系及相关组网等技术问题,开展了基于导航星座星间链路构建空间信息网络的技术研究,分别提出了由子网、接入网、骨干网等节点及其相互之间星间、星地无线链路构成的分层网络系统结构,设计了兼容遥控、遥测、测量与网络交互支持等业务的基于IP over CCSDS(基于空间数据系统咨询委员会标准的空间链路承载互联网协议业务)的协议体系,给出了全系统基本通信业务运行模式等。与传统高轨卫星通信系统相比,该星座网络具有高覆盖、低时延、随遇接入等优点,可实现星座导航性能与中低轨及地面用户通信性能的全方位提升,相关结果对我国全球卫星导航星座网络技术研究具有一定的参考意义。     

波音777飞机ACARS系统及马航MH370航班失联事件分析

马来西亚航空公司MH370客机失联事件一度引发媒体与公众的诸多猜测,猜测的焦点之一就是执飞的波音777飞机的飞机通信寻址与报告系统(Aircraft Communication Addressing and Reporting System,简称ACARS)功能是如何被关闭的。从专业角度出发,首先采用Sys ML建模的方式描述了波音777飞机ACARS系统的详细架构和人机接口,并据此深入分析了马航MH370航班失联事件中ACARS被关闭的情景。最后,提出了此次事件暴露出的现代民用飞机设计中存在的问题以及改进方法。     

卫星ATM网络中自适应FEC情况下的有效带宽估计

针对采用自适应前向差错控制（AFEC）的卫星异步传递模式（ATM）网络，研究了两种有效带宽估计方法。由于AFEC码率的动态特性使业务实际的传输速率具有不固定性，因此估计有效带宽时要考虑AFEC的影响。首先针对一般卫星时变信道和多码率AFEC情况下的卫星ATM，应用流体近似方法分析了有效带宽的计算，然而该方法要求的条件及计算复杂度均比较高，应用中有局限性。以此方法为基础，提出了采用修正因子的估计方法。数值结果表明采用修正因子的有效带宽估计方法比较简单可靠，适用面较广。     

数字图象信号的电缆传输

结合强力输送带横向断裂预报检测系统，介绍一种数字图象信号电缆异步传输的具体实现方法，它满足某些工业检测和控制系统的远地数字信号传输的要求。内容包括多路数据信号合成与分解，信号的编码、解码和识别再生三部分主要硬件电路的设计思想。最后给出了传输实验结果     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

J2轨道模型对月地激光通信预瞄准精度影响研究

基于J_2轨道预测模型,设计了不同倾角和轨道高度圆轨道月球卫星,通过将J_2轨道预测模型预瞄准仿真结果与直接积分RKF7(8)法仿真结果相对比,研究了不同类型月球卫星轨道对-Y面卫星舱板激光通信终端瞄准精度的影响。仿真结果表明,J_2轨道预测模型可以满足月球极地卫星月地激光通信要求,当轨道高度为1 000 km和2 000 km的时候,10 min方位角偏差不超过40μrad,而俯仰角偏差仅为7μrad时,在一定程度上J2轨道预测模型可以满足月地激光通信预瞄准要求。     

Event-triggered attitude control of spacecraft

The problem of spacecraft attitude stabilization control system with limited communication and external disturbances is investigated based on an event-triggered control scheme. In the proposed scheme, information of attitude and control torque only need to be transmitted at some discrete triggered times when a defined measurement error exceeds a state-dependent threshold. The proposed control scheme not only guarantees that spacecraft attitude control errors converge toward a small invariant set containing the origin, but also ensures that there is no accumulation of triggering instants. The performance of the proposed control scheme is demonstrated through numerical simulation.