设计管理信息系统的提出及其面临的问题

从管理和设计的两个方面出发，通过对现代企业产品设计管理信息系统的探讨，阐明了设计管理信息系统的概念和结构；并对其实施的条件及面临的困难进行了系统的分析。     

火力发电厂集散控制系统的设计原则

简要论述了集散控制系统的发展 ,根据火力发电厂的现场环境及实际情况 ,提出了火力发电厂集散控制系统的设计原则 ,并展望了集散控制系统的发展     

DSP--数字化时代的基因芯片

DSP是当今发展最为迅速的和最有发展前景的技术之一。与普通CPU和MCU相比 ,DSP在数字信号处理方面有着无可比拟的优势 ,特别适合网络、通信、控制等需要进行大量数字信号处理的应用场合。今天DSP已经成为通信、计算机、网络、工业控制以及家用电器等电子产品中不可或缺的基础器件 ,DSP在通信、计算机、网络、工业控制以及消费类电子产品等领域有着非常广泛的应用 ,本文阐述了DSP的特点、应用和市场以及DSP技术的发展前景。     

隔河岩水电厂现地控制单元改造

结合隔河岩水电厂现地控制单元改造工程项目，依据多年的计算机监控 系统研制开发经验，对计算机监控系统现地控制单元的结构特点、技术路线及实现方法等进 行了探讨。     

新型的芯片间互连用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标准中,该技术有着重要的地位。对空时分组码及相关知识进行了介绍,并对可变速率的空时分组码设计进行了探讨,最后展望了空时分组码技术的应用前景。     

琼东南盆地深水区储层分布规律

琼东南盆地深水区经历了断陷、断拗和拗陷3大构造演化和沉积充填阶段,主要发育4种沉积体系,相应地形成了4类主要储层:1)陵三段扇三角洲或滨海相砂岩储层;2)三亚、梅山组滨浅海相砂岩储层;3)三亚—莺黄组低位体储层;4)梅山组台地边缘礁滩灰岩储层。平面上,储层发育具有明显的分带性,可划分为:北部浅水陆架滨岸砂岩、三角洲砂岩储层发育带;中央坳陷低位体储层发育带;南部永乐隆起区碳酸盐岩储层发育带。深水区主要位于后2个带,每个带储层发育的控制因素不同,可以进一步划分为多个储层发育区。每个储层发育区存在多套储盖组合,每套储盖组合在多个储层区中发育。其中台地灰岩储层可能成为南部隆起区具有重要意义的勘探层系。