网络计算环境下任务调度问题研究

利用网上空闲处理机组成机群并行计算环境是快速增长的研究领域,任务调度是其中最关键性的问题之一.在基于消息传递机制的网络并行计算环境下,针对一类大粒度计算任务并行时协同同步工作问题,发展了一种新的静态调度模型,提出了调度算法,它映射一类特殊的并行程序任务到由网络上若干空闲处理机组成的机群中.研究表明该算法能减少此类并行程序的完成时间.      

Switching and performance variations of on-orbit BDS satellite clocks

The information of the satellite clock switching and performance variations on-orbit of Chinese BeiDou-2 Navigation System (BDS) is not available for the public. In order to detect the BDS satellite clock switching and performances variation, we analyzed the precise clock offset products with a total duration of 5?years every BDS satellite equipped four atomic clocks from four different manufactures from January 2013 to October 2017. Three important contributions are concluded as follows. (1) It is found that the average time of on-orbit operation for BDS satellite clocks is about 1–2?years. There have been 22 times of clock switching for BDS satellites, of which the C05 and C08 satellites have been switched to the fourth (last) atomic clock. (2) There are frequent phase adjustments for BDS on-orbit satellite clocks, and the frequency series is relatively stable. Furthermore, there are semi-annual sinusoid cycles in the frequency drift series of C06 and C09 satellites. (3) The performances of MEO satellite clocks perform better than the IGSO and GEO satellite clocks. The average ten-thousand frequency stability of BDS satellite clocks is about 1E-13, which is worse than that of GPS and Galileo but better than that of GLONASS.     

云计算综述

论述了云计算的起源、概念、特点,与分布式计算和网格计算的区别;介绍了云计算厂商,及各厂商采用的数据存储、数据管理、编程模式、提供的服务种类云计算存在的问题,特别是云计算安全的风险种类及防护方法。提出了云计算需解决的问题。     

Hamilton圈问题的DNA算法

基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决H am ilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于采用了有控的部分穷举策略,因而既提高了解的可靠性,又抑制了大量伪解的产生。最后,讨论了算法的性能特点并指出进一步的研究方向。     

Inter-satellite links for satellite autonomous integrity monitoring

A new integrity monitoring mechanisms to be implemented on-board on a GNSS taking advantage of inter-satellite links has been introduced. This is based on accurate range and Doppler measurements not affected neither by atmospheric delays nor ground local degradation (multipath and interference). By a linear combination of the Inter-Satellite Links Observables, appropriate observables for both satellite orbits and clock monitoring are obtained and by the proposed algorithms it is possible to reduce the time-to-alarm and the probability of undetected satellite anomalies.     

机载信息系统的应用研究及发展趋势初探

介绍了机载信息系统的技术现状,在民机上的不同应用架构及各种架构所具有的特点。从市场定位、新老机型应用、技术融合程度、人机工效等方面对机载信息系统的应用进行了研究,并根据机载系统产品发展的一般规律,对未来机载信息系统的发展趋势进行了初步预测。     

Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

基于GPU加速的binLBT压缩解压算法

地形数据的压缩/解压是大规模地形实时绘制方法的关键步骤,与绘制效率密切相关.通过对压缩/解压方法核心重叠双正交变换的分析,采用重叠双正交变换的整数提升方法将变换中的浮点数操作转换为整数操作及移位操作.使用支持图形处理单元(GPU,Graphic Processing Unit)通用计算的CUDA(Compute Unified Device Architecture)对变换过程及编码过程进行加速.针对数据超出显存容量的情况,采取数据分块的方法将数据分别载入显存进行变换与编码以完成对整体数据的处理.实验结果表明,基于GPU加速的重叠双正交变换整数提升方法的压缩算法有效提高了地形数据处理的效率,并加快了大规模地形绘制速度.     

基于矩阵误差的流动自适应求解

为了构造一个网格沿流场特征方向进行分布,以保证整个流场的误差尽量均匀化的网格系统,本文对可压缩流动的自适应求解进行了研究.研究内容包括基于误差矩阵的流场特征探测方法和网格自适应方法.网格自适应方法包含网格移动、网格加密、网格稀疏以及这3种方法的混合.基于误差矩阵的流场探测方法能找到流场特征的主方向, 通过网格自适应使得网格按主方向进行分布,可以减少该区域的误差而得到高精度的解.以边为单位能使得该流场的误差尽可能均匀化.本文以捕捉激波为例,对该方法的过程及应用进行了描述,结果验证了该方法的可靠性.     

基于云计算的资源调度策略

基于云计算虚拟化技术,提出了一种租借理论和动态多级资源池相结合的资源调度策略,可以有效减少资源空闲时间,提高资源的利用率。根据策略设计了资源调度模型,并搭建实验环境对提出的资源调度策略进行了试验。实验证明该策略确实可以有效的提高资源的利用率。