实践十号返回卫星时间同步系统设计与验证

根据返回式卫星的特点,卫星在轨飞行包括两个阶段的时间同步工作模式:1)“返回舱和仪器舱在轨段组合体”时间模式;2)两舱分离后,“仪器舱留轨段”时间模式;因此,如何设计返回式卫星的时间系统,并进行优化使其在不同阶段完成不同任务,是返回式卫星时间系统设计的关键点;返回式卫星时间包括时间产生、时间维护、时间发布及时间传输;返回式卫星时间系统设计就是为了满足时间用户对时间同步精度的需求,通过特定方法和必要手段对星上时间产生、维护和发布机制进行相应的系统设计;针对实践十号返回式科学实验卫星时间同步需求、时间管理模型、时间系统架构以及时间系统的设计进行了说明,并对卫星在整星电测以及在轨运行的验证情况进行说明。     

间接同步连续采样模式双基地ISAR时间同步仿真

研究了间接同步连续采样模式下双基地ISAR的时间同步问题.首先分析了双基地ISAR时间系统的特点,建立了间接同步连续采样模式双基地ISAR的时间模型,将其表示为由快时间、慢时间、时间同步误差描述的时间结构.基于该模型,分析了连续采样对双基地ISAR成像的影响,研究了时钟非理想因素对回波相位及成像的影响,并进行了仿真.仿...     

大规模定制环境下基于模块化的产品制造时间制定研究

针对大规模定制环境下产品制造时间受定制因素影响而无法准确获得的问题, 对定制产品制造时间的制定进行了探索研究。基于模块化思想将产品制造时间按层级划分为特征时间模块（物理时间模块、逻辑时间模块）和子特征时间模块（作业时间模块、定制时间模块）, 采用基于案例推理技术确定作业时间模块定额, 分析定制因素对制造时间的影响机理并构建定制时间模块定额模型, 通过对特征时间模块的集成研究得到产品制造时间的数学模型。最后, 以某公司G变压器的制造为例验证了该模块化制造时间制定思路和方法的正确性。     

多时间序列k′/k-支配Skyline查询处理

时间序列是各个领域中大量存在的一类数据,有着极广泛的应用.多时间序列是其中常见的一种数据类型,它从多个角度以单时间序列的形式去描述同一个对象.目前关于时间序列的研究主要集中于单时间序列,而多时间序列的研究工作则相对较少,如多时间序列的查询处理等,但是在实际生活中多时间序列的查询却有着非常广泛的应用.首先定义了多时间序列的支配关系,然后在此基础上给出多时间序列k′/k-支配Skyline查询的定义,并提出了GMS和GMI两种查询算法,对算法的正确性和复杂性也进行了证明和分析.合成数据和真实数据上的大量实验表明,两种算法都可以得到较好的查询结果,而GMI算法的查询效率较GMS算法有很大程度地提升.     

基于硬件时间戳的时间比较系统

为了满足不同情况下时钟同步对于时间比较的需求,研制了一套基于硬件时间戳的时间比较系统,对该系统的工作原理和设计方法进行了分析和研究,并在实际应用中测量统计了该系统的比较精度。结果表明:该系统可以实现时间比较并达到数十纳秒级的比较精度。基于硬件时间戳的比较技术可以广泛应用于对时检测和时间同步平滑调整,帮助提高时间同步的精度和平滑度。     

实时微处理器体系结构综述

实时应用已经成为嵌入式应用中一类快速崛起的典型应用。作为实时系统的核心部件,实时微处理器体系结构是微处理器领域的一个重要研究方向。与通用处理器追求最大吞吐量不同,实时处理器要求具有紧凑且可计算的最坏执行时间。传统的实时处理器往往采用较为简单的处理器结构,避免复杂结构引入执行时间的不确定性。随着实时应用对处理器性能需求越来越高,实时处理器正逐渐向多线程与多核结构发展。在多线程与多核处理器中,共享资源竞争导致实时系统的确定性变差,对实时处理器体系结构带来了更大挑战。对实时微处理器体系结构进行综述,首先从指令集、微体系结构、存储、I/O、任务调度等多个方面对传统实时处理器进行分析;然后分别对采用多线程与多核结构的高性能实时处理器展开分析;最后对几种商用实时处理器结构进行比较,总结实时处理器发展现状与未来发展趋势。     

实时软件设计方法的发展趋势

介绍实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证,讨论实时程序设计的基本特点和与一般程序设计的不同之处,程序层次的实时性包括静态的时间限制表达和动态的时间限制维护,程序规范层次的实时性包括建立规范说明模型和形式化证明.     

分布式系统的时间同步容错机制研究

网络化计算和分布式应用,对计算机系统的时间同步精度要求越来越高,高精密时间同步是分布式控制系统一切应用的基础。分布式系统必须建立统一的时间服务系统或时间服务器,以实现系统的时间统一。从时间同步着手,分析了时间同步技术——网络时间协议（NTP）和直接连接时间技术,研究了分布式系统时间同步技术及时间同步容错策略,给出了误差估算方法,并将滑动窗口演算法应用于时间同步容错策略,提出并得到时间校正值的算法,并对同步结果进行了分析。     

Multiple time scale decomposition of discrete time Markov chains

The multiple time scale decomposition of discrete time, finite state Markov chains is addressed. In [1, 2], the behavior of a continuous time Markov chain is approximated using a fast time scale, ε-independent, continuous time process, and a reduced order perturbed process. The procedure can then be iterated to obtain a complete multiple time scale decomposition. In the discrete time case presented in this paper, the basic approximation has a ‘hybrid’ form. In this form, the fast time scale behavior is approximated using an ε-independent, discrete time Markov chain, and the slow behavior is captured by a perturbed, continuous time process. Further time scale decomposition then involves the continuous time procedure in [1, 2]. This extension to discrete time chains bridges previous multiple time scale decomposition results, which have dealt exclusively with either continuous time or discrete time processes, and provides a uniform framework for the analysis of both types of systems.     

Linux实时调度方案的设计与实现

作为一个分时系统，Linux的设计目标为提高吞吐率和平均响应时间，因此采取了基于时间片的调度策略，显然这种机制无法保证实时任务得到及时响应和调度．为了改进Linux操作系统的实时性能，探讨了基于Linux的实时操作系统RFRTOS中的实时调度机制．实验验证，所做改进有效地提高了Linux的调度精度，满足了软实时方面的需求．     

柔性系统的最小时间鲁棒时滞滤波器设计

本文提出了一种最小时间鲁棒时滞滤波器控制,来提高柔性系统的时间最优控制的 鲁棒性．这种最小时间鲁棒时滞滤波器控制方法与其扩展系统传统的时间最优控制是一致的 ,这种等价性提供了验证最小时间鲁棒时滞滤波器最优性的理论方法,即所求得的解是否满 足Pontryagin 最小值原理．仿真结果进一步表明了这种最小时间鲁棒时滞滤波器的优越性 ．     

北斗导航时间同步系统在智能电网建设中的应用

鉴于传统单向授时时钟系统难以避免的时间固有误差和累计误差,无法满足智能电网对全网时间同步更高精度的要求,结合山西电网实际情况,提出基于北斗卫星导航系统的电网时间同步系统建设方案,并在智能变电站建设中得到具体应用,各项功能满足设计要求,可实现对全省发电、输电、配电网络的时间同步系统组网和集中监测维护,为电力系统提供安全、可靠的统一时间基准。     

实时操作系统中的时间车轮算法

操作系统中时间车轮算法被广泛应用,不过其最大调度时间有限,分层时间车轮算法也存在着算法复杂的不足,在二者基础上提出了对时间车轮的改进方法。该算法不但消除了时间车轮计时时限的缺点,而且比分层时间车轮在算法上简单很多,很适用于程序存储空间紧张的嵌入式实时系统。     

工作流管理系统中一种概率性分析和调整时间约束的方法

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描述时间约束下的工作流流程.基于该网提出一种方法,以随机的形式分析活动满足时间约束的概率.该概率能帮助流程管理者灵活地分析时间约束的可行性,进一步为时间约束调整提供精确的指导.此外,用一个实际工作流管理系统中的例子验证工作的有效性.     

高速飞行器低空级间分离时统方案研究

飞行器与助推火箭在低空、高速环境下同时执行整流罩抛罩与级间分离时,高动压造成干扰流场建立时间短、气动干扰力大、飞行器姿态角变化迅速,导致飞行器与火箭分离后维持姿态稳定可控的时间窗口仅有数十毫秒,火箭在级间分离时刻需要向飞行器发送高精度时统指令,以保证飞行器在可控的时间窗口内起控;基于异步RS-422通信时统指令与分离连接器短路环时统指令,设计了冗余的高精度级间分离时统方案,并在422时统指令中加入纠错标志以解决通信误码或丢帧引起的时统误差问题,相较常规的行程开关或短路环时统装置具有更高的时统精度、更强的容错能力与可测试性;通过地面试验与飞行试验,验证了时统方案满足时统精度要求。     

基于可拓变换与时间模块的产品族加工时间快速确定方法

为提高定制企业工时定额制定的效率以满足顾客对产品交货期的需求,提出一种新的工时定额计算方法。该方法以产品族的结构组成为基础,将产品族加工时间分为静态工时、柔性工时、特有工时三大工时模块,提出了时间模块的概念,并运用可拓变换的思想对柔性工时模块进行了可拓学描述,运用工艺聚类分析实现了各工时模块时间的计算。通过对制造对象物元的三级匹配搜索和事元的匹配搜索提取相似的制造对象,以实现加工时间的快速重用。最后通过实例验证了方法的可行性和有效性。     

多禁止时间窗约束的路径恢复问题研究

突发灾难的应急物资的配送有时受多禁止时间约束，为此，针对多禁止时间窗约束的应急物资运输路径优化问题，考虑多禁止时间窗的约束，建立了以总配送时间最小为目标、多禁止时间窗约束的应急物资运输路径优化模型。鉴于该模型为混合整数规划模型，采用GUROBI求解，并与建立的对应的多时间窗约束的路径优化模型对比。最后通过算例分析验证了该模型的高效性和算法的有效性。结果表明，多禁止时间窗约束的应急物资运输路径优化模型求解效率更高；此外评估救灾点对配送时间的影响以及分析多禁止时间窗对应急物资配送规划的影响，结果表明部分救灾点显著影响总配送时间，禁止时间窗的开始时间以及宽度影响总配送路线、时间以及到达各救灾点的时间，因此考虑时间约束特点可为应急物资运输决策提供实用价值。     

RT—Mach：基于Mach的实时微内核

ＲＴ－Ｍａｃｈ是ＣＭＵ在原标准Ｍａｃｈ微内核之上开发的实时微内核，它的目标是提供一个公用的实时计算环境。与Ｍａｃｈ相比，ＲＴ－Ｍａｃｈ增加了实时线程模型、实时同步、实时调度、实时时钟和计时器，以及实时ＩＰＣ等新特点，本文将介绍ＲＴ－Ｍａｃｈ的这些新特点。     

基于NTP的交通控制系统时钟同步技术研究

在城市区域交通控制系统中,引入时间服务器、时间中介节点和外部时间基准GPS,设计一种基于网络时间协议(NTP)的系统时钟同步算法.该方法采用主动对时机制,消除了网络竞争机制对系统对时精度的影响,避免了网络"冲突"造成的交通信息传输延时,可方便经济地为交通控制系统各设备提供精确的时间,实现系统时钟的统一.     

一种基于广义表的HLA乐观时间推进算法

针对保守时间推进机制缺乏灵活性、仿真时间长等问题,研究高层体系结构中的时间管理服务,通过分析和比较,证明乐观时间推进算法可以弥补保守时间推进机制的不足。引入广义表存储结构,实现乐观时间推进机制中的存储和回退等关键技术。测试结果表明,该算法可以减少系统的仿真时间,提高系统的实时性。