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

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

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

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

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

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

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

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

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

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

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

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

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

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

新生儿出生监测结果分析

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

植物园地的设计与规划

植物园地的设计规划在高等院生物学教学中占极其重要的地位。本文以植物园地的选择,规划,设计及植物种类的选择和利用进行了阐述,为更进一步提高有关生物学教学质量,开展科研开及植物的开发与应用奠定了基础。     

仔猪混合感染致病性白色葡萄球菌和大肠杆菌的诊断及防制初报

经过病原的分离鉴定、致病性试验及病仔猪防治效果的分析,确诊某集约化养猪场仔猪发生以“渗出性皮炎”为主的疾病为致病性白色葡萄球菌和大肠杆菌混合感染,通过采取综合的防制措施后,彻底控制本病的发生和流行。