基于计算语义的安全协议验证逻辑

提出了一个基于计算语义的安全协议验证逻辑,能准确描述安全协议中的各种计算行为和通信行为.设计了基于该逻辑的证明系统,能对密码学中常用加密算法的各类安全属性规范直接描述,具有密码学可靠性.发现了计算协议组合逻辑在加密算法安全性建模时存在的不可靠性,并提出了解决方法.通过对Needham-Schroeder-Lowe协议安全性的证明,验证了逻辑的证明能力.与大部分验证方法不同的是,本逻辑属于由密码学算法安全性到协议安全性的正向推理方法,兼具符号方法的易用性和计算方法的可靠性.     

信号处理与系统课程双语教学实践与思考

从教材选择、备课、授课以及授课效果评估等方面介绍了“信号处理与系统”课程双语教学改革的实施情况。教学效果的综合评估与分析表明：教学方法的变革不仅激发了学员的学习兴趣,培养了创新意识,而且提高了英语综合运用能力。本文分析和讨论了进行双语教学改革所面临的实际困难,给出了克服这些困难的一些建议,以便更好地开展双语教学。     

认知无线网络MAC协议的控制信道建模

针对认知无线网络媒体接入控制(CRN-MAC)协议的控制信道饱和问题,提出一种控制信道建模方案。引入控制信道门限的概念,根据协议超帧、控制子帧、数据子帧的时间约束关系,建立控制信道门限的定量分析模型,得出门限值的数学表达式。应用定量分析模型评价CCMAC协议的理论网络吞吐量。仿真结果验证了该模型的有效性,并给出网络吞吐量与CCMAC协议参数之间的数值关系。     

利用EPLD实现TMS320C5402与SDRAM接口

介绍了基于电可擦除可编程逻辑器件 EPLD,用VHDL语言设计实现的TMS320C5402与SDRAM的接口电路。     

基于H.221帧的同步搜索原理及其FPGA实现

本文提出了一种基于Ｈ．２２１帧的帧同步搜索方法，并详细阐述了其基本原理以及利用ＦＰＧＡ器件的实现技术。     

一种用于实时体绘制系统的自适应采样算法

本文讨论了一种用于体绘制的、支持基于空间跳跃和自适应光线终止等优化算法的高效硬件结构及一种加速半透明物体绘制的新技术.这种硬件结构用于绘制规模为256³体元的数据时可达到70Hz的帧频,但这样的帧频只是在体元的透明度都被置为0(完全透明)或1(完全不透明)的情况下才能取得.引入新的加速技术后,绘制半透明物体的帧频也可接近上述数值.新的加速技术采用自适应采样步长减少体绘制过程中冗余的体元重采样,从而使算法的复杂度和对存储器的带宽要求大大减小.新的加速技术对半透明体数据可取得高达4.7倍的加速比.采用新的加速技术需要在开始交互绘制前对体数据进行距离编码.优化后的距离编码对有8兆体元的体数据的预处理时间仅需要8~30秒.     

HIPERLAN／2性能分析

分析了高性能无线局域网的模型及性能并对组网中所要解决的问题进行了讨论。     

利用UML建模设计指挥自动化软件系统

指挥自动化系统是C4ISR的重要组成部分，主要用于系统的指挥、控制和协调，指挥自动化应用系统的开发是一个复杂的软件工程，结合一个指挥自动化系统工程项目，利用统一建模语言(UML)来对该系统建模和设计，展示了UML在开发指挥自动化系统的运用，表明软件工程的方法可以有效地运用于指挥自动化系统的开发。     

Windows平台上实现多媒体信息实时捕获的几种主要技术研究

针对实时视频捕获，讲述了在Windows环境下利用VideoforWindows库函数和DirectShow技术实现实时视频采集的关键技术，给出了软件实现视频流捕获的结构流程和相应的编程示例。