F—析取ω —语言

关于ω—语言的讨论,基本上者是从文法与自动机的角度([1],[2],[3]).但近年来,许多人从代数学的角度来研究ω—语言的特性([4],[5]).本文从语言的句法么半群出发.作为[5]中讨论的析取ω—语言的拓广,定义了 f—析取ω—语言,讨论了这类语言的若干特性.     

用高温超导模拟研制磁场高均匀度回旋管

磁场高均匀度的低温超导磁体系统已经取得了广泛的应用，在许多领域发挥着重要的作用。随着低温技术和超导技术的发展，用高温超导材料制作高均匀度的超导磁体成为可能。因此，我们用高温超导材料模拟制作了磁场高均匀度回旋管。     

Dynamical Properties of Potassium Ion Channels with a Hierarchical Model

It is well known that potassium ion channels have higher permeability than K ions, and the permeable rate of a single K ion channel is about 108 ions per second. We develop a hierarchical model of potassium ion channel permeation involving ab initio quantum calculations and Brownian dynamics simulations, which can consistently explain a range of channel dynamics. The results show that the average velocity of K ions, the mean permeable time of K ions and the permeable rate of single channel are about 0.92nm/ns, 4.35ns and 2.30 ×10^8 ions/s, respectively.     

Theoretical Studies on the Si（001）-SiO2 Interface Structure

1 INTRODUCTION Silicon and its alloy have been widely applied in such fields as electronic industry, high-temperature structural ceramics, etc. In addition, the researches on silicon and its relevant materials greatly promote the rapid development of modern optics and infor- mation technology. Therefore, more and more at- tention is focused on the structure of silicon, oxide of silicon and the interfaces between silicon and metal or nonmetal. As an ideal passive film on the Si surface, S…     

星载光学系统遮光罩消杂光结构优化设计方法

本文对星载光学系统遮光罩消杂光结构的优化设计做了初步探讨。提出了遮光罩和挡光环消杂光设计的基本原则。给出了一种二级遮光罩结构寸的优化设计方法和一种遮光罩内壁上挡光环位置优化设计方法,并对一级和二级遮光罩进行了初步的分析比较。     

高考预效度的混合估计

用传统的预测效度估计法估计高考预测效度，其估计值往往偏低。为此，本文应用回归分析中混合估计理论提出了高考预测效度的混合估计。这种估计是预测效度的无偏估计，并解决了预测效度估计值偏低的问题。     

自组装双硫醇分子膜阻抗谱的研究

对交流电场下双巯基烷烃硫醇自组装分子膜的阻抗谱进行了研究.利用汞金属作为衬底,制备出双巯基烷烃硫醇自组装分子膜,并通过交流频谱仪对其进行频谱的扫描．明确了膜的作用范围为阻抗谱中频部分为了解释该阻抗谱,提出了一种串联的等效电路来进行了拟合,并与其他的模型进行比较.同时,观察到在损耗谱中损耗峰随硫醇碳链原子数的增加而向低频方向移动并得出双巯基硫醇(C6-C10)在交流电场下的激活能为23～39 meV．     

Compact Single-Stage Femtosecond Multipass Ti：Sapphire Amplifier at 1 kHz with High Beam Quality

A compact femtosecond Ti：sapphire amplifier system is reported using single-stage multipass configuration with high beam quality. A high dispersion glass stretcher and a pair of double prisms for compression are introduced based on broadband femtosecond seed pulses. The non-grating-based pulse stretcher and compressor are advantageous to increase high beam quality and to reduce the high-order dispersion. A Gaussian filter is used to reduce the gain narrowing effect in amplification. The compact femtosecond Ti：sapphire nine-pass amplifier delivers pulses with a duration of 26 fs and an energy of 800μJ at 7mJ pumping pulses energy at I kHz. The 1-kHz femtosecond amplifier with high beam quality and high stability is very suitable for ultrafast physics research applications, such as attosecond science, ultra-precision micromachining, and THz wave generation.     

两样本队列半数生存期检验:反射和检基统计量

依据反射或检基原理，本文提出用于截尾资料的两样本队列半数生存期（ＣＨＬ）检验．两样本合并ＣＨＬ经指数内插取自Ｋａｐｌａｎ－Ｍｅｉｅｒ或Ｂｅｒｋｓｏｎ－Ｇａｇｅ估计值．连续性校正，经以有效样本容量取代样本容量，扩展自Ｙａｔｅｓ校正．合并标准误来自同源性生存率方差估计值，后者经有效样本容量扩展自二项分布方差．无截尾时，这些统计量还原为经典中位数检验．与反射统计量相比，检基统计量具有更高的功效．附有工作实例描述其临床应用．