他山之石 可以攻玉——国外卫星在轨操作系统发展分析

卫星在轨操作任务主要包括在轨燃料加注、在轨模块更换、在轨发射、在轨空间碎片清除等。值得指出的是,在轨操作可以针对己方航天器进行,也可以针对敌方航天器进行。能够通过在轨加注延长航天器寿命,也可以利用交会对接和空间机械手技术将敌方航天器拖离目标轨道,具有巨大的商业和军用潜力。     

浅析UNIX、LINUX、WindowsNT的存储管理

分析Unix、Linux和Windows NT几种操作系统中虚存管理的体系结构和运行机制,总结在目前主流操作系统虚存管理的实现中所采用的先进技术,如写时拷贝、映射文件、共享内存、懒惰算法、NUR算法等,并重点分析用户进程虚空间管理实现技术特点。     

IMA平台分区分析方法研究

依照综合模块化航空电子系统（Integrated modular avionics ,IMA）平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块（General processing module, GPM）、航空数据网络ARINC664交换机和远程数据集中器（Remote data concentrator, RDC）进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。     

VxWorks操作系统环境下一种周期任务管理方法

目前,实时嵌入式操作系统得到广泛应用.在以往机载嵌入式系统中,周期任务的管理几乎都是用户应用软件的一部分.在嵌入式操作系统中提供一种便利的机制,使得用户对周期任务的调度管理方便易行,是十分必要的.本文提出了一种机载计算机应用领域,VxWorks操作系统环境下周期任务管理的方法, 并给出了简单的C语言描述.     

基于TTE网络的分布式系统分区同步方法

先进分布式综合飞行器管理系统对通信网络的实时性和确定性有严格要求。研究了时间触发以太网(TTE)的同步服务、提出了在符合ARINC653标准的分区操作系统下,基于TTE网络的分布式系统分区同步方法,建立分区同步测试平台,并对分区同步精度进行测试分析。测试结果表明,基于TTE网络的分布式系统分区同步的精度和抖动均可达到μs级,可满足先进分布式综合飞行器管理系统的网络时间同步的要求。     

主动网络拓扑结构和操作系统伪装技术

详细介绍了一种新的基于欺骗的主动网络拓扑结构和操作系统伪装技术。通过linux系统内核驱动编程,拦截TCP/IP协议栈的数据包,根据操作系统的指纹库和网络伪装的策略改写报头信息,并跟踪会话信息,实现数据透明传输。通过大量伪装IP地址隐藏信息流向,保护重要主机;同时诱骗入侵者,及早发现入侵者。完成该伪装还需要伪装IP地址管理、动态地址分配和微路由技术的分工合作。     

嵌入式实时操作系统中的安全性考虑

在综合化航空电子系统中,嵌入式实时操作系统已被广泛采用,而操作系统保证应用软件的安全性,则是目前要解决的首要问题。对照国内外在高安全性、强实时系统上的先进技术和先进经验,本文着重讨论了嵌入式实时操作系统中解决数据安全性的几点考虑,主要集中介绍了软件的分层防御体系、分区管理和信息安全管理技术、分区间通讯的“虚通道”技术等,以确保综合化航电系统的信息及数据安全的机密性和完整性,达到主动防御的能力。     

DCS5在计算气动声学中的应用研究

对流项采用五阶线性耗散紧致格式(DCS5)离散,粘性项采用6阶中心紧致格式离散,时间项采用5级5阶龙格-库塔时间推进格式求解流体动力学方程组,并由此建立近声场的直接模拟方法。为了应用结构网格在复杂几何形状条件下对流场进行计算,发展了高精度的多块特征对接边界技术。完成了低速无粘振荡圆柱和粘性圆柱绕流等标准计算声学算例,获得了令人满意的结果。     

三维非结构混合网格区域分解及数据处理

讨论了三维非结构混合网格区域分解技术及子分区显示技术。在三维复杂外形的流场计算中,为了得到较高的计算效率及保证数值模拟的准确性,经常要采用混合网格及并行计算技术。本文针对三维非结构混合网格的自动分区及子网格的数据处理进行了细致的讨论,编写了相应的软件。对三维实际外形非结构混合网格的处理结果表明,本文发展的方法及软件系统具有通用性强、人为干涉参数少、自动化程度高等特点,可作为通用软件推广使用。     

浅谈计算机程序设计教学

程序设计是计算机的基础课程，怎么才能学好计算机程序设计是学生一直在问的一个问题；如何上好计算机程序设计课是老师们在教学实践中不断探索的问题。本文针对程序设计这门课程学生如何学习和教师怎样进行教学才能收到好的效果展开讨论。