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

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

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

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

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

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

欧空局长期载人航天生命保障技术研究进展

欧空局长期载人航天生命保障技术研究进展郭双生，侯继东长时间、远距离和多乘员的载人空间飞行和出舱活动是２１世纪航天事业发展的必然趋势。对此，美、俄、欧、日等主要航天大国和组织均纷纷提出了自己的宏伟计划。其中关键问题之一是如何顺利实现生保消费品的持续供应...     

咒

在某些宗教和传统文化中，咒语恐怕是最难说清楚的一种神秘现象了。它不但在东方有，在西方和各民族中都有。从某种意义上讲，咒语实际上是语言中的一个组成部分，而语言作为一种物质形式同自然界的其他声音一样也具有物理性——一切声音都是由物体振动而产生的一种能量转换。     

飞机飞行保障系统的展望

飞机飞行保障系统的发展直接影响着未来飞机的作战能力和性能水平。文章叙述了保障系统中的飞机环控、机轮刹车、燃油、液压和公共管理系统的现代水平和发展趋势。     

美国长期载人航天生命保障技术研究进展

美国长期载人航天生命保障技术研究进展郭双生美国是世界上第二号航天大国，继前苏联载人空间飞行之后，它第一个把人送上了月球，使人类这一千年梦想瞬息之间成为活生生的现实。与前苏联一样，他们也认识到长期载人航天是未来航天事业发展的必然趋势，而至关重要的是应建...     

死亡是生命的必然归宿

本文根据物质系统演化的规律，平衡原理及熵理论，阐述了死亡是生命系统演化的必然归宿。