恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

小鼠RTN3基因mRNA和蛋白在小鼠中枢神经系统的分布模式

根据与人RTN3基因同源的小鼠EST AA237377设计筛库引物, 克隆得到小鼠RTN3 cDNA, 该cDNA长2814 bp, 含1个714 bp的可读框, 编码1个具237个氨基酸的蛋白. Northern杂交检测该基因在小鼠不同组织中的表达谱, 发现它有3个转录本, 分别为1.8, 2.8和4.2 kb, 其中1.8和2.8 kb的转录本存在于多种组织中, 2.8 kb的转录本在脑中的表达量最高, 4.2 kb的转录本仅在脑中存在. 用成年小鼠脑和脊髓切片进行原位杂交和免疫组织化学反应, 发现该基因在中枢神经系统的非胶质细胞中广泛表达, 且在某些区域表达较高, 如海马、大脑皮层、下丘脑及一些神经核团.     

不饱和烃同系物凝聚型物理性质递变规律的数学描述

以H-(CH2)n-CH=CH2和H-(CH2)n-C≡CH型同系物结构重复单元数值连续变化为模型,获得了描述该同系物凝聚型物理性质递变规律的数学表达式:P=(a0+a1n+a2n2)/(1+b2n2),式中a0、a1、a2、b2均为常数,n为结构重复单元数值,P为同系物的凝聚型物理性质。通过非线性回归分析,得到回归方程,结果表明同系物的凝聚型物理性质与重复结构单元数值之间满足上述关系式,并显示优良的相关性。     

图书馆数字资源整合浅谈

介绍了图书馆数字化资源的主要类型和资源整合的目标，针对数字资源的特点，提出了图书馆数字资源整合的必要性，并论述了推进数字资源整合的措施。     

APCI5000电气自动化成套装置设计

电气自动化成套装置种类繁多，并广泛应用于电力系统．结合现场实际商业运行期所积累的经验，并根据市场预测以及目前工控机发展动态，提出了采用APCI5000工业控制计算机实现电气自动化成套装置设计的最佳方案．     

时滞测试能量函数的局限性分析和改进模型

针对时滞试能量函数，分析了它在无冒险强健测试矢量生成时存在局限性和表达式较复杂的不足。在此基础上建立了无冒险条件下的时滞试能量函数，从而完善了Chakradhar提出的时滞测试能量和相应的测试生成算法。     

香菇单孢杂交选育研究

香菇单孢杂交,选育出L_9、L_(11)、L_(24)三个菌株,根据其性状分析,拮抗反应和酯酶同工酶酶谱的综合判断,证实是杂交新菌株。L_(11)杂交株具有产量高、菇形好的优点,生物学效率保持在75％以上,是适合于木屑、棉籽壳代料栽培的优良菌株。     

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

Desargues定理的推广

本文将射影几何著名的Desargues透视三点形定理推广到四面体和三维射影空间的完全n(n≥4)点形(体)中。     

复数,实数及实对称数据下Bruun FFT算法的实现

本文在复数、实数以及实对称数据下研究和实现了Ｂｒｕｕｎ ＦＦＴ算法。文章分析和评价了各种数据下ＢｒｕｕｎＦＦＴ的运算量和特点，提出了算法的实现结构和方法。最后给了ＴＭＳ３２０Ｃ３０上的运算时间，我们实现的算法比基２ＦＦＴ速度提高３５％。