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

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

基于锁存器路径的静态时序分析在第三方验证中的应用

随着可编程逻辑门阵列（FPGA）设计规模的扩大,静态时序分析可有效减轻时序仿真的负担,缩短项目周期。常见的静态时序分析(STA)多是基于触发器（FF_Based STA）,对触发器的STA算法研究已经比较成熟。但FPGA综合后网表可能会产生锁存器,而锁存器的STA与触发器的STA在算法上存在差异。为保证在FPGA产品第三方验证工作中对STA路径分析覆盖率达到100%,有必要对基于锁存器的时序分析（Latch_Based STA）做研究。阐述了锁存器“时间借入”与“时间借出”的概念。分析了“锁存器宽裕时间(slack time)”特性,绘制了其函数图。在某FPGA第三方验证项目中使用STA 工具Prime Time（一种计算机模型分析工具）,分别对由“时间借入”、“时间借出”而导致“时序松弛”和“时序收紧”两种情况做了计算和分析,对STA路径分析覆盖率达到了100%,满足了第三方验证要求。     

The Next Generation NATO Reference mobility model development

The NATO Reference Mobility Model (NRMM) is a simulation tool aimed at predicting the capability of a vehicle to move over specified terrain conditions. NRMM was developed and validated by the U.S. Army Tank Automotive Research, Development, and Engineering Center (TARDEC) and Engineer Research and Development Center (ERDC) in the 1960s and ‘70s, and has been revised and updated through the years, resulting in the most recent version, NRMM v2.8.2b. It was originally used to facilitate comparison between vehicle design candidates by assessing the mobility of existing vehicles under specific terrain scenarios, but has subsequently and most recently found expanded use in support of complex decision analyses associated with vehicle acquisition and operational planning support. This paper summarizes recent efforts initiated under a NATO Exploratory Team (ET) and its follow-on Research Task Group (RTG) to upgrade this key modeling and simulation tool and the planned path forward toward implementing the recommendations of that team.