几种涉密网主机系统保护及审计技术的比较

论文比较详细地阐述了涉密网主机系统所面临的安全隐患,提出了涉密网主机安全防护所要解决的几个技术问题,并就可能实现的技术方法进行了探讨和比较。     

人工免疫原理在网络入侵检测系统中的研究

文章分析了人工免疫系统的原理,简单建立了一种基于否定选择算法的网络入侵检测系统,引入了一种用于异常事件识别的r-字符块匹配规则,并对规则存在的漏洞进行了分析。     

动力环境集中监控系统可靠性的提高

为实现电源设备乃至通信机房的少人或无人值守和集中维护,必须建立一套完善的电信局动力环境集中监控系统。文中结合番禺区电信局的实际,讨论了提高系统运行可靠性的几点措施,包括硬件方面与软件方面的手段,关键在于加强系统的运行管理。     

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

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

彩色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.