基于演化博弈论的功率控制和垂直切换研究

基于演化博弈论分别构建了无线资源管理中功率控制和垂直切换的形式化模型,设计了一种基于定价机制的功率控制收益函数,根据3GPP对无线通信业务的分类,将切换判决过程划分为4个不同层次,降低了切换决策的复杂性,定义了目标网络的代价函数,将网络参数划分为成本型参数和收益型参数两类,并对其进行归一化处理,实现了异构网络参数比较的公平性.证明了功率控制博弈和垂直切换博弈中存在唯一的演化稳定策略,给出了基于演化博弈论的功率控制算法和垂直切换方案.仿真结果表明,给出的功率控制算法减少了网络中隐终端的数目,提高了网络容量;垂直切换方案既可以减少切换发生的频率,增加网络选择的准确性,又使运营商与用户之间的利益得到平衡.     

基于时间扩展的ASEHA建模与验证

为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义.运用基于时间扩展的ASEHA,分析了ATM系统,建立了用户和ATM的模型,并使用模型检测工具UPPAAL对模型进行验证,从无死锁、活性及可达性性质出发,验证了ATM系统的安全性.实验表明,提出的基于时间...     

基于结构化操作语义的安全协议分析框架研究

操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性.     

移动环境公平支付协议的设计与分析研究

结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。     

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

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

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

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

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

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

基于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^...     

流感疫情出现后微博网民行为实证研究

针对微博用户间显性社交关系和实际互动频率不一致的现象,借鉴语义网络中描述本体的符号化思想,构建了一个由5类实体对象组成的微博信息流形式化模型,并用符号语言对新浪微博用户在2010年7月至2013年8月谈论流感疫情时涌现的信息扩散网络的提取过程进行了形式化描述。信息扩散网络的网络密度、聚类系数和网络直径等拓扑属性的测量结果显示:参与者互动网络具有无标度和小世界特性,微博空间的互动群体较为松散,而且构建的形式化符号体系可清楚描述用户关系、用户互动行为和信息扩散过程等信息传播时空信息。     

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

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