小型机载数字视频记录系统的设计与实现

采用嵌入式控制模块SOM2386和专用视频处理芯片SZ1510,设计和实现了一种基于电子硬盘存储的嵌入式小型机载数字视频记录系统。给出了系统总体方案,阐述了视音频解码编码、接口、控制及存储单元的硬件设计,介绍了系统的软件设计,并给出了系统软件的整体工作流程。该系统体积小、重量轻、抗震性好、使用维护方便,已在某型飞机上得到应用。     

电流叠加型CMOS基准电压源

介绍了一种CMOS基准电压源,该电路由NMOS管阈值电压的温度系数及NMOS管迁移率温度系数形成温度补偿,产生低温度系数的基准电压。与传统的带隙基准比较而言,不需要三极管;另外,通过结构的改进,变成正负温度系数电流叠加型的基准电压源,可以按需要任意调节输出基准电压的值,而且可以同时提供多个基准电压。电流叠加型基准电压源电路已经在3μmCMOS工艺线上实现,基准电压源输出中心值在2.2 V左右,温度系数为80 ppm/℃。     

彩色AC-PDP运动图像仿真系统的开发

开发了彩色AC-PDP运动图像仿真系统,通过利用本系统的运动图像仿真功能可以对现有的各种显示技术、与子场有关的各种因素进行仿真及比较,为人们开发提高彩色AC-PDP图像显示质量的新型技术及子场提供了理论上的依据;通过利用本系统的Gamma特性研究功能可以对彩色AC-PDP中视频信号的反Gamma特性进行研究,并对反Gamma相关编码进行子场逼近,为选择符合要求的子场编码提供了判据.     

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

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

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

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

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。