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

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

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

网络路由收敛性能测试研究

在网络建设和运行中,采用测试的方法对其性能进行评估对于网络的正常运营具有重要的意义.本文研究了网络路由收敛性能测试方法,为得到路由收敛性能指标,对OSPF和iBGP的路由收敛时间进行了测量.提出了一种简化的路由收敛时间测量方法,通过测量数据平面的传输性能指标,对路由控制平面的收敛时间进行估算.该方法对于测试设备要求不高,实施简单方便.采用该方法在CERNET2投入运营之前对其进行了路由性能测试,实验结果表明CERNET2在路由变化时具有较好的路由收敛性能.     

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

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

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

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

高速磁浮曲线地段简支轨道梁墩体系动力响应仿真

应用桥梁动力学、车辆动力学和电磁相互作用原理建立了高速常导磁浮交通车-梁-墩体系动力分析模型,利用数值积分求解了大规模非线性耦合动力方程.在此基础上结合具体线路条件进行了车线耦合动力学检算,得到了曲线地段车辆及梁墩体系动力响应基本规律.该部分的研究为制订合理的高速磁浮线路设计标准提供了理论依据.     

TCP拥塞控制分析模型

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

基于多Agent的交通运输枢纽虚拟组织信息集成框架

面对动态、快速、多变的市场环境 ,虚拟企业开始出现并得以快速发展 ,传统的交通运输枢纽有了新的要求 .在虚拟企业思想的启示下 ,本文试用系统的观点提出作为结合部的交通运输枢纽虚拟组织的概念、特点 ,并指出其信息管理的重要性 .接着在基于多 Agent系统的基础上对其进行分析 ,给出交通运输枢纽虚拟组织信息集成框架 ,并利用面向对象的 Agent进行设计 .最后提出了今后的研究方案 .     

最优吸收截面的存在性

对被真空包围的无穷平行平板，运用勒贝格控制收敛定理和Ｃａｕｃｈｙ－Ｓｃｈｗａｒｔｙ不等式，给出稳态中子迁移系统最优吸收截面的存在性。     

运输需求的特性及其分析特点

研究了运输需求的概念和特性，粗略地总结了运输需求的广泛性、多样性、派生性、空间特定性、时间特定性和部分可替代性６个主要特征，说明运输需求包括流量、流向、流程、流时和流速５个要素。并分析了运输需求的产生原因，讨论了运输需求分析的特点，论述了微观经济学需求理论用于运输需求分析的局限性。