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

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

园艺业在新疆绿洲建设中的作用与可操作性问题的探讨（综述）

概述了新疆绿洲和新疆园艺业的情况,从经济效益、社会效益、生态效益三个方面较全面地论述了园艺业在新疆绿洲建设中的地位和作用,旨在强调其在绿洲中的重要性,同时探讨性地提出了园艺业在新疆绿洲中健康发展的可操作性体系。     

新疆植物物种多样性的特点分析

新疆土地面积占全国１／６,约１６４．６８万ｋｍ２,位于欧亚大陆腹地,景观与地形复杂,气候变化明显,植物种质资源特殊。新疆高等植物４０８１种（包括２２９亚种、变种与变型）,隶属于１６１科８７７属,新疆植物多样性的特点如下：１）单种科、单种属及寡种属丰富,分别为８０科、３７４属及３１５属。２）短命及类短命植物丰富,已知的有２３２种,隶属于２７科１１４属,主要分布于准噶尔盆地边缘。３）新疆特有种稀少,但中国、塔什库尔干、天山、阿尔泰山、昆仑山及帕米尔高原的特有种特别丰富。４）近５０年以来,发表的新疆新分类群较多,有３６０余种。５）中国仅分布于新疆的植物有１７７３种,其中１００种以上的科有４科（豆科,伞形科,菊科,禾本科）,总数为６２２种;８０种以上的科也有４科,总数为３３１种。最后,对新疆极端环境下的植物种质资源及栽培植物的野生近缘种的保护问题提出了几点建议。     

篮球竞赛规则演变与技、战术发展研究

从文献入手,通过对百余年来篮球竞赛规则演变的研究,指出篮球规则随篮球运动的发展而变化,又推动或制约着篮球技术、战术的形成和发展,并导向着篮球运动向快速度、强对抗、全攻全守方向发展,因而不断地对运动员、教练员和裁判员提出更新、更高的要求。     

以太网建设中的关键技术问题

以太网拥有最大广泛的用户,以太网新技术的不断出现又给传统以太网注入了活力。深入理解以太网技术,对改造原有以太网和构造新网都有重要意义,本文论述以太网建设中的重要技术问题及建网实务。     

两端任意支承的矩形截面钢筋混凝土梁可靠性优化设计

利用雷－莉法把非正态变量转换为当量正态变量,建立了在多个任意分布基本变量情况下的２性结构优化的设计数学模型。最后给出了设计人格最小的矩形截面钢筋混凝土梁的可靠性优化设计实例。     

晋祠灌区农业节水灌溉分析

本文从节水灌溉概念出发,结合晋祠灌区的实际情况,在对种种上节水措施分析的基础上,为晋祠灌区的发展提供了一条可持续发展的道路。     

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

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

新生儿出生监测结果分析

分析了１９８６年９月￣１９９０年６月,１９９６年７月￣１９９８年５月在齐齐哈尔市第二医院分娩的４８６０例新生儿出生监测结果。