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

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

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

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

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

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

咒

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

一种新的六端口测量系统自校准方法

提出了一种新的六端口自校准方法.本方法从六端口相对功率理论出发,导出了六端口系统常数的自校准方程,给出了求解系统常数初值的方法,并利用梯度法对方程组求解,仿真结果表明用一个匹配负载、四个失配负载就可以解出系统常数.     

探访藏戏拉姆部落

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

最佳STAP的FFT共轭梯度法

提出了一种解决最佳空时自适应处理问题的快速共轭梯度迭代算法。可以用FFT实现该方法，办法是利用具有干扰协方差矩阵托普利兹块（BTTB）结构的块托普利兹矩阵。因此与对矩阵求逆的方法相比显著降低了计算的复杂性。为了说明上述方法的有效性，本文给出了计算机仿真结果。     

基于幅度与梯度综合信息的SAR图像非线性扩散去噪方法

探讨SAR图像相干斑抑制的非线性扩散方程方法.以抑制SAR图像噪声,提高图像质量.通过分析SAR图像的幅度分布特性,建立基于SAR图像幅度信息的非线性扩散方程,使方程在幅值较小的背景区域具有较大的光滑作用以抑制噪声,而在幅值较大的目标区域光滑作用较小以保护目标特征.同时为避免噪声对图像中幅度分布的影响,在每一步迭代之前,采用基于梯度信息的非线性扩散方程对图像进行预处理,得到了一种基于图像幅度和梯度综合信息的非线性扩散去噪方法.计算结果表明,本文方法在整体上均具有较好的去噪效果,去噪后的图像较传统方法具有更高的等效视数和边缘保持指数,既能充分抑制背景区域的噪声,又能保护目标点,还很少出现虚假目标.     

新疆空管局通信总站今年技术培训出新招

伴随着春天的脚步，新疆空管局通信导航总站新一年的技术培训工作也步入正轨。与以往不同的是，今年的技术培训一改往年将参培人员主送疆外的方式，而是将员工的培训与其所在相应岗位紧密结合起来，并以各导航站，通信站工作人员为主要培训对象，采取内部岗位轮换这一新的培训形式。