结构化面向对象形式规格说明语言OOZS——类型检查器

ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序,它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误,并能够自动定位错误．本文介绍了ＯＯＺＳ类型检查器的设计与实现．     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

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

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

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Ｚ语言用大量的数学符号和模式来构造规格说明,然而,当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号,此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Ｚ规格说明的解决方法,并给出了程序代码和实例。     

SZX-1型数据终端字符显示器

本文讲述了ＳＺＸ－１型数据终端字符显示器。显示器中采用了我校自制的两种 ＭＯＳ ＬＳＩ。 １０２４位动态移位寄存器 ＱＭ２２０用作刷新存储器。 ２２４０位 ＭＯＳ ＲＯＭ用作字符发生器。 ＳＺＸ－１型字符显示器具有简单的通信接口，可用作远距联机终端。     

关于满足条件Ro｛（1—α）f（z）／z＋αf‘（z）｝〉0的函数族的偏差估计

这篇文章,我们获得在族Ｓ（α,β）和Ｓ（α）Ｋ ＢＩＢ ＯＶＴ Ｆ（Ｚ）ＵＤ ＧＦ ｜Ｆ（Ｚ）｜,｜Ｆ（Ｚ）,｜     

EXSYS的特性及其实用的实现

阐述专家系统开发工具ＥＸＳＹＳ的主要特性，并说明利用它研究和开发ＮＯＶＥＬＬ网络错误检测系统的实现过程。     

杂原子Zn—ZSM—5沸石分子筛合成及影响因素研究

以正丁胺为模板剂,水热法合成了Ｚｎ－ＺＳＭ－５,Ｚｎ－ＡｌＺＳＭ－５－沸石分子筛,以ＸＲＤ,ＩＲ,ＳＥＭ,吸附量等分析手段对合成的沸石进行了结构和物性表征,发现晶化温度,ｍ（Ｎａ２Ｏ）／ｍ（ＳｉＯ２）,ｍ（ＳｉＯ２）／ｍ（ＺｎＯ）和铝的加入等影响因素对Ｚｎ－ＺＳＭ－５的合成于关重要。     

Cu—ZSM—5上NO催化分解的研究

考究了不同温度及不同空速条件下,Ｃｕ－ＺＳＭ－５、Ｃｕ／Ａｌ２Ｏ３及Ｃｕ／ＳｉＯ２等催化剂上ＮＯ直接分解的性能,并采用ＸＲＤ,ＴＰＲ及ＳＥＭ等手段对催化剂进行表征,将表征结果与催化剂活性相关联,探讨了Ｃｕ－ＺＳＭ－５催化剂活性较高的原因。     

助剂及载体对MoO3.MxOy／SiO2催化剂性能及甲烷部？…

在常压下,以氧气为氧化剂,用两种不同制法的载体分别制备催化剂,用于甲烷部分氧化反应,对比结果表明用醇盐法所制ＳｉＯ２（ＺＳｉＯ２）做成的催化剂比用市售ＳｉＯ２（ＱＳｉＯ２）做成的催化剂反应活性和选择性好,助剂Ｖ２Ｏ５加入提高了ＣＨ４转化率和ＣＯ２,ＣＯ选择性,降低了ＨＣＨＯ产率和选择性,Ｂ２Ｏ３加入提高了ＣＨ４转化率,ＨＣＨＯ产率和其选择Ｖ２Ｏ５和Ｂ２Ｏ３的加入使ＭｏＯ３与ＺＳｉＯ３发生了不同的相     

Al2O3颗粒弥散强化Y—PSZ基复合陶瓷的R曲线

利用维氏压痕／抗弯强度法对３Ｙ－ＰＳＺ单体和３Ｙ－ＰＳＺ／２０％Ａｌ２Ｏ３复合陶瓷的裂纹扩展曲线进行了测试。结果表明，与裂纹扩展初期引比，Ａｌ２Ｏ３颗粒的弥散增韧效果随着裂纹的扩展而明显上升，除裂纹偏向以外，Ａｌ２Ｏ３弥散颗粒是通过架桥和拔出等方式来进一步提高３Ｙ－ＰＳＺ陶瓷的断裂韧性的。     

YSZ薄膜的阻抗谱测量及其电学性能的研究

应用４１９２Ａ低频阻抗分析仪测量了不同温度下的ＹＳＺ薄膜的阻抗谱,利用Ｂａｕｅｒｌｅ等效电路模型研究了ＹＳＺ薄膜的电导率随温度的变化规律,探讨了掺杂氧化物（Ｙ２Ｏ３）对ＹＳＺ薄膜电导率的影响,其结果表明：ＹＳＺ薄膜的阻抗谱是一个完整的半圆,圆心稍低于实轴,在５００℃时,ＹＳＺ薄膜的电导率为０．０１４Ω＾－１ｃｍ＾－１,且随着测试温度的升高,ＹＳＺ薄膜的电导率增大,稳定剂浓度对ＹＳＺ薄膜的电导率有显     

THE MOTION PROPERTIES OF THE STARS CONFINED TO THE SYMMETRIC AXIS OF AN OSCILLATION KUZMIN DISK

ＴＨＥＭＯＴＩＯＮＰＲＯＰＥＲＴＩＥＳＯＦＴＨＥＳＴＡＲＳＣＯＮＦＩＮＥＤＴＯＴＨＥＳＹＭＭＥＴＲＩＣＡＸＩＳＯＦＡＮＯＳＣＩＬＬＡＴＩＯＮＫＵＺＭＩＮＤＩＳＫＦｕＹａｎｎｉｎｇ１，２）ＳｕｎＹｉｓｕｉ１）（１）ＤｅｐａｒｔｍｅｎｔｏｆＡｓｔｒｏｎ...     

SO4^2—／TiO2／SnO2／ZSM—5催化合成乙酸丁酯

以乙酸和正丁醇的酯化为探针反应,考察了ＳＯ４＾２－ＴｉＯ２－ＳｎＯ２／ＺＳＭ－５催化剂的催化性能。实验结果表明：ＺＳＭ－５分子筛上负载钛锡双组元氧化物,比起负载单组元ＴｉＯ２,在相同的负载液浓度下,催化活性提高了１４％,且焙烧温度和Ｔｉ：Ｓｎ（原子比）对催化活性亦有较大的影响。在回流温度下,催化剂投入量为乙酸加入量的３．２ｗｔ％,反应２ｈ,酯化率达９６．４％。     

基于规格说明的面向对象软件原型开发

提出一种基于规格说明的面向对象软件原型开发方法，规格说明分为结构部分和行为部分。结果部分利用面向对象开发方法ＯＭＴ的直观可社的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行持为分析。     

慢正电子技术研究ZrO2（Y2O3）薄膜的温度效应

用慢正电子技术研究了在溅射时不加偏压，纯Ａｒ气氛，基片分别为加热３００℃和不加热的情况下制备的Ｎｏ．２系列和Ｎｏ．７系列的用Ｙ２Ｏ３稳定的ＺｒＯ２薄膜（简称ＹＳＺ膜）。研究发现：ＹＳＺ膜心部区Ｓ参数随退火温度升高而降低；ＹＳＺ膜的过渡区宽度随退火温度升高而变窄；基片加热，有助于获得稳定、均匀、致密的薄膜组织。     

CZ3-1、CZ3-3复合型缓蚀剂的研制与应用

为解决磨溪气田的腐蚀问题,研制了油溶性成膜缓蚀剂ＣＺ３－１与水溶挥发性缓蚀剂ＣＺ３—３,并将其复配使用．在室内采用常压、８０℃静态试验和高压（高Ｈ２Ｓ气体分压、高ＣＯ２气体分压）、８０℃静态试验评价了ＣＺ３—１和ＣＺ３—３复合使用时于含Ｈ２Ｓ、ＣＯ２、Ｃｌ－及高矿化度等腐蚀介质中的缓蚀作用;在现场试验中采用了加拿大卡普罗克（ＣａＰｒｏｃｏ）腐蚀监测系统考察了ＣＺ３—１和ＣＺ３—３复合使用时对气井地下管串及井口设施的缓蚀效果．室内评价及现场监测均表明ＣＺ３—１和ＣＺ３—３复合使用时在含Ｈ２Ｓ、ＣＯ２、Ｃｌ－及高矿化度等腐蚀介质中有良好的缓蚀效果．     

谈我院教学改革的若干体会

谈我院教学改革的若干体会ＡＴＥＮＴＡＴＩＶＥＥＸＰＬＯＲＡＴＩＯＮＯＦＺＦＣＦＯＲＥＤＵＣＡＴＩＯＮＲＥＦＯＲＭ梅文骧宋富军ＭｅｉＷｅｎｘｉａｎｇＳｏｎｇＦｕｊｕｎ（浙江水产学院，舟山３１６１０１）（Ｚｈｅｊｉａｎｇｆｉｓｈｅｒｉｅｓｃｏｌｅｇｅ，Ｚ...     

浅议《高等学校档案实体分类法》

浅议《高等学校档案实体分类法》胡求光（浙江水产学院档案室，舟山３１６１０１）ＯＮＴＨＥＣＬＡＳＳＩＦＩＣＡＴＩＯＮＯＦＦＩＬＥＳＳＵＢＳＴＡＮＣＥＯＦＵＮＩＶＥＲＳＩＴＩＥＳ／ＣＯＬＬＥＧＥＳＨｕＱｉｕｇｕａｎｇ（Ｆｉｌｅｓｒｏｏｍ，ＺＦＣ，ｚｈｏｕ...