基于分区操作系统的实时监控工具的研究与实现

当前基于ARINC653的综合化航空电子系统的应用日益广泛,基于分区操作系统应用开发的方便性和灵活性已经成为航空电子系统需要解决的重要问题。详细阐述了基于分区操作系统的目标机监视的原理,并给出了一种可行的目标机运行监视工具AcoreScope的设计和实现方案。应用表明工具极大地改善和提高了航空电子系统的应用开发能力,为通信故障诊断和分析提供了依据。     

Socket通信在分区操作系统下的应用设计

随着航空电子系统综合化的发展，Socket通信在在分区操作系统下的应用已成为航电系统新的应用需求。介绍了分区操作系统Socket通信的体系结构以及设计过程。论述了端口应用层、虚端口管理层和Socket管理层的工作原理以及Socket数据在分区操作系统下的处理过程。所开发的系统运行平稳。     

操作系统ARINC653标准符合性验证方法的研究

ARINC653标准是一种国际流行的多分区操作系统的接口标准，是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准，以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C／S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法，方法不需要对操作系统源码进行修改，并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。     

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

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

嵌入式实时多分区操作系统两态访问的研究

为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。     

航空电子系统分区间通信监控技术的研究和实现

当今基于ARINC653的综合化航空电子系统的应用日益广泛,分区作为ARINC653提出的任务调度和资源共享的核心概念,其相互间通信的可靠性和安全性成为航空电子系统要解决的重要问题.详细阐述了分区间通信监视的原理,并给出了一种可行的分区间通信监视器设计和实现方案.应用表明分区间通信监视器极大地改善和提高了航空电子系统的通信监控能力,为通信故障诊断和分析提供了依据.     

GKES概要设计通过评审

G K E S 是航空电子系统通用核心执行钦件的简称。航空电子系统是一个分布式系统,各子系统的处理机配置和应用要求各不相同,它们必须要有适应不同处理机配置和应用要求的单机操作系统和实现子系统间分布通讯的软件支持。G K E S 作为基础软件,它为航空电子系统中的所有应用提供了统一的运行环境,可以用统一的接口调用操作系统功能并支持分布通讯。631所 G K E S 任务组的同志们半年多来,在听取总体单位要求和     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

嵌入式可裁剪实时多任务操作系统GKES

GKES这一研究项目开始于90年末,它是××航空电子系统各子系统通用的嵌入式可裁剪实时多任务操作系统。这种操作系统在我国是第一次研制,它借鉴了国外80年代的先进经验,采用了配置技术,从系统设计的角度为保证操作系统的实时性和空间紧凑性提供了有利的条件。GKES在实现上充分使用了80286保护模式。用保护挺式设计操作系统,可有效地防止用户程序意外破坏操作系统,防止进程之间相互干扰。     

软件可靠性及其评估

软件可靠性性工程是一门与软件工程密切相关的可靠性工程新的分支学科。随着嵌入式计算机在战术导弹武器系统中的应用，人们已愈来愈重视软件可靠问题。本文在分析了软件可靠性特征和可靠性模型的基础上，通过实例介绍了软件可靠性测试软件可靠性评估的一些方法。     

方波幅度的测量不确定度

介绍了用众数法评价方波幅度时的不确定度分析和评价过程；讨论了主要的不确定度来源，包括众数判别区间的影响、波形测量系统幅度测量误差的影响等等；给出了减小不确定度的主要措施，并结合一个实例，给出了方波幅度的不确定度评价结果。     

电磁辐射干扰试验的测量不确定度评定

详细地分析了利用吉赫兹横电磁波室进行小体积受试设备(EUT)电磁场抗扰度测试的不确定度。     

秒表检定的测量不确定度评定

介绍了用标准时间间隔发生器检定秒表时，测量结果不确定度分析和评定过程；讨论了测量不确定度的几个主要来源；通过一组实例，给出了秒表检定不确定度的分析和评定结果，该过程和结论可应用在对于计量标准进行相应指标的不确定度分析上，也可用于估计秒表检定本身的不确定度。     

高校图书馆期刊管理服务创新举措

高校图书馆期刊管理工作需立足本校实际情况,提高期刊信息服务意识及采购质量,建立合理的馆藏期刊结构,创新期刊管理服务措施,拓展期刊服务内涵。高效发挥期刊信息的作用,提高期刊资源利用率,更好地为读者服务。     

逻辑分析仪部分参数测量结果的不确定度评定

介绍了逻辑分析仪部分参数测量结果的不确定度分析评定方法，评定过程及结论，可应用在对于计量标准进行相应指标的不确定度评定分析上。     

非线性方程迭代算法收敛性分析

从几何上分析了迭代格式xn+ 1=φ(xn)所产生的序列收敛于方程根的收敛条件 ,导出了不依赖函数可导性判断迭代序列收敛的收敛定理 ,给出了产生收敛的迭代序列的技巧。     

数显测高仪示值误差的测量不确定度评定

针对数显测高仪各校准点示值误差的校准方法,给出了示值误差的数学模型,并以某校准点为例,对该校准点示值误差的合成标准不确定度和扩展不确定度进行了评定.     

高校廉洁文化教育的载体构建

作为构建反腐倡廉体系的基础性工作之一,高校廉洁文化教育是从源头上防治腐败的根本之策,关系到整个社会廉洁文化的建设。从打造廉洁文化教育教师主体团队,发挥党团组织的战斗堡垒作用,弘扬廉洁校园文化节、占据网络文化教育阵地等方面,对高校廉洁文化教育载体进行研究,旨在为高校廉洁文化教育提供些许参考意见。     

砝码替代称量法测量结果的不确定度评定

按照砝码检定规程中的替代称量法，对砝码进行测量，并根据不确定度评定方法，对砝码测量结果进行不确定度评定。     

硼粉燃烧热值测试不确定度分析

基于硼粉点火和燃烧特性,介绍了硼粉燃烧热值测试原理和方法,分析了影响硼粉燃烧热值测试不确定度的因素,并对各不确定度分量进行了评定。结果表明,影响硼粉热值测试不确定度的主要因素有：系统热容量的不确定度和助燃剂热值的不确定度;在助燃剂保障硼粉完全燃烧的条件下,减小助燃剂热值的不确定度是提高硼粉热值测试准确度的关键因素。