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

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

基于FPGA的数字化电力线载波扩频系统的设计

探讨了利用可编程ASIC芯片FPGA实现电力线载波扩频系统的数字调制的新方法 ,介绍了系统的结构、工作原理 ,以及电力线载波扩频系统数字化面临的几个主要问题和解决方法     

Polarized Emission of Molecular Film With Lanthanide (Ⅲ) Complex

1 Results In the coordination system by using complexation with organic ligand, the ff emission of lanthanide(Ⅲ) (Ln(Ⅲ)) is induced the excitation energy transfer form the organic chromophore under the light-irradiation. However, there are not so much number of reports to discuss the energy relaxation mechanism in such complexes with Ln(Ⅲ). Recently, we succeeded firstly to estimate the rate constant of the energy transfer between the ligand and Ln(Ⅲ) in Pr(Ⅲ)-phenanthroline analogs[1]. Here, we will di...     

利用DA算法实现大规模FIR滤波器

分布式算法是一种广泛地应用在可编程逻辑序列（FPCA）和ASIC设计中计算乘积和的算法。DA算法的处理速度仅与输入的位宽有关，对于大规模乘积和的运算，其计算速度有着明显的优势。当输入位宽过大时，可以将DA算法改进成并串结构以获得更快的处理速度。该文对在FPCA中利用DA算法实现大规模FIR滤波器，提出了具体的实现方案。     

血液的光学性质研究

本文用辐射输运理论方法去计算红细胞的光学特征量,并在此基础上提出检测血细胞数密度的理论实验方案,其结果与传统的方法一致。本文为开发一种血球数自动检测仪提供了理论基础和仪器结构原型。     

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

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

专用短程通信在智能交通系统中的应用

交通专用短程通信(Dedicated Short Range Communication,以下简称DSRC)是智能交通系统的基础,是专门应用于智能交通领域的一种短距离无线通信协议。它是车辆与路边设备进行单向或双向交互式通信的标准,将车辆和道路有机地连接起来。从而,交通控制中心可以通过与行驶车辆的数据通信实现对车辆的智能管理,同时车辆还能够接入交通信息网,使用信息网中的资源。本文研究了DSRC系统的三层体系结构,讲述了交通专用短程通信系统的软硬件实现方法,最后对DSRC系统研究意义进行了一定的分析。     

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

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