有向图语言 被引量：2

1

作者 师海忠 《计算机工程与应用》 CSCD 北大核心 2011年第22期53-56,共4页

经典形式语言有两条主线,就是自动机线索与形式文法线索。利用有向图理论和有向图半群理论建立了另一条线索——有向图语言,讨论了两类特殊的有向图语言——de Bruijn有向图语言和Kautz有向图语言,引入了连通语言及语言的直径等概念,计... 经典形式语言有两条主线,就是自动机线索与形式文法线索。利用有向图理论和有向图半群理论建立了另一条线索——有向图语言,讨论了两类特殊的有向图语言——de Bruijn有向图语言和Kautz有向图语言,引入了连通语言及语言的直径等概念,计算出了deBruijn有向图语言和Kautz有向图语言的直径。 展开更多

关键词 形式语言 有向图 有向图语言 DE bruijn有向图语言 Kautz有向图语言

在线阅读 下载PDF 职称材料

广义de Bruijn和Kautz有向图的距离控制数(英文) 被引量：6

2

作者 田方 徐俊明 《运筹学学报》 CSCD 北大核心 2006年第1期88-94,共7页

对于任意的正整数(?),强连通图G的顶点子集D被称为距离(?)-控制集,是指对于任意顶点v(?)D,D中至少含有一个顶点u,使得距离dG(u,v)≤(?)．图G距离(?)- 控制数γe(G)是指G中所有距离(?)-控制集的基数的最小者．本文给出了广义de Bruijn ... 对于任意的正整数(?),强连通图G的顶点子集D被称为距离(?)-控制集,是指对于任意顶点v(?)D,D中至少含有一个顶点u,使得距离dG(u,v)≤(?)．图G距离(?)- 控制数γe(G)是指G中所有距离(?)-控制集的基数的最小者．本文给出了广义de Bruijn 和广义Kautz有向图的距离(?)-控制数的上界和下界,并且给出当它们的距离2-控制数达到下界时的一个充分条件．从而得到对于de Bruijn有向图B(d,k)的距离2-控制数γ2(B(d,k))= ．在该文结尾,我们猜想Kautz有向图K(d,k)的距离2-控制数γ2(K(d,k))= . 展开更多

关键词 运筹学 距离控制数 控制数 广义de bruijn有向图 广义Kautz有向图

在线阅读 下载PDF 职称材料

广义de Bruijn和Kautz有向图的双向控制集

3

作者 董艳侠 张广 单而芳 《运筹学学报》 CSCD 北大核心 2016年第3期99-106,共8页

设G=（V,A）是一个有向图,其中V和A分别表示有向图G的点集和弧集.对集合TV（G）,如果对于任意点v∈V（G）／T,都存在点u,w∈T（u,w可能是同一点）使得（u,v）,（v,w）∈A（G）,则称T是G的一个双向控制集.有向图G的双向控制数γ-＊（G... 设G=（V,A）是一个有向图,其中V和A分别表示有向图G的点集和弧集.对集合TV（G）,如果对于任意点v∈V（G）／T,都存在点u,w∈T（u,w可能是同一点）使得（u,v）,（v,w）∈A（G）,则称T是G的一个双向控制集.有向图G的双向控制数γ-＊（G）是G的最小双向控制集所含点的数目.提出了广义de Bruijn和Kautz有向图的双向控制数的新上界,改进了以前文献中提出的相关结论.此外,对某些特殊的广义de Bruijn和Kautz有向图,通过构造其双向控制集,进一步改进了它们双向控制数的上、下界. 展开更多

关键词 广义de bruijn有向图 广义Kautz有向图 控制集 吸收集 双向控制集

在线阅读 下载PDF 职称材料

广义de Bruijn有向图的k-元控制集

4

作者 董艳侠 薛涛 张广 《运筹学学报》 CSCD 北大核心 2021年第2期127-134,共8页

G=(V,A)表示一个有向图,其中V和A分别表示有向图G的点集和弧集。对集合Dk■V(G),如果对于任意点v∈V(G),都存在k个点ui,1≤i≤k(可能存在某个ui和v是同一点)使得(ui,v)∈A(G),则称Dk是G的一个k-元控制集。有向图G的k-元控制数γ×k... G=(V,A)表示一个有向图,其中V和A分别表示有向图G的点集和弧集。对集合Dk■V(G),如果对于任意点v∈V(G),都存在k个点ui,1≤i≤k(可能存在某个ui和v是同一点)使得(ui,v)∈A(G),则称Dk是G的一个k-元控制集。有向图G的k-元控制数γ×k(G)是G的最小k-元控制集所含点的数目。给出了广义de Bruijn有向图的k-元控制数的新上界,并且具体给出了构造广义de Bruijn有向图的k-元控制集的方法。此外,对某些特殊的广义de Bruijn有向图,通过构造其k-元控制集,进一步改进了它们k-元控制数的上界。 展开更多

关键词 广义de bruijn有向图 控制集 k-元控制集

在线阅读 下载PDF 职称材料

关于de Bruijn图中限长路的注记(英文) 被引量：3

5

作者 徐俊明 陶颖峰 徐克力 《中国科学技术大学学报》 CAS CSCD 北大核心 2002年第1期19-21,共3页

Imase等人证明了 :对于deBruijn有向图B(d ,k)中任何两个不同的顶点x和y ,存在d- 1条内点不交且长度都不超过k+ 1的 (x ,y)路 .但证明很长而且包含许多令人厌烦的验证 .

关键词 限长路 Menger定理 DE bruijn有向图 顶点 内点 图论

在线阅读 下载PDF 职称材料

基于Modelica语言的复杂机械系统统一建模平台研究 被引量：17

6

作者 吴义忠 吴民峰 陈立平 《中国机械工程》 EI CAS CSCD 北大核心 2006年第22期2391-2396,共6页

研究了基于Modelica语言的复杂机械系统统一建模平台MWorks的关键技术。在分析Modelica模型描述和Modelica标准库(MSL)结构的基础上,设计了基于Modelica语言的可视化建模系统框架,提出了基于有向无环图的MSL内存存储模式,提高了可视化... 研究了基于Modelica语言的复杂机械系统统一建模平台MWorks的关键技术。在分析Modelica模型描述和Modelica标准库(MSL)结构的基础上,设计了基于Modelica语言的可视化建模系统框架,提出了基于有向无环图的MSL内存存储模式,提高了可视化建模速度;提出了基于实体句子匹配的快速图文切换算法;设计了基于句子的线性二叉树结构,实现了文本和图形编辑环境相统一的恢复操作。最后给出了MWorks系统的建模实例。 展开更多

关键词 复杂机械系统 MODELICA语言 可视化建模 有向图

在线阅读 下载PDF 职称材料

基于扩展有向图的工作流建模的设计与应用 被引量：4

7

作者 李琳 柴争义 张丽 《计算机应用》 CSCD 北大核心 2008年第9期2437-2439,共3页

通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有... 通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有效运用,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。 展开更多

关键词 工作流建模 有向图 基于XML的过程定义语言 XML

在线阅读 下载PDF 职称材料

(V,R)-语言 被引量：1

8

作者 师海忠 师越 《计算机科学》 CSCD 北大核心 2014年第S1期33-36,共4页

V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来... V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献"无向图语言"和"有向图语言"中提出的开问题。(V,R)-半群和(V,R)-语言是研究自由半群和形式语言的新理论和新方法。 展开更多

关键词 (V R)-半群 (V R)-语言 超图半群 超图语言 无向图语言 有向图语言 正则语言 Rees同余

在线阅读 下载PDF 职称材料

自然语言是正则语言 被引量：1

9

作者 师越 师海忠 《计算机科学》 CSCD 北大核心 2014年第B11期51-54,共4页

自然语言由字母集、单词集、句子集、段落集和文章集5部分组成,而且,字母集包含于单词集,单词集包含于句子集,句子集包含于段落集,段落集包含于文章集。在此观点下,自然语言是正则语言。引入了字母空图和字母空图语言等10个概念。作为特... 自然语言由字母集、单词集、句子集、段落集和文章集5部分组成,而且,字母集包含于单词集,单词集包含于句子集,句子集包含于段落集,段落集包含于文章集。在此观点下,自然语言是正则语言。引入了字母空图和字母空图语言等10个概念。作为特例,英语由英语字母集、英语单词集、英语句子集、英语段落集和英语文章集5部分构成。在此观点下,英语是正则语言。引入了英语字母空图和英语字母空图语言等10个概念。汉语由汉字集、汉语词汇集、汉语句子集、汉语段落集和汉语文章集5部分构成。在此观点下,汉语是正则语言。引入了汉字空图和汉字空图语言等10个概念。这为计算机自然语言处理打开了一扇新的大门,开辟了语言学新的研究领域。 展开更多

关键词 自然语言 英语 汉语 正则语言 自然语言处理 文章集 英语文章集 汉语文章集 文章有向图语言 英语文章有向图语言 汉语文章有向图语言

在线阅读 下载PDF 职称材料

基于XML的数据交换及其参照完整性研究 被引量：18

10

作者 周红波 孙宇达 +2 位作者 王继霞 王瑞 王志宝 《计算机工程与设计》 CSCD 北大核心 2006年第14期2611-2613,共3页

针对目前数据集成的需要,叙述了传统数据集成方法的特点和存在的问题,提出了一种基于XML的数据交换技术。介绍了数据交换的含义和本文中参照完整性的实现方法:采用数据库端和应用程序端结合的方式。基于XML的交换技术在应用程序端分为... 针对目前数据集成的需要,叙述了传统数据集成方法的特点和存在的问题,提出了一种基于XML的数据交换技术。介绍了数据交换的含义和本文中参照完整性的实现方法:采用数据库端和应用程序端结合的方式。基于XML的交换技术在应用程序端分为导出数据、映射建模和导入数据3个过程,在分别介绍它们的同时,重点分析了如何在应用程序端来保证数据的参照完整性。 展开更多

关键词 据交换:可扩展标记语言 参照完整性 公共表 XSLT 有向图 度 队列

在线阅读 下载PDF 职称材料

离散事件驱动的流程建模方法与系统实现 被引量：4

11

作者 贾艳 李世其 李晋航 《计算机工程与设计》 CSCD 北大核心 2011年第3期905-909,共5页

在仿真建模中,为了使建模工具简单易用、仿真运行高效,建立了三层仿真元模型体系结构,并在流程定义分析的基础上,结合扩展有向图建模方法,针对模型层研究了离散事件驱动的流程建模方法。基于该流程建模方法及XML文档形式化描述及数据传... 在仿真建模中,为了使建模工具简单易用、仿真运行高效,建立了三层仿真元模型体系结构,并在流程定义分析的基础上,结合扩展有向图建模方法,针对模型层研究了离散事件驱动的流程建模方法。基于该流程建模方法及XML文档形式化描述及数据传递技术,采用面向对象的设计方法,开发了适用于离散事件驱动的流程建模系统。该系统提供了简单的可视化流程建模工具,简化了建模流程,易于对模型的理解与交流。 展开更多

关键词 扩展有向图 离散事件驱动 流程建模 元模型 XML(可扩展标记语言)

在线阅读 下载PDF 职称材料

传统逻辑直言命题推理的扩充

12

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2011年第6期79-82,共4页

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最... 传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。 展开更多

关键词 直言推理 形式化 谓词逻辑 有向图 PROLOG语言

在线阅读 下载PDF 职称材料

用UML实现SDG自动建模研究

13

作者 张玎 吴重光 《计算机工程与设计》 CSCD 北大核心 2005年第9期2280-2281,2307,共3页

分析了符号有向图(Signed Directed Graph,SDG)自动建模方法的国内外研究现状,阐述了该方法和建立相应软件平台的必要性和紧迫性。介绍了统一建模语言(Unified Modeling Language,UML)、UML模型建立特点、SDG技术和SDG模型建立的方法。... 分析了符号有向图(Signed Directed Graph,SDG)自动建模方法的国内外研究现状,阐述了该方法和建立相应软件平台的必要性和紧迫性。介绍了统一建模语言(Unified Modeling Language,UML)、UML模型建立特点、SDG技术和SDG模型建立的方法。分析提出用UML方法辅助研究SDG自动建模策略,采用UML构建SDG自动建模软件平台。本研究和软件平台的构建扩展了UML在工业领域的应用范围。 展开更多

关键词 符号有向图 统一建模语言 计算机辅助 自动建模

在线阅读 下载PDF 职称材料