基于图文法的逻辑型图样本生成方法

针对图文法的推导工作流中存在的停机和不确定性问题,提出一种基于改进图文法的图自动推导算法,并将其应用于图样本生成。为了建立推导的停机机制,对EGG图文法进行改进,通过终结产生式确保每个非终结点可以在保持原有图规模的情况下进行有效推导并生成终结点。在图生成过程中,通过应用概率指导产生式和图柄的选择,解决了推导操作的不确定性问题。利用图自动推导算法,在满足精准推导要求的情况下保持了多项式级的时间复杂度。在EGGSS环境中开发图样本生成模块,以程序流程图样本生成为例演示推导算法的详细过程,并对不同应用概率分配下所生成图样本的规模分布情况进行分析和讨论。实验结果表明,在图样本规模限制为10的情况下,该方法通过降低终结产生式应用概率可使图样本的平均规模从3.16增至6.87。

基于混合编码与双通道GCN的方面级情感分析

方面级情感分析研究忽略了词性和物理位置的结合,且仅考虑句子语法结构,缺乏对词深层情感极性的挖掘,包括情感极性标签和情感极性值,由此提出基于混合编码与双通道图卷积网络的方面级情感分析模型HCDCGCN。首先,混合编码部分融合了线性结构上的词性特征和物理位置特征并馈入到每层网络的输出;然后,双通道图卷积网络在树形结构上结合了语法距离和情感极性以获取重要信息;最后,采用注意力机制突出方面词的情感特征。在3个公共数据集Lap14、Rest14和Twitter上进行实验,其准确率分别达85.56%、88.46%和78.37%,表明HCDC-GCN可以更好地融合语义、词性、物理位置、语法距离和情感极性信息,在方面级情感分析领域具有一定优势。

基于图文法的动态软件体系结构支撑环境

使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。

图文法综述

形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。

一种基于边的上下文相关图文法形式化框架

围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.

基于图文法的可重构机床配置规划方法

为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法.

上下文相关图文法的表达能力分析

上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性.

基于MDA的模型转换方法研究

模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,列举了未来研究方向上一些需要考虑的问题。

基于图重写规则的可重构机床配置规划

根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节点有无标志、边的标志属性和图表示有向、无向等约定进行操作,提高了制造系统的快速结构配置响应能力。通过图重写和变量重写规则,展示了图重写规则在重构过程中的优点。通过对可重构机床广义模型进行图分解、图重写和重构,表明该方法可以有效地对可重构机床进行快速配置规划,提升重构斜升时间。

面向虚拟地理环境的图形化地理建模与应用

本文介绍了面向虚拟地理环境的基于概念模型的图形化地理建模方法,利用面向对象方法设计了可扩展的图形化地理建模的体系架构,并详细介绍了实现图形化建模的关键技术。应用成果表明:该体系架构具有高度的可扩展性和适应性,支持基于模型组件构建复合地理分析模型,有助于对地理现象、地理机理和地理过程准确认知。

基于图文法的程序流程图与源代码自动转换

程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。

一种图文法制导的软件体系结构开发环境Artemis-GADE

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性.

基于图形语法的UML模型转换方法

模型驱动的软件开发生命周期的核心是模型转换过程.例如从初始的分析模型出发,并行的进行分析模型的迭代,以及分析模型到设计子模型的转换过程,并支持最终两种模型的合并.为了允许迭代的和并行的对各个精化模型进行修改,利用图形语法辅助模型的精化和合成,可以有效的实现转换过程的精确性和一致性.该项研究可以作为模型自动生成技术以及模型驱动体系结构(MDA)的基础性工作.

基于图法则分析的三维布局模型生成方法

在分析现有布局模型及相关求解技术的基础上，提出了三维布局问题的一个复合知识模型──构造性属性关联图（ＣＡＬＧ），并深入研究了基于图法则分析的模型生成策略．该复合知识模型的生成过程刻划了三维布局结构的构造原理．ＣＡＬＧ具有良好的几何信息，为布局问题的具体求解打下了基础．利用该方法有效地建立了车身内布置设计的初始模型．

一种有效的结点标号上下文无关图文法分析算法

本文讨论了上下文无关图文法的性质，并证明了图文法推导具有独立性．本文还给出了一种有效的上下文无关图文法分析算法，它具有多项式时间复杂性，并给出了算法的正确性证明．该算法已经用Ｃ语言实现．

含假结RNA二级结构类的图语法

用最小自由能法预测RNA二级结构是NP困难问题,其根本原因是假结的存在。近几年的预测算法都针具有一定结构特征的假结寻找多项式时间算法进行预测。论文针对RNA二级结构图提出一种图语法,该语法由初始结构图集和重写规则集构成,用重写规则在初始结构图上的不断重写得到的结构图都是该语法的语言。分析了5个主流RNA二级结构预测算法的目标集,给出它们的图语法,使得目标集的结构特征一目了然,目标集间的真包含关系也通过图语法直观地体现出来。

Petri网和图文法

通过对Ｐｅｔｒｉ网的点火变迁过程和图文法推导过程的研究，给出了从Ｐｅｔｒｉ网到图文法的构造过程，并进一步证明了网络的点火过程等价于图文法的推导过程，提供了关于并发性研究的又一途径。

EGG图文法语法分析算法的研究

EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EGG形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。

图文法EGG在设计模式中的应用

对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。