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

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

含有任意多个椭圆孔弹性板的应力场计算

本文应用弹性力学的复变函数理论,用多保角变换的方法,导出了含有任意多个椭圆孔的无限大弹性板多复变量应力函数的表达式。每个孔的大小、位置和孔边作用的载荷均为任意指定。板的无限远处作用有和坐标轴方向一致的均匀拉压载荷P_x,P_y和均匀剪切载荷P_(xy)。并在孔边进行复Fourier级数展开,用待定系数法确定应力函数的未知系数,从而计算弹性板的应力场。编制了相应的FORTRAN77标准化程序,进行了考题和算例分析,给出了级数的收敛状况和孔边周向应力的分布图。     

Stability of resonance rotation of a satellite with respect to its center of mass in the orbit plane

The stability of resonance oscillations and rotations of a satellite in the plane of its orbit in the case when the difference of the moments of inertia with respect to the principal axes lying in the orbit plane is small is determined at a given rotation number m by the sign of function Φ_m(e), introduced by F.L. Chernous’ko in 1963. In this paper, convenient analytical representations of functions Φ_m(e) are described in the form of integrals and series of Bessel functions regular at e → 1^?. Values of Φ_m(1) are calculated in explicit form. A theorem about the double asymptotic form of functions Φ_m(e) at m → ∞ and e → 1^? is proved by the saddlepoint method.     

On adaptive multiband signal detection with the SMI algorithm

In a nonstationary and/or nonhomogeneous interference environment, an adaptive system for target detection may suffer a severe performance degradation due to the lack of a sufficient amount of data from which the system can learn (estimate) the statistics of the environment. The detection performance of an adaptive system, which employs a frequency diversity (multiband) signaling waveform and a multiband sample matrix inversion algorithm (SMI), is analyzed. By comparison with the corresponding single-band system under the chosen system constraint, it is shown that the multiband system can significantly outperform the single band when the amount of data available from a single frequency band is severely limited by the environment     

各拉丹东聆听长江源头的声音

6621米，也许很多人渴望去征服它、挑战它，当人们登临山之巅，心中一定会是非常的平静，他们感受到的是来自长江初源的寒冷的温暖。但更多的人，会站在远处默默地凝视着这6621米的山峰——有着敬畏、有着崇拜——它是那么的美丽：率领大小山峰像一列洁白的长城横亘在远处，高贵而大方，神圣而不可侵犯。[编者按]     

数学教学中培养创造能力的探索

本文结合多年教学实践，对激发学生的创造意识，培养发散思维，运用创造技法等方面进行了探索。     

VKM—5型立式捏合机研制与应用

介绍自行研制的VKM—5型立式捏合机的构造及工作原理,详述了该机采用液压传动和气动元件进行位置检测以及气、电、液安全联锁的特点,并说明与卧式捏合机对比试验情况。     

NTC技术在微动同步器标度因数的温度补偿中的应用

了微动同步器结构原理，用数学方法找出了温度对其标度因数产生影响的主要原因，温度对激磁线圈的铜阻有影响，从而最终将影响输出电压的大小，针对这一主要原因，采用ＮＴＣ物理方法进行补偿，取得了很好的实际效果。     

人体分层媒质内的微波聚焦场

本文是近年来在微波聚焦热疗人体深部癌病灶研究工作推动下完成的。文中给出了光学及电磁学界感兴趣的某些结果。在人体分层媒质前的一有限口径处,置一时谐电流分布,在每一分层内的微波传输场及反射场可利用传输矩阵及并矢格林函数给出计算结果。     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。