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

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

俄专家提出登火星须闯七道心理和生理关

正在筹划中的载人火星登陆将使宇航员经历复杂且特殊的考验。俄罗斯医学生物学课题研究所的专家波塔波夫日前在俄《科学信息》杂志上撰文说，宇航员若想顺利往返火星和地球须在心理和生理方面过七道关。     

美要把空间站补给工作交给私企

美国航宇局（NASA）8月18日选定两家公司参与“商业轨道运输服务”（COTS）计划第一阶段的工作．从而向把国际空间站补给工作交给私营部门迈出了一步。该局希望能用商用火箭为空间站运送人员和货物．以便自己能专注于重返月球和最终的载人火星探测项目。该局主管月球和火星探测工作的官员霍罗威茨说，该局的目标是在航天飞机退役后由商业航天公司为空间站提供支持。他说：“若商业部门能安全、可靠而经济地完成这项工作，那么采购这种服务是再好不过的。”中选的两家公司是空间探索技术公司和火箭飞机-基斯特勒公司。     

高级靶场测量飞机

本文描述了高短靶场测量飞机(ARIA)及其目前和未来在全球范围内保障试验和鉴定活动的计划。     

民航通信导航监视的危机管理

一、危机概念美国学者罗森豪尔特认为,危机是指“对一个社会系统的基本价值和行为准则架构产生严重威胁,并且在时间压力和不确定性极高的情况下必须对其作出关键决策的事件。”也就是指危机状态威胁到了现存的秩序。对于民航通信导航监视来说,危机是指对民航通信导航监视的保障     

英“狂风”完成控制4架无人机的模拟试飞

L-3通信系统公司的子公司韦斯康姆（WESCAM）公司已被阿古斯塔·韦斯特兰公司选中，将为英国的“未来山猫”项目提供56台MX-15Di“光电激光指示器”转塔系统。这些系统的交付时间将从2009年底开始，持续到2014年。     

2001年我国卫星应用进展

从遥感，气象，防灾减灾，导航定位，通信各领域概要回顾了2001年中国卫星应用取得的进展。     

中巴地球资源卫星测控分系统简介

本文介绍了中巴地球资源卫星超短波测控分系统和S波段测控分系统的功能、组成以及工作模式,并总结了在轨飞行的经验和教训。     

分布式计算机测控系统及其应用

讨论分布式计算机系统及其在测控领域中应用.着重研究了分布式计算机测控系统的结构特点及其通信技术的实现原理,并探讨了此类系统今后的主要发展方向.