首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   16篇
  国内免费   3篇
  完全免费   8篇
  自动化技术   27篇
  2014年   1篇
  2010年   1篇
  2009年   1篇
  2007年   1篇
  2006年   2篇
  2005年   1篇
  2004年   3篇
  2003年   3篇
  2001年   2篇
  2000年   1篇
  1998年   1篇
  1997年   3篇
  1996年   1篇
  1995年   1篇
  1994年   2篇
  1993年   2篇
  1992年   1篇
排序方式: 共有27条查询结果,搜索用时 156 毫秒
1.
Petri网理论与方法研究综述   总被引:19,自引:0,他引:19  
蒋昌俊 《控制与决策》1997,12(6):631-636
综述了Petri网领域的国内外研究状况,阐明了作者对网论的发展观点。指出Petri网理论和方法上所取得的成绩及其发挥的作用,结合自己的工作展望了这一领域的发展势态。  相似文献
2.
Petri网的广义笛积运算   总被引:17,自引:0,他引:17       下载免费PDF全文
蒋昌俊 《自动化学报》1993,19(6):745-749
文[1]曾给出Petri网的两种合成方法,即P/T网的加法和笛积运算。本文再提出几种P/T网的广义笛积运算,这几种运算都较好地保持网的结构性质。对此给出实例,显示了它们在P/T网的合成与分析中的作用。  相似文献
3.
P/T网的化简运算及其性质研究   总被引:13,自引:3,他引:10       下载免费PDF全文
许安国  蒋昌俊 《软件学报》1997,8(7):493-504
本文首先给出P/T网的几种化简运算,然后证明这几种运算对于网的结构性质不变,从而为P/T网的分析与综合提供了有效途径.  相似文献
4.
求有效极小(受控)可重复向量的一个算法   总被引:10,自引:3,他引:7  
蒋昌俊 《计算机学报》1994,17(8):580-587
文献[1]基于有效(受控)可重复向量,给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,然而,求取一个标准Petri网的有效(受控)可重复向量是着定网语言属型的前提条件,文献[1]没有给出求取它们的方法,本文提出一个算法,使得文献[1]判据可实现,此外,作为副产品,同时产生出网的所有极小T-不变量以及公平性判定的实现。  相似文献
5.
基于时间Petri网的供应链管理建模与分析   总被引:9,自引:1,他引:8  
讨论了基于时间Petri网的供应链、企业之间工作流的运作效率问题,主要研究了供应链的时间Petri网建模及分析方法,提出了原有时间Petri网可达树算法应用于资源调度问题中的不足之处,并改进了原有算法。通过对供应链上资源的优化利用,可以实现对电子商务、协作商务及虚拟企业的有效管理。  相似文献
6.
功能确定的离散并发系统的Petri网规范设计方法   总被引:7,自引:0,他引:7  
蒋昌俊 《计算机学报》1995,18(7):532-538
本文提出概念模型的概念,作为实际问题到Petri网模型的桥梁,也就是系统的规格说明,概念模型包括功能图,资源图和约束集三部分,由此将系统设计中的功能与环境严格区分开,给出实际问题到概念模型,以及概念模型到Petri网模型的转换算法,从而构成一个面向功能的系统的Petri网规范设计方法,通过一制造系统的建模,说明了该方法的规范性和有效性。  相似文献
7.
独立任务调度的启发式算法   总被引:5,自引:0,他引:5  
任务调度是一个NP-hard问题,而且是并行与分布式计算中一个必不可少的组成部分,特别是在网格计算环境下任务调度更加复杂。该文提出了满足负载均衡的一个启发式任务调度算法。给出了选择处理机和任务的方法,以提高算法的效率。实验表明该算法是一个高效率的调度算法,并且几乎总是找到了最优调度方案。  相似文献
8.
有界Petri网的可达图到网图的转换算法   总被引:4,自引:0,他引:4       下载免费PDF全文
本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。  相似文献
9.
基于行为表达式的任意随机Petri网的品质分析   总被引:3,自引:0,他引:3       下载免费PDF全文
提出一种基于行为表达式的品质分析方法,可以做任意分布的有界或无界随机 Petri网的品质分析.该方法不仅拓广了分析范围,解决了文献[4]中没有解决的问题,而且 不必画出Petri网的可达标识图,使分析过程更为简洁.  相似文献
10.
Petri网的标注可达   总被引:3,自引:0,他引:3       下载免费PDF全文
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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