Chord协议的抽象状态机模型

P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。     

基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。     

主/从分布式系统多机通信程序的状态机模型

在约定通信协议的情况下，本文给出主／从分布式多机通信系统程序的状态机模型，分析表征状态机的5个参量的求解方法，讨论源代码实现的基本框架结构。     

同步可靠网络环境中区块链系统状态机研究

目前区块链状态机研究较少，存在模型建立粗、逻辑不清晰、应用性不强问题。通过分析区块链底层常见的工作量证明(PoW)、权益证明(PoS)、拜占庭容错(BFT)、实用拜占庭容错(PBFT)共识机制进行状态机研究。设定区块链处于同步可靠网络环境时，从中抽象出分布式账本系统(DLT),构建并定义任一时间点时DLT的状态机模型。给出状态机的强状态无关、弱状态无关、随机态三种定义。使用状态机分别对不同的共识机制进行识别分析，分别得到PoW为随机态、BFT和PBFT为强状态无关、PoS为非弱状态无关的推论，并对其进行证明。     

下一代网络中的Megaco控制关系研究

下一代网络是基于分层的分布式网络架构，层间控制研究是下一代网络研究的重点。文章研究下一代网络中控制层与承载层之间的Megaco控制关系。提出基于事件驱动的控制关联状态机来分析Megaco控制关系，分析状态机的状态迁移。基于Megaco协议的服务改变命令，分析了状态机的处理机制与实现。     

基于ASM描述共享网络的实时任务可执行概率设计

利用抽象状态机（ASM）,形式化描述了共享网络中实时任务接纳控制机制,提出了实时任务可执行概率设计过程的ASM模型,利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计,还有利于实现实时任务接纳控制机制,并为利用ASM模型方法设计实现其他控制机制提供了范例。     

基于P2P的分布式工作流平台

随着跨组织业务的拓展,分布式工作流已经成为研究热点。通过对分布式工作流和P2P技术的分析,提出了一种基于P2P的分布式工作流平台。描述了它的网络架构和系统架构,建立了底层的消息通信机制,给出了工作流的定义和执行的分布式设计。相对于传统的工作流平台而言,该平台具有可靠性高、异步协同能力强和应用广泛的特点。     

一种协议互操作测试系统开发框架

鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。     

有限状态机在导弹防御系统分析中的应用

介绍了有限状态机的基本概念,基于UML详细分析了导弹防御系统的作战过程.由于UML状态机无法直接运行而实现系统状态的动态转换,研究了基于有限状态机理论的图形化建模与仿真工具Stateflow.在分析了导弹防御系统作战过程中各子系统状态以及状态转换的基础上建立了Stateflow状态机模型,并与Matlab其它建模和仿真工具有机结合,建立了导弹防御系统的仿真模型,该模型可实现不同条件下系统性能的分析与评估.     

日志分析法在一卡通系统测试中的应用*

针对一卡通系统测试中因输出结果数量大、系统关联复杂、测试准则构造困难等因素而导致的难以判断输出结果正确性的问题,提出了扩展日志分析法。介绍了实现该方法的系统结构和所使用的测试状态机,引入了一种自行开发的支持层次化状态机、具有执行自定义函数功能的状态机定义语言,增强了扩展日志分析法测试复杂大型系统的能力。该方法在一卡通系统测试中得到了应用。     

本体驱动的知晓内容和上下文的知识路由研究

语义Web提供了实现对Web异构信息源智能访问和处理的平台。然而在语义Web上分布着海量知识,如何在这些海量知识中按照用户的需求快速准确的定位目标知识已成为语义Web迫切需要解决的问题。针对此问题,文章提出了一种知晓内容和上下文的语义Web知识路由机制。该机制采用基于本体和概念格的推理技术,通过捕捉用户需求内容和上下文等语义信息,能够快速准确地实现目标知识与服务的发现、定位、访问以及初步评估。     

Intelligent video surveillance system: 3-tier context-aware surveillance system with metadata

This paper presents an intelligent video surveillance system with the metadata rule for the exchange of analyzed information. We define the metadata rule for the exchange of analyzed information between intelligent video surveillance systems that automatically analyzes video data acquired from cameras. The metadata rule is to effectively index very large video surveillance databases and to unify searches and management between distributed or heterogeneous surveillance systems more efficiently. The system consists of low-level context-aware, high-level context-aware and intelligent services to generate metadata for the surveillance systems. Various contexts are acquired from physical sensors in monitoring areas for the low-level context-aware system. The situation is recognized in the high-level context-aware system by analyzing the context data collected in the low-level system. The system provides intelligent services to track moving objects in Fields Of View (FOVs) and to recognize human activities. Furthermore, the system supports real-time moving objects tracking with Panning, Tilting and Zooming (PTZ) cameras in overlapping and non-overlapping FOVs.     

基于本体的上下文感知中间件框架

上下文感知是普适计算的核心技术之一,而描述和理解上下文信息是上下文感知的前提。由于上下文信息种类繁多、感知方式迥异,目前开发面向特定应用的上下文感知系统缺乏统一的机制和通用的架构,增加了系统开发的成本。引入语义Web技术,利用本体对上下文信息进行建模,采用本体描述语言描述上下文模型,提供了一个公共的上下文本体以实现多个独立开发的上下文感知系统对知识的共享和推理,构建了通用的上下文感知中间件框架,从而实现对域内上下文知识的共同理解。     

基于深度学习的情境感知推荐系统研究进展

传统的推荐系统存在数据高度稀疏、冷启动及用户偏好建模难等问题,而把情境信息融入推荐系统中能有效缓解此类问题.深度学习技术已经成为人工智能领域研究热点,把深度学习应用在情境感知推荐系统当中,为推荐领域的研究带来新的机遇与挑战.本文从情境感知推荐系统相关概念出发,综合整理国内外研究相关文献,介绍深度学习技术融入情境感知推荐系统相关应用模型,提出了基于深度学习的情境感知推荐系统研究的不足以及对未来的展望.     

面向普适环境的上下文感知中间件研究

针对普适环境下上下文感知计算需求,引入广义模型化理论,建立了一种面向通用环境资源的上下文信息数据模型;在此基础上,提出了上下文感知中间件体系框架,并详细阐述了其构件化的实施方案。该中间件平台的上下文获取层能够封装各类感知器捕获的资源信息,中间处理层负责信息的管理、推理和聚合,基于门面模式的上下文访问层提供同步和异步相结合的上下文信息统一访问入口。通过实验测试了平台的时间损耗,表明该中间件可提供通用的上下文感知服务且具有较好的系统性能。     

物联网情景感知技术研究

与互联网不同,物联网(Internet of Things, IoT)通过各类通信技术将具有标识、感知或者执行能力的物理实体互联,形成了“物物互连”的虚拟网络。随着计算机及通信技术的迅速发展,计算资源将通布人们周围的环境,情景感知技术应运而生。情景感知获得传感器采集的情景信息以后,对信息进行智能处理,自主地为用户提供服务。物联网具有海量信息的特性,传统的情景信息处理方法已不再适用。对物联网情景感知技术进行了详细的介绍,首先给出情景和情景感知的概念及其研究发展和应用。然后,结合物联网特性,以情景感知流程为主线,探讨了信息获取、建模和智能处理等内容。最后,系统结构是情景感知的关键,因此对现有的系统结构进行了分析和对比,结合物联网环境论述了当前情景感知系统的不足之处,并给出了情景感知系统的参考结构。     

基于上下文感知进程网络的Web服务组合方法

针对Web服务组合的个性化问题,提出一种基于上下文感知进程网络的Web服务组合方法,支持上下文感知组合系统的高层建模与系统的底层实现。采用CCS进程代数和标签转换系统,描述上下文感知组合模型的形式化语义,给出上下文感知系统模型的实现框架。分析结果证明了该组合方法的可行性。     

Development of context-aware workflow systems based on Petri Net Markup Language

The Petri Net Markup Language (PNML) is originally an XML-based interchange format for Petri nets. Individual companies may specify their process models in Petri nets and exchange the Petri nets with other companies in PNML. This paper aims to demonstrate the capabilities of PNML in the development of applications instead of an industrial interchange format only. In this paper, we apply PNML to develop context-aware workflow systems. In existing literature, different methodologies for the design of context-aware systems have been proposed. However, workflow models have not been considered in these methodologies. Our interests in this paper are to propose a methodology to automatically generate context-aware action lists for users and effectively control resource allocation based on the state of the workflow systems. To achieve these objectives, we first propose Petri net models to describe the workflows. Next, we propose models to capture resource activities. Finally, the interactions between workflows and resources are combined to obtain a model for the whole processes. Based on the combined model, we propose architecture to automatically generate context-aware graphical user interface to guide the users and control resource allocation in workflow systems. We demonstrate our design methodology using a health care example.     

Modeling and generating context-aware agent-based applications with amended colored Petri nets

Context-awareness is become more crucial in mobile distributed computing systems. However, sophisticated modeling methods to analyze context-aware systems are still very few. Among those, the Colored Petri Net (CPN) is promising because it is proven to be useful for modeling system dynamics and concurrency control in more efficient ways. However, to support managing multiple configurations of components of context-aware applications, some features need to be added to specialize the CPNs. To address these challenges, our research has two idea: (a) to decompose a system into several meaningful subsystems, each of which we will call a pattern, and (b) to separate context from the patterns to realize context-pattern independence. Hence, we propose a modeling methodology to represent and analyze a context-aware agent-based system, which tends to be highly complex. We introduce CPNs as a method of capturing the dynamics of this contextual change. We define CPNs and a way to apply them in context-aware agent-based systems. We also describe a prototype system that we have developed called CPN Generator, which translates CPN specification into Java programs.     

物联网情景感知技术在智能仓储领域的应用展望

智能仓储系统中最为关键的是对于仓储流程中的情景信息的应用,其中RFID等情景感知技术在仓储领域的应用已经帮助该领域得到了快速发展。文中对物联网和相关情景感知技术在仓储业的应用进行了分析和研究,给出了情景感知在智能仓储和物流系统中的应用现状和发展趋势。