有向图语言 被引量：2

1

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

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

关键词 形式语言 有向图 有向图语言 DE Bruijn有向图语言 kautz有向图语言

在线阅读 下载PDF 职称材料

广义Kautz有向图GK(3,n)的反馈数的界 被引量：3

2

作者 徐喜荣 黄亚真 +1 位作者 张思佳 董学智 《计算机科学》 CSCD 北大核心 2016年第5期13-21,共9页

对于给定的图G的顶点集的子集F,如果删除F使得剩余子图是无圈子图,则称子集F为图G的反馈点集。研究了广义Kautz有向图GK(d,n)的反馈点集。令f(d,n)表示广义Kautz有向图GK(d,n)的所有反馈集合中顶点个数最少的集合的个数(即广义Kautz有向... 对于给定的图G的顶点集的子集F,如果删除F使得剩余子图是无圈子图,则称子集F为图G的反馈点集。研究了广义Kautz有向图GK(d,n)的反馈点集。令f(d,n)表示广义Kautz有向图GK(d,n)的所有反馈集合中顶点个数最少的集合的个数(即广义Kautz有向图GK(d,n)的反馈数),给出了GK(3,n)的反馈数的上界,即f(3,n)≤n+[5n/8]-[3n/4]-[4n/7]+3。 展开更多

关键词 互联网络拓扑结构 反馈点集 反馈数 广义kautz有向图 无圈子图

在线阅读 下载PDF 职称材料

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

3

作者 田方 徐俊明 《运筹学学报》 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有向图的双向控制集

4

作者 董艳侠 张广 单而芳 《运筹学学报》 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 职称材料

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

5

作者 吴义忠 吴民峰 陈立平 《中国机械工程》 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 职称材料

Kautz图的限制边连通度 被引量：3

6

作者 范英梅 徐俊明 《应用数学》 CSCD 北大核心 2004年第3期329-332,共4页

限制边连通度是对传统边连通度的推广 ,而且是计算机互连网络容错性的一个重要度量 .本文考虑两类重要的网络模型———Kautz有向图K(d ,n)和Kautz无向图UK(d ,n)的限制边连通度λ′,并得到如下结果 :除了λ′(K( 2 ,1) )不存在外 ,均... 限制边连通度是对传统边连通度的推广 ,而且是计算机互连网络容错性的一个重要度量 .本文考虑两类重要的网络模型———Kautz有向图K(d ,n)和Kautz无向图UK(d ,n)的限制边连通度λ′,并得到如下结果 :除了λ′(K( 2 ,1) )不存在外 ,均有λ′(K(d ,n) ) =2d-2 ;当d≥ 3 ,n≥ 3时 ,4d-5≤λ′(UK(d ,n) ) ≤ 4d -4 . 展开更多

关键词 限制边连通度 kautz有向图 kautz无向图 互连网络

在线阅读 下载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 职称材料