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

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

低极轨卫星搜救系统

文章主要介绍了全球海上遇险与安全系统(GMDSS),重点介绍低极轨卫星搜救系统组成、功能及其性能参数。     

单位矢量法测轨中未知量的选择

本文以有摄单位矢量法为例，对人造卫星单位矢量测轨法中条件方程及其未知量的选择进行了初步讨论。在实际应用时，根据具体情况进行适当选择，可提高测轨精度。     

中国农业经营方式：基于内涵和特征的重新分析

二十多年中国经济持续增长,深刻表明农业增长对工业化和一般经济增长的重要性.面对当前农村剩余劳动力转移给农业发展带来的挑战和机遇,转变农业经营方式是目前实现农业再次飞跃较现实的选择.以前仅有的一些研究都没有把农业经营方式和农业生产方式联系起来进行探讨,从而忽略了农业经营方式的丰富内涵.其实,农业生产方式的复杂性决定了农业经营方式具有农业经营技术条件、农业经营权力结构、农业经营组织形式三层含义的必然性,并且层次之间具有特定的逻辑关系并相互作用构成一个特征鲜明的完整系统,为农业经营方式创新提供了灵活而广阔的空间.     

浅议主次梁交叉部位负筋的合理排放

本文结合计算分析，得出在主次梁交叉部位负钢筋的合理排放位置，应为次梁负筋放在主梁负筋上面。     

俄扩充导航卫星系统

1994年8月11日，俄罗斯用质子号运载火箭将3颗全球导航卫星系统(Glonass)卫星送入倾角为64.8度的轨道。在此之前该系统已有13颗卫星运行在两个不同的轨道平面上，其中9颗仍在工作。     

"信使"启程探水星

经过多次发射推迟后，人类研制的第一颗水星轨道探测器“信使”终于在美国东部时间8月3日凌晨2时16分(北京时问14时16分)，由波音公司的德尔它2H-7925型运载火箭在卡纳维拉尔角空军站发射升空。升空57分钟后，探测器进入一条太阳轨道。入轨后，它自动展开了两块太阳能电池板，并开始向地面发送状态数据。按计划，探测器将于2011年3月进入环绕水星运行的轨道，对水星展开为期至少1年的科学探测。