首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   84篇
  免费   11篇
  国内免费   25篇
综合类   15篇
矿业工程   1篇
无线电   14篇
一般工业技术   6篇
自动化技术   84篇
  2019年   1篇
  2018年   1篇
  2014年   1篇
  2010年   3篇
  2009年   2篇
  2008年   9篇
  2007年   14篇
  2006年   9篇
  2005年   6篇
  2004年   10篇
  2003年   5篇
  2002年   7篇
  2001年   5篇
  2000年   1篇
  1999年   1篇
  1998年   6篇
  1997年   8篇
  1996年   3篇
  1995年   5篇
  1994年   5篇
  1993年   4篇
  1992年   5篇
  1991年   2篇
  1990年   5篇
  1989年   2篇
排序方式: 共有120条查询结果,搜索用时 15 毫秒
1.
PN机   总被引:2,自引:0,他引:2  
蒋昌俊 《计算机学报》1998,21(Z1):35-40
本文提出PN机的几种范式,讨论它们的串语言与步语言之间的关系,提出拟行为有限状态机概念,给出PN语言的一个拟正规性刻划,从而表明一般Petri网模型的局限性,以及引入PN机模型的必要性.本文结果对于PN机理论框架的建立起到奠基作用.  相似文献   
2.
Petri网的同步距离计算   总被引:2,自引:0,他引:2  
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。  相似文献   
3.
功能确定的离散并发系统的Petri网规范设计方法   总被引:7,自引:0,他引:7  
蒋昌俊 《计算机学报》1995,18(7):532-538
本文提出概念模型的概念,作为实际问题到Petri网模型的桥梁,也就是系统的规格说明,概念模型包括功能图,资源图和约束集三部分,由此将系统设计中的功能与环境严格区分开,给出实际问题到概念模型,以及概念模型到Petri网模型的转换算法,从而构成一个面向功能的系统的Petri网规范设计方法,通过一制造系统的建模,说明了该方法的规范性和有效性。  相似文献   
4.
论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。  相似文献   
5.
传统的R-tree系列和四叉树系列对数据对象的多级显示没有给予足够的支持,在小比例尺地图的显示过程中,影响了检索效率 .即使是支持多级显示的R-tree的各种变形,也由于对资源的要求而不能满足嵌入式设备的应用需求 .针对嵌入式设备数据I/O的特点,从地图数据的分级显示、顺序与批量访问、索引数据的优化等多方面入手,提出了一种基于多级Hilbert网格的线性索引结构 .实验证明该索引结构在空间利用率和查询性能等方面与传统的空间索引技术相比有明显的改善,并在上海市交通信息网格移动交通信息服务终端上获得了良好的实施效果 .  相似文献   
6.
一维极小值问题的快速算法   总被引:1,自引:0,他引:1  
  相似文献   
7.
本文提出Petri网的两种新的广义笛积运算,讨论了它们的代数性质,这些结果可以作为受控Petri网的分析或合成的依据。  相似文献   
8.
一种双匹配动态调度算法   总被引:6,自引:0,他引:6  
支青  蒋昌俊 《信息与控制》2005,34(5):532-538
提出了适于异构环境独立任务调度的双匹配动态调度算法(BM算法).BM算法将任务与处理机实现双匹配,使大部分任务在执行时间最短而且完成时间最早的处理机上执行.对于无法实现双匹配的任务,采用最早完成时间最小者优先的策略进行调度.BM算法可以同时满足负载均衡和高吞吐率两个目标.BM算法与通常用作评测基准的Min-min算法的比较结果表明,BM算法的运行时间远少于Min-min算法,其调度跨度比Min-min算法减少约9%.  相似文献   
9.
文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析。LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论。我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元素。本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S。  相似文献   
10.
基于精炼操作的Petri网建模及其分析方法   总被引:1,自引:0,他引:1       下载免费PDF全文
针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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