同步时钟系统在山西电力系统的综合应用

论证了电力系统建设时间同步网的必要性,提出网同步才是真正的同步,并结合山西电力已建的数字同步网及数据通信网,提出了利用山西电网已建的同步时钟系统实现全省各变电站时间同步的初步解决方案。     

对某水利枢纽中计算机监控系统的探讨

某水利枢纽是以防洪为主、兼有航运、发电等综合效益的工程。其泄水闸计算机监控系统按照“无人值班、少人值守”的要求设计，利用计算机进行自动化监测和控制，实现了闸门的远方自动控制。介绍监控系统的配置、应用、功能和特点。     

新型锚喷支护结构在萍乡矿区的应用

根据壳体结构的力学原理设计地下新型网壳喷层结构，大幅度提高喷层的抗弯能力，同时使喷层整体具有一定的可缩性，能承受强大变形地压及采动荷载，达到用较少材料又提高喷层支撑能力与让压的目标，较好解决了加强支撑、喷层合理配筋、简化施工作业、降低材料消耗等问题，在萍乡软岩巷道中进行了工业性试验。     

网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

变电站自动化系统中一种新智能测控装置设计

介绍了变电站自动化系统一种基于80C196KB控制CPU设计的新型线路单元测控装置。它能完成一条线路的遥测、遥信、遥控和遥脉功能。模拟量测量采用基于快速傅里叶变换的交流采样算法，测量精度高。与上位机的通信提供多种选择方式，人机交互采用点阵液晶显示及薄膜式键盘，开关量状态、脉冲量的采集以及控制输出都采用二次隔离技术，并采用了先进软件抗干扰技术，遥控操作可靠。     

自动化物流翘楚昆船驶入快车道

在现代化经济社会里,自动化物流对于社会的繁荣与发展具有举足轻重的作用。 云南昆明船舶设备集团有限公司(简称昆船)长期以来一直致力于自动化物流系统的开发研制和技术创新工作,在科技先导、技术创新理论的指导下,通过引进     

OrCAD9.2(EDA)软件用于电路分析的方法

OrCAD9.2是国际通用电子设计自动化(EDA)软件包，文中介绍了用该软件对电路进行噪声计算的方法，并给出用模拟分析计算的典型电路噪声，证明这种方法在分析复杂电路的噪声时方便、简单、准确。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.