F—析取ω —语言

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

用问题激发学生学习高等数学兴趣的研究

问题是激发学生学习高等数学兴趣的有效抓手.数学问题具有可接受性、障碍性和探究性的特征,可分为经典性问题、探索性问题和开放性问题.以问题为主线深化高等数学课程改革,必须在教学内容、课程体系、教学方法、教学手段等多方面着力,并要正确处理好问题与课程建设其它要素间的关系.     

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

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

推导凸多边形内外角和的新途径

在几何教学中,通常先推出凸多边形内角和,再推出外角和,现在给出一个新途径,即先推出外角和再推出内角和。这个途径的优越性是外角和恰好构成一个形象的周角,具有强烈的直观性(其实质是反映了凸多边形封闭性的本质),由此又可十     

2007年普通高等学校招生全国统一考试 江苏数学卷

一、选择题:本大题共10小题,共50分1.下列函数中,周期为2π的是A.y=sin2xB.y=sin2xC.y=cos4xD.y=cos4x2.已知全集U=Z,A={-1,0,1,2},B={x|x2=x},则A∩CUB为A.{-1,2}B.{-1,0}C.{0,1}D.{1,2}3.在平面直角坐标系xOy中,双曲线中心在原点,焦点在y轴上,一条渐近线方程为x-2y=0,则它的离心率为A.5B.25C.3D.24.已知两条直线m,n,两个平面α,β,给出下面四个命题:①m∥n,m⊥αn⊥α②α∥β,mα,nβm∥n③m∥n,m∥αn∥α④α∥β,m∥n,m⊥αn⊥β其中正确命题的序号是A.①③B.②④C.①④D.②③5.函数f(x)=sinx-3cosx(x∈[-π,0])的单调递增…     

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．     

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

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