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

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

航天技术怎样影响国民经济

航天技术是一门综合性工程技术。各航天国家对航天的投资都在其国民经济总产值的3％以下,但目前在轨道上工作的300颗卫星,其产生的经济效益可占全世界国民总产值的2％。航天技术几乎可以渗透到国民经济的一切领域,催化其更新,促进其发展,为其所利用。航天技术可以带动基础技术,支撑高新技术,促进国民经济发展,它的经济效益特点是“投资在政府,收益在社会”。正因为如此,航天技术一直在发展壮大,方兴未艾。     

印度设想建立印度版GPS系统

印度空问研究组织(ISRO)表示，印度正在考虑研发建立印度版的GPS卫星导航系统，其基本设想是，建立由8颗卫星组成的印度区域性导航卫星系统。该项目处于计划筹备阶段，尚需政府的正式批准。     

升息压力依旧，全球股市冲高回落

流通市值代码公司2006051020060610涨跌幅(流亿通股股)本(亿元)股20收05益年(元每)市盈率注“:*”业绩为2005年度业绩。收盘指数2006051020060610涨跌幅000089.SZ G深圳机场4.384.9312.56.470.990.2515(除权)19.60000099.SZ G中信海直5.874.75-19.08%5.13624.400.177426.786     

印考虑进行载入航天

印度空间研究组织（ISRO）10月17日向辛格总理表达了用本国飞船和火箭在安得拉邦的斯里哈里科塔将印度航天员送入太空的意愿。ISRO主席奈尔（也是航天委员会主席）以幻灯形式简要介绍了印进行载入航天的可能性。消息灵通的ISRO科学家说：“总理未表达任何反对意见。但会上并未做出做或不做的决定。我们还需向航天委员会或科学界进行介绍。事情将在3到6个月内确定下来。”总理办公室次日发布新闻称“总理10月17日审议了印度航天和原子能计划。航天委员会主席和原子能委员会主席做了详细报告。…对航天部开展载入航天计划的可能性也进行了讨论。”     

经济信息

四川发现特大型整装海相气田中国石化近日宣布,已经在川东北地区发现了迄今为止国内规模最大、丰度最高的特大型整装海相气田——普光气田。据国土资源部矿产资源储量评审办公室审定,于2005年     

论风险投资在中国本土化中的嬗变

风险投资对我国而言是舶来品，也存在一个本土化问题，并且在本土化过程中出现了嬗变。本文在分析风险投资业在我国嬗变表现基础上，从多方面探讨了原因，最后提出了解决方案，认为我国风险投资业的发展完善是一个法律、经济和社会心理综合作用的过程。     

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

流通市值代码公司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