消息通信机制论文-王小兵,郭文轩,段振华

消息通信机制论文-王小兵,郭文轩,段振华

导读:本文包含了消息通信机制论文开题报告文献综述及选题提纲参考文献,主要关键词:通道,消息传递,通信机制,PTL

消息通信机制论文文献综述

王小兵,郭文轩,段振华[1](2018)在《消息传递的MSVL通信机制及其实现》一文中研究指出建模、仿真和验证语言(MSVL)是一种时序逻辑编程语言,它是投影时序逻辑(PTL)的可执行子集.MSVL和PTL可用于并发系统的建模和性质验证.然而,MSVL缺少一种消息传递的通信机制,这种机制对于并发分布式系统的建模和验证至关重要.说明了如何在MSVL中开发和实现合适的机制来对分布式系统进行建模和验证.该机制首先定义了通道结构,对通信语句和进程结构进行形式化描述;接着介绍了这些通信语句的实现机制;最后提供了一个关于电子合同签名协议的建模和验证实例,说明消息传递在MSVL中的工作原理.(本文来源于《软件学报》期刊2018年06期)

黄超,赵建平,韦勇钢[2](2017)在《Netlink消息通信机制的IPSec VPN实现研究》一文中研究指出文章分析研究Netlink机制对于Linux内核IPSec服务的支持,提出了一种基于Netlink消息通信机制的IPSec VPN实现方案。方案由内核空间IPSec服务模块和用户空间IPSEC管理软件组成,两者通过Netlink进行通信,并为IPSec VPN提供了灵活、高效的IKE协商机制和安全可靠IP数据包传输保障。(本文来源于《网络空间安全》期刊2017年Z5期)

熊伟,丁涵,罗云锋[3](2017)在《支持多线程并发与消息异步处理的Linux Netlink通信机制研究》一文中研究指出Netlink是Linux操作系统内核空间与用户空间最流行的进程间通信机制之一,但目前在多线程程序中的使用还存在一些问题。介绍了Netlink相对于Linux其它传统通信手段的优点,阐述了使用Netlink进行用户程序与内核模块通信的实现方法,分析了目前公开资料上Netlink线程并发支持机制存在的问题,并给出了支持多线程并发与消息异步处理的正确方法,最后在真实机器上进行了验证。结果显示,该方法能有效支持在多线程Linux应用中使用Netlink进行用户态与内核态通信。(本文来源于《软件导刊》期刊2017年10期)

王乔娜[4](2016)在《采用消息传递机制的众核核间光电混合互连通信研究》一文中研究指出通信、多媒体以及高性能计算等领域对处理器性能的要求越来越高,处理器结构已从多核发展到众核。而在众核领域,其核间通信机制和互连方式则是提升系统通信效率的关键问题和研究热点。本论文在分析核间通信机制和互连方式的基础上,给出采用消息传递机制并基于二维网格拓扑结构片上网络(2D Mesh NOC)和光总线的光电混合互连众核结构,该结构根据通信距离采用不同互连网络进行消息传递,以提高众核系统的核间通信效率。论文首先分析众核结构下2D Mesh NOC和光总线的拓扑结构性能,给出基于2D MeshNOC和光总线的光电混合互连众核结构;其次,设计消息传递机制通信协议,基于C语言建立消息传递机制的软件接口函数库,并在基于RISC-V指令集的处理器模型上添加消息传递机制的硬件支持,完成消息传递的通信模型;再次,设计通信距离长短界限可配置的基于2D Mesh NOC和光总线的光电混合互连模型,生成带约束的随机测试向量,通过对不同负载下平均延迟的对比,证明在2D Mesh NOC网络上添加光总线形成光电混合互连网络不仅能够有效提升远距离核间通信效率,而且能够缓解网络拥堵状况,其性能较传统2D Mesh NOC互连网络优越;最后,整合上述消息传递通信模型与互连网络模型,建立支持消息传递通信的4x4光电混合互连众核模型,采用并行矩阵乘法和文本匹配程序,以加速比作为评价依据,从系统级验证光电混合互连网络可有效提升大规模并行处理器性能。(本文来源于《西安理工大学》期刊2016-06-30)

马杰波,付明,冯新宇[5](2016)在《μC/OS-Ⅱ中消息队列通信机制的形式化验证》一文中研究指出μC/OS-Ⅱ是一个可移植、可裁减的基于优先级的抢占式多任务实时内核,其代码主要用C语言编写.消息队列是一种被广泛使用且灵活的线程间的通信方式,它的安全性对于构建安全操作系统内核十分重要.针对μC/OS-Ⅱ中消息队列机制,给出消息接收和发送接口所操作的共享数据结构满足的数学规范,同时给出了这两个接口实现的安全性(safety)证明,相关的证明在定理证明工具Coq中完成.(本文来源于《小型微型计算机系统》期刊2016年06期)

王莉[6](2015)在《基于消息队列异步通信机制在ECDS直连系统中的应用》一文中研究指出设计了商业银行行内的ECDS直连系统及其通讯层的接口,并通过消息队列的异步访问模式探讨了ECDS直连系统与前置机之间的报文交换原理。结果表明:该通讯方式能够保证系统稳定、可靠运行以及能较好的提高系统的效率。(本文来源于《宁波职业技术学院学报》期刊2015年04期)

袁中明[7](2015)在《可定制异步消息通信处理机制的研究与应用》一文中研究指出异步消息通信解决了许多领域的业务数据交换的问题,使它成为网络通信研究的热门领域之一。传统的异步消息通信机制很好地解决了单一应用中的数据交换问题,但是针对于多个应用的场景,并没有通用的消息处理模块。不同的通信应用系统根据特定的消息通信帧协议进行通信模块的开发,程序基本上不具有可重用性和可移植性。可定制异步消息通信处理机制的研究主要是面向多样化的应用,针对消息通信中通信消息的结构特征和多应用场景下通信模式的变化,研究通用的异步消息通信中间服务,从而为不同的通信应用提供服务,方便通信应用程序的开发。本文的主要工作如下:1.在消息结构模型研究方面,本文首先从消息的组成结构出发,分析了消息的线性结构和层次结构,利用消息内容层次化可扩展的特点,研究了消息的层次结构模型,实现了异步消息通信应用中消息内容结构的可定制。2.在通信模式研究方面,本文首先分析了二级通信模式和叁级通信模式,利用了叁级通信模式的可扩展,可适配的特点,结合多应用、多租户、多因素的数据平台研究了基于3M(Multi-Application、Multi-Tenant、Multi-Factor,多应用、多租户、多因素)的通信模式,从而实现通信模式的可适配,适用于不同的通信应用场景。3.在基于多应用,多租户和多因素的通信模式研究方面,将应用,租户和因素叁者之间的关联抽象成层次结构模型,以适应不同的应用和租户,管理和配置跟应用和租户相关的因素。最后,结合消息的层次结构模型,将因素应用到异步消息通信的消息结构中,以实现基于多应用、多租户、多因素可配置的异步消息通信。可定制异步消息通信处理机制的研究作为通信领域的一个重要的研究方向,无疑对适应企业业务的多样性和多变性,适应企业业务数据交换中通信模式的变化,推动企业信息化具有重要意义。(本文来源于《武汉理工大学》期刊2015-04-01)

唐雨龙[8](2015)在《车路通信中MAC层消息传输机制研究》一文中研究指出当前交通系统运行效率较低与人们出行要求越来越高的的矛盾已逐渐暴露出来,成为当前交通行业亟需解决的一个根本问题。因此,研究以车路通信为重要组成部分的智能交通系统也显得愈加急迫和重要。相比传统的无线自组织网络,其车辆节点的移动速度更快,对实时性、可靠性要求较高,从而导致网络拓扑变化更为频繁、链路中断现象增加,节点通信困难,这就使得车路通信研究面临巨大的挑战。本文对车路通信中的消息传输机制做了如下工作:1、对车路通信技术的研究背景和意义、国内外研究、车路通信网络的特点、DSRC技术的优势、WAVE/1609协议标准、DCF机制、CSMA/CA机制以及一些待解决的问题等方面进行了分析和归纳。2、提出了一种MAC层的动态优先级调度机制。先就车路通信网络中的车辆运动模型、安全消息的相关研究等方面进行了归纳总结,然后分析并指出了现有的车路通信中存在的一些问题,如车路通信中节点的通信模式会导致网络中存在大量的冗余安全控制消息,导致有意义的安全消息无法得到可靠和及时的传输。在分析消息传输的特点之后,建立包含时间、距离、方向的函数动态判定消息的优先级,根据方向过滤无意义的消息,并引入绝对优先级保证特殊车辆的顺畅通信。3、针对信道竞争问题,提出了一种自适应的退避算法。在分析信道竞争中存在不公平现象进行分析的基础上,结合了车路网络中节点移动特征。该算法综合考虑了节点的移动速度、方向、位置等参数,调整竞争窗口的值,分配相应信道访问的优先权。4、通过NS2的仿真平台和VanetMobiSim生成的节点运动模型,对提出的两种机制进行了吞吐量、时延、链路稳定性以及公平性等方面的评估,验证了所提出的两种机制的有效性。(本文来源于《长沙理工大学》期刊2015-04-01)

陈贺婉,陆慧娟,杨小兵[9](2015)在《基于节点通信监听机制的高效感知消息传输机会网络路由研究》一文中研究指出针对采用社区划分策略的机会网络路由算法在消息传输过程中存在冗余转发的问题,设计节点通信监听机制,构建了新的消息传输策略,以高效感知邻居节点社区属性信息;并充分考虑携带移动设备的人的移动轨迹特点,设计了社区移动模型;嵌入时间片轮回机制,对网络节点进行动态划分社区;最终提出了基于节点通信监听机制的高效感知消息分发机会网络路由算法。在社区内转发消息时,选取与目的节点通信范围重迭区域内的邻居节点作为下一跳,若不存在这样的节点则将消息转发给与目的节点相遇概率较大的邻居节点或目的节点;在社区间转发消息时,算法选取与目的社区通信概率较大的中继社区节点转发消息,通过充分利用通信重迭区域内的节点转发消息,优化转发节点判定机制,重设消息传输条件,降低消息转发次数,从而提高消息传输成功率,降低传输时延。理论分析和仿真结果显示:与当前机会路由算法相比,新算法的传输成功率以及转发效率更高、平均端到端时延与平均存储时间更低。(本文来源于《科学技术与工程》期刊2015年02期)

徐俊[10](2014)在《即时消息通信系统的安全机制研究与实现》一文中研究指出本课题主要针对如何在即时消息通信系统中进行安全通信的问题进行了研究和探讨。本文在分析即时消息通信系统安全模型的基础上指出,当前即时消息通信系统面临着多种的安全威胁。为了解决即时消息通信系统安全通信的问题,完成即时消息的安全、可靠传递,本文研究并实现了一种运行于应用层、能够提供端到端安全性的消息加密协议。该协议工作于TCP/IP协议的应用层,能够为即时通信用户提供身份认证、消息加密等安全服务。身份认证与密钥交换是所有安全协议的基础。在使用一般的认证密钥交换协议过程中,要么会给即时消息通信用户增加不必要的使用困难,要么容易受到安全攻击。为了平衡以上两个问题,本文在百万富翁算法的基础上,提出了一种基于共享信息的口令认证密钥交换协议。该协议能够有效抵御常见的中间人攻击和离线字典攻击,同时在使用上不会给用户带来额外的负担。在消息传输的安全性方面,本文又设计并提出了一种消息加密协议。该协议通过对明文消息的重新封装和编码,能够为及时消息通信系统提供加密、签名等安全服务。本文对该协议的消息格式、编码规则以及安全算法进行了详细的阐述,并在此基础上,对协议进行了软件实现。最后,本文对已经应用了该安全协议的一个企业及时消息通信系统进行了介绍。并基于该系统,对本文提出的安全机制进行了测试和验证,证明该安全机制具有一定的可行性和可用性。(本文来源于《上海交通大学》期刊2014-06-18)

消息通信机制论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

文章分析研究Netlink机制对于Linux内核IPSec服务的支持,提出了一种基于Netlink消息通信机制的IPSec VPN实现方案。方案由内核空间IPSec服务模块和用户空间IPSEC管理软件组成,两者通过Netlink进行通信,并为IPSec VPN提供了灵活、高效的IKE协商机制和安全可靠IP数据包传输保障。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

消息通信机制论文参考文献

[1].王小兵,郭文轩,段振华.消息传递的MSVL通信机制及其实现[J].软件学报.2018

[2].黄超,赵建平,韦勇钢.Netlink消息通信机制的IPSecVPN实现研究[J].网络空间安全.2017

[3].熊伟,丁涵,罗云锋.支持多线程并发与消息异步处理的LinuxNetlink通信机制研究[J].软件导刊.2017

[4].王乔娜.采用消息传递机制的众核核间光电混合互连通信研究[D].西安理工大学.2016

[5].马杰波,付明,冯新宇.μC/OS-Ⅱ中消息队列通信机制的形式化验证[J].小型微型计算机系统.2016

[6].王莉.基于消息队列异步通信机制在ECDS直连系统中的应用[J].宁波职业技术学院学报.2015

[7].袁中明.可定制异步消息通信处理机制的研究与应用[D].武汉理工大学.2015

[8].唐雨龙.车路通信中MAC层消息传输机制研究[D].长沙理工大学.2015

[9].陈贺婉,陆慧娟,杨小兵.基于节点通信监听机制的高效感知消息传输机会网络路由研究[J].科学技术与工程.2015

[10].徐俊.即时消息通信系统的安全机制研究与实现[D].上海交通大学.2014

标签:;  ;  ;  ;  

消息通信机制论文-王小兵,郭文轩,段振华
下载Doc文档

猜你喜欢