基于TTCN-3底层协议测试方法研究*

TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新的测试方法,并以ARP为例按照新的测试方法对其进行测试,验证了ARP的一致性和TTCN-3语言应用于底层协议的可能。     

路由网络代数

基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算 ,并在此基础提出更适合于描述Internet路由系统行为的选择运算“ ”、协同并行“ ”以及路由网络常量 ,如m×n(路由转发 )、∧ m(分支 )、∨ m(合并 )、⊥ m(下沉 )和┬ m(亚元 ) .通过分析由上述代数运算和路由网络常量构成的路由网络代数模型 ,可以分析路由系统中死锁 (deadlock)和活锁(alivelock)等行为 .为了检验路由网络代数的有效性 ,完成了BGP路由稳定性的实验分析工作 .     

软件体系结构性能评价研究

1 引言随着软件规模和复杂程度不断地扩大和增加,软件开发的成败已不再完全取决于数据结构和软件算法的选择,而是在很大程度上取决于软件系统体系结构(Software Architecture)的设计。软件体系结构已经成为一个新兴的计算机学科。所谓的软件体系结构是问题解决方案的逻辑框架,它包括系统中各计算单元(组件)的功能分配、各单元间的高层交     

一种基于AS关系的BGP路由策略冲突检测算法

因特网边界网关协议BGP是基于策略的路由协议，它为路由选择提供了灵活性，然而，实践表面BGP路由会产生振荡，其原因是路由策略配置冲突，通过分析AS关系，提出一种基于AS关系的路由策略冲突检测算法，该算法根据AS关系下的路由策略配置原则检测路由策略配置错误。     

基于AS关系的BGP路由策略冲突检测研究

对违背AS关系配置原则的路由不稳定性进行研究，提出一种基于AS关系的路由策略冲突检测算法，该算法根据AS关系下的路由策略配置原则，通过把AS关系对象集合与实际导出的AS关系集合比较，发现路由策略冲突，该算法既可用于静态也可用于动态的路由策略冲突检测。     

面向组合投资预测的大数据生成算法

为满足组合投资预测对数据的需求,提出一种基于增量式贝叶斯网络模型的大数据生成方法.使用时间序列生成算法对未来各项数据进行部分生成;结合新生成数据对历史数据训练的贝叶斯网络模型进行更新,使更新后的贝叶斯网络能够体现该时间段内新旧金融数据中各项变量之间的关系及蕴含的规律;在贝叶斯网络中通过路径搜索算法生成投资组合路径的集合,根据其中各路径的概率分布,生成具有真实数据特征的可用于组合投资预测的大数据集.实验结果表明,该方法具有可行性,保证了一定的准确度.     

关于RFID标签的安全策略研究

在比较分析现有的RFID标签安全策略基础上,提出一种新型的基于随机更新过程的安全策略。该策略能有效解决RFID标签信息的安全问题,并且不需要高强度运算和加密技术。该策略在每次标签激活时由标签内电路随机改变其数据并向应用系统发出通知。应用系统接收到通知后更新已注册的标签数据。经过多次激活之后,标签新数据与旧数据完全不同,从而防止了标签非法跟踪。介绍不可链接性的定义,并在相关理论的基础上给出详细的分析。     

本体解析的应用研究

详细描述了如何用Jena2解析本体,包括OWL文件中本体模型的载入,类、子类、实例、对象属性、值属性的提取,以及如何找到某一对象属性相关联的约束值等。