一种高效的动态概率广播算法及其概率模型检测分析

在Ad Hoc网络中,广播有着相当广泛的应用,其算法的效率极大地影响着网络的性能.本文基于DP算法提出了BN-DP算法,考虑了节点分布、计数器值以及收发节点间距离对广播算法的影响,赋予处于接收边缘的节点更高的转发概率.然后使用概率模型检测工具PRISM,分析了计数器值和节点分布对BN-DP算法性能的影响.结果表明:在相同可达率的情况下,所提出的BN-DP算法与FP、DP算法相比,减少了转发分组的数量,提高了广播效率.     

一类具有“开端”结构的安全协议分析方法研究

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法.     

基于kd-MDD的时序图紧凑表示

时序图是顶点之间的连通性随时间变化的图,大规模时序图的紧凑表示和高效操作是分析和处理时序图数据的基础.提出了一种基于决策图的时序图数据紧凑表示方法——k^d-MDD.k^d-MDD是对k^d-tree的改进,该方法对时序图的邻接矩阵进行k^d划分,通过引入多值决策图来合并相同子矩阵,即k^d-tree图数据表示中存在的同构子树,存储结构更加紧凑.在k^d-MDD紧凑表示基础上,提供了基于k^d-MDD的时序图的基本操作（如顶点正向/反向邻居的检索、边是否处于活动状态的检查、边的添加和删除等）.在真实的时序图数据集上（Flickr-growth, YouTube-growth, Wikipedia等）的实验结果表明,k^d-MDD表示中的节点数仅为k^d-tree表示中节点数的1.58%～4.65%,与ck^d-tree和bck^d-tree相比,其节点数为ck^...     

“知识表示与知识推理”知识体的教学设计

知识表示与知识推理是智能信息处理的基础,在计算机科学和人工智能的众多领域有着广泛应用。知识表示与知识推理的教学,在CC2001和CS2008给出的计算机科学知识体中占据了两个知识单元的位置,但在国内尚未得到足够重视。本文首先阐述将知识表示与知识推理作为一门课程进行教学的必要性;接下来以CC2001和CS2008为参照,给出一个32课时的"知识表示与知识推理"教学知识体;最后对教学实践中遇到的主要问题进行分析,并针对这些问题提出相应解决对策。     

离散数学教学中的计算思维培养

作为一项重要的教育理念,计算思维得到了国内外科学界和教育界的广泛关注,相应地对计算机专业的人才培养提出了新的要求。本文分析了计算思维培养与离散数学教学之间的内在关系,在此基础上分别从课程引入和课程教学两个阶段探讨如何将离散数学教学与计算思维培养有机地结合起来。通过案例,着重论述了如何将抽象和自动化这两个核心思想贯穿于整个教学过程,以及如何根据所讲授的知识点适时地引入计算思维中其他基本概念和思维方法。     

基于势博弈的多路径网络编码研究

介绍反向共乘的网络编码形式,基于博弈理论提出用于多路径网络编码通信分割的势博弈模型。分析一种8个节点的网络拓扑,以网络传输总成本作为优化目标设计势函数,使用博弈中的BNN动态作为激励结构调整流在不同路径上的通信分割,使网络系统收敛于Wardrop均衡,即最低成本状态。仿真结果表明,该模型使用BNN动态能够有效调整流的通信分割,从而最小化网络传输总成本。     

基于概率模型检测的合同签订协议分析

概率合同签订协议的公平性具有典型的概率性质。概率模型检测是一种验证存在随机行为系统的分析技术。基于概率模型检测技术，在原协议的基础上建立了离散马尔可夫链和有限状态机模型，用概率模型检测工具——PRISM验证了它的公平性，发现其公平性不满足时，在此基础上对原协议从双方交换信息的策略上进行了扩充改进，使协议更为公平，满足了合同签订的基本要求。     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

数据库CAI系统的设计

以《中国计算机学科教学计划》为指导，结合《数据库系统概论》的教学实际，的数据库ＣＡＩ系统，根据了《数据库系统概论》课程的基本内容和习题；提出了“数据库抽象，理论和设计相关模型”，介绍了《９３教程》的有关内容，使用了基于ＳＱＬ的大型数据库实验系统，提供了试题库管理软件，实现了《９３教程》的基本要求。     

两层和三层Client/Server结构的分析

介绍两层和三层客户／服务器结构，分析它们各自的优缺点，以及对重用的难易程度和开发阶段进行了比较，以便对给定的项目进行结构的适当选择。