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

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

基于分散网络化生产系统的车间生产管理模式及系统设计研究

基于分散网络化生产系统,针对我国中小型机械制造企业技术现状,提出了在基本上不改变现有车间基础设施的前提下,通过信息集成建立产品数据,财务和计算机辅助车间调度等管理子系统,以增强企业适应产品市场多变的能力;采用多品种,小批量生产方式,以满足产品生命周期缩短和２１世纪国际化大市场竞争的需求。     

水稻红莲型粤泰不育系和保持系黄化苗及不同发育时期？…

分析了水稻红莲型粤泰不育系和保持系黄化苗、单核、三核期花药约３０００条ｍＲＮＡ,共观察到２４条差异带,差异率为０．８％,说明绝大多数ｍＲＮＡ均是组成型表达,２４条差异带中的５０％的带银染色着深,其余的染色很浅,苗化苗期未能观察到差异带,单核期差异带为４条,二核期７条,三核期１１条,另有２条差异带在保持系三核期出现而单核和二核期不存在。     

斜压模式中的非绝热波

应用含非绝热因子的斜压两层模式方程组,了非绝热因子氏纬超长波动的作用。     

莲子叶蛋白体的类型,来源与发育

莲子叶于发育的１０￣２８ｄ,以不同速率在叶肉细胞中大量积累贮存蛋白,并以不同方式组装许多形态各异、结构不同的蛋白体。按其来源与发育的特点可分４种类型：①粗面球状蛋白体;②光面球状蛋白体;③杯状蛋白体;④淀粉蛋白体。发育顺序是①,②类先形成,③,④类后发生;②类的发育贯穿整个贮存蛋白的积累期,比较了莲与其他植物蛋白体的异同。     

电流模式双二阶滤波器的基本CMOS OTA实现

针对采用多输出跨导运算放大器(OTA)实现电流模式滤波器频率受限问题,提出了一种基于只有一个输出端的基本跨导运算放大器及电容的连续时间电流模式双二阶滤波器的最简实现方案;讨论了跨导运算放大器的非理想特性对电流模式滤波器的性能影响;面向实际电路完成了MOS管级的计算机仿真,仿真结果表明所提出的滤波器电路在不加任何补偿措施的条件下,其特征频率可以达到5 MHz.     

使流体运动的浅水模式的非线性方程组存在行波解的几种动力学 …

从流体运动的浅水模式的非线性方程组出发,严格证明了在静压近似条件下,控制水波运动的非线性动力学方程组无行波解的结论,通过对物理机制的分析,补充了使此方程组存在行波解的上动力学效应。     

长春市双阳吊水壶风景区的岩溶洞穴群

在阐述长春市南部双阳区吊水壶岩溶洞穴群特征的基础上,进一步对该区发育岩溶洞穴群的地质环境、成因和形成时代进行了探讨。     

南宁地区石灰岩山地生态设计初探

南宁地区石灰岩山地多为荒山草坡,开发利用非常困难。根据景观生态学的“共生”原则,利用生物控制的方法,从当地植物种群中优选了一系列耐旱、耐瘠、速生、固氮的品种,提出了建立以新银合欢为主的植物群落的生态建设方案。     

福州陶江中国淡水蛏Novaculina chinensis生殖周期的研究

采用活体性腺观察和组织切片法对福建闵候尚干陶江中国淡水蛏的生殖腺进行了初步研究,淡水蛏的性腺发育分为５期,增殖期,生长期,成熟期,排放期和休止期,一年只有一个繁殖周期,繁殖期为３月下旬至４月,雌雄异体,有雄性早熟现象,较晚期的卵母细胞和成熟卵子有双质核仁现象。