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

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

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

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

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

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

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

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

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

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

1,3—二氯—2—丙醇氧化反应的研究

对１,３－二氯－２－丙醇的氧化反应进行了系统的研究,将８４％的硫酸溶液慢慢滴加到包含有１,３－二氯－２丙醇和重铬酸钠水溶液的反应容器中去,将体系保持在２４℃～２６℃拦反应６ｈ,反应完成后,过滤回收１,３－二氯丙酮粗品,粗品用冰水洗涤,然后通过蒸馏经可获得８０．４％的收率的１,３－二氯丙酮,这是一种合成１,３－二氯丙酮较好的工艺,这种工艺与同类文献介绍的方法比较目标产物收率提高１０％,而反应时间缩短     

冷带轧机液压厚控系统动态数学模型分析与测试

分析了液压厚度控制系统动态数学模型．并与频率特性测试仪所测结果做了比较．得出了实用的被控对象结构图．为厚度控制系统的设计提供了理论依据．     

利用神经网络预测混凝土的抗压强度

应用人工神经中的神经元网络理论,预测混凝土的抗压强度值,探讨出一条预测混凝土抗压强度的理论方法,其结果具有较高的精确度。     

云南楚雄市鸟类多样性的研究

对楚雄市鸟类栖息环境：即城市市区,城市绿化区,工矿区,农田耕作区,自然保护区的调查,共记录鸟类７２种,隶属于１３目２６科,总计１１４２只个体,并运用物种多样性测定法（Ｓｈａｎｎｏｎｗｅａｖｅｒ指数和Ｓｉｍｐｓｎ指数）评价各环境中鸟类多样性,讨论了有关鸟类物种多样性与栖息环境的关系及其与人类活动干扰程度的关系．     

盐酸米诺环素胶囊溶出度测定方法的改进

关于盐酸米诺环素胶囊溶出度测定方法和标准修订．采用紫外法,以水为溶剂,检测波长为（３４６±２）ｎｍ,在５～３０μｇ／ｍＬ浓度范围内有良好线性关系（ｒ＝０．９９９９）．平均回收率为（１００．６±０．５８）％,测定浓度为１５μｇ／ｍＬ．在此条件下可得准确的结果．