对象式程序的正确性验证方法研究

介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．     

加权Orlicz空间上的有界算子与加权Bergman空间上的η—列

本文研究了单位圆盘加权Ｏｒｌｉｃｚ空间上的再生核公式和有界算子以及加权Ｂｅｒｇｍａｎ空间上的η－列、ＢＥ函数和ＧＬ函数的性质。从而建立起了比古典Ｂｅｒｇｍａｎ空间要广泛得多的一类空间上的良好结果。     

无源多路光纤旋转器的设计

单通道光纤旋转连接器具有结构简单、重量轻和耦合损耗小的优点,但传输信号单一,不能双向传输的缺点限制了它的广泛应用,波分复用(DWDM)技术是一种比较先进且相对成熟的光纤通信技术,文中提出一种新型光纤旋转连接器,该旋转器应用DWDM技术中单纤双向传输技术,同时双向传输多路光信号,详细分析了这种旋转器的设计原理,经过计算,该旋转连接器总的插入损耗为8．5dB,隔离度在50dB以上,满足设计要求。     

D36高强度船板钢的生产工艺

介绍了新余钢铁有限责任公司试制开发D36高强度船板的主要技术要求和工艺路线.因轧机各项力能参数偏小,在开发D36高强度船板过程中,出现了厚度偏差改判和钢板可焊性不理想现象.通过采取压下分配的调整、成品目标厚度及控制范围的平移和微Ti处理等措施,较好地解决了上述问题,提高了D36钢板的综合性能和可焊性.     

拓扑指数M及其应用

对饱和直链烷烃分子间相互作用影响因素进行了分析,认为烷烃分子之间和分子内的氢原子之间的相互作用更强,由此提出了一个新的拓扑指数--拓扑指数M,并给出了M的计算方法.用此拓扑指数对C2～C8的39种饱和烷烃的结构选择性进行了讨论,对其常压沸点、常沸点汽化热进行了关联,关联结果非常良好,具有很好的预测能力.     

基于三维实体模型的工艺信息处理

提出了一种基于三维实体模型的零件工艺信息处理方法，通过前置处理，将CAPP所需要的工艺信息以属性形式赋予CAD模型，为CAPP系统的工艺决策提供信息源，并以UG为例，介绍了零件信息的描述、存贮和读取方法。     

论苏共二十大对我国民主政治建设的影响

1956年2月,在苏共"二十大"上赫鲁晓夫作了<关于个人崇拜及其后果>的报告,对斯大林的个人崇拜进行了彻底的揭露和批判.这次大会对国际共产主义运动产生了重大影响,它促使了社会主义国家进入摆脱苏联模式,进行独立自主地探索社会主义道路的新阶段.中国以苏联为鉴,在"八大"上提出了加强中国社会主义民主政治建设的系列主张.     

流动注射化学发光测定盐酸利多卡因

酸性介质中盐酸利多卡因被质子化后与AuCl4^-形成离子缔合物．当该缔合物进入鲁米诺的逆胶束“水池”中时，离解出来的AuCl4^-与鲁米诺产生化学发光．据此建立了测定盐酸利多卡因的新方法．在优化的实验条件下。测定盐酸利多卡因的线性范围为0．5～30μg／mL，检出限(3d)为81ng／mL，对浓度为1μg／mL的盐酸利多卡因进行11次平行测定．其相对标准偏差为2．64％．将本法用于制剂中盐酸利多卡因的测定。结果令人满意．     

超声波在废水处理中的应用研究现状

超声波降解水体中有机污染的技术正受到越来越多的关注,综合介绍了近年来超声波技术在废水处理中的应用及研究进展,包括声空化机理、声化学反应类型、有机物降解效果和主要影响因素,并对目前研究成果和今后的发展方向作了探讨。