Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

J2轨道模型对月地激光通信预瞄准精度影响研究

基于J_2轨道预测模型,设计了不同倾角和轨道高度圆轨道月球卫星,通过将J_2轨道预测模型预瞄准仿真结果与直接积分RKF7(8)法仿真结果相对比,研究了不同类型月球卫星轨道对-Y面卫星舱板激光通信终端瞄准精度的影响。仿真结果表明,J_2轨道预测模型可以满足月球极地卫星月地激光通信要求,当轨道高度为1 000 km和2 000 km的时候,10 min方位角偏差不超过40μrad,而俯仰角偏差仅为7μrad时,在一定程度上J2轨道预测模型可以满足月地激光通信预瞄准要求。     

低轨卫星缺失时序数据的模式识别方法

在航天应用中，低轨卫星经常会由于原始数据缺失而影响卫星时序数据模式识别结果，降低准确率。针对该问题提出了一种新型MR-GRU模型，可有效处理缺失时序数据，并获得较好的模式识别准确率。区别于传统模型的补全缺失数据的方法，MR-GRU模型直接在缺失时序数据上运用循环神经网络进行训练，对传统门控循环单元结构进行了改进，增加了两个新变量：掩蔽项和衰减项。掩蔽项作用于输入，衰减项作用于输入和隐层单元输出。MR-GRU模型不仅能够保持时序数据固有的时间特性，还能有效提高模式识别精度。在卫星时序数据上的模式识别试验表明，MR-GRU模型准确率优于传统模型。     

基于有限Fourier级数的航天器转移轨迹设计

针对航天器小推力转移轨迹的初始设计问题，利用基于三阶Fourier级数的设计方法实现了航天器小推力的多圈转移。同时，基于有限Fourier级数的形状法，对具有多个约束条件的小推力多圈转移轨迹进行了优化设计。选取了共面同轴同偏心率的初始和末端轨道位置，对所提出的方法进行了仿真验证。结果表明：与改进逆五阶多项式形状法相比，所提出的方法虽然增加了转移时间，但当转移圈数为5圈、有限Fourier级数的项数为10时，可减少将近75%的转移速度增量，同时大大减小了所需的最大推力加速度的值。     

Evaluation of SARAL/AltiKa performance using GNSS/IMU equipped buoy in Sajafi,Imam Hassan and Kangan Ports

Performance of SARAL/AltiKa mission has been evaluated within 2016 altimeter calibration/validation framework in Persian Gulf through three campaigns conducted in the offshore waters of Sajafi, Imam Hassan and Kangan Ports, while the altimeter overflew the passes 470, 111 and 25 on 13 Feb, 7 March and 17 June 2016, respectively. As the preparation, a lightweight buoy was equipped with a GNSS receiver/choke-ring antenna and a MEMS-based IMU to measure independent datasets in the field operations. To obtain accurate sea surface height (SSH) time series, the offset of the onboard antenna from the equilibrium sea level was predetermined through surveying operations as the buoy was deploying in the onshore waters of Kangan Port. Accordingly, the double-difference carrier phase observations have been processed via the Bernese GPS Software v. 5.0 so as to provide the GNSS-derived time series at the comparison points of the calibration campaigns, once the disturbing effects due to the platform tilt and heave have been eliminated. Owing to comparing of the SSH time series and the associating altimetry 1?Hz GDR-T datasets, the calibration/validation of the SARAL/AltiKa has been performed in the both cases of radiometer and ECMWF wet troposphere corrections so as to identify potential land contamination. An agreement of the present findings in comparison with those attained in other international calibrations sites confirms the promising feasibility of Persian Gulf as a new dedicated site for calibration/validation of ongoing and future altimetry missions.     

Event-triggered attitude control of spacecraft

The problem of spacecraft attitude stabilization control system with limited communication and external disturbances is investigated based on an event-triggered control scheme. In the proposed scheme, information of attitude and control torque only need to be transmitted at some discrete triggered times when a defined measurement error exceeds a state-dependent threshold. The proposed control scheme not only guarantees that spacecraft attitude control errors converge toward a small invariant set containing the origin, but also ensures that there is no accumulation of triggering instants. The performance of the proposed control scheme is demonstrated through numerical simulation.     

商务英语模糊语语境顺应性研究

商务英语是国际商务活动的重要语言载体。模糊语在商务英语中有着不可替代的语用功能。以商务活动中的内部沟通语境和对外沟通语境为视角,对在这两种语境下商务英语模糊语的应用规律进行分析研究,应用顺应性理论对其进行解释,阐明在实际应用中应遵循这些规律,做到＂内外有别＂。对准确使用商务英语,提高商务沟通效率以及促进商务英语的教学等方面都有重要的意义。     

燃气轮机多微机监控系统通讯协议的制订与实现

对舰用燃气轮机组的多微机实时控制系统提出了多微机实时控制通讯协议。该协议为面向字符的数据链路层协议,能实现全双工通讯。通讯全部采用中断方式,为保证各通信互不干扰可靠畅通进行,该协议对通信管理设计为四大模块：通信数据组织模块、通信启动发送模块、通信中断模块和通信Watchdog模块。以监测机为例,根据监测机在通信中的地位,将通讯分为监测机主动发送方式、主动接收方式、被动发送方式和被动接收方式,并对各种方式下的通信过程进行了详细的论述。     

求解具有多层试验数据成败型单元混联系统可靠性近似限的信息论方法

研究了求解具有多层成败型试验数据时,系统可靠性置信下限近似解的信息论方法,给出了各层试验数据综合的方法和步骤,推导了各层数据信息论方法折合及综合的计算公式。根据单元试验信息提供的信息量与系统折合试验应提供的信息量相等的原则,将多层试验数据逐级折合为系统的等效成败型数据,导出了等效成败型数据信息论方法折合的基本公式;结合可靠性工程的基本原理,根据单个成败型单元可靠性评定的经典精确置信限方法,给出了系统可靠性置信下限的近似解。并以实例形式说明了该方法的具体应用。     

一个DIS实时通讯网络的设计与实现

以一个ＤＩＳ（分布交互仿真）实时网络的设计和开发过程为背景,研究了ＤＩＳ实时网络开发中的几个问题。在进行实时ＤＩＳ网络规划时,采用了多点传送的通讯服务方式,保证每个仿真应用只发送变化的信息,只处理与自身相关的信息。指出了进行数据的实时传输格式定义时应注意的几个问题,这些数据定义必须支持多种不同的操作系统和平台。最后给出了开发ＤＩＳ实时通讯软件的方法,包括通讯协议和应用编程接口的选择。