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

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

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

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

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

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

末制导雷达通用检测系统中开关量测量电路的设计

介绍了基于EMP7128S逻辑控制器件并已成功的应用于某型末制导雷达通用检测系统的开关量测量电路的设计和工作原理.     

咒

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

探访藏戏拉姆部落

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

干式变压器数据采集与控制系统的设计

介绍了一种基于V/F变换的高精度干式变压器数据采集与控制系统 ,采用LM2 3 1A/F变换芯片和89C5 2单片机实现工业现场测量对象的A/D转换。V/F变换器具有高精度 ,高线形度 ,且外围电路简单的特点。采用单片机直接与V/F变换器连接进行A/D转换 ,不需要额外的硬件电路 ,充分利用硬件资源 ,精心设计软件 ,系统分辨率可达 12位 ,转换精度可达 0 .0 2 %。当传感器与上位机距离较远时 ,可以采用RS -4 85接口或无线数据发送 /接收模块实现远距离的数据通信     

基于FM-AM转换的伪码调相-载波调频复合引信信号的脉内特征提取研究

伪码调相和载波调频复合信号因具有好的距离、速度分辨率和测速测距精度,所以广泛应用在雷达和引信中。在电子对抗中为了实施欺骗性干扰,必须有效地提取复合信号的参数特征,为此本文研究了FM-AM转换时频分析的理论及其实现方法,并利用该方法对伪码调相-载波调频复合信号进行了脉内特征分析。具体包括伪码调相正弦载波信号、伪码调相复合正弦调频信号及伪码调相复合线性调频信号。仿真结果表明,在信噪比为5dB时,利用FM-AM转换时频分析技术,不但可以提取载波调频的特征信息,而且能够有效提取伪码的特征信息。     

超燃冲压发动机研究综述

超燃冲压发动机技术是一项新型的、具有广阔发展前景的推进技术。本文对国内外超燃冲压发动机最新研制情况进行了综述，重点论述了该类发动机关键技术研究情况，并对关键技术研究及思路提出了几点建议。