首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   12篇
  完全免费   4篇
  自动化技术   16篇
  2009年   1篇
  2008年   1篇
  2007年   2篇
  2006年   2篇
  2005年   1篇
  2004年   1篇
  2003年   1篇
  2000年   1篇
  1997年   1篇
  1994年   2篇
  1993年   2篇
  1992年   1篇
排序方式: 共有16条查询结果,搜索用时 31 毫秒
1.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件   总被引:21,自引:0,他引:21  
吴哲辉 《计算机学报》1994,17(11):852-858
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。  相似文献
2.
无界公平Petri网的进程表达式   总被引:14,自引:4,他引:10  
Petri网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式.它用有限形式给出了网系统的所有(无限多个)进程的集合.作者于1995年给出了对任意给定的有界Petri网求其进程表达式的一个算法.这个算法对无界Petri网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义.对此,作者通过定义进程段行为等价的概念,导出了无界Petri网的进程表达式的一般形式,并借助无界公平网的特征  相似文献
3.
仿人机器人控制系统的研究与实现   总被引:9,自引:1,他引:8  
钟华  吴镇炜  卜春光 《机器人》2005,27(5):455-459
根据仿人机器人控制性能的要求,设计开发了关节控制器,并通过CAN总线把各个关节控制器、力传感器及上位机连接在一起,构成了分布式控制系统.利用无线局域网技术,实现了语音、视频等多媒体信息的传输,把监控台、头部、上身和移动平台连接在一起,构成了仿人机器人完整的控制系统.最后提出了一些设想以提高系统的性能.  相似文献
4.
Petri网弱公平性的判断   总被引:9,自引:2,他引:7  
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平网的一组充分必要条件。  相似文献
5.
加权T图的活性分析   总被引:5,自引:1,他引:4       下载免费PDF全文
本文给出加权T—图为活网的一组充分必要条件,这组条件包含了文献[1]对标识图(即T—图)活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为文[1]给出的条件。  相似文献
6.
有界Petri网的可达图到网图的转换算法   总被引:4,自引:0,他引:4       下载免费PDF全文
本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。  相似文献
7.
基于带抑止弧时间Petri网的IEEE802.2 LLC3型协议的建模   总被引:3,自引:0,他引:3  
该文定义了一种扩展的时间Petri网——带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。  相似文献
8.
Petri网的标注可达   总被引:3,自引:0,他引:3       下载免费PDF全文
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。  相似文献
9.
加权T-图的保性变换   总被引:1,自引:1,他引:0  
Petri网的保性化简是Petri例分析的一种重要途径.Marata等对活的和安全的标识T-图提出了系统的化简运算体系.蒋昌俊对加权T-图提出了若干种化简运算,这些化商运算能够保持网的结构有界性、守恒性、可重复性和相容性,但未涉及活性和公平性的保持问题.本文提出对加权T-图的另一类保性化简,这些化简运算可以保持网的结构活性和公平性.  相似文献
10.
2PL协议的Petri网模型   总被引:1,自引:0,他引:1  
2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议,该文给出了2PL协议的Petri网模型,并利用该模型给出可预防死锁的封锁序列。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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