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

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

用两端安装法检定热电偶

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

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

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

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

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

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

现场动平衡技术在生产中的应用

利用美国恩泰克公司提供的DP1500数据采集仪及现场动平衡软件,以实例说明了现场动平衡技术在锅炉引风机、排粉风机、电动机、机泵等转动设备不平衡故障排除中的应用,介绍了不平衡故障的识别方法,揭示出该技术在生产中的实用性、先进性和经济性.     

ASP技术在军事信息网络中的运用

通过介绍ASP技术,提出了利用其开发可靠、安全的军事信息网络Web站点的一般方法,并给出了ASP对数据库操作所使用的SQL语法,同时,介绍了SSL加密的方法.     

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

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

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?     

深基坑支护——土钉墙的应用

介绍了土钉墙的基本原理和应用范围，通过土钉墙在南方某地铁车站的具体实例，说细介绍了土钉墙的施工工艺及施工方法，总结了土钉墙在应用中常见的问题及处理措施。