基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

PXI在测控系统中的应用

随着有关PXI总线的规范和产品的推出，由于优良的性能指标和适宜的价格，使其受到各相关行业的广泛关注。对风洞测控系统的结构和系统配置作了具体的阐述，并对PXI总线在具体使用中的效果和特点作了较详细的介绍。     

APCI5000电气自动化成套装置设计

电气自动化成套装置种类繁多，并广泛应用于电力系统．结合现场实际商业运行期所积累的经验，并根据市场预测以及目前工控机发展动态，提出了采用APCI5000工业控制计算机实现电气自动化成套装置设计的最佳方案．     

“编译技术”试题库及试卷自动生成系统的研究

本文阐述了高等工科院校计算机专业“编译技术”课程试题库建立的必要性、试题库设计的理论基础及其软件实现原理．对比了本系统与一般试题库的不同与特点     

基于虚拟仪器的异步串行通信协议的检测方法

在分析基于RS－232C标准的串行异步通信原理的基础上，讨论了利用RVO2100虚拟数字示波器检测串行异步通信协议的方法，并与传统检测方法进行了比较。     

TCP拥塞控制分析模型

介绍了研究传输控制协议 (TCP)拥塞控制问题的各种分析模型 ,指出了研究TCP拥塞控制的主要目标 .对当前国内外的研究动态给予了讨论 ,并对当前现有模型根据其流量范围和使用的分析工具进行了分类概括 .最后概要地阐述了在端到端和在网络中进行拥塞控制的相互关系     

基于USB接口的低速率声码器设计研究

以专用语音信号处理器CT8020为核心，应用单片机控制技术及通信接口电路，介绍了一种基于USB接口的低速率声码器的设计与实现方法，在给出系统硬件总体结构的基础上，重点讨论了声码器和上位机软件设计中的若干问题。     

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

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

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

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

数字式温度传感器在冰箱检测系统中的应用

本文介绍了数字式温度传感器的工作原理、性能特征以及如何在冰箱检测系统中引入单总线技术,使用数字式温度传感器更好的实现温度的采集。