操作系统共享数据临界保护正确性测试方法

研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.      

基于云计算的航天操作系统中的任务分区#br# 与迁移关键技术研究#br#

云计算是一种按需提供资源的模式,虚拟化是云计算实现按需服务的基础.基于云计算的航天操作系统使得任务可以根据任务需求分配不同的物理资源,解决了航天器小型化趋势下如何充分利用物理资源的问题.本文通过虚拟化容器实现航天操作系统对分区的要求,设计了合理的任务调度和容器调度方案.通过仿真实验,验证了调度方案在满足航天操作系统对容错要求的同时,提高了航天器物理资源的利用率和负载均衡.     

实时多任务环境下MAP与BITBUS异构网络互连

ＭＡＰ的应用层提供了多种通信标准，其中ＭＭＳ（制造报文规范）是一种能够满足工厂环境中各种自动化设备之间通信需要的协议。在我国，ＢＩＴＢＵＳ网已被大量使用于底层设备互连，在技术和实现上都较成熟。本文以ＭＡＰ，ＢＩＴＢＵＵ网络体系结构和协议为基础，根据网络互连方法和原则，构造了一个应用层同关，提出了网关的物理模型，从而给出ＭＡＰ网与ＢＴＴＢＵＳ网互连的一种设计方案及在ＡＭＸ实时多任务环境下的互连实现。     

冲压发动机进气道掺混段与弹体内外流场一体化数值模拟

采用二阶迎风隐式TVD格式分区求解可压缩N-S方程,数值模拟了导弹、进气道和掺混段内外流一体化通气模型的复杂流场.本文给出了掺混段出口压力与来流压力比为P/P∞=3.5,4.2和4.9情况的数值模拟结果.并分析了流场特性及激波波系结构,总压恢复系数σ和流量系数ψ.同风洞试验结果进行比较,表明计算结果是合理的.文中还对该CFD分区计算内边界处理所采用的数据结构进行了阐述.     

一种基于任务分区的轨道转移飞行器轨迹重规划方法

针对轨道转移飞行器入轨任务中可能的异常状态,提出一种基于任务分区的在线轨迹重规划方法。将重规划问题描述为非线性系统最优控制问题,在地心惯性坐标系中建立飞行器的状态方程。考虑轨道倾角偏差与远地点高度偏差,设计任务分区并完成目标轨道决策。根据不同分区确定相应的性能指标与约束条件,以目标轨道为圆轨道的任务为例,构建凸优化问题并采用序列凸规划方法完成求解,使轨道转移飞行器出现飞行偏差时能够预测可达范围并重新规划任务飞行轨迹。仿真结果表明这种方法可以在飞行任务中快速实现不同条件的轨迹重规划设计,对异常状态实现一定程度的补救。     

一种新的分区重叠洞点搜索方法—感染免疫法

本文分析了分区重叠计算中洞点搜索的传统模式及春应用上的缺陷，针对凹形重叠区难以精确寻点的问题，提出了一种新的洞点搜索方法：感染免疫法。文中给出了二维和三维情况下的搜索算例作为验证，实际应用表明，方法无论是寻点能力还是在通用性方面都优越于传统模式。     

网格生成和数值模拟的讨论

讨论了多种网格生成方法及其数值模拟。给出一种生成多部件复杂外形飞行器分区网格和Ｅｕｌｅｒ方程分区解。讨论了前缘分离涡为主体的旋涡流场。作了跨声速流分区的并行计算的初步尝试。给出一种二维非结构网格的生成方法。     

计算流体力学中的网格生成方法及其应用

讨论了多种网格生成方法及其流场的数值模拟。给出了一种生成现代双立尾战斗机外形的分区对接网格和Ｅｕｌｅｒ方程分区解。给出了一种带副翼偏转的三维机翼分区网格及绕流的Ｅｕｌｅｒ方程解。以二维多段翼型为对象分别讨论了分区重叠结构网格方法、非结构网格方法和自适应的笛卡尔网格法。     

现代航空发动机分区燃烧策略分析

分区燃烧是现代航空发动机的基本燃烧策略,不管是采用横向的或纵向的分级燃烧技术,都是把降低NOx的排放作为燃烧室组织燃烧的重点,采用分区燃烧可减少起动、慢车、起飞和巡航等工况下的排放指标.