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

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

微重力科学与应用研究（上）

空间微重力环境的独特物理现象对航天器各系统均产生无法回避的影响，在型号研制中正确计入微重力效应是航天事业发展中的一个重要研究领域。在现阶段，航天器发动机再启动相关的微重力研究以及载人航天防火安全相关的微重力研究应当引起人们的高度重视。随航天事业的发展，微重力效应问题日益会严重起来（结构动力学、耦合动力学、多相流温控、低重星球场着陆撞击……），进行深入广泛的微重力效应研究对保证航天器飞行任务完成有着不应忽视的作用     

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

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

The Electron Radiation Belt

Electron radiation belts can change dramatically in a few seconds or slowly over years. Important issues in understanding such changes are: (1) What is the source of electrons in the radiation belts? (2) How important is radial diffusion compared to other radial transport mechanisms? (3) What are the detailed changes in the magnetosphere that produce radial diffusion? (4) Why is the response of the electron radiation belt to changes in the solar wind different from that of substorms and of the ring current? (5) Are processes other than radial transport, such as wave-particle interactions, important in energizing electrons in the radiation belts?     

High speed driving of a gain-switched laser diode with anexponential transmission line

With the increase of information capacity of an airborne system, high speed driving of laser diodes have been of interest. In order to match the low resistive LD, proposed in this paper is an exponential transmission line, which is used as preshaping to compensate the pattern effect in gain switching of laser diodes. It also will be used to overcome the effect of parasitic elements in high speed driving to improve the rise and trail edges of the output waveform. An accurate circuit model of the exponential line for the PSPICE program has been developed and simulations are conveniently carried out by employing PSPICE     

用于高压动态校准的快开阀装置

介绍一种高压快开阀装置。它可产生３７０ＭＰａ上升时间小于２０μｓ的阶跃压力，用于对高压传感器进行动态校准。     

复合材料层板中就位横向拉伸强度的研究

本文利用弹性力学和断裂力学方法对纤维增强复合材料的横向拉伸强度进行了分析，其中考虑了９０度开裂层厚度和开裂邻层的约束效应的影响，推导出正交各向异性对称铺层中昨合就位横向拉伸强度的数学表达式，得出开裂层的厚度和约束邻层铺设角对就位横向拉伸强度都有影响的结论，理论计算与Ｆｌａｇｇｓ实验结果吻合较好。     

飞机超差结构疲劳寿命量化评定

依据美机实用手册介绍的疲劳寿命S-N方程,对超差结构疲劳寿命推导出了一个量化评定方程。并应用该方程对一些典型结构超差形式具体地进行了疲劳寿命量化评定。实践证明,用本文介绍的方法对超差结构疲劳寿命进行定量评定,不仅简捷明快,而且结果可靠。     

光敏元件与光传感器的市场动态和发展

介绍了光敏元件与光传感器技术的发展及在国民经济和军事领域中的重要怍用；分析了国内外光电子产业的市场动态与发展趋势；论述了我国光电子产业面临的机遇和挑战。     

激光外差干涉仪光电信号处理方法及特点

叙述和分析了外差激光干涉光电信号处理主其特点，指出了它们各自的应用范围，同时介绍了一处新型的光电信号处理方法，它不仅使外差干涉仪用于动态测量，而且可以同时实现高分辩率测量 。