图文法相关论文
随着科学技术的不断发展,计算机的硬件性能有了飞跃性的提升,随之而来的就是人工智能热潮。机器学习是人工智能的重要分支,它被广......
作为一种二维的形式化方法,图文法为可视化语言提供了直观而规范的描述手段.然而,大多数图文法形式框架在空间语义处理能力方面有......
形式语言理论对计算机科学的发展起了重大的作用，作为对传统字符文法扩展的图文法的形式化研究，其重要意义是不言而喻的。图文法研究......
软件建模是软件开发的中心活动。随着软件规模不断增大，系统结构日趋复杂，使得单一的结构图无法完全刻画整个系统，人们必须从多个角度......
近年来，可靠性正在成为体系结构研究领域越来越重要的研究点。现在已经有很多可靠性模型可以用来在体系结构层次上预测软件的可靠性......
随着后基因时代的到来,生物过程的模拟已经显示出了越来越重要的作用,它有力地支持了生物学家以及其他研究人员在医学和制药等相关......
随着计算机软件技术的不断发展，计算机软件已广泛应用于国防建设的各个领域中。然而，很小的软件错误也可能导致整个系统的崩溃。在作......
图文法是一种对可视化语言进行形式化定义的元语言,具有表达自然、能力强大的特点.随着使用可视化语言的最终用户编程技术的广泛应......
围绕解决图文法中的主要问题--嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归......
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种......
为了落实英语学科新课标关于培养学生英语口语表达能力的理念,通过初中三年的学习,使学生能用英语进行交际和思考,最后达到大面积......
内容摘要：写话是学生写作的入门，重视写话教学的质量，对提高作文教学质量至关重要。目前，在小学写话教学中存在一些问题，如学生写话兴趣......
针对目前已有的上下文相关图文法的描述规范过于复杂或不太直观，提出了一个新的上下文相关图文法的形式框架：上下文属性化的图文法CA......
EGG是一种基于边的上下文相关图文法形式化框架,其语法分析（归约操作）算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EG......
上下文相关图文法是描述可视化语言的形式化工具，为了直观地刻画并高效地分析可视化语言，已有图文法形式框架均着重于文法形式和分析......
在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别......
本文讨论了上下文无关图文法的性质，并证明了图文法推导具有独立性，本文还给出了一种有效的上下文无关图文法分析算法，它具有多项式时......
在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程 联结构，动态进程通信和进程演化行为的形式化方法以及......
Ｇａｍｍａ（ｇｅｎｅｒａｌ ａｂｓｔｒａｃｔ ｍｏｄｅｌ ｆｏｒ ｍｕｌｔｉｓｅｔ ｍａｎｉｐｕｌａｔｉｏｎ）语言是一个可以避免人为序化的高层次并行程序设计工具。Ｐ．Ｆｒａｄｅｔ等人提出结构化Ｇａｍｍａ以利于结构化应用数据以及表达特殊的控制约束和......
可视化语言技术比一维文本语言在描述软件组成方面具有优越性．由于图表和图形概念在系统建模中的广泛使用，可视化语言可以应用于需求......
围绕解决图文法中的主要问题——嵌入问题，提出了一种基于边的上下文相关图文法形式化框架，并对由此定义的文法的一些性质及相应的归......
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格，用图转换来刻画动态体系结构的重配置行为．基于这种刻......
针对大规模定制产品族开发迫切需要计算机管理的问题，提出了一种基于图文法的产品族表达方法。阐述了大规模定制产品族开发的原理，并......
摘要为检测作战系统中任务模型的一致性，文中基于图文法提出一种形式化的检测方法：把作战系统模型转换成属性图文法，并检测功能需求间......
好的复习课不是原地踏步而是拾级而上，好的复习课应该是有情境、有层次、有坡度的再学习过程。因此数学复习课就要求每一位数学教师......
本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念。本文首先提出了关于软件图语言的一......
本文采用关系模型、图文法与面向对象的风格相结合的方法,将数据定义与数据处理模化,表示为统一的树图结构,给出了产生局部扩展E-R......
对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展，图文法可以形式化描述二维空间中的对象，如图......
基于XSLT技术的SBML与其他生物建模语言之间的转换方法存在无法保证转换结果的确定性、语法正确性及不能满足模型转换的工业化需求......
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试......
根据产品族生成机理与图语言生成机理的相似性，提出了一种产品族的图文法表达方法，并根据产品族的图文法模型构建了基于图文法的产品......
提取多源城市路网交叉口节点,每个节点都有唯一的结构模式信息,将城市道路网的节点匹配转化为图匹配中的最大公共子图问题,采用最......
识字不仅是阅读和写作的基础,也是挖掘智慧潜能,发展创新精神和创造能力的首要条件。如何让学生快速、高效识记生字这一难题摆在了......
软件系统的体系结构对于软件开发具有重要的意义,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足.......
讨论对象的操作可视化，将其连续操作映射为图的剪枝与拼接，对其连续操作映射为图文法的推导，这不仅可视化了查询语言，也有利于可视化对......
数据流分析是计算机科学的重要研究领域，本文通过分析可归纳流图和半结构图文法的特点，提出了使用半结构流图文法进行数据流分析的方......
在计算机科学的发展历史中，形式语言理论起到了重要的作用。特别在计算机编程语言等方面，它是现有编程语言的基础理论。现有的乔姆斯......
本文讨论了进化神经网络的编码表示机制，分析了它们的优缺点；提出了遗传算法的一种图文法编码表示机制，给出了相应的算子定义，以及模式......
程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流......
为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构......
为了检测出设计较为复杂的ER图时出现的各种错误结构，提出了一种应用图文法EGG来检查任意设计的ER图合法性的方法。根据ER图的结构......
根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节......
ACM/ICPC (ACM International Collegiate Programming Contest, ACM国际大学生程序设计竞赛)作为一个拥有40多年历史的全球范围的......
