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

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

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

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

诱导法曲率对圆弧齿线双圆弧齿轮接触强度的影响

根据齿轮啮合原理,分析并比较了圆弧齿轮双圆弧齿轮与普通双圆弧齿轮啮合特性,通过推导这种新型齿轮齿面诱导法曲率,分析了接触强度得以提高的原因。同时用切齿法进行研究后得出,该齿轮还具有较高弯曲强度。     

生长曲线模型中协差阵的一致最小方差非负二次无偏估计

在准椭球等高分布下给出了生长曲线模型中ｔｒ（ＣＶ）的一致最小方差非负二次无偏估计存在及任一个非负二次估计成为一致最小方差非负二次无偏估计的充要条件。     

Kadets1／4定理和缓增样条

证明了Ｓ２ｍ（Ｔ,Ｒ）∩Ｌ２（Ｒ）上的Ｍａｒｃｉｎｋｉｅｗｉｃｚ－Ｚｙｇｍｕｎｄ型不等式及Ｂｅｒｎｓｔｅｉｎ型不等式,其中Ｓ２ｍ（Ｔ,Ｒ）是以｛ｔｊ｝为非正规节点系的缓增的２ｍ阶多项式样条函数空间,节点系｛ｔｊ｝满足Ｋａｄｅｔｓ１／４定理的条件,即ｔｊ＝ｊ＋ｗｊ,ｓｕｐ↓ｊ│ｗｊ│≤ｒ〈１／４,ｗｊ∈Ｒ,ｊ∈Ｚ,由以上结果,进一步给出了在节点系上插值的插值样条ｓ２ｍｆ（ｘ）在Ｌ２（Ｒ）中收敛到ｆ（     

THE TYPE OF A CLASS OF VILENKIN CONVOLUTION OPERATORS

在满足第二个数公理的零紧Ａｂｅｌ群Ｇ的空间Ｌ（Ｇ）中研究了一类Ｖｉｌｅｎｋｉｎ卷积算子的性质．该类算子包括Ｖｉｌｅｎｋｉｎ－Ｆｏｕｒｉｅｒ级数的部份和、Ｆｅｊｅｒ平均等作为特例．文中证明了这类算子是弱（１,１）型和强（ｑ,ｑ）型的,１＜ｑ＜∞．     

M-ary 正交调制 DS/CDMA 在衰落信道中的性能分析

讨论了Ｍ－ａｒｙ正交调制ＤＳ／ＣＤＭＡ系统在瑞利及莱斯衰落下的误码性能。采用理论分析的方法,推导出了在瑞利及莱斯衰落下ＤＳ／ＣＤＭＡ系统误码率的闭式表达,理论分析与数值积分结果相符。对于实际信道功率时延曲线为指数衰减的情况,讨论了不同指数衰减率对系统性能的影响,并就分集接收方案及不同系统参数的影响也作了分析。结果表明随着指数衰减率的增加和莱斯参数的减小,误码逐渐增大;而随着分集的加入,系统误码性能可大大改善。     

应用遥感资料获取库区水下地形的方法研究

对美国陆地卫星接收到的新安江水库七个不同时相的多波段ＴＭ数据图像资料进行计算机解译,按不同的库区水位解译出每个时相的水陆界线准确位置及求出水边线所包围的水域面积,然后按序进行图形叠加,经过整饰便可得到一幅库区的水下地形 图,根据卫星遥感的成像时间找出水库当时的实际水位,作出水库的水位－面积曲线,经新安江水库原设计的水位－面积曲线与用遥感方法提取的同等水位的面积值分析计算,其平均误差小于０．１１％,     

同步测功机扩大容量和应用范围的探讨

本文导出了在发电和电动工况下的转矩—转速曲线,论述了电动运行下的起动方法,并尝试采用Ｙ－Δ混合绕组以改善发电运行下的电势波形．结构简单,制造方便是这种电机的特点     

G-M计数管实验的研究

通过实验证实Ｇ－Ｍ计数管实验中新旧计数管对计数管的坪曲线和分辨时间的影响,研究放射源放在不同位置与计数管计数的关系,分析自动定标器阈值电压的选择方法．