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

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

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

高级靶场测量飞机

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

加息周期难结束，主要股指冲高回落

流通市值代码公司2006011020060210涨跌幅(流亿通股股)本(亿元)股20收04益年(元每)市盈率000089.SZ G深圳机场6.756.61-2.07?2.880.32320.46000099.SZ G中信海直3.323.7512.95%5.13619.260.16223.15600004.SH G白云机场6.916.7-3.0467.000.28423.59600009.SH上海机场15.91     

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

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

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

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

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

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

2001年我国卫星应用进展

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