网络安全的随机模型方法与评价技术

随着网络系统逐渐复杂和庞大,特别是网络攻击和破坏行为的日益普遍和多样,网络安全性面临严峻的挑战．网络安全性研究已经成为国际上重大的科学问题之一,也是影响社会经济发展和国家发展战略的重要因素．文章综述了网络安全性的随机模型与评价技术等方面的研究工作,介绍了该领域的研究现状与进展,总结了网络安全性随机模型的若干研究方法和评价技术,分析了网络的可生存性．基于这些讨论,展望了未来网络安全性研究的新方向．     

下肢截肢者行走意图识别方法研究进展

直立行走是人类独立生活和正常参与社会活动的基本功能之一.人因遭受工伤、交通事故、战争、自然灾害（地震等）、疾病（糖尿病、癌症等）、先天出生缺陷等意外和不幸造成下肢截肢，从而部分或全部丧失行走能力，严重影响正常生活和参与社会活动.下肢假肢是下肢截肢者恢复行走功能的唯一手段，其技术发展吸引了众多研究者的关注.为使下肢假肢使用者能像正常腿一样或接近的步态行走，关键是实现截肢者行走意图的自动精确识别.本文首先探索了行走意图识别的内涵；然后从信号源的角度分析了不同截肢者行走意图识别方法的特点，尤其是神经功能重建作为补充的肌电信号（Electromyography，EMG）源的方法，并简述其研究进展，提出了一种融合生物力学信号和生物电信号的截肢者行走意图识别方法；最后对下肢截肢者行走意图识别方法发展趋势进行了总结和展望.     

短句语义向量计算方法

提出了一种基于人工神经网络的短文语义向量放缩算法,结合社交节点自身信息和短文语义,给出社交网络短文语义计算方法和突发话题发现算法。通过文本数值化实现语义距离的计算、比较、节点的分类及社区发现等。通过自行开发的微博采集工具Argus采集的大量新浪微博内容对所提模型和算法进行了验证,最后对未来工作进行了展望。     

绿色网络和绿色评价:节能机制、模型和评价

随着网络规模的扩大和网络设备的不断更新,目前的网络对能量的利用日益暴露出能耗高、效率低,浪费多等诸多问题.节省网络能耗、构建绿色网络不仅成为计算机领域一个意义重大、需要迫切解决的课题,也成为影响社会可持续发展和国家发展战略的一个重要因素.目前,大量绿色网络的研究工作致力于减少网络系统的无用能耗,提高能量利用率.文中将能...     

An Improved Markov Model for IEEE 802.15.4 Slotted CSMA/CA Mechanism

IEEE 802.15.4 protocol is proposed to meet the low latency and energy consumption needs in low-rate wireless applications,however,few analytical models are tractable enough for comprehensive evaluation of the protocol.To evaluate the IEEE 802.15.4 slotted CSMA/CA channel access mechanism in this paper,we propose a practical and accurate discrete Markov chain model,which can dynamically represent different network loads.By computing the steady-state distribution probability of the Markov chain,we obtain a...     

增强计算系统可信赖性:融合虚拟化和SOA

随着计算机软、硬件技术的不断进步和应用需求的日益增长,以计算机为中心的计算系统的应用范围越来越广,其复杂程度也在迅速提高,人们对如何评估和提高计算系统的可信赖性的需求日益迫切.首先给出了计算系统的可信赖性的定义,并系统地定义了一整套量化评价指标;同时,对计算系统面临的各种可信赖性威胁进行了详细的归类分析.传统的方法难以应对复杂系统面临的各种可信赖性问题,人们仍在不断地寻求新的技术.虚拟化技术在这种应用背景下走向复兴,成为一大研究热点.介绍了已有的虚拟化技术在增强系统可信赖性上相关的研究成果,并且总结了虚拟化技术在增强系统可信赖性方面的各种特性和机制.然而由于现有的计算系统体系结构的限制,难以将虚拟化技术在增强系统可信赖性方面的优势充分地发挥出来.面向服务的体系结构(service oriented architecture,简称SOA)以其松散耦合、平台无关性等特点很好地适应了虚拟化技术的需求.因此,最后将SOA 和虚拟化技术相结合,提出了一种增强计算系统可信赖性的系统架构,即面向服务的虚拟化SOV(service oriented virtualization),并且分析了SOV 系统如何在遭受各种可信赖性威胁时,运用体系结构优势和虚拟化技术的各种机制保证系统可信赖性.     

基于价格时间Petri网的网格计算应用模型及分析

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.     

无线数据网络中机会调度理论模型的研究

机会通信作为一种对无线通信系统设计具有革命性意义的概念正在受到越来越多的关注.目前对机会调度算法的研究往往采用不同的模型进行性能评价,使得不同算法之间很难直接进行性能比较.本文主要将各种用于机会调度算法研究的理论模型进行分类和比较,对几种典型的机会调度算法在各类理论模型下的性能评价指标、方法和结果进行讨论,最后探讨了该领域未来的发展趋势并给出了一些有待研究的方向.     

基于Petri网的数字媒体分发协议的安全性证明

 安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.     

基于案例推理系统的Petri网模型

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演，本文中，我们提出了一个基于案例推理系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演。