1673K下BaO-BaF_2-Cr_2O_3渣系的热力学性质

１６７３Ｋ下,采用－ＭｏＣｒ＋Ｃｒ２Ｏ３ＺｒＯ２（ＭｇＯ）｛Ｃｕ＋Ｃｒ｝ａｌｏｙ＋（Ｃｒ２Ｏ３）ｓｌａｇＭｏ＋固体电解质电池测定了ＢａＯＢａＦ２Ｃｒ２Ｏ３渣系中Ｃｒ２Ｏ３的活度．研究结果表明,Ｃｒ２Ｏ３的活度随其浓度升高而升高,随ＸＢａＯ／ＸＢａＦ２升高而降低．根据实验及Ｘ射线衍射结果推测了该渣系的等温相图,并作出了该渣系中Ｃｒ２Ｏ３的等活度图．     

U形渠道水跃的试验研究

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

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

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

上市公司股利不分配问题的原因分析及对策研究

针对我国上市公司股利分配中存在的普遍不分配问题,进行了基本原因分析和数据统计分析。在此基础上,以规范上市公司行为和促进证券市场健康发展为目标,提出了解决上市公司股利不分配问题的对策。     

用边界层理论计算平底闸孔出流的流量

应用边界层理论,对闸孔出流的水力计算方法进行了分析,得出了用边界层厚度表示的流量计算的表达式。该计算式物理意义明确、计算简单,经验证与试验结果一致。     

含磷FCC催化剂的酸性研究

利用磷酸对高岭土进行处理,制取不同含磷量的活性基质,然后与分子筛、填充物等组合成ＦＣＣ催化剂。在用ＦＴＩＲ技术和ＭＡＴ试验等催化剂表征手段对其表征之后,发现酸性,酸密度和强度等与催化剂的裂化性能有很大关系;所制５种不同含磷量催化剂的酸性特征随含磷量的变化而较有规律地变化。     

多维位置数据最优融合方法

本文给出了一种多传感器多维位置数据融合的方法。这种方法基于多维位置数据的鲁棒估计和最小方差结合法。每个传感器用鲁棒估计得到自身数据的位置估计和方差估计,把这些估计融合为一个最优估计,即传感器系统的估计。     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

线阵CCD在折射率测量中的应用

提出利用线阵CCD传感器作为反射光或折射光的光强分布接收装置的折射率测量方法,研究了如何根据光强的空间分布曲线确定布儒斯特角或临界全反射角的定标方案,讨论了测量结果可能达到的精确度。     

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

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