首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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条查询结果,搜索用时 5 毫秒
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.
传统的R-tree系列和四叉树系列对数据对象的多级显示没有给予足够的支持,在小比例尺地图的显示过程中,影响了检索效率 .即使是支持多级显示的R-tree的各种变形,也由于对资源的要求而不能满足嵌入式设备的应用需求 .针对嵌入式设备数据I/O的特点,从地图数据的分级显示、顺序与批量访问、索引数据的优化等多方面入手,提出了一种基于多级Hilbert网格的线性索引结构 .实验证明该索引结构在空间利用率和查询性能等方面与传统的空间索引技术相比有明显的改善,并在上海市交通信息网格移动交通信息服务终端上获得了良好的实施效果 .  相似文献   
5.
一维极小值问题的快速算法   总被引:1,自引:0,他引:1  
  相似文献   
6.
本文提出Petri网的两种新的广义笛积运算,讨论了它们的代数性质,这些结果可以作为受控Petri网的分析或合成的依据。  相似文献   
7.
一种双匹配动态调度算法   总被引:6,自引:0,他引:6  
支青  蒋昌俊 《信息与控制》2005,34(5):532-538
提出了适于异构环境独立任务调度的双匹配动态调度算法(BM算法).BM算法将任务与处理机实现双匹配,使大部分任务在执行时间最短而且完成时间最早的处理机上执行.对于无法实现双匹配的任务,采用最早完成时间最小者优先的策略进行调度.BM算法可以同时满足负载均衡和高吞吐率两个目标.BM算法与通常用作评测基准的Min-min算法的比较结果表明,BM算法的运行时间远少于Min-min算法,其调度跨度比Min-min算法减少约9%.  相似文献   
8.
基于精炼操作的Petri网建模及其分析方法   总被引:1,自引:0,他引:1       下载免费PDF全文
针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.  相似文献   
9.
Petri网化简规则在系统中的实现   总被引:1,自引:0,他引:1  
Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。  相似文献   
10.
动态网络最短路问题的复杂性与近似算法   总被引:3,自引:0,他引:3  
有向网络的最短路问题在交通、通信系统的最优路径计算以及多阶段决策过程的最优轨线设计等实际问题中有着重要应用.经典模型及算法解决固定弧权条件下的最短路问题,而实际中,网络往往是动态的,即弧权依赖于时间变化,例如在交通拥堵时运行时间会变长,这时经典的最短路算法不再适用.文中证明了动态网络的最短路问题是NP-困难的;给出了最短路稳定性的充要条件,并在此基础上提出一种基于稳定区间的近似算法,通过模拟实验验证了该算法的有效性.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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