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

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

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

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

斜压模式中的非绝热波

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

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

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

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

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

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

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

G-m界面断裂对灰口铸铁力学行为及性能的影响

用扫描电镜原位观察技术,发现拉伸早期形成的Ｇ－ｍ界面断裂并不是直接连续扩展成主裂纹,而是逐步再生许多界面裂纹,其间基体韧带缩小而形变裂开将界面裂纹连接起来这些过程局限在裂开前主裂纹及其近邻处很窄的微带区内进行在断口或表面裂纹中,Ｇ－ｍ界面断裂占绝大部份,基体韧带的穿晶断裂只占很少基此对灰口铸铁中石墨与性能关系提出了新的解释     

高速网络业务模型及数据流量反馈控制研究

分析了高速通信网络不同业务类型的特点．根据不同业务对网络服务质量（ＱＯＳ）的要求及动态占用带宽的优先度,将其分为两种类型：一类业务可在预定的范围改变其传输速率,另一类是被动的,网络根据可用带宽的大小动态地调节其传输速率．文中给出了一种业务流量控制模型,该模型把带宽的高效率利用归结为如何对被动业务流量进行控制．按充分利用信道容量的原则,提出了一种自适应反馈控制算法．模拟表明,这种控制方法有良好的性能．     

一种识别结构主要失效模式的有效算法

发展了线性互补规划法中的Ｌｅｍｋｅ算法,并与可靠性分析中的分支－约界法相接合,提出一种识别结构主要失效模式的算法,它既不用进行结构重分析,也不用通过判别结构的刚度矩阵Ｋ的奇异性来识别主要失效模式,而是应用一种新的简易结构失效判别准则,最后通过数值算例说明了方法的实用性。     

用于语音识别中的SOFM矢量量化方法

该文讨论了神经网络语音识别系统中的ＫｏｈｏｎｅｎＳＯＦＭ神经网络的矢量量化（ＶＱ）的原理与过程,着重解决了其在实际应用时的若干问题,包括网络大小,学习步幅函数以及矢量量化过程中的公平竞争学习的控制函数的选定。过讨论了基于听觉模型的声学特性的提取与处理,这与ＶＱ性能息息相关。系统应用的实验表明,该神经网络在语音识别系统中具有良好性能。