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

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

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.     

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

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

CBERS-1卫星IRMSS数据在城市绿地系统规划的应用

文章以CBERS -1卫星长沙幅IRMSS数据作为基础资料 ,利用PCI遥感图像处理软件对数据进行了预处理和应用实验。实验证明CBERS -1卫星的IRMSS数据图像信息丰富 ,可解译程度较高 ,能满足大中城市中等比例尺城市绿地系统规划遥感调查的要求     

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

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

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.     

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

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

工程陶瓷的加工技术

主要介绍了国内外工程陶瓷特种和常规加工技术的开发及应用近况。     

历经十年寿命试验的消旋天线机构轴承的可靠性分析

解决了一个计算可靠性问题的特例。分析了消旋天线机构轴承历经10年寿命试验的可靠性问题。并给出了轴承在不同可靠寿命要求下的可靠度(对应不同置信度)。     

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?