Something about random normed modules

The fourth axiom in the definition of real random normed module is superfluous. A necesmry and sufficient condition is given that continuous random linear functionals over complex random normed spaces are a. s. bounded, and furthermore, in the sense of inometrical isomorphism it is proved the fourth axiom in the complex random normed module is superfluous.     

Preparation of InSb nanocrystals embedded in SiO2 thin films

InSb nanocrystals embedded in SiO₂ thin films were prepared by rf magnetron cosputtering technique. THe observation by transmission electron microscope showed that InSb nanocrystals dispersed uniformly in SiO₂ matrices. InSb nanocrystals with different sizes can be obtained by changing the annealing condition. The average size of InSb nanocrystals depended on annealing temperature and time, but not on the t_1/3 rules. X-ray photoelectron spectroscopy and X-ray diffraction were also applied to the analyses of the composite thin films.     

U形渠道水跃的试验研究

从理论上推导了Ｕ形渠道的水跃方程。通过模型试验研究了Ｕ形渠道水跃的水流流态和流速分布,测量了跃前、跃后水深和水跃长度,提出了共轭水深、水跃长度和水跃消能率的计算公式。研究表明,Ｕ形渠道的水跃有良好的消能效果,其消能作用优于矩形渠道和梯形渠道,接近于三角形渠道。     

多沙水源取水泵站正向前池边壁型式及圆形进水池尺寸的确定

通过理论分析、模型试验和对现有多沙水源取水工程的调查,研究并给出了正向前池边壁的合理曲线型式和圆形进水池尺寸的确定方法。研究结果可应用于实际工程。     

室内设计与美术教学

阐述了室内设计与美术教学的内在联系,从培养设计思维和确立艺术表达两个方面,说明了创造性思维是设计能力的基础。提出一定的文化素质和审美意识是艺术表达的必要前提,惟有创造力的培养才是美术设计教学的主题。     

不锈钢堆焊试件熔合区充氢前后的断裂韧性研究

研究了氢对不锈钢堆焊层熔合区的断裂韧性的影响作用。发现不锈钢堆焊层熔合区的断裂韧性随着充氢时间的增加而下降,结果表明,氢是引起加氢反应器不锈钢堆焊层剥离的主要因素。     

16MnR钢中疲劳裂纹扩展的细观研究

采用显微疲劳试验方法和显微疲劳试验装置对低合金钢１６ＭｎＲ单边缺口试样进行了疲劳试验,研究了短裂纹萌生和扩展的特征。结果表明,短裂纹萌生及扩展分三个阶段,每一阶段的形貌都有其特点,在裂纹扩展后期,短裂纹的发展以裂纹密度不断增加并形成损伤区为主要特征,然后在损伤区选择一条主裂纹扩展。     

考虑径向流速分布的二维非均相径向氨合成反应器模型

导出了考虑床层径向流速分布的径向床二维非均相模型,通过计算模拟考察了不均匀流动对三段径向冷激式氨合成塔性能的影响。计算表明：在各种不同的床层进口温度、入口氨浓度和活性系数下,流动的不均匀度所造成的影响是不同的,提高进口温度,降低入口氨浓度和提高活性系数有利于降低流动不均匀对三段径向合成塔净值和生产能力的影响是有限的,在计算条件下,均匀流动和不均匀度高达７０％相比,生产能力只下降了２％。     

Cloning and expression of the vp39 gene ofBombyx mori nuclear polyhedrosis virus inE. coli

The nuclear capsid protein gene (vp39) ofBombyx mori nuclear polyhedrosis virus (BmNPV) was amplified successfully by PCR technique and inserted into pGEM 3zf(+). The 5′ and 3′ terminal area of the amplified vp39 gene were sequenced with silver-staining dideoxy method. Bmvp39 gene was sub-cloned into the expression vector pRSET-A, and transformed intoE. coli BL21. This gene was highly expressed by IPTG induction. SDS-PAGE analysis showed that the expressed protein is about 38 kd, and the expressed amount reached maxium in 4 h with IPTG induction. Supported by the National Natural science Foundation of China and the Doctoral Foundation of Edn carto Committee Liu Deli: born in 1954, Doctoral Candidate from Huazhong Normal University To whom correspondence should be addressed: (027-7882712-2938)     

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

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