可执行能力需求模型的动作语义研究

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。

一种基于动作语义的UML_(1.X-2.0)模型转换方法(英文)

虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X模型到UML2.0模型的转换.从顶层元模型的角度比较了这两个版本的不同,采用声明式和命令式混合的模型框架,给出了一种基于动作语义的UML模型转换方法,并用ASL描述交互元模型的转换实例,验证了方法的可行性.该方法将减少用户的重复劳动,实现软件的模型重用,也适用于其他元模型或模型层次上的转换.

帕金森患者动作语义加工选择性缺陷研究

帕金森病(PD)是一种累及锥体外系的中枢神经系统疾病,常以运动症状为主,但在构音、词汇语义、句法、语用、书写等诸方面均表现出障碍。本文着眼于PD患者动作语义加工选择性缺陷,介绍了国外的相关实证性研究,梳理不同理论取向对PD患者这一特异性表现的神经功能机制解释,将相关争议概括为运动-认知分离论与运动-认知耦合论之争;同时综述了PD患者非具身补偿通路假设,展望了本领域今后的研究。

一个基于模式和动作语义的MDA实现方法

基于模式和动作语义，结合EJB平台，提出了MDA的一个实现方法。说明了模式在MDA设计、映射、实现阶段的应用方法与步骤，采用动作语义元语言给出了对该方法的描述，最后，结合具体实例说明了该方法的可行性。

HLA仿真中基于动作语义原语的三维模块化方法

在基于HLA(HighLevelArchitecture,高层体系结构)的仿真应用中,为了提高系统的可扩展性和可重用性,我们将仿真的底层通信和上层的模型控制框架、三维图形绘制分离开来,形成独立的模块,主要围绕三维图形绘制展开,首先分析了由于三维模块化带来的语义信息的丢失,然后针对这一问题,对实体及其属性进行分类,定义了一种动作语义原语来实现实体属性语义的映射,从而屏蔽了不同实体属性之间的差异,同时给出了一个基于语义原语的程序框架结构;最后,以具体的实现为例说明这种方法的可行性。

基于视频动作语义关联的视频复杂动作场景检测

随着视频监控技术与互联网应用的普及,视频数据挖掘已成为当前大数据领域的重要研究内容之一。在视频数据挖掘中,对视频内容的理解需要从局部动作语义理解上升到更高层的复杂场景或事件语义理解。在对视频基本动作语义概念理解的基础上,提出一种基于基本动作语义概念关联的视频复杂动作场景检测方法。该方法首先记录视频动作语义概念的出现情形,对相应视频场景中的所有动作语义概念采用Aproiri算法进行关联规则挖掘,然后利用挖掘得到的动作语义概念关联规则,定义视频复杂动作场景检测分类准则,最后对测试视频采用该分类准则进行视频复杂动作场景概念检测。通过在典型数据集上的实验结果表明,该方法可以有效挖掘出视频中动作之间的关联关系,并实现对视频复杂动作场景概念的检测分类。

基于局部语义的人体动作识别方法

人体动作可以由人体不同局部区域的动作语义的组合来描述,由此提出了一种基于局部语义的人体动作识别方法。首先,该方法定义了一组局部动作语义用于描述人体局部区域运动的视觉表现,并对每一个局部语义进行建模。然后,通过这些局部动作语义的贡献值组合来进行构建动作表征。最后,将基于局部动作语义的动作表征输入支持向量机构建动作模型,进行动作分类。比较实验说明所提出方法能够较好地识别现实场景下的人体动作。

基于原子动作的BML动作语义标注方法研究

作战管理语言(Battle Management Language,BML)是一种实现指控与仿真系统间无歧义通信的标准语言规范,其目标是从根本上解决指控与仿真系统之间的互操作问题。针对当前作战管理语言命令缺乏语义信息,不能被仿真模型有效理解和执行的问题,提出了动作映射、原子动作标签的概念,设计了一种基于原子动作的动作语义标注方法。实验表明,该方法有效地实现了仿真模型对命令中动作语义的理解。

面向扩展文法语义分析器的自动生成

在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器.通过执行语义动作,就可以进行类型检查、中间代码生成及优化等相关工作,使得该算法成为完整的扩展文法分析技术,并在实际运用中成为可能.

语义描述集成环境的研究与实现

描述是整个计算机领域的中心议题。该项工作涉及的内容甚广,具有相当难度。在软件理解和文法通用性的基础上,提出了通用的语义描述集成环境,而后就有关应用问题做了特化探讨。

程序设计语言的GLR优化分析

阐述了在程序设计语言语法分析器的构造中采用通用 LR(generalized LR,简称 GLR)分析算法的动机.提出了一个多层次的优化策略,加快了 GLR 分析器的分析速度.为基本的 GLR 算法增加了必要的运行时控制机制,以实现语法分析时调用文法规则附带的语义动作,化解输入串的二义性,同时避免 GLR 分析器可能存在的语义动作延迟问题.优化后的算法已在一个可视化语法分析器自动生成环境 VPGE 中实现.实验结果表明,在分析确定性的编程语言时,自动生成的 GLR 分析器的分析速度与自由软件基金会的 Bison 生成的 LALR(1)分析器的分析速度有可比性.

一种基于ASL的将UML1.x模型转换为UML2.0模型的方法

从宏观上比较了UML 1.x和UML 2.0两个版本的不同,并给出一种转换模型的方法,该方法是基于动作语义语言(Action Semantic Language,ASL)的。期望该方法可以推进所需工具的开发。而且该方法不仅仅局限于此,它适用于所有的模型-模型转换。

基于实时视频感知的虚拟体育交互系统

针对疫情常态化背景下,传统体育项目受场地、器材等限制,市场上相关产品价格昂贵、可扩展性不足等问题,提出了一种基于实时视频感知的虚拟体育交互系统.该系统设计视频数据采集模块和人体关节点提取模块,结合OpenPose获取人体的关节点坐标,实时捕捉人体手势以及肢体动作.动作语义理解模块包括运动动作理解和绘图动作理解.前者根据运动中肢体关节点的相对位置关系,识别运动动作语义.后者将手腕部关节点绘图动作轨迹生成为草图图像,使用AlexNet进行识别分类,解析为对应的绘制动作语义.该模型在边缘端设备的分类准确率为98.83%.采用基于Unity设计的草图游戏应用作为可视化交互界面,实现在虚拟场景中的运动交互.该系统使用实时视频感知交互方式实现居家运动健身,无需其他的外部设备,具有更强的参与度和趣味性.

可执行UML技术在极限建模中的应用

极限建模是UML和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行UML是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。本文提出在极限建模的软件开发方法的基础上引入可执行UML技术,可以使得极限建模具有更好的效用。文中对于两者结合的可行性和意义进行了讨论,并给出了一个实例。

A Moving Human Tracking Approach Based on Semantic Interaction

In order to deal with partical occlusion, a semantic interaction based moving human tracking approach is put forward. Firstly human is modeled as moving blobs which are described as blob descriptions. Then moving blobs are updated and verified by projecting these descriptions. The approach exploits improved fast gauss transform and chooses source and target samples to reduce compute cost. Multi-moving human can be tracked simply and part occlusion can be done well.

赣南采茶舞蹈动作语义探究

文章以赣南采茶舞蹈语境下的舞蹈动作为主要研究对象,分析其中身体语言的内涵本质,从一般性舞蹈动作入手,了解身体语言带给人类的共同感受,并结合赣南采茶的语境理解身体动作的特殊含义。文章从三个角度对舞蹈动作进行分析,从舞蹈动律、舞蹈姿态、舞蹈符号中了解语义内涵,并分析具体身体动作中的情感表达及观众对舞蹈动作的理解与感受。