（Z、E）－1－对氯苯基－2－（1，2，4－三唑－4－基）－4，4－二甲基－1－戊烯－3－酮的合成分离和结构测定

合成１－对氯苯基－２－（１，２，４－三唑－４－基）－４，４－二甲基－１－戊烯－３－酮。分离出Ｚ和Ｅ异构体并测定分子结构。讨论结构对熔点和￣１ＨＮＭＲ谱的影响。     

“化控”是玉米增产新途径

生根壮苗剂是中药型一种化控物质,它可激活酶系统,提高光合作用能力,从而提高农作物的产量.     

两类特殊S0-模糊传递矩阵的收敛性

定义了两类特殊的S0-模糊传递矩阵,讨论它们的收敛性.首先定义了Sz-模糊传递矩阵,证明了对任意n阶Sz-模糊传递矩阵A有An=A2n=A3n=….其次定义了Z0-模糊传递矩阵,证明了对任意n阶Z0-模糊传递矩阵A,A(n-1)2+1中元素全是非零元,并给出A(n-1)2+1=A(n-1)2+2=…成立的充分条件以及振荡周期PA=n-1的充分条件.     

具有两种服务速度的可修MX/G(M/M)/1排队系统

在服务速度可变的M／G（M／M）／1可修排队系统的基础上,考虑顾客批量到达的情况,建立了一个具有两种服务速度的可修M^X／G（M／M）／1排队模型．在这个批量到达的排队系统中,服务台具有两种服务速度．当系统中到达的第一批顾客数大于事先设定的正整数N时,服务台以较高的服务速度2服务顾客直到系统变空．当系统中到达的第一批顾客数小于或等于Ⅳ时,服务台以较低的服务速度1服务顾客．如果服务台以较低的服务速度1服务顾客时再有顾客到达并且使得系统中的顾客数大于N,则从下一个顾客开始服务台以较高的服务速度2服务顾客直到系统变空．通过补充变量法得到了系统的状态转移图,根据状态转移图得到了系统的微积分方程组,然后对方程组求解得出了系统的队长分布及一些可靠性指标．     

LINEAR COMPLEXITY AND THE MINIMAL POLYNOMIAL OF LINEAR RECURRING SEQUENCES OVER Z/(m)

In this note we discuss the annihilating properties of sequences over Z/(m).Byconsidering the linear complexity and the annihilator structure,we derive the uniqueness conditionfor the minimal polynomial,and some related results of decimation sequences.     

Microsoft组件对象模型的形式化描述

基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.     

关于Z-空间的性质

提出了B-Z-空间的概念,研究了有关Z-空间的性质,同时将泛函分析中赋范空间的积空间与商空间的性质移植于Z-空间之中.     

3种肉桂酸（4—X—（Z）—2—烯—丁基）酯（X＝OH，Cl,I））的合成、表征及理论研究

报导了3种肉桂酸（4－X－（Z）－2烯－丁基）酯（X＝OH,Cl,I)的制备,测定了标题化合物的红外和核磁共振谱,并有HF／4－31g方法优化了3种化合物构型,在此基础上计算机了其红外光谱,再用GIAO从头计算方法计算了3种化合物的NMR谱,其结果与实验值符合较好,显然,IR,NMR的量子化学计算机可为确定化合物的结构提供一种新的工具。     

基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.