排序方式: 共有39条查询结果,搜索用时 15 毫秒
1.
2.
1.研究的由来 在文[1]中,我们定义了能以随机补偿法解决冲突的杂凑技术为随机杂凑,而且具体地找到了一个序列R(j),j=1,2,3,…,p,使当表长为素数p时可以作全表搜查。在文[2]中,我们归纳了当表长形为2~n时的全表搜查随机补偿法。 这样,只要表长形为素数p或2~n时,我们都有相应的随机杂凑算法可供使用。 为了改善随机杂凑的平均探查性能,我们试图从各个方面予以改进,其中包括对于改进序列R(j)随机性能的探索,至于R(j)随机性能的改进能否得到在杂凑技术中平均探 相似文献
3.
Petri网研究:机遇与挑战 总被引:10,自引:2,他引:8
本文是文[2]的姐妹篇,以国际动态为背景展示研究工作可以取得成就的方面,也试图就好面临的难点进行建设性的讨论。 相似文献
4.
基于共享位置的Petri网系统综合与保性 总被引:1,自引:0,他引:1
基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持. 相似文献
5.
在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作--共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的. 相似文献
6.
利用本文作者研制的计算图的交叉数的算法CCN(Calculate Crossing Number),本文对n≤9的所有图的交叉数进行了研究.由于图的交叉数等于其所有二连通分支的交叉数的和,本文计算了n≤9的所有单二连通分支图的交叉数.并得出相关的规律:1)n个顶点q条边的单二连通分支图的平均交叉数Ave(n,q)可近似地表示为q的二次多项式,2)在给定顶点数n与边数q的单二连通分支图中围长较大的图的平均交叉数大于围长较小的图的平均交叉数,3)在给定顶点数n与边数q的单二连通分支图中当n为奇数或r≤n/2时,r正则图的平均交叉数大于非r正则图的平均交叉数. 相似文献
7.
8.
活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法. 相似文献
9.
10.
论非对称选择网的活性 总被引:3,自引:5,他引:3
本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件. 相似文献