A time Petri net model based on resources is presented so as to model static schedule of distributed real-time embedded systems, and analyze system performances.
提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。
参考来源 - 基于Petri网的分布式实时嵌入式系统调度的建模 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
Finally the static schedule in each virtual manufacturing cell is generated with discrete dynamic programming.
最后，通过离散动态规划形成虚拟制造单元的生产作业调度次优可行方案。
The article expatiates the topological architecture of a VOD system based on cooperative cache, designs the static schedule and dynamic migration method in detail, and formalizes the design.
该文阐述了基于协作缓存的视频点播系统的拓扑结构，对静态调度和动态迁移进行了详细设计，并给出了相应的形式化表示。
The static scheduling algorithm, a part of hybrid model can schedule tasks with fault tolerant requirements together with those without fault tolerant requirements.
该算法能同时调度具有容错需求的实时任务和无容错需求的实时任务。
应用推荐