CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

CBERS-1卫星IRMSS数据在城市绿地系统规划的应用

文章以CBERS -1卫星长沙幅IRMSS数据作为基础资料 ,利用PCI遥感图像处理软件对数据进行了预处理和应用实验。实验证明CBERS -1卫星的IRMSS数据图像信息丰富 ,可解译程度较高 ,能满足大中城市中等比例尺城市绿地系统规划遥感调查的要求     

一个串行口Javabean的研究与设计

本文描述了一个基于JavaBean组件标准的串行通信组件的实现原理、实现过程以及实现方法。它将被作为C／S系统的一个组，以实现某些工业控制场合中远程控制的要求。充分利用了Java语言的事件监听机制、串行性、持久性、自检以及JavaBean的定制等特性，并经由Java本地接口（JNI－Java Native Interface)调用硬件控制等底层操作，具体实现了一个串行通信组件必需的功能，如初始化、读写操作等。在所需要的.DLL的支持下，所有安装了Java虚拟机的Windows系统都可以使用这个.Jar文件。     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

一种无塔校准方法研究

在地面卫星测控系统中,目前使用较多的有塔校准技术具有一定的局限性,为了克服这种局限性,本文针对已有的卫星测控系统设备提出一种无塔校准方法,给出了具体无塔校相和无塔校零的实现方法.     

A Novel Onboard-gateway-based Mechanism to Improve TCP Performance in Aeronautical Satellite Networks

The IP-based networks on aircraft serve to support Internet services via satellites. However, in aeronautical satellite hybrid net- works,the TCP protocol performance often deteriorates due to improper decreases and slow recovery of the congestion window. This paper proposes a window size determination and notification mechanism, onboard-gateway-based mechanism (OGBM), which is based on the onboard gateway in the networks on aircraft. A cross-layer approach is adopted by the onboard gateway to obtain the satellite link bandwidth information. And then, by the gateway, through changing the receiver’s advertised window field in ACK packets, TCP sources are notified of the window size of each TCP source calculated on the ground of bandwidth delay product and flow numbers. The mechanism is able to avoid improper changes of TCP window and serve multiple users. Simulation results show that the mechanism with the fairness index close to 1 improves TCP performance in aeronautical satellite networks.     

区域极点及方差约束下的航天器拦截控制：静态输出反馈情形

本文提出并讨论了具有选通窗约束的航天器拦截控制问题，指出航天器拦截控制的稳暂态性能指标可表现为系统稳态状态方差及闭环区域极点的形式。然后，基于配置控制的思想，本文完整地给出了期望静态反馈控制器的存在条件及其解析表达式，并举例说明所提设计方法的直接性与有效性     

FY—1C卫星姿态控制系统

针对FY－1C卫星姿态控制系统，给出了系统方案、系统设计、系统特点和飞行试验的结果；对一些新的技术设计和新颖特殊的方案特点，从理论分析和技术实现给出了设计思路和工程实现的方法；分析了FY－1C卫星姿态控制系统在轨运行的结果；对长寿命、低成本和稳定连续运行的工程实现进行了研究；给出了FY－1C卫星姿态控制系统的水平能力和应用发展方向。     

CBERS-1卫星红外多光谱扫描仪扫描子系统

文章介绍了CBERS -1卫星红外多光谱扫描仪(IRMSS)关键部件扫描子系统研制与应用情况。     

气象卫星数字基带信号解码的两种方法

论述利用计算机对气象卫星数字基带信号解码的两种方法。方法一是在开环条件下对基带采样跟踪与智能判决。方法二是基于最优检测原理 ,在分相码 (Manchester码 )的解码中简化了正交积分锁相环 ,采用单积分器辅助计算机智能判断 ,对基带实现最优检测