37 resultados para Coloured Petri Nets (CPN)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Suspension aquaculture of filter-feeding bivalves has been developing rapidly in coastal waters in the world, especially in China. Previous studies have demonstrated that dense populations of filter-feeding bivalves in shallow water can produce a large amount of faeces and pseudofaeces (biodeposits) that may lead to negative impacts on the benthic environment. To determine whether the deposit feeder Stichopus (Apostichopus) japonicus Selenka can feed on bivalve biodeposits and whether the sea cucumber can be co-cultured with bivalves in suspended lantern nets, three experiments were conducted, two in tanks in the laboratory and one in the field. In a 3-month flow-through experiment, results showed that sea cucumbers grew well with specific growth rate (SGR) reaching 1.38% d(-1), when cultured in the bottom of tanks (10 m(3) water volume) where scallops were cultured in suspension in lantern nets. Moreover, results of another laboratory experiment demonstrated that sea cucumbers could survive well on bivalve biodeposits, with a feeding rate of 1.82 +/- 0.13 g dry biodeposits ind(-1) d(-1), absorption efficiency of organic matter in biodeposits of 17.2% +/- 5.5%, and average SGR of 1.60% d(-1). Our longer-term field experiments in two coastal bays (Sishili Bay and Jiaozhou Bay, northern China) showed that S. japonicus co-cultured with bivalves also grew well at growth rates (0.09-0.31 g wet weight ind(-1) d(-1)) depending on individual size. The results suggest that bivalve lantern nets can provide a good habitat for sea cucumbers; and the co-culture of bivalve molluscs with sea cucumbers may provide an additional valuable crop with no additional inputs. (c) 2006 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好。试验证明这种分析设计方法合理可行。

Relevância:

20.00% 20.00%

Publicador:

Resumo:

本文针对多用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。

Relevância:

20.00% 20.00%

Publicador:

Resumo:

针对多水下机器人(unmanned underwater vehicle,UUV)系统动态任务分配问题展开研究,在对系统的体系结构和任务分配机制进行分析的基础上,利用时延 Petri 网理论对系统的任务分配进行建模,提出了一种新的任务分配策略:群体协调层采用集中式任务分配策略,由主 UUV 将任务实时下达给各从 UUV;监控规划层采用基于适应度的分布式任务分配方式,充分发挥各异构 UUV 自身的智能。仿真结果验证了模型的合理性和任务分配策略的有效性。

Relevância:

20.00% 20.00%

Publicador:

Resumo:

本文用 Petri 网的一个子类——时间事件图对流水车间型和作业车间型的柔性制造系统(FMS)建模并进行理论分析,给出了可行排序的判定条件及系统中托盘数量配置与系统生产率的关系,对系统的主要性能指标,如生产周期、工件驻留时间、在制品库存等给出了定量描述.这些结果为系统的设计和运行提供了理论依据.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

本文以Petri网理论为工具,对一类柔性制造系统进行了分析。首先进行了Petri网理论研究及与柔性制造系统结合等方面的全面综述,为Petri网理论在生产系统中的应用作好了准备。从Petri网理论的角度提出了DEDS稳定性的定义和分析方法,并分析了系统的死镇性、有界性、守恒性等一系列性质,以这些结论为基础,又研究了流水车间和作业车间的动态优化排序问题,得出以下结果。1.用时间事件圈分析流水车间,可以得出流水车间中任何排序都是可行排序,并且给定任何一种排序,只要初始时有足够的托盘配置,稳态好总能使瓶颈机器满负荷利用,系统生产率最大。2.同样分析作业车间,得出作业车间不可行排序的制定条件,并且给定任何一种排序,只要初始时有足够的资源托盘和半制品存在,总能使瓶颈机器满负荷利用,系统生产率最大。3.为使瓶颈机器满负荷利用,且在制品库存最少,得出了一个求解最少在制品库存的整数线性规划,并给出了几种求解整数线性规划的启发式算法。4.对一种类型的FMS,给出了托盘数的上限估计,缓冲器的最小容量等。对于减少在制品库存,降低生产成本,确保系统稳定运行,这些都是非常重要的条件。5.定义了过渡过程时间,分析了过渡过程问题,在某种条件下能使系统从初态直接进行稳态。

Relevância:

20.00% 20.00%

Publicador:

Resumo:

简要介绍了模糊petri网以及模糊产生式规则,给出了基于模糊petri网的专家系统的框架设计,并提出了模糊产生式规则和模糊petri网的详细设计,根据本设计方案开发了汽车变速箱故障诊断专家系统,证明设计方案简洁高效,扩充性和实用性好。