新型的芯片间互连用CMOS/BiCMOS驱动器

从改善不同类型 IC芯片之间的电平匹配和驱动能力出发 ,设计了几例芯片间接口 (互连 )用 CMOS/Bi CMOS驱动电路 ,并提出了采用 0 .5 μm Bi CMOS工艺 ,制备所设计驱动器的技术要点和元器件参数。实验结果表明所设计驱动器既具有双极型电路快速、大电流驱动能力的特点 ,又具备 CMOS电路低压、低功耗的长处 ,因而它们特别适用于低电源电压、低功耗高速数字通信电路和信息处理系统。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

层序单元体系域划分及勘探意义

体系域是层序地层学理论体系中的重要概念，在隐蔽油气藏的勘探中，勘探家们极为重视低位体系域。但体系域的成因意义、是否有不同级别层序的体系域以及如何划分，在实际工作中认识不一致。结合勃海湾盆地的勘探实例，分析体系域的成因机制、组合特征和勘探规律，认为：体系域是基准面变化等因素作用的产物，不同级别的层序都发育着与其对应的体系域：一般情况下，三级层序对应的体系域单元与含油气层的规模相匹配，但四级层序对应的体系域才是隐蔽油气藏赋存的有利部位。图5参6。     

通用布缆系统标准化现状与分析

分析了通用布缆系统的基本组成结构，对每一部分的主要功能作了说明。总结了国内外通用布缆系统标准化体系的状况，重点描述了北美、欧洲以及国际通用布缆系统标准体系。回顾了国内通用布缆系统标准化的历程，重点分析了国内通用布缆标准化工作的特点和未来通用布缆标准化工作方向。     

无线通信中的空时分组码

空时分组码技术结合信道编码、调制和天线分集技术,当发送天线一定时,他的解码复杂度正比于发送速率,在3G标准中,该技术有着重要的地位。对空时分组码及相关知识进行了介绍,并对可变速率的空时分组码设计进行了探讨,最后展望了空时分组码技术的应用前景。     

238C防盗报警系统的改进

漯河中波台自安装238C防盗报警系统以来,多次出现误报现象,严重影响了发射及其他工作的正常进行。首先对该系统的工作原理进行了简单介绍,然后对误报故障现象进行了分析、处理,并改进了电路设计中存在的不足。改进后的运行数据表明,系统误报率明显下降,达到了预期的目的。最后,对本系统的设计提出了进一步完善的建议。     

容灾系统中存储方案选择的研究

论文首先阐述了在容灾系统中存储方案的重要性,讨论了存储方案需要考虑的衡量指标,然后介绍了主要的存储方式,根据衡量指标划分了存储方式的特性范围,最后着重研究了容灾系统中存储方案的选择流程,并使用一个实例说明容灾系统中存储方案的选择流程。     

通信交流供电方案初探

在通信供电系统中,与直流供电系统相比,从设计、设备技术,到运行维护管理,交流供电系统都有所滞后。借鉴直流供电系统经验,通过应用N X并联逆变器模块热插拔技术,实行分散式供电,进而改变传统的以UPS为核心的集中供电模式,则可在很大程度上解决一直困扰着我们的交流供电系统成本高和可靠性低的难题。     

基于单片机加压控制的PCD复合片真空扩散焊接

文章针对普通钎焊的聚晶金刚石钻头剪切强度不高，提出了采用单片机加压控制的PCD复合片真空扩散焊接的设计思想，在对原真空扩散焊机液压改造的基础上给出如何由单片机控制加压的电路和程序流程设计。实际应用表明，该技术经济实用，有较好的经济效益。     

高校网络非线性编辑系统构建

从我国高校非线性编辑教学现状出发,对单机非线性编辑与网络非线性编辑以及国内外网络非线性编辑系统作了较为全面的分析和对比,在此基础上提出了高校网络非线性编辑系统的构建模式.