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

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

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

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

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

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

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

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

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

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

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

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

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

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

弱酸性介质中Silicalite—1分子筛膜的制备与表征

在ＳｉＯ２－ＴＰＡＢｒ－ＮＨ４Ｆ－Ｈ２Ｏ弱酸性氟离子体系中,在玻璃基片上采用水热晶化法制备了Ｓｉｌｉｃａｌｉｔｅ－１（全硅ＺＳＭ－５）分子筛膜．通过ＸＲＤ,ＳＥＭ分析测试手段对所合成的分子筛膜进行了表征,并对膜合成中硅源,水量等影响因素进行了考察．     

SO2-4/TiO2-SnO2/ZSM-5催化合成乙酸丁酯

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

SO^2—4／TiO2／ZSM—5催化剂催化性能的研究

以浸渍沉淀负载法制备了ＳＯ＾２－４／ＴｉＯ２／ＺＳＭ－５分子筛催化剂，用ＸＲＤ，ＩＲ，ＤＴＡ，ＴＧ，ＮＨ３－ＴＰＤ，ＩＣＰ等对催化剂的物化性能进行表征，考察了它对酯化反应制乙酸丁酯的催化活性。结果表明；催化剂含ＴｉＯ２为６．０ｗｔ％，ＳＯ＾２－４为３．２ｗｔ％，在最佳条件下，乙酸的转化率达９８．８％，选择性为１００Ｔ〉达到以硫酸为催化剂的催化活性。     

PLC在安全带使用寿命检测系统中应用

介绍使用西门子公司生产的S7-200型可编程控制器(PLC),实现对安全带使用寿命的检测。系统包括A、B两套功能完全相同子系统,每套系统分别由电磁阀、汽缸、位置信号、六棱摩擦柱等组成,系统的控制核心是PLC。各部分有机的结合使系统能够完成安全带使用寿命的检测。着重阐述了系统的工作原理和控制过程。     

数控车床主轴弯曲刚度校验的研究

提出可根据数控车床设计时选用的典型切削条件来计算机床总刚度。在进行主轴刚度校验时，可选用按机床总刚度确定的主轴刚度指标。也对主轴简化和轴承刚度计算提出建议。     

复式比率制动差动元件中制动系数取值分析

在制动量中引入差动电流,构成复式比率制动特性.该特性制动系数的选取,应保证在内部短路故障时,计及流出母线电流的情况下,差动元件也能可靠动作;在外部短路故障,TA饱和而产生较大的误差时,也能保证安全性.通过分析提出同时兼顾内外故障时制动系数的取值范围;同时说明了双母线分裂运行和并列运行时差动保护的大差元件应取高低不同的制动系数.     

人才考核中的判别分析方法

判别分析是判别样本所属类型的一种多元统计方法。作为一种新的尝试，该文将其引入到人才考核中，建立判别模型，进行实例计算，使人才考核的结果更具可比性和公平性。     

期间核查在水质分析实验室中的运用

通过对仪器设备期间核查定义、重要性的解释,阐述了期间核查在水质分析实验室的作用。     

一种提取曲面加工可行刀具方向的方法

着眼于自由曲面五轴ＣＮＣ加工中无干涉刀具接近方向集合的自动获取算法的研究，给出了一种基于凸包和适应性离散的采样算法，使得在干涉检查过程中，采样点的选取能适应曲面几何特征．在刀具路径的每个ＣＣ位置，自动给出可行方向的集合，减少干涉检查的人工交互，提高计算效率．该算法可以作为模具加工的并行工程框架中自动无干涉路径规划的支持工具．     

民事诉讼中的检察监督制度

提起民事诉讼是检察机关的一项重要职能。通过民事诉讼检察监督制度概念的认识,对外国民事诉讼检察监督制度的立法研究、剖析,比较出我国可以根据中国国情和诉讼一般理论为基础,予以适当借鉴外国的做法。对我国的民事诉讼中的检察监督制度及相关立法应给予充分肯定。进而指出对现行的民事诉讼中的检察监督制度必须改善的必要性,得出民事检察监督制度要日趋加强、完善的设想。     

高等院校年度考核浅探

年度考核是人事管理的基础性环节，也是人事管理的一项法定要求。本结合高校实际，探讨了如何做好高校的年度考核工作。     

激光刻线机控制软件开发

介绍了在Windosws2000平台下针对激光刻线机控制软件的开发过程.包括软件系统构成、宏命令编译、刻线模拟显示、运动控制、激光控制、机器状态检测等内容.     

税务稽查数据仓库系统的研究与开发

在对某市税务稽查数据仓库系统分析的基础上，提出了税务稽查数据仓库系统的设计，详细阐述了基于方差分析算法的分析模型，并采用方差分析等算法对该市积累的历史数据进行了统计分析，得出了税务稽查的违法分布。税务稽查人员据此可以确定下一年度的稽查重点并做出相应的稽查计划。