风机智慧巡检一体化平台交互协议设计与应用

风机智慧巡检一体化平台由业务端系统和场站侧边缘分析系统构成。边缘分析系统接收一体化平台业务端下发的巡检任务,按照任务指令执行场站侧音视频采集、智能图像分析、巡检结果返回等关键操作。一体化巡检平台业务端在与多个场站边缘分析系统建立业务联动时,要求保障数据传输和业务交互的可靠性和时效性。基于此,围绕巡检平台与场站侧边缘分析系统的可靠交互问题,对其交互协议进行分析和设计,系统建设成果表明了该交互协议的可用性。

多主体团队交互协议

团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for intelligent physical Agent) ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义.

基于面向对象Petri网的多Agent系统交互协议建模

为了描述、分析和验证多Agent系统交互协议,提出了一种面向对象Petri网。与现有的形式化方法相比,面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议,可以描述其静态和动态语义,并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性,能单独地分析参与交互的每一个Agent,而不会影响其他Agent和环境的状态。最后,利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议,并对一个买卖Agent交互实例进行了建模和动态分析,验证了面向对象Petri网具有较好的建模能力。

多主体交互协议的表示和实现

多主体系统中,按照协议进行的交互具有显著的优点。文章首先提出一种交互协议表示方法,从协议描述和决策规则两方面来表示交互协议;然后改进主体的结构,提出一种知识层、会话控制层和通信层的三层结构,在原有主体结构中增加交互协议解释器。这种方法使得主体可以灵活地选择交互协议,同时将会话控制从知识层中分离出来,不仅使得交互更加可靠,而且减轻了主体推理的负担,简化了知识层的结构。

一种面向双中台双链架构的内生性数据安全交互协议研究

自"数据+业务"的双中台架构被提出以来,中台间数据进行安全交互的效能显得尤为重要.基于此,本研究提出了一种高效的交互式协议,在借助区块链双链结构保证数据安全可信的情况下,改善了内生性数据在中台间交互效率低的问题.对新协议中核心的门限签名技术进行实验模拟的结果表明新协议在链下签名、链上验签过程中比传统单一链上签名及验签的方法节省了42.1%的时间成本.新协议对中台融合区块链技术、加快中台与区块链的广泛实践均具有积极推动作用.

基于AOCPN的半导体生产线多代理交互协议建模技术

提出了基于AOCPN的多代理交互协议的建模技术.在建模方面,提出了AUML模型向AOCPN模型的转换规则,以实现AUML模型向AOCPN模型的映射;在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法.以基于GPGP-CN的半导体生产线多代理交互协议为实例,验证了该建模技术的有效性.

一种基于对象序列图的组件交互协议设计方法

基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件 交互协议来协调组件之间的交互 .基于这种思想 ,探讨运用UML(unifiedmodel inglanguage)的对象序列图 (objectsequencediagram ,简称OSD)方法进行组件交互协议设计的多个方面的研究 ,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法 。

形式化多主体系统中的交互及交互协议

深入研究了多主体系统中的交互及其协议 ,并用一种进程演算 ;即 π演算进行了形式化的描述 .为了研究主体之间的交互 ,首先对参与交互的主体的行为进行了分类 ,并形式化地描述了其行为规范 ,然后用进程定义了主体间的交互协议 ,并在此基础上分析了主体交互的一致性及无死锁性 .

一种异构多机器人系统交互协议

随着机器人在各领域的广泛应用和任务种类多样化,单机器人执行任务受到任务规模和复杂程度的限制,使用多个机器人协作完成任务是解决问题的有效方法之一;在多机器人控制系统中,不同的任务往往需要不同结构和功能的机器人去执行,而且工业化的机器人各自遵循私有协议;在操作多机器人系统时,系统中的通信协议因不同的机器人而异,从而增加了控制过程中的协作难度;设计和制定一个统一的交互协议,便于协作信息在系统中通信,共同完成给定的任务;针对不同的机器人私有控制协议,在一致化交互接口的基础上,设计并实现了不同工业机器人之间的交互;通过工程实践,验证了一致性交互协议对于异构机器人系统的有效交互,对完成复杂问题作业具有借鉴作用。

一种改进的适用于空间网络的密钥交互协议

因特网密钥交互协议第二版(IKEv2)正在成为新一代互联网密钥交互标准。与因特网密钥交互协议第一版(IKEv1)相比,IKEv2协议具有更可靠、更安全等优势。空间信息网络对密钥交互协议具有严格效率要求和安全性要求,文章在对空间信息网络安全需求分析的基础上,结合空间信息网络的特点,设计了一种适用于空间信息网络的密钥交互协议,称之为IKESal协议,它基于IKEv2协议,保留了IKEv2的交换模式和交互消息数量,但对IKEv2中协议头各个字段进行了功能、效率和安全性分析,并做了相应删除或简化,平衡了交互效率和安全性。因此,IKESal协议具有更高的效率,可适用于空间网络环境进行密钥交互。

1-多交互协议本体的描述

基于本体的共享与重用性以及谈判过程的动态性,提出谈判协议过程本体,将语义Web应用到自动谈判中,利用描述逻辑和本体编辑器Protégé3.2.1对1-多交互协议本体进行形式化描述,并得到相应的OWL文件。

基于本体和会话策略的多主体交互协议描述方法

提出一种基于会话策略的多主体交互协议描述方法。交互协议中的消息用言语动作来表示,这些言语动作被描述为WS-Agreement的schema;会话策略则描述了消息传递的流程以及交互过程中的上下文信息,如参与者属性、时间阈值等等,所有这些会话策略组成了一个多主体交互协议;采用本体描述语言OWL作为会话策略的表示语言。这种方法使得主体在一个开放、动态的环境中可以灵活地选择交互协议。

下一代广播电视广播宽带交互协议探讨

广播电视网与宽带网的协同、融合是全球广播电视的发展趋势,也是支撑广播电视融合媒体业务发展的客观要求。本文在详细分析目前国际上广播宽带融合系统普遍采用的MMT、DASH以及ROUTE等协议栈基础上,结合我国下一代广播电视广播宽带交互协议的应用需求与特点,给出了一种下一代广播电视融合协议栈架构设想。

服务组合系统交互协议兼容性检测模型

针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。

基于时序约束的构件交互协议描述

基于构件的软件系统要求构件能够被正确的理解和使用,构件交互协议的描述为此提供了有效的途径。本文给出了一种基于时序的构件交互协议描述方法,通过在构件标识部分引入基于时序的交互约束,能够有效的描述构件的交互协议。

动力传动协同仿真平台中的主体交互协议

本文提出了一种主体交互协议的表示法,构建一个包括知识层、会话控制层、通信层的三层主体体系结构,我们在会话控制层嵌入一个协议解释程序来处理主体间的交互,这样可以使主体灵活地选择协议,减轻推论的负担,简化知识层的结构。

基于着色Petri网的多Agent系统交互协议建模

多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。

微信交互协议和加密模式研究

微信作为目前国内最主流的移动平台即时通讯软件,其4.0之后的版本采用基于RSA-2048、AES-CBC-128加密算法的加密方式实现保密通信,这种加密方式为大多数即时通讯软件使用。微信作为商业软件,它对源代码进行了加固保护,目前,网络和公开发表的文献还没有对微信最新版本的交互协议和加密模式做出完整分析,所以,主要通过逆向分析和调试技术分析了安卓平台微信4.5版本的交互协议和加密模式,并探讨了微信的安全性能,指出微信在会话密钥安全性能上的不足,并提出改进方法。

一种基于CAP的应急预警信息交互协议

随着气象防灾减灾工作不断发展,预警信息发布成为其中重要环节。文章在分析研究国际通用警报协议(CAP协议)的基础上,设计了一种应急预警信息交互协议:对CAP协议的细节结合现状进行了补充和细化:对警报、信息、附件、空间信息的每一个标签,进行了格式和释义标准化。应急预警信息交互协议实现了各类信息系统之间预警信息的交互与兼容,为格式化预警信息在不同信息系统之间的流转提供了条件,达到提升预警信息发布效率,降低应急预警信息发布相关系统建设成本的目的。

MAS交互协议的形式化描述和验证

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.