嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

航天器深空飞行中的遥控问题

分析了航天器深空飞行中与遥控工作密切相关的信息传输时延,分析了遥控工作面对的控制实时性、控制精度、控制验证等方面的问题;从遥控工作的控制方式、发令工作模式、遥控工作机制、发令时间补偿等方面提出了解决思路。     

基于APP的卫星地面遥控系统安全性设计

目前,我国绝大部分卫星的遥控指令上行操作必须在专用测控网内进行,当卫星发生在轨异常时,相关支持人员必须赶赴测控中心现场进行集中处置,非工作时段时效性较低,不利于紧急情况下的异常快速处置。对基于APP的卫星地面遥控系统安全应用方案进行了研究和设计,旨在为我国未来卫星高效运行管理提供一种新的手段,通过原型系统的仿真测试,验证了系统的技术可行性,实现卫星管理相关人员在远离测控中心的情况下也能安全有效地参与在轨异常应急处置。     

计算机系统的发展趋势综述

本文从主机系统和操作系统两大方面论述了计算机系统的发展趋势。其中，主机系统中论述了巨型机、工作站、网络和个人机发展的趋势；在操作系统一节中，着重对Windows OS/2和UNIX加以评述。     

分包遥测、遥控与AOS设计思想初探

本文首先介绍分包遥测、遥控和AOS与OSIRM的关系，接着从服务对象，信息源特点，业务种类，数据结构，差错控制，物理层功能七个方面进行分析比较，以便从不同角度对CCSDS设计思想进行研究。     

中低轨道卫星遥控统一设计十年

回顾了自1982年开始的中低轨道卫星遥控系统统一设计及其应用的十年历史,介绍它的技术内容和取得的社会经济效益,最后阐述了由此得到对航天开展“三化”工作的一些启示。     

一种新型继电器驱动器件及其应用

介绍了一种新型高可靠的继电器类开关驱动器件,以及由它组成的开关距阵控制电路。用此器件可以克服过去卫星遥控普遍存在的继电器驱动电路单点失效问题,并为“三化”打下了基础。     

实时多任务操作系统的汉化

描述了实时多任务操作系统汉字处理中的特点，着重对操作系统中与设备无关的功能对汉化的影响，汉字外码内码的选择，汉化与实时性、多任务特性的相互影响等几个问题进行了讨论。     

UNIX系统的安全性及优化

通过作者在ＳＧＩ图形工作站上ＵＮＩＸ操作系统的实践，给出一些提高ＵＮＩＸ系统的安全性及优化的方法。