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标准化程序,进行了考题和算例分析,给出了级数的收敛状况和孔边周向应力的分布图。     

Relative positioning of multiple moving platforms using GPS

To obtain subdecimeter level accuracy in relative kinematic positioning, the use of double differenced GPS carrier phase measurement with carrier phase ambiguities fixed to their correct integer values must be adopted. If multiple platforms are available in the configuration, the redundancy provided by the multiplicity of platforms can speed up the time to integer ambiguity fixing while at the same time improve the reliability of the solution. An approach to effectively construct ambiguity constraints through the multiplicity of platforms is presented herein. The use of these ambiguity constraints to position multiple moving platforms with respect to each other is then discussed. A series of simulations and field tests are designed and conducted to investigate the effects of different system parameters on this approach, with a configuration of up to 10 moving platforms. The test results show that the use of ambiguity constraints can improve the time to integer ambiguity fixing by up to 67%, relative to the case when no constraints are used. In addition, the use of ambiguity constraints is found to enhance the ability of the multiple platform system to detect wrong ambiguity fixes.     

Covariance matrix estimation for adaptive CFAR detection incompound-Gaussian clutter

We address the estimation of the structure of the covariance matrix and its application to adaptive radar detection of coherent pulse trains in clutter-dominated disturbance modeled as a compound-Gaussian process. For estimation purposes we resort to range cells in spatial proximity with that under test and assume that these cells, free of signal components, can be clustered into groups of data with one and the same value of the texture. We prove that, plugging the proposed estimator of the structure of the covariance matrix into a previously derived detector, based upon the generalized likelihood ratio test (GLRT), leads to an adaptive detector which ensures the constant false alarm rate (CFAR) property with respect to the clutter covariance matrix as well as the statistics of the texture. Finally, we show that this adaptive receiver has an acceptable loss with respect to its nonadaptive counterpart in cases of relevant interest for radar applications     

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型立式捏合机的构造及工作原理,详述了该机采用液压传动和气动元件进行位置检测以及气、电、液安全联锁的特点,并说明与卧式捏合机对比试验情况。     

The Electron Beam Instrument (F6) on Freja

The Electron Beam Instrument (F6) onFreja is the first attempt to apply the electron drift technique in a region of large ambient magnetic fields. The paper describes the operational principles, the technical realization, and the difficulties encountered in the derivation of the electric fields.     

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

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