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

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

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

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

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

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

咒

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

推进航空制造业信息标准化建设

我国制造业信息化是《国家中长期科学和技术发展纲要(2006-2020年)》确定的重点发展方向,是提升我国自主创新能力、实现产业结构转型升级和跨越式发展的重要技术支撑,是落实"以信息化带动工业化"战略的重大举措.     

分离螺母的关键设计参数分析

分离螺母是一种火工连接分离装置，用于卫星和火箭的分离机构。本文介绍了分离螺母的作用原理，对燃气压力，支撑角，螺纹角和载荷的关系进行了分析，在螺栓载荷和设计约束条件一定的情况下，改变分离的支撑角可引起轴向和径向载荷的变化，从而影响分离螺母的分离能力，为保证分离螺母正常工作并有合适的裕度，应合理设计支撑的大小。     

探访藏戏拉姆部落

藏戏在藏语中称“拉姆”，意即“仙女”。通过上千年的发展，藏戏表演形式极富民族特色，剧种流派众多，音乐唱腔韵味隽永，面具服饰五彩缤纷。同时，由于藏戏唱腔中至今仍保留了大量的古藏语，藏戏因而被誉为藏化的“活化石”。     

一种两自由度全机模型阵风试验支撑装置研制

全机模型风洞阵风试验不仅要求模拟飞机弹性模态,还要求模拟飞机刚体运动模态。国内现有的气弹试验钢索悬挂支撑方式和侧壁支撑方式不能满足全机模型阵风试验支撑需求。为此,在中国空气动力研究与发展中心低速空气动力研究所8 m×6 m风洞中研制了一套两自由度支撑装置。该装置可提供模型沉浮和俯仰方向较大的运动自由度,以模拟飞机刚体运动模态。装置主体采用"双滑轨+钢梁"结构形式,支撑结构左右对称;沉浮运动范围达到2.8 m,沉浮运动摩擦系数达到0.006;俯仰运动范围达到±10°;安装50 kg模型后,支撑频率不低于12 Hz;对风洞试验段的结构改动可以忽略。通过结构和材料优化措施,使得滑动小车质量控制在6 kg以内。利用该装置成功完成了一期全机模型两自由度阵风载荷减缓试验,验证了该装置的实用效果。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。