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.     

Antiphase State in Passively Q-Switched Yb：YAG Microchip Lasers with a Nd,Cr：YAG as Saturable Absorber

We experimentally investigate the antiphase dynamics phenomenon that occurs in a diode-pumped passively Q-switched Yb:YAG multimode laser with a Nd,Cr:YAG saturable absorber. Due to the effect of spatial hole burning, the multimode lasers with one, two, or three modes at different pump power are observed, and the pulses sequences display classic antiphase dynamics.     

高考预效度的混合估计

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

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

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

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

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