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

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

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

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

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

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

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

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

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

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

Rh—Ag／SiO2催化剂上CO的吸附与加氢反应

应用表面反应红外动态技术考察了促进型铑催化剂Ｒｈ－Ａｇ／ＳｉＯ２上ＣＯ吸附及其加氢反应的性能,结果表明：线式吸附态的ＣＯ对氢的反应性能高于桥式吸附的ＣＯ,是加氢反应的主要活性吸附态．反应条件下温度升高有利于Ｒｈ－Ａｇ／ＳｉＯ２上线／桥ＣＯ吸附态强度比值的增加．表面反应生成了表面甲酰基、甲酸盐、乙酰基、乙酸盐、乙烯酮及烯醇盐等关键的Ｃ１－２含氧中间体．助剂Ａｇ的加入提高了铑催化剂上ＣＯ吸附态的线／桥强度比值以及线式吸附ＣＯ的加氢反应速率和Ｃ２含氧物的生成率．     

利用RAPD标记鉴定芥菜(Brasica juncea Cos.)品种(英文)

从６０种１０ｂｐ随机引物中筛选出７种引物,对８个芥菜变种的１６个品种（每个变种有２个品种）进行了随机扩增多态性ＤＮＡ（ＲＡＰＤ）鉴定,能快速、灵敏、较为简便获得了１６个芥菜品种的基因组ＤＮＡ指纹图谱．结果表明,不同引物在１６个品种上都有其特征ＤＮＡ带,一般只有１条,少数有２条．在同１个变种的２个品种之间存在着丰富的ＲＡＰＤ标记,通过比较２个品种各自独具的ＲＡＰＤ标记,就可明确地将２个品种区分．在所用的７种引物中,没有１种能同时将８对芥菜品种全部区分开,但用２种或２种以上的引物就完全可以将８对芥菜品种全部区分开．     

地理信息系统城市地下水管理模型研究

许多城市不同程度地存在区域性的地下水水位下降、水质恶化等问题,因此应用先进的理论和方法,确切评价及管理地下水资源,是当前城市供水中亟待解决的问题。地理信息系统（ＧＩＳ）作为一种新兴的空间信息技术系统,广泛应用于资源管理、环境监测、市政规划等许多方面,被越来越多的国家地区部门所重视,并得到了人们的认可。所以,为了更好地研究管理城市地下水资源问题,本文使用ＧＩＳ与数值模型相结合的方法,建立了ＧＩＳ城市地下水管理模型,并应用于某市的实际工作,取到较好的效果。建立的模型有一定的推广价值。     

含磷聚合物水处理剂的合成和性能

用氧化还原引发体系,在水相中合成丙烯酸（ＡＡ）／丙烯酸羟丙酯（ＨＰＡ）,丙烯酸／２－丙烯酰胺基－２－甲基丙基磺酸（ＡＭＰＳ）和ＡＡ／ＨＰＡ／ＡＭＰＳ三种含磷共聚物。并探讨了合成条件对其结构与性能之间的关系。研究结果表明,在较高ｐＨ值,和高硬度的苛刻水质条件下,它们具有良好的阻碳酸钙和阻磷酸钙垢的性能。     

远程教育管理技术及其实现

分析了远程教育管理涉及的教育模式和管理内容,并给出了基于ＣＥＲＮＥＴ、Ｉｎｔｅｒｎｅｔ网络环境下的初步实施方案,对阐述了如何实现ＷＷＷ服务器对数据库的高效防间和系统的安全等有关技术问题。