基于ARM处理器的空间可靠性软件架构设计与实现

将高性能的工业级ARM处理器应用于复杂空间环境时,由于器件本身没有抗辐照指标,因此可能会出现空间高能粒子触发指令或者数据比特异常的情况.如果指令或数据出错位置位于Bootloader加载区,软件将会无法正常加载,造成系统功能异常甚至崩溃.提出一种提升处理器空间可靠性的软件设计架构.通过对ARM处理器及主要功能模块的分析...     

稳定分层湍流的PIV实验研究

在自行建立分层湍流实验装置的基础上,进行了一系列分层湍流的实验研究,运用激光诱导荧光(LIF)流动显示技术和PIV流场测量技术,定性研究了剪切和分层对湍流混合和湍流结构的影响.实验结果发现:剪切促进湍流混合,稳定分层抑制湍流混合,而且分层使得混合层内的湍流结构变得扁平和细长,同时还发现了混合层内涡旋的拉伸、合并、扭曲和变形等复杂的流动现象,特别是发现了其中的旋转涡对和反旋转涡对以及对湍流输运起重要作用的手指状结构.     

异常传播网络静态建模方法及特性分析

异常传播现象已经成为软件开发者在异常处理过程中必须要考虑的主要问题之一.以往研究者更多关注于异常传播路径以及异常抛出的根源,而忽略异常传播结构的网络化特征.通过定义异常传播过程中方法之间的异常传递关系对异常传播结构进行网络化建模,提出了异常传播网络模型.通过对5个开源软件包的异常传播网络进行度分布、传播异常类型层次分布、聚集系数和平均最短路径等网络特征的分析发现:异常传播网络的出度和入度基本服从幂律分布;异常传播过程几乎都与"不要传播抽象异常"原则相违背;由于异常传播过程的"弱边界性",异常传播网络并没有传统软件的高内聚特征.上述分析成果可以为软件开发者在设计异常处理过程时提供指导和建议.