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

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

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

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

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...     

性能评价形式化方法的现状和发展

性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri-Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.     

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

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

Petri网在生物信息学中的应用

生物信息学是一门正在快速发展的使用数学和计算机技术来构造和分析生物学模型的学科.Petri网是近来被用于生物信息学的有效工具,但是应用的深度和广度还有待深入研究.文中综述了Petri网在生物信息学领域应用的最新研究进展,主要包括三个方面:应用位置/变迁网定性分析生物学对象的结构性质;应用随机Petri网将随机性加入到生物学建模和分析中;应用混合Petri网描述和分析同时具有离散特性和连续特性的生物系统.最后对Petri网在生物信息学领域的应用情况进行总结并展望了未来的研究方向.     

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

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

一种适合于网络处理器的并行多维分类算法AM-Trie

针对当前高速网络应用对分组分类算法的要求以及网络处理器体系结构的特点,提出了一种高速多维分组分类算法--AM-Trie算法(asymmetrical multi-bit trie,非对称多杈Trie树).该算法具有搜索速度快,并行性、可扩展性良好的特点,特别适合于在网络处理器上实现.同时,给出了一种空间最优的启发式分类字段分段算法,并从理论上证明其在确定AM-Trie树层数的情况下使得存储空间最小.最后,基于Intel IXP2400网络处理器设计并实现了该算法.性能实测表明,该算法性能良好并具有很好的可     

基于DTN的空间网络互联服务研究综述

空间通信需求的迅猛增长促使空间通信向网络化和天地一体化的方向不断发展.空间网络具有子网异构、网络拓扑不断变化、链路传输延迟大、链路误码率高等特点.TCP/IP网络协议族需要连续稳定的网络连接和较短的传输时延,空间网络不能满足这些条件,因此相关协议不能直接应用于空间网络.延迟/中断容忍网络(delay/disruption tolerant network, DTN)是一种通用的面向消息的覆盖层网络体系结构,能够适应空间网络的特点,是实现空间网络互联的有效连接方式.首先阐述了DTN应用于空间网络互联服务(space internetworking service, SIS)的体系结构,分析了组成要素和工作模式,包含协议栈构成、消息转发机制、命名与寻址机制等,介绍了支撑空间DTN应用的LTP(licklider transmission protocol)协议,并给出了火星探测场景实例;然后针对路由机制、安全机制和服务质量控制3个重点研究方向,阐述了关键技术和进展情况,分析了存在的问题和下一步的研究方向;然后介绍了相关的开发、实践和飞行验证项目;最后分析了在中国开展基于DTN的SIS研究及应用前景.     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.