一个新的单调类定理

定义了集类的ｗ类的概念,给出了ｗ类的单调类定理．     

扩频系统中自动频率校正单元的设计与实现

针对ＩＳ－９５码分多址蜂窝通信系统标准,给出了一种在从导引信道上提取信道参数并同时获取对载频频差的估计方案,给出了自动频率校正环路的设计方案,及其ＦＰＧＡ实现。该方案简单可行,硬件资源消耗少,且能明显改善移动台接收机的性能。     

FMS装卸工作站研制中的工业造型设计

简单介绍了柔性加工系统的概念和组成,以及本系统中装卸工作站的要求。归纳了工业设计理论发展,充实,完善的过程,提出了现代工业设计应遵循工业设计三原则,针对不同产品,从里到外,从外到里,反复设计的观点。论述了这一设计理论在ＦＭＳ装卸工作站设计中的实践。最后说明实践成果。     

数字无绳电话PHS及其系统软件设计

数字无绳电话ＰＨＳ系统是结合了最新无线访问技术和智能网络技术的新的通信服务．介绍了ＰＨＳ系统的无线访问方法ＴＤＭＡ／ＴＤ和无线通道．按照通信协议的分层,设计了相应的软件结构．在物理层,实现了基本的物理帧传输;在数据链路层,实现了滑动窗口协议的数据帧传输;在网络层,实现了无线管理、移动管理、呼叫控制等．给出了这些层的典型函数模块．应用层是由中断驱动来实现各种服务的,并按优先级来调度处理事件．ＰＨＳ具有很高的性能价格比,具有广阔的应用前景．     

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

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

算法复杂性函数等价类A[F]中的分解性定理

证明了算法复杂性函数渐近优超等价类数学结构Ａ［Ｆ］中的分解性定理。对任意非免费算法复杂性函数类［ｆ］∈Ａ［Ｆ］及正整数ｎ,存在类［ｇ１］,［ｇ２］,…,［ｇｎ］∈Ａ［Ｆ］满足［ｇｉ］〈［ｆ］（ｉ＝１,２,…,ｎ）且［ｆ］＝Ｖｉ＝１＾ｎ［ｇｉ］。     

矿山排水泵站微机通信测控系统

针对目前平庄矿务局元宝山露 天矿的实际情况,利用ＭＣＳ－９６系列单片机成了矿山排水泵站微机通信测控系统。该系统由调度端和终端站组成,调度端与终端站之间的信息伟递采用无线通讯方式。且具有多机通信功能,故系统具有高可靠性和高性能价格比。     

程控数字交换机计费系统电路设计

针对实际的程控数字交换机计费系统,设计了一种在计算机和程控数字交换机之间进行并行通信的接口电路,该接口电路由大规模集成电路器件构成,对其硬件电路组成及工作原理作了较为详细的阐述,对计算机数据接收程序的设计也作了必要的说明,并给出了程序流图。     

博莱霉素与DNA的作用机理及其类酶性研究

详细介绍了博莱霉素（ＢＬＭ）与ＤＮＡ的结合作用,活化ＢＬＭ与各种自由基在ＢＬＭ介导的ＤＮＡ断链反应中的作用以及ＢＬＭ类似酶的催化行为多方面的研究进展情况。     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题