F—析取ω —语言

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

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

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

五轴水浸超声扫查系统研制

为实现超声强衰减材料、多层结构件、重要焊接结构件中缺陷高灵敏度的超声检测和评价，并对自然缺陷形状、性质和大小进行分析和判别，实现对缺陷的精确定性、定量和定位，研制了一套五轴水浸超声扫查成像系统。该系统包括5个部分：超声波发射和接收系统，包括超声探伤仪（USIP12）和水浸聚焦探头：数据采集和图像处理系统，包括工控机和数据采集卡；五轴水浸超声扫查系统装置，包括精密三维扫描工作台、水平转台、探头摆动架、专用夹具、水槽、步进电机驱动卡和驱动电源：软件系统，由文件管理、参数设置、数据和图像处理等控制窗121组成。系统工作时，由运行在工控机上的测控程序向运动控制卡发出运动指令，     

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.     

高考预效度的混合估计

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

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

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

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

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

凸规划的极大熵函数序列及其收敛性

为了消除凸规划问题中极大熵方法所导致的数值病态，该文应用Lagrange乘子法及赋范原理，给出一类凸规划问题的极大熵函数序列，并证明该序列一致收敛于凸规划的最优解。     

基于小波的超声斑纹噪声抑制与对比度增强

提出了一种基于小波变换的降低超声图像斑纹噪声,同时完成对比度增强的非线性处理新方法。斑纹噪声属于乘性噪声,是造成超声图像质量退化的主要原因,采用Jain提出的斑纹噪声模型,完成对数化处理后的超声图像的小波变换,然后在最细分辨级上完成小波变换系数的软阈值方法处理,而在中间分辨级上采用硬阈值方法处理,并采用GAG特性曲线对图像细节特征进行增强。算法在预处理阶段还采用了平滑滤波器对最粗分辨级的平滑小波系数进行滤波,以减少脉冲能量对处理结果的干扰。对多幅超声图象的实验结果显示,相对于现有的去噪方法,该方法可以同时实现降噪与局部特征增强的两重目的,具有更佳的适用性。