پایگاه علمی سعید سان دانلود رایگان مقالات علمی کنفرانس و ژورنال
دانلود ترجمه مقاله ارزیابی عملکرد و بازرسی مدل در سیستم های مدل سازی شده به صورت شبکه های پتری هیبرید
چکیده
در این مقاله رویکردی برای ارزیابی شاخص های اندازه گیری عملکرد برای توصیف فرایند و بازرسی مدل بر اساس خواص ساختاری و اطلاعات محدودیت برای فرآیند های معمولی در سطح مایع مورد بحث قرار گرفته است. برای این منظور یک سیستم سه مخزنی معمولی در نظر گرفته شده است و با استفاده از شبکه های پتری هیبرید مدلسازی می شود. بر اساس مدل یک ساختار مارکوفی تعریف شده و توسعه می یابد. شاخص های اندازه گیری مثل فاصله ورود,فاصله ظرفیت و طول صف برای مکان ها و فاصله سرویس , زمان سرویس و استفاده از انتقالها برای ساختار مارکوفی توسعه یافته تعیین می شوند.
- مقدمه
تحقیقاتی که تا کنون انجام شده عبارت است از استفاده از مدل سازی و کنترل سیستم های دینامیک هیبرید با استفاده از شبکه های پتری هیبرید و قابلیت های مدل سازی قدرت سیال با استفاده از شبکه های پتری هیبرید و همچنین یک مدل تقریب برای شبکه پتری هیبرید با استفاده از شبکه های پتری مارکوفی.رویکرد مدنظر مطالعه در ادامه فعالیت احیر می باشد.
مدل در نظر گرفته شده تحت مطالعات موردی مختلف با توسعه یک ساختار مارکوفی با مجموعه معنایی سرور نا متناهی تجزیه و تحلیل میشود.
- مدل سازی سیستم و ساختار مارکوفی
شامل دو قسمت است
- سیستم سه مخزنی و توصیف مدل معادل
جزئیات سیستم سه مخزنی و مدلسازی آن با استفاده از شبکه های پتری هیبرید را بررسی می کند.
- ساختارمارکوفی
برای ارزیابی ساختار مارکوفی به عنوان ساختار شبکه پتری هیبرید با توصیف سیستم به عنوان یک فرآیند تصادفی تحت ملاحظات زیر توسعه می یابد:
- بخش گسسته ساختار شبکه پتری هیبرید توسط یک مکان گسسته با یک تاخیر زمانی نمایی مدلسازی می شود.
- بخش پیوسته توسط یک مکان گسسته و انتقال گسسته که توسط یک مکان گسسته ثابت راه اندازی میشود و با تاخیر زمانی ثابت یا نمایی بسته به مطالعه موردی مدلسازی می شود.
- سیستم بر اساس سرور معنایی نامتناهی مدل میشود و شاخص های اندازه گیری عملکرد مثل زمان سرویس,فاصله سرویس,استفاده,زمان ورودی,فاصله ظرفیت و طول صف ارزیابی شده است.
نتایج آزمایشات انجام شده در جدول زیر اورده شده است.
- ارزیابی شاخص های اندازه گیری عملکرد
در این بخش نمودارهای گرافیکی شاخص های اندازه گیری عملکرد با در نظر گرفتن مکان p3 و انتقال T3 شبیه سازی می شوند.
Performance evaluation and model checking in systems modeled
as Hybrid Petri nets
K. Renganathan a,1, Vidhyacharan Bhaskar b,⇑
a Department of Instrumentation and Control Engg., Sri Sairam Engg. College, West Tambaram, Chennai 600044, Tamilnadu, India
b Department of Electronics and Communication Engg., SRM University, SRM Nagar, Kattankulathur, Kancheepuram 603203, Tamilnadu, India
a r t i c l e i n f o
Article history:
Received 5 August 2011
Received in revised form 21 October 2011
Accepted 2 November 2011
Available online xxxx
Keywords:
Hybrid Petri nets
Markovian structure
Performance evaluation
Model checking
Observability
Qualitative analysis
a b s t r a c t
In this paper, an approach for evaluating the performance measures for process description
and model checking based on structural properties and constraint information for typical
liquid level processes is discussed. For this purpose, a typical three tank system is considered and modeled using Hybrid Petri nets. Based on the model, a Markovian structure is
defined and developed. Performance measures such as arrival distance, throughput distance and queue length for places and service distance, service time and utilization for
transitions are determined for the developed Markovian structure under various case studies. Finally, conditions for model checking based on constraint information are derived
analytically.
2011 Published by Elsevier Inc.
این فایل ورد (word) ترجمه در 6 صفحه و فایل اصلی لاتین pdf مقاله در 7 صفحه به خدمتتون ارائه میشود.
به همراه پاورپوینت 19 اسلایدی