期刊文献+
共找到43篇文章
< 1 2 3 >
每页显示 20 50 100
线束拓扑图纸快速签收方法
1
作者 雷璐 吴明宇 +1 位作者 郭智博 乔晓利 《北京航空航天大学学报》 北大核心 2025年第9期3098-3107,共10页
针对人工校验签收线束拓扑图纸效率低、失误率高且不能适应智能化生产的问题,提出了基于图文法和谓词逻辑的线束拓扑图纸快速签收方法。该方法主要由图重构和图解析组成。图重构过程中,为使图结构能更好反映图纸数据,引入谓词逻辑对图... 针对人工校验签收线束拓扑图纸效率低、失误率高且不能适应智能化生产的问题,提出了基于图文法和谓词逻辑的线束拓扑图纸快速签收方法。该方法主要由图重构和图解析组成。图重构过程中,为使图结构能更好反映图纸数据,引入谓词逻辑对图资源进行提取,将拓扑图重构为标准图。图解析包含图语法分析器和图语义分析器。图语法分析器使用图文法归约算法对图结构进行识别解析,判断设计过程中是否出现图纸结构性错误,实现制图逻辑检查;图语义分析器应用归约判断重构后的图信息描述是否正确,并参照信息唯一性准则,将路径信息解析后与电线表比对,完成轨迹信息匹配性检测。在此基础上开展了12组实物实验,结果表明:所提方法可以将线束拓扑图纸签收耗时从3h降低为9s,且在此过程中未出现漏识别现象。 展开更多
关键词 线束拓扑图纸 签收 图文法 谓词逻辑 归约
在线阅读 下载PDF
融合工艺-质量语法知识的复杂零件关键工序识别方法
2
作者 冯少广 黄瑞 +2 位作者 黄波 朱书艺 施盈帆 《计算机集成制造系统》 北大核心 2025年第3期778-793,共16页
随着以计算机辅助设计(CAD)/计算机辅助制造(CAM)/计算机辅助质量检验(CAQI)为代表的先进制造技术在产品制造过程中的广泛应用,企业积累了大量的工艺数据(包括与之关联的质量数据),如何有效利用这些工艺数据实现待制零件工艺方案中关键... 随着以计算机辅助设计(CAD)/计算机辅助制造(CAM)/计算机辅助质量检验(CAQI)为代表的先进制造技术在产品制造过程中的广泛应用,企业积累了大量的工艺数据(包括与之关联的质量数据),如何有效利用这些工艺数据实现待制零件工艺方案中关键工序的识别成为保证零件加工质量的一个关键问题。但是,已有的关键工序识别方法主要依赖工艺设计人员,未能有效学习已有工艺数据中零件的工艺方案与加工质量之间的关联关系。提出一种融合工艺质量语法知识的复杂零件关键工序识别方法。首先,构建基于加工特征的多层次结构化工艺模型,实现工艺数据中零件三维几何与工艺方案、质量检测数据之间的有效关联。其次,根据结构化工艺数据,采用统计学习方法,构建工步质量对预测模型,从而计算零件工艺方案中不同时刻的工步质量对的置信度,并且建立具有复合性的质量工艺知识与或图模型(Q-PK-AOG)。最后,给定待制零件的工艺方案,以Q-PK-AOG为引导,根据不同时刻工步质量对的置信度,基于语法解析实现待制零件工艺方案中工步质量的预测,从而实现零件工艺方案关键工序的识别。以三轴数控铣削加工零件为研究对象,开发了一个基于CATIA的原型系统,通过实验验证了所提方法的有效性。 展开更多
关键词 关键工序识别 贝叶斯学习 质量工艺知识与或图 语法解析
在线阅读 下载PDF
基于图文法的动态软件体系结构支撑环境 被引量:13
3
作者 马晓星 曹春 +1 位作者 余萍 周宇 《软件学报》 EI CSCD 北大核心 2008年第8期1881-1892,共12页
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图... 使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境. 展开更多
关键词 动态软件体系结构 可视化 图文法 开发环境
在线阅读 下载PDF
自省的动态软件体系结构描述与实现 被引量:9
4
作者 马晓星 张小蕾 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第2期146-155,共10页
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建... 软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。 展开更多
关键词 动态软件 体系结构 可追溯性 动态重配置 图文法 抽象描述 自省设施
在线阅读 下载PDF
图文法综述 被引量:9
5
作者 韩秀清 曾晓勤 +1 位作者 邹阳 张康 《计算机科学》 CSCD 北大核心 2008年第8期10-16,共7页
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在... 形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。 展开更多
关键词 形式语言 图文法 嵌入问题 文法类型 成员问题
在线阅读 下载PDF
一种基于边的上下文相关图文法形式化框架 被引量:8
6
作者 曾晓勤 韩秀清 邹阳 《软件学报》 EI CSCD 北大核心 2008年第8期1893-1901,共9页
围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问... 围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向. 展开更多
关键词 可视化语言 形式化 图文法 嵌入问题 产生式
在线阅读 下载PDF
基于图文法的可重构机床配置规划方法 被引量:6
7
作者 曾法力 李爱平 +1 位作者 谢楠 徐立云 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第4期581-585,共5页
为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,... 为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法. 展开更多
关键词 图文法 可重构机床 配置规划 模块
在线阅读 下载PDF
上下文相关图文法的表达能力分析 被引量:4
8
作者 邹阳 吕建 +3 位作者 曹春 胡昊 宋巍 杨启亮 《软件学报》 EI CSCD 北大核心 2012年第7期1635-1655,共21页
上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析... 上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性. 展开更多
关键词 可视化语言 上下文相关 图文法 表达能力 转换算法
在线阅读 下载PDF
基于MDA的模型转换方法研究 被引量:12
9
作者 林炜 夏宽理 《计算机工程与应用》 CSCD 北大核心 2005年第2期80-83,共4页
模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,... 模型驱动方法提高了软件开发的产品及效率,而模型转换是开发基于MDA应用工具的关键技术。该文首先简要介绍了MDA的基本理论,着重分析模型转换的研究方法、分类及其在开发工具中的应用,并且通过实例说明模型转换器的规范化和实现,最后,列举了未来研究方向上一些需要考虑的问题。 展开更多
关键词 MDA 模型转换 图形法则 规范化
在线阅读 下载PDF
基于图重写规则的可重构机床配置规划 被引量:3
10
作者 曾法力 李爱平 +1 位作者 谢楠 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1766-1771,共6页
根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节点有无标志、边的标志属性和图表示有向、无向等约定进行操作,提高了制造系统的快速结构配置响应能力。通... 根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节点有无标志、边的标志属性和图表示有向、无向等约定进行操作,提高了制造系统的快速结构配置响应能力。通过图重写和变量重写规则,展示了图重写规则在重构过程中的优点。通过对可重构机床广义模型进行图分解、图重写和重构,表明该方法可以有效地对可重构机床进行快速配置规划,提升重构斜升时间。 展开更多
关键词 可重构机床 图重写 配置规划 图文法 模块 机床
在线阅读 下载PDF
基于图文法的程序流程图与源代码自动转换 被引量:6
11
作者 朱云 曾晓勤 +1 位作者 朱宁 刘禹锋 《计算机工程与科学》 CSCD 北大核心 2015年第5期937-945,共9页
程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图... 程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。 展开更多
关键词 图文法 流程图 源程序 归约 推导
在线阅读 下载PDF
一种图文法制导的软件体系结构开发环境Artemis-GADE 被引量:2
12
作者 邢阳 谢德平 +2 位作者 马晓星 曹春 吕建 《计算机研究与发展》 EI CSCD 北大核心 2010年第7期1165-1174,共10页
图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编... 图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性. 展开更多
关键词 软件体系结构 属性图文法 语法制导 可视化 开发环境
在线阅读 下载PDF
一种有效的结点标号上下文无关图文法分析算法 被引量:2
13
作者 花全香 邢汉承 冯纯伯 《软件学报》 EI CSCD 北大核心 1995年第9期567-575,共9页
本文讨论了上下文无关图文法的性质,并证明了图文法推导具有独立性.本文还给出了一种有效的上下文无关图文法分析算法,它具有多项式时间复杂性,并给出了算法的正确性证明.该算法已经用C语言实现.
关键词 图文法 形式语言 结点标号 算法
在线阅读 下载PDF
含假结RNA二级结构类的图语法 被引量:2
14
作者 高世乐 丁克诠 《计算机工程与应用》 CSCD 北大核心 2008年第2期23-25,105,共4页
用最小自由能法预测RNA二级结构是NP困难问题,其根本原因是假结的存在。近几年的预测算法都针具有一定结构特征的假结寻找多项式时间算法进行预测。论文针对RNA二级结构图提出一种图语法,该语法由初始结构图集和重写规则集构成,用重写... 用最小自由能法预测RNA二级结构是NP困难问题,其根本原因是假结的存在。近几年的预测算法都针具有一定结构特征的假结寻找多项式时间算法进行预测。论文针对RNA二级结构图提出一种图语法,该语法由初始结构图集和重写规则集构成,用重写规则在初始结构图上的不断重写得到的结构图都是该语法的语言。分析了5个主流RNA二级结构预测算法的目标集,给出它们的图语法,使得目标集的结构特征一目了然,目标集间的真包含关系也通过图语法直观地体现出来。 展开更多
关键词 假结 RNA二级结构 重写规则 图语法
在线阅读 下载PDF
Petri网和图文法 被引量:1
15
作者 花全香 邢汉承 冯纯伯 《东南大学学报(自然科学版)》 EI CAS CSCD 1994年第6期82-88,共7页
通过对Petri网的点火变迁过程和图文法推导过程的研究,给出了从Petri网到图文法的构造过程,并进一步证明了网络的点火过程等价于图文法的推导过程,提供了关于并发性研究的又一途径。
关键词 PETRI网 图法 并发性 点火
在线阅读 下载PDF
EGG图文法语法分析算法的研究 被引量:1
16
作者 朱云 曾晓勤 朱宁 《计算机科学》 CSCD 北大核心 2012年第10期272-277,293,共7页
EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EG... EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EGG形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。 展开更多
关键词 图文法 语法分析 子图匹配 子图替换 推导 归约
在线阅读 下载PDF
图文法EGG在设计模式中的应用 被引量:1
17
作者 韩秀清 曾晓勤 邹阳 《计算机工程与科学》 CSCD 北大核心 2010年第3期104-110,共7页
对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对... 对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。 展开更多
关键词 可视化语言 图文法 图变换 图重写 EGG 设计模式
在线阅读 下载PDF
基于图文法的产品族表达方法 被引量:1
18
作者 但斌 李兴华 《系统工程与电子技术》 EI CSCD 北大核心 2006年第6期873-876,共4页
针对大规模定制产品族开发迫切需要计算机管理的问题,提出了一种基于图文法的产品族表达方法。阐述了大规模定制产品族开发的原理,并在功能域和物理域中建立了产品的图模型,在此基础上分别在功能域和物理域中建立了产品族的图文法模型,... 针对大规模定制产品族开发迫切需要计算机管理的问题,提出了一种基于图文法的产品族表达方法。阐述了大规模定制产品族开发的原理,并在功能域和物理域中建立了产品的图模型,在此基础上分别在功能域和物理域中建立了产品族的图文法模型,分析了新产品从功能域到物理域的生成过程。最后以某摩托车产品族为例,说明了模型的应用过程。 展开更多
关键词 产品族 大规模定制 图文法 摩托车
在线阅读 下载PDF
关系图文法及其应用 被引量:8
19
作者 方林 谢立 《软件学报》 EI CSCD 北大核心 1997年第2期87-92,共6页
字符串文法不适于描述二维以上事物的特征,无法定义事物之间的复杂关系.本文提出了关系图的概念,对关系图的性质进行了研究.在此基础上提出了一种新的文法——关系图文法.该文法能够方便地抽象和概括二维以上复杂对象的特征,为分... 字符串文法不适于描述二维以上事物的特征,无法定义事物之间的复杂关系.本文提出了关系图的概念,对关系图的性质进行了研究.在此基础上提出了一种新的文法——关系图文法.该文法能够方便地抽象和概括二维以上复杂对象的特征,为分析和识别这些对象提供工具和方法,可以广泛应用于模式识别、高维文本分析和描述图示语言的语法等领域.为了使关系图文法实用化。 展开更多
关键词 文法 关系图 形式语言 模式识别 算法
在线阅读 下载PDF
图文法遗传算法 被引量:4
20
作者 孟祥武 《计算机工程与科学》 CSCD 1998年第4期11-16,共6页
本文讨论了进化神经网络的编码表示机制,分析了它们的优缺点;提出了遗传算法的一种图文法编码表示机制,给出了相应的算子定义,以及模式、模式长度及其阶的定义;证明了一个基于图文法表示机制的遗传算法模式定理,描述了交叉和突变... 本文讨论了进化神经网络的编码表示机制,分析了它们的优缺点;提出了遗传算法的一种图文法编码表示机制,给出了相应的算子定义,以及模式、模式长度及其阶的定义;证明了一个基于图文法表示机制的遗传算法模式定理,描述了交叉和突变对模式作用的效果。 展开更多
关键词 遗传算法 图文法 进化神经网络
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部