摘要:作为一种二维的形式化方法，图文法为可视化语言提供了直观而规范的描述手段.然而，大多数图文法形式框架在空间语义处理能力方面有所不足，影响了图文法的表达能力及其实际应用范围.针对现存的问题，构建了一种新型空间图文法形式框架vCGG （virtual-node based coordinate graph grammar）.区别于其他空间图文法，vCGG在产生式中通过定义虚结点的概念描述产生式与主图之间的语法结构与空间语义关系，在保留抽象能力的同时，提高了其空间语义配置性能.通过与几种典型空间图文法框架比较，vCGG形式框架在直观性、规范性、表达能力以及分析效率方面均有着较好的表现.
Abstract:As a two-dimensional formal method, Graph grammar provides an intuitive and formal way to specify visual programming languages. However, most existing graph grammar formalisms have some deficiencies in the ability of dealing with spatial semantics, which influences the expressive power and practical application scope of graph grammar. For solving the problems, this study defines visual node to build a new spatial graph grammar formalism vCGG (virtual-node based coordinate graph grammar). Different from other spatial graph grammars, vCGG takes the virtual nodes to specify the relationships of syntax structure and spatial semantic between host graphs and productions, which reserves the power of the abstraction and improves the specification of spatial semantics. Compared with other spatial graph grammars, the formalism of vCGG has good performance in the intuitiveness, normalization, expressive power, and analysis efficiency.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/6164
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
vCGG:一种基于虚结点的空间图文法形式框架
本站小编 Free考研考试/2022-01-02
相关话题/空间 语言 结构 语法 图文
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19以太坊中间语言的可执行语义
摘要:智能合约是实现各类区块链应用的核心软件程序.近期，以太坊区块链平台（Ethereum）上的智能合约暴露出大量错误和安全隐患，在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果，智能合约程序语言的形式化必不可少.对以太坊中间语言Yul进行形式化，首次给出了其类型系统和小步操作语 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于多源特征空间的微服务可维护性评估
摘要:软件企业实践将遗留软件系统解耦成基于微服务架构的系统，以提高软件的可维护性，达到较快市场交付.评估微服务开发阶段的代码可维护性是一个关键问题，其面临数据多源化、可维护性关注点多样化的难点.通过分析源代码、代码运行轨迹、代码修订历史，提出一种多源特征空间模型以统一表示软件多源数据，并基于该模型， ...中科院软件研究所 本站小编 Free考研考试 2022-01-02一种结构信息增强的代码修改自动转换方法
摘要:在开发过程中，开发人员在进行缺陷修复、版本更新时，常常需要修改多处相似的代码.如何进行自动代码修改已成为软件工程领域的热点研究问题.一种行之有效的方式是：给定一组代码修改示例，通过抽取其中的代码修改模式，辅助相似代码进行自动转换.在现有工作中，基于深度学习的方法取得了一定进展，但在捕获代码间的 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02捕获局部语义结构和实例辨别的无监督哈希
摘要:由于具有低存储成本、高效检索、低标注成本等方面的优势，无监督的哈希技术已经引起了学术界越来越多的关注，并且已经广泛地应用到大规模数据库检索问题中.先前的无监督方法大部分依靠数据集本身的语义结构作为指导信息，要求在哈希空间中，数据的语义信息能够得到保持，从而完成哈希编码的学习.因此，如何精确地表 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02KGDB:统一模型和语言的知识图谱数据库管理系统
摘要:知识图谱是人工智能的重要基石，其目前主要有RDF图和属性图两种数据模型，在这两种数据模型之上有数种查询语言.RDF图上的查询语言为SPARQL，属性图上的查询语言主要为Cypher.10年来，各个社区开发了分别针对RDF图和属性图的不同数据管理方法，不统一的数据模型和查询语言限制了知识图谱的更 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02多模态视觉语言表征学习研究综述
摘要:我们生活在一个由大量不同模态内容构建而成的多媒体世界中，不同模态信息之间具有高度的相关性和互补性，多模态表征学习的主要目的就是挖掘出不同模态之间的共性和特性，产生出可以表示多模态信息的隐含向量.主要介绍了目前应用较广的视觉语言表征的相应研究工作，包括传统的基于相似性模型的研究方法和目前主流的基 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于U-Net结构改进的医学影像分割技术综述
摘要:深度学习在医学影像分割领域得到广泛应用，其中，2015年提出的U-Net因其分割小目标效果较好、结构具有可扩展性，自提出以来受到广泛关注.近年来，随着医学图像割性能要求的提升，众多****针对U-Net结构也在不断地改进和扩展，比如编解码器的改进、外接特征金字塔等.通过对基于U-Net结构改进 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02复杂网络的双曲空间表征学习方法
摘要:复杂网络在现实场景中无处不在，高效的复杂网络分析技术具有广泛的应用价值，比如社区检测、链路预测等.然而，很多复杂网络分析方法在处理大规模网络时需要较高的时间、空间复杂度.网络表征学习是一种解决该问题的有效方法，该类方法将高维稀疏的网络信息转化为低维稠密的实值向量，可以作为机器学习算法的输入，便 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02类属型数据核子空间聚类算法
摘要:现有的类属型数据子空间聚类方法大多基于特征间相互独立假设，未考虑属性间存在的线性或非线性相关性.提出一种类属型数据核子空间聚类方法.首先引入原作用于连续型数据的核函数将类属型数据投影到核空间，定义了核空间中特征加权的类属型数据相似性度量.其次，基于该度量推导了类属型数据核子空间聚类目标函数，并 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于训练空间重构的多模块TSK模糊系统
摘要:利用重构训练样本空间的手段，提出一种多训练模块Takagi-Sugeno-Kang（TSK）模糊分类器H-TSK-FS.它具有良好的分类性能和较高的可解释性，可以解决现有层次模糊分类器中间层输出和模糊规则难以解释的难题.为了实现良好的分类性能，H-TSK-FS由多个优化零阶TSK模糊分类器组成 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
