دانلود مقاله ISI انگلیسی شماره 78598
ترجمه فارسی عنوان مقاله

تجزیه و تحلیل بقای یک مرکز درمان و فاضلاب با استفاده از شبکه های پتری ترکیبی

عنوان انگلیسی
Survivability analysis of a sewage treatment facility using hybrid Petri nets
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
78598 2016 21 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 13827 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 19 روز بعد از پرداخت 248,886 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 10 روز بعد از پرداخت 497,772 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Performance Evaluation, Volume 97, March 2016, Pages 36–56

ترجمه کلمات کلیدی
چک کردن مدل؛ اعتماد؛ شبکه های پتری ترکیبی؛ مطالعه موردی
کلمات کلیدی انگلیسی
Model checking; Dependability; Hybrid Petri nets; Case study
پیش نمایش مقاله
پیش نمایش مقاله تجزیه و تحلیل بقای یک مرکز درمان و فاضلاب با استفاده از شبکه های پتری ترکیبی

چکیده انگلیسی

Waste water treatment facilities clean sewage water from households and industry in several cleaning steps. Such facilities are dimensioned to accommodate a maximum intake. However, in the case of very bad weather conditions or failures of system components, the system might not be able to accommodate all waste water. This paper models a real waste water treatment facility, situated in the city of Enschede, the Netherlands, with Hybrid Petri nets with general transitions, to analyse under which circumstances the existing infrastructure will overflow. Comparing to previous models an structural extension is proposed, and one limitation is tackled. First, we extended the hybrid Petri net formalism with guard arcs and dynamic continuous transitions, to be able to model dependencies on continuous places and the rates of continuous transitions. Secondly, we tackle the restriction of having only a single general transition, by proposing a new discretization method. We introduce to different discretization methods, and compare their efficiency in a complex case study. Using recently developed algorithms for model checking STL properties on hybrid Petri nets, the paper computes survivability measures that can be expressed using the path-based until operator. After computing measures for a wide range of parameters, we provide recommendations as to where the system can be improved to reduce the probability of overflow.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 13827 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 19 روز بعد از پرداخت 248,886 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 10 روز بعد از پرداخت 497,772 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.