Summary of CNCOSPAR Activities 2002-2004

1 In Brief In this report, we summarize the major activities of CNCOSPAR from the year 2002to 2004. During this period, many things happened such as Beijing won the 2006COSPAR scientific assembly, the first Chinese Committee of COSPAR handed over its responsibility to the second committee, etc. During this period, the space science activities developed also very fast. China has sent its first scientific satellite, the first satellite TC-1 of the Double Star Program, into space. China also has a major break through in the manned space flight by a very successful mission of Shenzhou manned space flight. On board of this spacecraft, is the first Chinese astronaut Mr. Liwei Yang. This made China the third country in the world who has the ability that the launch manned space missions independently.     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

一种可伸缩空间机械臂及其应用分析

介绍一种能够完成多关节型空间机械臂所能承担的大部分空间任务 ,而且应用更简便的可伸缩空间机械臂 ,对其空间应用做出了一些设想 ,简单讨论了其应用的一些相关问题 ,肯定了其可行性和实用性。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

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     

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

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

全天球实时恒星模拟器技术

阐述了研制全天球实时恒星模拟器的意义以及国内外发展趋势,介绍第二代恒星模拟器的系统组成、特点、技术指标以及解决的技术问题。     

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

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

称重传感器的一种新的滞后补偿方法(英文)

通过对电阻应变式称重传感器在各种加载卸载情况下的滞后特性的分析 ,建立了其相应的数学模型 ,并初步探讨了一种可以通过程序在仪表中对传感器的重要指标—滞后进行补偿从而提高整个传感器的精度的方法。最后 ,对以上方法进行了验证性试验 ,证明了补偿方法的可行性。