双剪强度理论在水工压力隧洞弹塑性应力分析中的应用

水工压力隧洞的弹塑性分析,工程上一直采用Ｍｏｈｒ－Ｃｏｕｌｏｍｂ强度准则进行求解。但由于该理论和试验结果常常不符,故产生误差。本文应用俞茂宏教授提出的双剪强度理论对水工压力隧洞进行弹塑性分析,解决了上述问题。     

线性无关向量组正交化的矩阵解法

利用矩阵的初等变换,给出了线性无关向量组正交化的矩阵解法,使用该方法使得线性无关向量组正交化过程更加简捷易行。     

Molecular cloning and nucleotide sequence of classical swine fever virus strain Shimen

According to the previously published CSFV sequences, 18 paris of partially overlapping primers which span the entire genome of CSFV strain Shimen were designed and synthesized. Each cDNA fragment of strain Shimen was amplified by RT-PCR method from the anticoagulant blood of strain Shimen infected pig. The PCR fragments were cloned into pGEM-T vector respectively and sequenced. The results show that we have obtained the nucleotide sequence of strain Shimen. The viral RNA consists of 12 297 nucleotides including noncoding regions of 373 and 227 bases at the 5′ and 3′ end, respectively, and a single large open reading frame spanning 11 697 nucleotides in the middle, which encodes an amino acid sequence of 3 989 residues with a calculated molecular weight of 437.6×10³. The precisely sequencing of 5′ and 3′ termini is undertaking. Supported by the National Pandeng Project Huang Qianhua: born in 1968. Graduate student     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

玛纳斯河年径流的灰色拓扑预测

运用灰色系统理论中的拓扑预测法,提出一种较适合于水文实测资料缺乏情况下的中长期预报方法,并利用玛纳斯河水文站的实测资料序列对该方法进行成功地验证。     

炸药破碎岩石能量利用率的研究

以爆炸动力学理论和岩石断裂理论为基础,分析了岩石破中的能量平衡问题,并给出了炸药破碎岩石能量利用率的计算方法。理论分析表明,平均爆破块度随岩石的单位表面能的增加而增加;计算结果表明,炸药破碎岩石能量利用率仅占炸药总能量的百分之十左右。     

花生油磷酸酯加脂剂的研制及应用

本文报道了以花生油为原料,经酯交换,磷酸化制备新型皮革加脂剂,并研究了其单一及复配后的加脂性能。     

完全右P-内射幺半群

本文对幺半群S的任意右商滤子P,给出了完全右P－内射幺半群的“理想一同余”形式的刻划,推广了有关内射S－系的结果。     

核医学图像的平滑及自适应增强算法

针对核医学图像的特点,提出核医学图像的邻域加权平滑和自适应增强算法,用于去除图像噪声和增强图像,以改善图像的视觉效果,提高对核医学图像判读的正确性     

形状误差的动态评定：逐次逼近规划方法的应用

本文讨论形状误差最小包容区域的判别方法。根据逐次逼近规则评定理论,将传统的静态评定方法发展为动态评定方法,给出形状误差最小条件的统一判别准则和计算设计方法。并以直线度误差评定为例,较为详细地介绍了欠逼近规划方法在形状误差中的应用,从而实现计算机的智能判别和仲裁。