基于U—CODE中间语言上的代码生成器

本文描述了一种编译程序的代码生成算法,它是为JOVIAL高级语言编译程序而设计的。其中间形式采用了STANFORD大学设计的U-code中间语言,本代码生成器就是以U-code语言为源语言,生成到多个目标机上。本文在分析了U-code特点之后,针对U-code的结构,和目标机汇编语言的功能,将代码生成工作分成了三遍,模拟/归约处理;代码派生和代码汇编。然后,在介始了归约算法、存贮分配算法、寄存器分配算法的基础上,对三遍处理的工作做了详细论述, 给出了程序设计结构。特别是在模拟/归约算法上,本文给予了详细描述,其算法的优劣,则直接影响着代码翻译的质量。总之,我们的目标是多种机型,该代码生成设计算法仅在变更少部分就可达到目的。     

三余度数字伺服控制系统结构设计与可靠性分析

介绍了三余度数字伺服控制系统的结构设计和余度配置对系统的可靠性进行了分析、预测，并通过空载故障模拟试验证实了三余度数字伺服控制器的软硬件功能及3个通道间的同步、余度表决均达到预期设计目的。与非冗余模拟伺服系统相比，此系统的任务可靠度有了显著提高。     

《电子测量与仪器》实验教学的研究和思考

本文对<电子测量与仪器>实验教学内容的设计和教学过程的实施进行了研究和思考,针对培养目标和对象有新要求、新特点的情况,提出了在实验内容设计上注意原理与应用、虚拟与实际、验证与综合相结合的指导思想,在实验教学过程中按学习与创新、课内与开放相结合的原则进行安排.以达到调动学生学习兴趣,满足个性发展需要,提升学生应用能力和创新意识的目的.     

时间分区的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区（Partition）的概念。分区是运行于一个处理机模块上的一个或多个应用程序（或子系统）,这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。     

一种面向分布式应用的调试代理

分布式应用由多个计算节点协作完成,在调试过程中使用传统调试器很难对各计算节点上的程序进行有效的控制,程序每次执行结果的不确定性也给调试带来了困难。针对以上问题,提出一种解决方法:使用分布式代理负责调试每个节点任务,多个分布式代理与调试服务器协作完成分布式应用的调试。在Linux平台上完成模型的建立,并使用C、C++控制台应用程序作为测试例程完成实验结果的验证。     

基于层次存储结构的权能查找机制

与传统系统相比,基于权能的系统可以在不完全信任程序的情况下安全地运行程序。从权能的概念入手,论述了权能的基本工作原理。针对现有顺序权能查找机制在查找效率方面的不足,设计出一种基于层次存储结构的权能查找机制,可提高安全系统的权能查找速度,进而提高整个系统的运行效率。     

《电子测量与仪器》实验教学的研究和思考

本文对<电子测量与仪器>实验教学内容的设计和教学过程的实施进行了研究和思考,针对培养目标和对象有新要求、新特点的情况,提出了在实验内容设计上注意原理与应用、虚拟与实际、验证与综合相结合的指导思想,在实验教学过程中按学习与创新、课内与开放相结合的原则进行安排.以达到调动学生学习兴趣,满足个性发展需要,提升学生应用能力和创新意识的目的.     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

一种基于实时性考虑的对称多处理机任务调度策略的设计

针对机载设备强实时性的特点,设计了一种对称多处理机任务调度策略.重点需要解决的问题是:就绪队列的设计和任务的分配.同时考虑多机带来的任务绑定,cache有效利用等问题.为了实现良好的系统性能,采取多种技巧提高系统的实时性,利用线程代替进程提高程序的并行度,运用代码的可重入性实现内核数据的完整性.