美国对其GPS采取的国策

从兼顾美国经济利益和国家安全目标、GPS及其增强系统的管理、国家安全及对外政策四个方面综合考察了美国对其GPS所采取的最新国策。     

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

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

Calculation of the transonic dip of airfoils using viscous-inviscid aerodynamic interaction method

A numerical procedure for the calculation of the transonic dip of airfoils in the time domain is presented. A viscous-inviscid aerodynamic interaction method is taken to calculate the unsteady aerodynamic loads. In the present case the integral boundary layer equations are coupled with the Transonic Small Disturbance (TSD) Potential Equation. The coupling between structural motion and aerodynamic loads is carried out using State Space equation. It is solved by State Transition Matrix technique. Results are presented for NACA 64A010 and NLR 7301 airfoils with structural data from Isogai and DLR, respectively. Comparisons show good agreement with other numerical results. Certain deviations of experimental data taken from literature need more insight in the detailed test conditions.     

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     

略论海峡两岸科技术语的对照和统一

为减少和消除海峡两岸科技文化交流上的词汇障碍，各学科广泛开展着科技术语的调查研究、交流和讨论。当前做法为两步走，首先是分析两岸用词上相同和差异的词目，共同编订对照本，共建对照和约定；然后逐步地通过对存在差异的个例进行选优汰劣和具体的商榷，过渡到更多的协调和一致。     

Late Stages of Stellar Evolution

A large fraction of ISO observing time was used to study the late stages of stellar evolution. Many molecular and solid state features, including crystalline silicates and the rotational lines of water vapour, were detected for the first time in the spectra of (post-)Asymptotic Giant Branch (AGB) stars. Their analysis has greatly improved our knowledge of stellar atmospheres and circumstellar environments. A surprising number of objects, particularly young planetary nebulae with Wolf-Rayet (WR) central stars, were found to exhibit emission features in their ISO spectra that are characteristic of both oxygen-rich and carbon-rich dust species, while far-IR observations of the PDR around NGC 7027 led to the first detections of the rotational line spectra of CH and CH⁺. Based on observations with ISO, an ESA project with instruments funded by ESA Member States (especially the PI countries: France, Germany, The Netherlands, and the United Kingdom), and with the participation of ISAS and NASA.     

以培养适用型人才为宗旨建立新型的校外学习中心管理体系

校外学习中心是远程教学和远程学习的活动基地。校外学习中心必须能适应市场经济形势需求,以培养适用型人才为宗旨,不断完善自身机制,实行规范化管理,不断提高教学管理工作水平,建立起新型的管理体系。     

电液位置伺服系统的动态试验研究

本文研究了快速响应的电液位置伺服系统动态试验,着重讨论了在实践中如何选择伪随机二位式最大长度序列(PRBS)参数的问陋,并提出快速响应系统PRBS参数选择的原则,使系统辨识精度提高约15％。     

卫星推进及控制装置准直测量方法研究

在传统的卫星推进及控制装置准直测量方法的基础上,提出两种新的测量方法,即小角度准直测量法和三维坐标准直测量法,并给出了相应的数据处理方法。所提出的方法测量精度高、测量速度快,无需转台整平,也不必对转台上的定位销进行精确准直。     

质量矩导弹的神经网络及自适应非线性控制

本文对质量矩控制导弹的动力学方程简化和控制系统的设计进行了研究。详细阐述了所提出的控制方法，介绍了径向基单隐层神经网络进行误差补偿的算法原理，用Lyapunov理论证明了所采用方法的稳定性。在给出了质量矩导弹的六自由度动力学方程和简化后的方程后，用所提出的方法设计控制系统。通过仿真分析，得出了本文所提出的方法具有较好的误差补偿能力的结论。