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

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

关于三网合一技术

介绍了我国现阶段并存的三网(电信网、有线电视网和计算机互联网)的特点与现状，分析了三网在融合过程中需要解决的一些不可避免的问题，以及三网合一的技术基础和促进三网合一的有利因素，提出了三网合一是现代通信和计算机网络发展的必然趋势，以及在三网融合的过程中还将有一个相互渗透交叉、相互竞争、共存发展过程的观点。     

用DDM实现分布式三维虚拟环境

介绍了HLA中数据分发管理(DDM)的过滤原理;研究分析了目前几种实现DDM过滤机制的方法及其存在的问题,并提出一种简单易行的DDM实现策略,以实现三维虚拟环境的分布式,来提高它的响应速度.     

MPEG-1的索引系统设计与实现

文章提出一种对MPEG-1静态文件进行索引的方案。该方案把MPEG-1静态文件分解成独立的系统信息、音频流和视频流,并建立索引树。根据索引可以快速地对音频流和视频流进行搜索和定位,还可以按照流媒体传输规则打成RTP包,并介绍了一种简便易行的视频容错策略。     

绑起手来最自由

8月8日中新网发布消息说,中国银监会主席刘明康已致信巴塞尔银行监管委员会主席卡如纳先生,表示至少在“十国集团”2006年实施新巴塞尔协议的几年后,中国才考虑实施新协议,目前仍将继续执行1988年的老协议。     

三对角方程组行处理法并行算法模拟

给出一个串行模拟在分布式存储ＭＩＭＤ一级３叉树机上求解任意三对角线性代数方程组的分布式迭代算法的Ｃ语言程序。     

基于DDE的FIX与VB数据通讯的实现

介绍了Windows环境下DDE（动态数据交换）技术原理，以及组态软件FIX与开发工具VB对DDE技术的支持，通过实例说明了FIX应用与VB应用程序之间利用DDE进行数据通信实现方法。     

CALIS分布式联合虚拟参考咨询系统（CDCVRS）使用之我见

介绍了CALIS分布式联合虚拟参考咨询系统CDCVRS,在调查排名前50位的大学图书馆使用CDCVRS的情况基础上,总结了CDCVRS使用过程中存在的问题,提出了相应的解决办法。     

基于Solidworks制图实验的研究与应用

从机械制图教学的特点出发.结合SolidWorks软件的特点,利用SolidWorks的三维立体造型功能.工程科功能.装配体功能及动态演示功能.通过基本体.组合体.相贯线及装毫体等制图实验,较大地缩短认知周期,提高教学效果.