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

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.     

数控车削加工仿真系统结构研究

根据实际加工情况提出了一种虚拟NC车削加工的仿真系统的设计及实现原理。在Visual C++平台上利用OpenGL技术建立虚拟加工机床数字化模型,用C++语言实现物理仿真相关的各个数学模型的建立,进行虚拟环境下数控车削加工的几何仿真及物理仿真,实现产品的虚拟车削制造。     

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     

飞机导管标志研究与改进

分析了飞机各管路系统中导管标带识别、涂色识别和印章识别传统方法的不足，提出了采用激光刻制导管图号标记的新方法，阐明其基本原理和方法，并与传统方法作了比较分析。激光刻制方法使设计人员不用再在图样上注明导管的标志和辅助标志，减轻了设计的工作量，提高了工作效率，缩短了导管制造周期；同时减轻了飞机的重量，改善飞机性能；标记清晰、美观易认，有利于飞机的检查和维修。     

ERG理论在房地产营销中的应用

在房地产营销中，我们根据ERG多层次需求理论，从S．T．P战略出发，将房地产市场进行细分（Segmentation）后，分析目标客户群（Targeting）并实施产品定位（Positioning）。通过进行4P营销组合，即满意的产品（Product）、适当的价格（Price）、有效的分销渠道（Place）和促销手段（Promotion）最终达到顾客满意。     

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

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

民航机场建立呼叫中心的作用及实施对策

论文介绍了呼叫中心的技术原理，在分析民诱机场商务活动的现状的基础上，阐述了呼叫中心的特点及其在机场经营业务中的作用，提出了民航机场呼叫中心的模型，最后论述了民航机场实施呼叫中心的对策。     

日本GRAFIL公司的碳纤维现况与发展

介绍了日本GRAFIL公司碳纤维及其复合材料的现况与发展。