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

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

基于多码CDMA系统的多级业务接入控制

基于支持多级业务的多码CDMA系统,本文设计了一种适合于多级业务接入的两层控制方案,借助于该方案,实时业务用户一旦被接纳就立刻进行通信,而非实时数据用户的通信过程要受到呼叫层和突发层双重的皎皎接入控制,这样,前者的QoS能够得到保证,而后者则可以充分利用网络暂时闲置的信道容量。     

IP欺骗攻击原理分析与防范

TCP ／ IP协议是互连网络的核心协议,但由于它本身存在着一些不安全的地方,从而可以对TCP ／ IP网络进行攻击。本文介绍了IP欺骗攻击的原理及实现IP欺骗攻击的方法,最后介绍了怎样防止这种攻击的手段。     

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

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

HIPERLAN／2性能分析

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

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

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

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

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

数字水印研究及Matlab仿真实现

数字水印技术在数字产品的版权保护中起着非常重要的作用。概括了数字水印技术的现状及其基本原理，并分析了变换域数字水印算法的优势，详细阐述了DCT水印嵌入和提取算法的原理和步骤。最后在Matlab平台下对DCT数字水印算法进行了仿真，仿真结果证实了DCT算法的强健性和鲁棒性。     

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

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