基于Petri网的顺序资源分配系统活性的一个性质

来源 :计算机科学 | 被引量 : 0次 | 上传用户:taobaowang1312
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
具有多资源需求和柔性加工路径的顺序资源分配系统(Sequential Resource Allocation Systems with MultipleResource Acquisitions and Flexible Routings,C/D-RAS)是一类较复杂的、更为一般的资源分配系统。考察了两个与C/D-RAS密切相关的活性问题。借助这两个C/D-RAS的Petri网模型来定义标识S3PGR2网对((N1,M01),(N2,M02)),由标识S3PGR2网中资源种类、数量的守恒性和变迁使能的一个
其他文献
GNU编译器集合(GCC)具有支持多种高级语言和多种目标处理器平台、文档及源代码开放等的特点,在工业界和学术界被广泛使用。GCC支持非常多的内嵌函数,内嵌函数是GCC编译器中非常
在ARM2410平台上提出了一套安防系统中嵌入式Web服务器的软硬件方案。该方案通过使用多进程模型构造HTTP引擎来提高服务器的反应速度,使用SESSION保存客户端和服务器端的连接
研究二维图像纹理传输问题,目前在二维纹理映射的传统算法中,主要通过基于纹理合成的传输算法实现纹理映射的效果。针对传统算法中基于纹理拼接导致迭代次数多、计算复杂度高的问题,为提高纹理映射的速度,提出了一种基于光照明模型实现纹理映射,产生纹理传输效果的算法。该算法主要采用Phong光照明模型对目标图像进行预处理形成虚拟表面,根据纹理图像和目标图像计算偏离映射角度,其次,参考图像的纹理特征根据偏离角度映
原有Rough K-means算法中类的上、下近似采用固定经验权重,其科学性值得商榷,针对这一问题,设计了一种基于自适应权重的粗糙K均值聚类算法。基于自适应权重的粗糙聚类算法在
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模
DR算法是行人导航中最常用的一种推算算法。分析常规DR算法,针对行人导航中DR算法是固定阈值,不能根据行人环境不同而自动调整阈值,导致行人定位精确度不高的缺点,提出了基于雷达的多级阈值DR算法,即RMLT DR算法。通过仿真模拟实验,对比分析了RMLT DR算法和常规DR算法的定位结果。验证了行人行走过程中,RMLT DR算法可以根据周围的环境自动选择阈值大小,具有更高的精确度。
网络时延是重要的网络性能指标,端到端网络时延推测能够克服传统的基于路由器或者路由器协作的网络测量技术的弊端。在网络拓扑已知且稳定和链路性能时空独立性的假设前提下,
网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真
提出一种紧密类超带模糊支持向量机(Affinity Class-Hyperparallel Fuzzy Support Vector Machine,ACHFS-VM),其以获得较好的抗噪性和泛化能力。该方法在摒弃样本集球形分布假
提出了一种局部几何特征驱动的随机采样的网格简化算法。该算法首先计算模型中每个三角形的局部几何特征值,根据定义的概率分布函数随机确定每个三角形被选择的概率。然后对