面向编钟乐舞的音视频同步技术的研究

音视频同步作为连接音乐,动作的纽带在面向编钟乐舞的音乐驱动动作编辑流程中起到关键性的作用,通过从音频解析入手,提出了音频乐段与动作序列的对应关系,讨论了音频流与视频流如何在实时的环境中同步展示,并给出了音频,视频同步模型的具体实现方法。     

An application of artificial intelligence to the choreography of dance

This paper describes an experimental computer program that applies the techniques of artificial intelligence to the creation of dance. Specifically, a user expresses a set of dance rules (in a special English-like rule language) which describes some of the dynamic aspects of a dance. These rules are applied nondeterministically by a rule driver program. The rules themselves are similar to those that form the knowledge base of expert systems. The rule driver embodies a heuristic algorithm of the type found in many artificial intelligence programs.James H. Bradford is an Associate Professor of Computer Science at Brock University. He is an active researcher in the area of Human/Computer Interaction with particular interests in the analysis of speech and the representation of dance.Paulette Côté-Laurence is an Associate Professor of Physical Education at Brock University. Her research interests are in the areas of motor control and the acquisition of dance skills, psychology of rhythm, and dance technology.     

Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

Web服务编排中信息对齐交互建模方法研究

针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模。     

舞蹈智能编排与展示系统的设计与实现

传统舞蹈编排耗时费力,需要大量人工参与和重复劳动,另外智能编舞存在数据不足的情况,因此,设计并实现了一种基于有向图神经网络算法进行智能编舞并展示编舞的系统。系统包括场景管理、网络管理、交互管理与数据管理等功能,按照需求将用户分为管理员和普通用户。对于管理员,系统提供资源迁移和用户管理功能,以定期更新可供模型训练使用的数据集。对于普通用户,系统审核用户上传文件的有效性,按需编舞并展示。实验结果表明,与传统方法相比,本文方法可以生成更优的舞蹈序列,用户满意度高,系统响应及时,具有一定的应用价值。     

基于微服务架构的新一代调控系统服务编排技术

新一代调控系统"物理分布、逻辑统一"体系架构下,各调度控制中心需要共享集中部署的分析决策服务,一方面需要实现各功能模块的共享复用,另外一方面需要满足各级调度控制中心业务场景的功能组合需求,这就需要采用基于微服务架构的服务编排技术。文中首先介绍了服务编排的技术框架,然后介绍了相关的关键技术,最后以静态安全分析业务流程和安全约束调度流程为例说明所提技术能满足新一代调控系统灵活组装业务场景的需要。     

The semantics and verification of timed service choreography

As a service composition and coordination language, the service choreography gives the global and neutral view on the collaboration among a collection of highly distributed services involving multiple different organizations or heterogeneous independent processes. In this paper, we extend the service choreography by introducing the explicit time activity, which can be used to specify and reason about the timed behaviour of Web service choreography. Then we explore an execution model for the proposed timed service choreography which possesses several novel features, such as timed activity, choreography composition, exception handling and finalization. Furthermore, a set of mapping rules is elaborately designed to translate the timed choreography into communicating sequential programs processes, thus the corresponding simulation and verification of Web services choreographies with timing restrictions can be carried out in the model checker process analysis toolkit. The case study shows that our approach is both effective and practical.     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

Algorithms for checking channel passing in web service choreography

Web service choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel(s) used in the interaction, otherwise the execution will get stuck. Since channels are composed dynamically, the initial channel set of each participant is often insufficient to meet the requirements. It is the responsibility of the participants to pass required channels owned (known) by one to others. Since service choreography may involve many participants and complex channel constraints, it is hard for designers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant channels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a simple language Chor _c , a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chor _c , the algorithms for static checking of service choreography and generating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illustrated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chor _c .