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

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

rom 15 sel

with primary goat embryonic fibroblast showed no difference from traditional feederlayer-based culture method used in mouse and human. The putative primary EG colonies were multilayer clumps ofcompact cel     

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

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

冕环中扭转Alfvén波和快波的耦合共振

推广完备正交函数系(OFSE)展开方法,应用它研究冕环中无耗散扭转Alfven波和快波耦合的时变过程.采用这种方法,从数学上描述了总体波模的固有角频率,从理论和数值计算结果两方面分析了Alfven波和快波耦合时冕环中磁力线Alfven波固有角频率.采用这种方法,分析了耦合驱动项和Alfven波共振的关系.计算结果给出了耦合共振出现位置Alfven波和快波的波幅特征,发现如果足点驱动角频率不等于冕环总体波模的固有角频率,在耦合共振位置当扭转Alfven波幅出现δ断面时,快波振幅沿径向梯度很大,有时近似为一个间断,非常有利于快波耗散;如果足点驱动角频率等于总有体波模的固有角频率,Alfvn波振幅出现δ断面时在径向出现丰富的小尺度结构,共振位置近似为一个间断,非常有利于Alfven波耗散.     

关于公关文秘专业实习实训教学的探讨——以桂林航天工业高等专科学校为例

桂林航专公关文秘专业在实习实训教学方面做得是比较成功的,论文从构建学生整体实践能力培养目标体系、"双师"型教师队伍建设、校内实习实训基地建设、校企合作四个方面进行研究分析。     

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

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

计算机帧时间对半实物仿真的影响

半实物仿真试验中,要求计算机帧时间与计算积分步长相一致,但在实际试验中不容易精确地做到。本文分析了这种不一致给半实物仿真试验带来的影响,给出了解决的办法,文章中还给出了一实例来说明。     

Field formation around negatively biased solar arrays in the LEO-plasma

Heavy emission caused by impacting plasma ions results in a fast discharging effect of the initially large surface potentials on the dielectric solar cells. This eventually counteracts the energization process of the plasma ions to the cover glasses and leaves no significant electric fields. Thus, with an existing thermal plasma, electrons are again able to reach dielectric surfaces. Strong localized electric fields of the order of several 10 kV/cm form near the interconnector-cover glass interface.     

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?     

EUV emission from normal galaxies

Using data from the Wide Field Camera EUV all-sky survey, we have established upper limits to the EUV flux from a sample of 30 bright, nearby, non-active spiral galaxies. These galaxies were chosen to be those most likely to be detected in the EUV on the basis of (i) low interstellar absorption within our own galaxy, (ii) brightness in other wavebands, (iii) high star formation activity, and (iv) proximity. The derived EUV upper limits are restrictive, and establish for the first time that the EUV flux escaping from galaxies does not constitute a major component of their bolometric luminosity, and in particular that it cannot be the sink for the energy injected into the interstellar medium by supernova explosions, as had been suggested following the failure to detect this power in the X-ray band.