萨里公司规划微小卫星灾害监视网

英国萨里卫星技术有限公司在小卫星设计方面处于世界领先位置。目前该公司正在最终敲定其基于微小卫星的全球灾害预警网络计划。这个网络称为灾害监视星座（ＤＭＣ），其中很可能将包括属于中国的一颗卫星。这些卫星将运行在离地６８６公里的轨道上，提供每景图像的费用只有５美元。该星座的建成有望对低成本、高分辨率小卫星成像系统的发展起到推动作用。 为了保证能频繁重访同一地区和快速得到与灾害有关的数据，以便对灾害做出快速反应，灾害预报和减灾卫星系统需要由多颗卫星组成网络。使用传统的大型卫星组网，其成本将非常之高，因而…     

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

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

欧空局第2个深空测控站投入运行

欧空局（ESA）开始使用计划布设的3个地面站中的第2个，这3个站是作为与未来科学卫星进行通信的深空网的一部分。     

中小型企业网络系统设计中的关键技术

网络技术的高速发展，使得中小型企业网络系统的设计中一方面面临着许多选择，是传统的以太网技术、千兆以太网，还是革命性的ATM技术；另一方面，又要考虑用户对网络技术及信息资源的依赖性越来越大。这些因素使得在网络建设中，要考虑更多的方面，如技术问题、经济问题、整个网络的安全性、可靠性等众多问题。针对企业的应用需求出发，应进行合理选择，构造合适的网络系统。     

外来语与汉语引进外来语的方式探讨

外来语的发展趋势呈现出新词趋同化、信息集约化和词汇新潮化的特点。外来语大量流入汉语是一种潮流,引进外来语的方式各有优势,字母词的出现被认为是音译外来语的突破。在积极探索外来语引进的同时,应注意汉语发展的规范化。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

双向比对远距离时间同步技术

双向时间比对是实现远距离时间同步的一个重要途径，在卫星的时频系统中获得了广泛的应用，本文详细描述了其原理和关键技术，在精度分析的基础上，归纳了其典型特点。