期刊文献+
共找到63篇文章
< 1 2 4 >
每页显示 20 50 100
Context-attributed graph grammar framework for specifying visual languages
1
作者 邹阳 曾晓勤 +1 位作者 韩秀清 张康 《Journal of Southeast University(English Edition)》 EI CAS 2008年第4期455-461,共7页
Since the specifications of most of the existing context-sensitive graph grammars tend to be either too intricate or not intuitive, a novel context-sensitive graph grammar formalism, called context-attributed graph gr... Since the specifications of most of the existing context-sensitive graph grammars tend to be either too intricate or not intuitive, a novel context-sensitive graph grammar formalism, called context-attributed graph grammar(CAGG), is proposed. In order to resolve the embedding problem, context information of a graph production in the CAGG is represented in the form of context attributes of the nodes involved. Moreover, several properties of a set of confluent CAGG productions are characterized, and then an algorithm based on them is developed to decide whether or not a set of productions is confluent, which provides the foundation for the design of efficient parsing algorithms. It can also be shown through the comparison of CAGG with several typical context-sensitive graph grammars that CAGG is more succinct and, at the same time, more intuitive than the others, making it more suitably and effortlessly applicable to the specification of visual languages. 展开更多
关键词 visual language graph grammar context-attributed PARSING CONFLUENCE
下载PDF
GRAPH GRAMMAR METHOD FOR 3-D CORNER DETECTION
2
作者 关卓威 张晔 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2012年第3期289-293,共5页
Most of local feature descriptors assume that the scene is planar. In the real scene, the captured images come from the 3-D world. 3-D corner as a novel invariant feature is important for the image matching and the ob... Most of local feature descriptors assume that the scene is planar. In the real scene, the captured images come from the 3-D world. 3-D corner as a novel invariant feature is important for the image matching and the object detection, while automatically discriminating 3-D corners from ordinary corners is difficult. A novel method for 3-D corner detection is proposed based on the image graph grammar, and it can detect the 3-D features of corners to some extent. Experimental results show that the method is valid and the 3-D corner is useful for image matching. 展开更多
关键词 graph grammar 3-D corner detection production rule
下载PDF
基于图文法的逻辑型图样本生成方法
3
作者 刘禹锋 杨帆 刘健 《计算机工程》 CAS CSCD 北大核心 2023年第11期203-210,共8页
针对图文法的推导工作流中存在的停机和不确定性问题,提出一种基于改进图文法的图自动推导算法,并将其应用于图样本生成。为了建立推导的停机机制,对EGG图文法进行改进,通过终结产生式确保每个非终结点可以在保持原有图规模的情况下进... 针对图文法的推导工作流中存在的停机和不确定性问题,提出一种基于改进图文法的图自动推导算法,并将其应用于图样本生成。为了建立推导的停机机制,对EGG图文法进行改进,通过终结产生式确保每个非终结点可以在保持原有图规模的情况下进行有效推导并生成终结点。在图生成过程中,通过应用概率指导产生式和图柄的选择,解决了推导操作的不确定性问题。利用图自动推导算法,在满足精准推导要求的情况下保持了多项式级的时间复杂度。在EGGSS环境中开发图样本生成模块,以程序流程图样本生成为例演示推导算法的详细过程,并对不同应用概率分配下所生成图样本的规模分布情况进行分析和讨论。实验结果表明,在图样本规模限制为10的情况下,该方法通过降低终结产生式应用概率可使图样本的平均规模从3.16增至6.87。 展开更多
关键词 图文法 推导算法 终结产生式 图样本生成 程序流程图
下载PDF
基于混合编码与双通道GCN的方面级情感分析
4
作者 程帆 王芳 黄树成 《软件导刊》 2023年第7期15-20,共6页
方面级情感分析研究忽略了词性和物理位置的结合,且仅考虑句子语法结构,缺乏对词深层情感极性的挖掘,包括情感极性标签和情感极性值,由此提出基于混合编码与双通道图卷积网络的方面级情感分析模型HCDCGCN。首先,混合编码部分融合了线性... 方面级情感分析研究忽略了词性和物理位置的结合,且仅考虑句子语法结构,缺乏对词深层情感极性的挖掘,包括情感极性标签和情感极性值,由此提出基于混合编码与双通道图卷积网络的方面级情感分析模型HCDCGCN。首先,混合编码部分融合了线性结构上的词性特征和物理位置特征并馈入到每层网络的输出;然后,双通道图卷积网络在树形结构上结合了语法距离和情感极性以获取重要信息;最后,采用注意力机制突出方面词的情感特征。在3个公共数据集Lap14、Rest14和Twitter上进行实验,其准确率分别达85.56%、88.46%和78.37%,表明HCDC-GCN可以更好地融合语义、词性、物理位置、语法距离和情感极性信息,在方面级情感分析领域具有一定优势。 展开更多
关键词 方面级情感分析 图卷积网络 混合编码 语法距离 情感极性
下载PDF
基于图文法的动态软件体系结构支撑环境 被引量:13
5
作者 马晓星 曹春 +1 位作者 余萍 周宇 《软件学报》 EI CSCD 北大核心 2008年第8期1881-1892,共12页
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图... 使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境. 展开更多
关键词 动态软件体系结构 可视化 图文法 开发环境
下载PDF
自省的动态软件体系结构描述与实现 被引量:9
6
作者 马晓星 张小蕾 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第2期146-155,共10页
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建... 软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。 展开更多
关键词 动态软件 体系结构 可追溯性 动态重配置 图文法 抽象描述 自省设施
下载PDF
图文法综述 被引量:9
7
作者 韩秀清 曾晓勤 +1 位作者 邹阳 张康 《计算机科学》 CSCD 北大核心 2008年第8期10-16,共7页
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在... 形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。 展开更多
关键词 形式语言 图文法 嵌入问题 文法类型 成员问题
下载PDF
一种基于边的上下文相关图文法形式化框架 被引量:8
8
作者 曾晓勤 韩秀清 邹阳 《软件学报》 EI CSCD 北大核心 2008年第8期1893-1901,共9页
围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问... 围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向. 展开更多
关键词 可视化语言 形式化 图文法 嵌入问题 产生式
下载PDF
基于图文法的可重构机床配置规划方法 被引量:6
9
作者 曾法力 李爱平 +1 位作者 谢楠 徐立云 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第4期581-585,共5页
为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,... 为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法. 展开更多
关键词 图文法 可重构机床 配置规划 模块
下载PDF
上下文相关图文法的表达能力分析 被引量:3
10
作者 邹阳 吕建 +3 位作者 曹春 胡昊 宋巍 杨启亮 《软件学报》 EI CSCD 北大核心 2012年第7期1635-1655,共21页
上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析... 上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性. 展开更多
关键词 可视化语言 上下文相关 图文法 表达能力 转换算法
下载PDF
基于MDA的模型转换方法研究 被引量:12
11
作者 林炜 夏宽理 《计算机工程与应用》 CSCD 北大核心 2005年第2期80-83,共4页
模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,... 模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,列举了未来研究方向上一些需要考虑的问题。 展开更多
关键词 MDA 模型转换 图形法则 规范化
下载PDF
基于图重写规则的可重构机床配置规划 被引量:3
12
作者 曾法力 李爱平 +1 位作者 谢楠 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1766-1771,共6页
根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节点有无标志、边的标志属性和图表示有向、无向等约定进行操作,提高了制造系统的快速结构配置响应能力。通... 根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节点有无标志、边的标志属性和图表示有向、无向等约定进行操作,提高了制造系统的快速结构配置响应能力。通过图重写和变量重写规则,展示了图重写规则在重构过程中的优点。通过对可重构机床广义模型进行图分解、图重写和重构,表明该方法可以有效地对可重构机床进行快速配置规划,提升重构斜升时间。 展开更多
关键词 可重构机床 图重写 配置规划 图文法 模块 机床
下载PDF
面向虚拟地理环境的图形化地理建模与应用 被引量:7
13
作者 唐卫 闾国年 +1 位作者 温永宁 陶虹 《地球信息科学》 CSCD 2007年第2期78-84,共7页
本文介绍了面向虚拟地理环境的基于概念模型的图形化地理建模方法,利用面向对象方法设计了可扩展的图形化地理建模的体系架构,并详细介绍了实现图形化建模的关键技术。应用成果表明:该体系架构具有高度的可扩展性和适应性,支持基于模型... 本文介绍了面向虚拟地理环境的基于概念模型的图形化地理建模方法,利用面向对象方法设计了可扩展的图形化地理建模的体系架构,并详细介绍了实现图形化建模的关键技术。应用成果表明:该体系架构具有高度的可扩展性和适应性,支持基于模型组件构建复合地理分析模型,有助于对地理现象、地理机理和地理过程准确认知。 展开更多
关键词 虚拟地理环境 地理建模 图建模 建模框架
下载PDF
基于图文法的程序流程图与源代码自动转换 被引量:6
14
作者 朱云 曾晓勤 +1 位作者 朱宁 刘禹锋 《计算机工程与科学》 CSCD 北大核心 2015年第5期937-945,共9页
程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图... 程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。 展开更多
关键词 图文法 流程图 源程序 归约 推导
下载PDF
一种图文法制导的软件体系结构开发环境Artemis-GADE 被引量:2
15
作者 邢阳 谢德平 +2 位作者 马晓星 曹春 吕建 《计算机研究与发展》 EI CSCD 北大核心 2010年第7期1165-1174,共10页
图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编... 图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性. 展开更多
关键词 软件体系结构 属性图文法 语法制导 可视化 开发环境
下载PDF
基于图形语法的UML模型转换方法 被引量:5
16
作者 马浩海 高光来 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第5期560-564,共5页
模型驱动的软件开发生命周期的核心是模型转换过程.例如从初始的分析模型出发,并行的进行分析模型的迭代,以及分析模型到设计子模型的转换过程,并支持最终两种模型的合并.为了允许迭代的和并行的对各个精化模型进行修改,利用图形语法辅... 模型驱动的软件开发生命周期的核心是模型转换过程.例如从初始的分析模型出发,并行的进行分析模型的迭代,以及分析模型到设计子模型的转换过程,并支持最终两种模型的合并.为了允许迭代的和并行的对各个精化模型进行修改,利用图形语法辅助模型的精化和合成,可以有效的实现转换过程的精确性和一致性.该项研究可以作为模型自动生成技术以及模型驱动体系结构(MDA)的基础性工作. 展开更多
关键词 图形语法 UML 模型转换
下载PDF
基于图法则分析的三维布局模型生成方法 被引量:2
17
作者 袁苗龙 胡于进 付莉红 《华中理工大学学报》 CSCD 北大核心 1998年第10期38-41,共4页
在分析现有布局模型及相关求解技术的基础上,提出了三维布局问题的一个复合知识模型──构造性属性关联图(CALG),并深入研究了基于图法则分析的模型生成策略.该复合知识模型的生成过程刻划了三维布局结构的构造原理.CALG... 在分析现有布局模型及相关求解技术的基础上,提出了三维布局问题的一个复合知识模型──构造性属性关联图(CALG),并深入研究了基于图法则分析的模型生成策略.该复合知识模型的生成过程刻划了三维布局结构的构造原理.CALG具有良好的几何信息,为布局问题的具体求解打下了基础.利用该方法有效地建立了车身内布置设计的初始模型. 展开更多
关键词 布局 图法则分析 设计知识 三维布局模型 CALG
下载PDF
一种有效的结点标号上下文无关图文法分析算法 被引量:2
18
作者 花全香 邢汉承 冯纯伯 《软件学报》 EI CSCD 北大核心 1995年第9期567-575,共9页
本文讨论了上下文无关图文法的性质,并证明了图文法推导具有独立性.本文还给出了一种有效的上下文无关图文法分析算法,它具有多项式时间复杂性,并给出了算法的正确性证明.该算法已经用C语言实现.
关键词 图文法 形式语言 结点标号 算法
下载PDF
含假结RNA二级结构类的图语法 被引量:2
19
作者 高世乐 丁克诠 《计算机工程与应用》 CSCD 北大核心 2008年第2期23-25,105,共4页
用最小自由能法预测RNA二级结构是NP困难问题,其根本原因是假结的存在。近几年的预测算法都针具有一定结构特征的假结寻找多项式时间算法进行预测。论文针对RNA二级结构图提出一种图语法,该语法由初始结构图集和重写规则集构成,用重写... 用最小自由能法预测RNA二级结构是NP困难问题,其根本原因是假结的存在。近几年的预测算法都针具有一定结构特征的假结寻找多项式时间算法进行预测。论文针对RNA二级结构图提出一种图语法,该语法由初始结构图集和重写规则集构成,用重写规则在初始结构图上的不断重写得到的结构图都是该语法的语言。分析了5个主流RNA二级结构预测算法的目标集,给出它们的图语法,使得目标集的结构特征一目了然,目标集间的真包含关系也通过图语法直观地体现出来。 展开更多
关键词 假结 RNA二级结构 重写规则 图语法
下载PDF
Petri网和图文法 被引量:1
20
作者 花全香 邢汉承 冯纯伯 《东南大学学报(自然科学版)》 EI CAS CSCD 1994年第6期82-88,共7页
通过对Petri网的点火变迁过程和图文法推导过程的研究,给出了从Petri网到图文法的构造过程,并进一步证明了网络的点火过程等价于图文法的推导过程,提供了关于并发性研究的又一途径。
关键词 PETRI网 图法 并发性 点火
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部