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

ERP在航天制造部门的实施初探

ERP是一种先进的生产管理系统,航天产品“小批量、多品种”的生产特点为ERP的实施提出了新的需求。文章介绍了ERP的特点、实施目的并根据航天某小型制造部门的生产特点,提出了实施措施及建议。只要各方协同努力,ERP在航天制造部门是能够成功发挥其应有作用的。     

Sustained data recording system based on disk array

Most sustained data recording systems in many real-time fields are based on tape equipments. We have developed an innovative sustained data recording system based on disk array which consists of Array Controller Module (ACM), String Controller Module (SCM) and Main Controller Module (MCM). This system has a better performance and higher reliability than the traditional tape recorder and can be used conveniently in many areas of data recording, storing, playback, and remote backup. This novel recording system has been used in radar data recorder for spacecraft orbit tracking and satellite remote sensing data recording successfully.     

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     

现场动平衡技术在生产中的应用

利用美国恩泰克公司提供的DP1500数据采集仪及现场动平衡软件,以实例说明了现场动平衡技术在锅炉引风机、排粉风机、电动机、机泵等转动设备不平衡故障排除中的应用,介绍了不平衡故障的识别方法,揭示出该技术在生产中的实用性、先进性和经济性.     

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

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

The influence of dose, dose-rate and particle fragmentation on cataract induction by energetic iron ions.

Because activities in space necessarily involve chronic exposure to a heterogeneous charged particle radiation field it is important to assess the influence of dose-rate and the possible modulating role of heavy particle fragmentation on biological systems. Using the well-studied cataract model, mice were exposed to plateau 600 MeV/amu 56Fe ions either as acute or fractionated exposures at total doses of 5 - 504 cGy. Additional groups of mice received 20, 360 and 504 cGy behind 50 mm of polyethylene, which simulates body shielding. The reference radiation consisted of 60Co gamma radiation. The animals were examined by slit lamp biomicroscopy over their three year life spans. In accordance with our previous observations with heavy particles, the cataractogenic potential of the 600 MeV/amu 56Fe ions was greater than for low-LET radiation and increased with decreasing dose relative to gamma-rays. Fractionation of a given dose of 56Fe ions did not reduce the cataractogenicity of the radiation compared to the acute regimen. Fragmentation of the beam in the polyethylene did not alter the cataractotoxicity of the ions, either when administered singly or in fractions.     

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

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

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

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