S698PM宇航芯片的软件支持及信息处理性能测试

综述了面向宇航应用的S698PM宇航处理器芯片的软件支持,设计了嵌入式操作系统VxWorks的板级支持包BSP软件,分析了BSP包中多核的任务调度机制和中断管理。本文还给出了S698PM的性能测试数据,测试结果表明S698PM性能优越。最后通过一个FFT算法的应用实例展现了S698PM的并行计算处理能力。     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

民航黑龙江省管理局办公自动化的建设

通过对民航黑龙江省局在办公自动化的建设和应用，使大家对办公自动化有所了解。     

Telephonics系统磁盘空间管理

介绍了Telephonics雷达终端系统的磁盘空间管理,即UNIX系统磁盘空间管理(或文件系统管理),以及针对该系统使用有关工具分析系统性能和实际解决问题的方法。     

用于OBDH中的实时多任务操作系统设计

参照欧空局的软件工程规范,研制了为星上数据管理任务服务的实时多任务操作系统RT86,它的硬件环境是两个互为冷备份的主控单元(MCU),通过1553B串行数据总线与多个远置单元(RTU)联接,完成星上遥测、遥控及星上多项数据库管理任务。本文介绍了其设计要点,做到了系统设计思路简单清晰,程序易于修改维护,可靠性高,它为星上应用软件开发提供了通用设计平台。     

MTA—OS中核心软件部分功能的设计研究

本文以巴提出的分布式操作系统ＭＴＡ－ＯＳ为背景，结合其核心软件的设计思想，对其中存储块管理、Ｉ／Ｏ管理和时钟管理的机制及其具体实现进行了重点讨论。     

测控设备自主可控发展建设探讨

针对测控设备国产化建设需求,全面阐释自主可控的概念,系统分析国家层面的自主可控基础软硬件产品发展现状,以及测控设备目前软硬件应用现状。分别针对国产和外购2款核心FPGA(Field-Programmable Gate Array,现场可编程门阵列)、DSP(Digital Signal Processing,数字信号处理)元器件,进行性能比对和应用分析,说明目前测控设备应用存在的问题和潜在的风险隐患,提出宏观层面的自主可控产业链发展建议,探讨测控设备自主可控建设发展思路。简单综述目前自主可控建设发展的几个成功案例。分析结果表明:目前测控设备自主可控已经具备了一定的软硬件国产化发展基础,其国产化建设势在必行。     

关于我国月面巡视探测器地面遥操作系统建设的启示

介绍了巡视探测器遥操作的基本概念和功能，详细讨论了前苏联Lunakodl月球车和JPL火星漫游者任务中遥操作系统的工作流程和系统构成，提出了我国月面巡视探测器地面遥操作系统的构想，以期为我国月球探测遥操作系统的建设提供借鉴。     

JC-42型行李传送车电气系统的技术改造

介绍了机场常用JC-42型行李传送车在使用中遇到的问题。为提高工作效率，对其电气操作系统进行技术改造，加装电控油门，满足在航班高峰期装卸货物的要求。     

民航二期气象数据库主机维护经验总结

民航事业的飞速发展对民航气象数据库的功能提出了更高的要求,要求具有更大的容量,更快速的存储、转发速度和更高的安全可靠性,为此,民航二期气象数据库系统的数据库主机和通信主机均采用了IBM公司的P650服务器和AIX操作系统,并在AIX操作系统上安装了目前功能最强大的Oracle数据库。