-
题名基于图重写规则的可重构机床配置规划
被引量:3
- 1
-
-
作者
曾法力
李爱平
谢楠
徐立云
-
机构
同济大学现代制造技术研究所
同济大学中德工程学院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2011年第8期1766-1771,共6页
-
基金
国家自然科学基金资助项目(50975209
51005169)
+1 种基金
上海市基础研究重点资助项目(09JC1414500)
上海市自然科学基金资助项目(10ZR1432300)~~
-
文摘
根据可重构机床配置生成机理与图重写规则的重写操作相似性,提出了一种基于图重写规则的可重构配置规划方法。利用图重写规则对节点有无标志、边的标志属性和图表示有向、无向等约定进行操作,提高了制造系统的快速结构配置响应能力。通过图重写和变量重写规则,展示了图重写规则在重构过程中的优点。通过对可重构机床广义模型进行图分解、图重写和重构,表明该方法可以有效地对可重构机床进行快速配置规划,提升重构斜升时间。
-
关键词
可重构机床
图重写
配置规划
图文法
模块
机床
-
Keywords
reconfigurable machine tools
graph rewriting
configuration planning
graph grammar
module
machine tools
-
分类号
F273.2
[经济管理—企业管理]
-
-
题名一种基于图重写的计算机安全风险分析系统
- 2
-
-
作者
李娜
谢冬青
-
机构
湖南大学计算机与通信学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第8期271-274,共4页
-
基金
国家自然科学基金资助项目(No.60373085)
-
文摘
基于项重写的安全风险分析的抽象规约模型在代数签名的基础上直接得到结果,没有提供相关攻击步骤明确描述,没有提供决策和攻击之间关系的统一视图,容易导致威胁的传播。为此,本文首先将图重写方案引入模型中,证明了引入图重写规则以后的风险分析系统仍然是终止的。然后利用图重写规则,提出了一种可以获得更优决策集合的方法,在改进的求带权二分图最小覆盖的方法的基础上,获得了一种具有相同时间复杂度和更高代价利益比的方法。整个模型高效、易于管理。
-
关键词
风险分析
图重写
终止
最小覆盖
-
Keywords
Risk analysis, Graph rewriting, Termination, Vertex cover
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名MDA中的图重写和转换方法研究
- 3
-
-
作者
胡燕
李祥
邓浩
-
机构
武汉理工大学计算机学院
-
出处
《福建电脑》
2007年第2期47-48,共2页
-
文摘
模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。本文对一种功能强大模型转换的方法--图重写和转换方法进行了深入研究,并针对其不足,提出了规则库与模型库的分离的思想。该方法可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。
-
关键词
模型驱动架构
模型转换
图重写和转换
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名项重写的图实现
被引量:2
- 4
-
-
作者
杨继锋
孙永强
-
机构
上海交通大学计算机科学与工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
1998年第4期3-6,15,共5页
-
基金
国家九五科技攻关项目
-
文摘
图重写能够有效地实现项重写.文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性;在无环出现的倩况下,图重写对一切项重写正确;在无环出现的条件下,图重写对左线性合流的项重写是完备的.据此,作者又研究了规则、共享和环生成的关系,从而指导操作,避免环的产生,保证正确性和完备性。以上结果能够用于指导项重写的图实现。
-
关键词
项重写
图重写
图实现
函数式语言
-
Keywords
Term rewriting
Graph rewriting
Term graph rewriting
DAG
Functional programming language
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名PARLOG的扩展图重写实现技术
- 5
-
-
作者
王鼎兴
李振中
-
出处
《模式识别与人工智能》
EI
CSCD
北大核心
1989年第1期1-6,共6页
-
-
关键词
PARLOG
扩展图重写
计算模型
-
分类号
TP11
[自动化与计算机技术—控制理论与控制工程]
-
-
题名嵌入一致图语法的依赖图(英文)
被引量:2
- 6
-
-
作者
李国东
张德富
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2004年第7期956-968,共13页
-
文摘
图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.
-
关键词
框架图语法
图重写
依赖图
超图
编译
-
Keywords
Computational grammars
Formal languages
Graph theory
Program compilers
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名图文法EGG在设计模式中的应用
被引量:1
- 7
-
-
作者
韩秀清
曾晓勤
邹阳
-
机构
河海大学计算机及信息工程学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2010年第3期104-110,共7页
-
基金
国家自然科学基金资助项目(60673186)
-
文摘
对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。
-
关键词
可视化语言
图文法
图变换
图重写
EGG
设计模式
-
Keywords
visual language
graph grammar
graph transformation
graph rewriting
EGG
design pattern
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名计算机风险分析系统的设计与开发
- 8
-
-
作者
马东伟
-
机构
吉林工商学院信息工程学院
-
出处
《电子技术与软件工程》
2013年第19期259-259,共1页
-
文摘
随着科技的不断发展,计算机技术水平的不断提高,在计算机技术快速发展的现代,人们的生活已经越来越离不开计算机。但是计算机用户使用环境的安全问题一直没有得到彻底的解决,在用户使用计算机网络时经常会受到网络病毒的侵害,这直接威胁到网络信息安全。文中主要介绍了计算机网络安全的含义,并分析了计算机网络存在威胁的原因,然后介绍了一种基于图重写技术的风险分析系统的设计与开发方法。
-
关键词
风险分析系统
计算机
网络
图重写
-
分类号
TP393.0
[自动化与计算机技术—计算机应用技术]
-
-
题名多媒体战争模拟
- 9
-
-
作者
王凡琳
-
出处
《光盘技术》
1995年第3期38-38,共1页
-
文摘
葛底斯堡战役是美国内战最血惺的三天,被认为是内战的转折点。战争结束,联邦军队战败了南部联盟军队。Robert E.bee使用什么策略贏了这场战争?在本战争模拟中,你可以扮演联邦或者南部联盟军官,试图重写战争的历史。 游戏的开始部分是有关联邦及南部联盟军队在葛底斯堡交战原因的诸事件的历史重演。尔后。
-
关键词
媒体战
葛底斯堡
联邦军队
战争模拟
战争结束
美国内战
图重写
联盟
游戏
帧传输
-
分类号
TN
[电子电信]
-