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