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

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

钢筋混凝土无柱帽式无梁楼盖板的弯曲分析

将整体双向钢筋混凝土无柱帽式无梁楼盖视为支承于等矩柱网上的正交各向异性板,依据ｋｉｒｃｈｈｏｆｆ薄板理论,利用变形的对称性,并借助Ｆｏｕｒｉｅｒ求解方法,给出了均布荷载作用下楼盖板弯曲挠度的解析解。本文解析解收敛很快,使用较为方便,对该类问题的工程设计有一定的参考价值。     

4种植物生长物质及温度胁迫对绿豆黄化幼苗肌醇磷脂代谢的影响

利用放射性标记和薄层层析（TIC）分离发现2,4－D,GA3和6－BA可不同程度地促进肌醇－1,4,5－三磷酸（IP3）水平的增加．在最适浓度下的作用效果是：GA3＞2,4－D＞6－BA．但脱落酸（ABA）没有引起IP3含量的变化．低温（0℃）和高温（35℃）胁迫亦引起IP3含量的增加．2,4－D,GA3,6－BA和温度胁迫的共同处理对IP3含量的增加有协同作用．表明2,4－D,GA3,6－BA和温度胁迫促进绿豆黄化幼苗肌醇磷脂代谢,ABA也许不参与绿豆黄化幼苗肌醇磷脂代谢．     

某些非线性波动方程的解的爆破

本文探讨某些非线性波动方程于混合问题解的爆破性于高阶方程情形,籍引入一类“爆破因子Ｋ（ｕ,ｕｔ）”而得到某些新的结果,它扩充了（４）中对不同的非线性条件和初值条件的常见情形,主要结果是定理１与定理６。     

固相萃取技术在环境中农药残留分析的研究进展

农药在环境中的广泛应用以及农药残留分析的困难，使得环境中农药的残留分析成为国际上环境科学研究的前沿和热点.固相萃取法（SPE）因高效、可靠、易实现自动化等优点，适用于农药残留物分析.本文对固相萃取的基本原理、影响因素和应用进展等方面进行了详细的阐述，就农药的检测方法（如LC、GC）做了总结概括.最后提出固相萃取在环境领域中农药残留分析的发展趋势是使用SPE-HPLC对极性差异很大，酸碱性范围很广的各种农药的多残留分析。     

G蛋白偶联受体研究进展

G蛋白偶联受体（GPCRs）是体内最大的蛋白质超家族，根据结构的同源性，主要分为A、B、C3族．GPCRs配体的多样性决定配体结合域的多样性．受体分子内相互作用力的破坏、质子化、构象改变、与G蛋白的偶联及受体二聚化参与了GPCRs的活化过程，近年发现GPCRs的失敏和内吞对受体功能调节亦非常重要，本文拟综述以上内容的研究进展．     

清末政治制度的转型

鸦片战争以后，西方列强的侵略不仅使满清王朝颜面扫地，也动摇了中国传统政治制度的威信，打乱了它固有的发展轨迹。在外来政治制度的影响下，中国传统政治制度开始了向现代转型。这一转型大致经历了三个阶段：即洋务运动时期传统政治制度的动摇、戊戌变法时期西方政治制度的宣传、清末新政时期新式政治制度的起步三个阶段。尽管这一转型才刚刚开始，取得的成效也极为有限，但对其后中国政治制度的现代化却产生了极为重要的影响。     

纳滤膜处理镀铬废水的实验研究

以重金属回收和废水回用为目的，研究了纳滤膜处理镀铬废水。本文讨论了操作压力、膜通量、CrO4^2-离子浓度以及浓缩过程等影响。由实验结果可知，操作压力对CrO4^2-离子的截留率影响较大，而CrO4^2-离子浓度以及浓缩过程的影响较小。在低压和废水浓度较低的情况下，CrO4^2-的截留率可达99％以上，从而实现了镀铬废水分离处理，并达到了回用目的。     

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。     

Gd(Ⅲ)、Tb(Ⅲ)与D-核糖配合物的合成及其FT-IR光谱研究

在乙醇/水体系中分别合成了Gd(Ⅲ)、Tb(Ⅲ)与D-核糖的中性配合物固体。对配合物进行元素分析和FT-IR光谱分析,结果表明该配合物组成为：LnCl_3·C_5H_(10)O_5·5H_2O(其中In=Gd或Tb),并推测了其可能的结构。