首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   63篇
  免费   5篇
  国内免费   4篇
综合类   5篇
能源动力   3篇
无线电   2篇
一般工业技术   1篇
自动化技术   61篇
  2014年   1篇
  2010年   2篇
  2009年   6篇
  2008年   8篇
  2007年   9篇
  2006年   6篇
  2005年   2篇
  2004年   5篇
  2003年   2篇
  2002年   7篇
  2001年   4篇
  2000年   2篇
  1999年   1篇
  1998年   1篇
  1997年   2篇
  1996年   1篇
  1995年   1篇
  1994年   3篇
  1993年   4篇
  1992年   1篇
  1989年   1篇
  1981年   1篇
  1980年   1篇
  1978年   1篇
排序方式: 共有72条查询结果,搜索用时 15 毫秒
1.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件   总被引:22,自引:0,他引:22  
吴哲辉 《计算机学报》1994,17(11):852-858
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。  相似文献   
2.
Petri网弱公平性的判断   总被引:9,自引:2,他引:7  
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平网的一组充分必要条件。  相似文献   
3.
下推自动机的状态转换图与下推自动机的化简   总被引:5,自引:2,他引:5  
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。  相似文献   
4.
模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri网的模拟能力比传统Petri网要强,并首次证明了时间Petri网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延Petri网向时间Petri网的转换方法,这说明了时间Petri网虽然形式上较为简单,但其模拟能力却并不比其它含时间因素的Petri网逊色,同时为时延Petri网的研究提供了另外一种有效方法。  相似文献   
5.
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。  相似文献   
6.
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小S-不变量。  相似文献   
7.
基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模   总被引:3,自引:0,他引:3  
该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。  相似文献   
8.
无界Petri网的进程表达式   总被引:14,自引:2,他引:14  
曾庆田  吴哲辉 《计算机学报》2003,26(12):1629-1636
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p,的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p,的语言问题.由于∑p,的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p,分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p,语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法.  相似文献   
9.
Petri网的进程表达式与语言表达式   总被引:5,自引:3,他引:5  
Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据,随后证明了Petri网的进程表达式与语言表达式的类型一致性,由此给出了由进程表达式求取语言表达式的算法,为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径.  相似文献   
10.
Petri网替换运算   总被引:3,自引:0,他引:3  
吴振寰  吴哲辉 《计算机科学》2005,32(11):238-240
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号