شبکه‌های حمل و نقل ریلی، با استفاده از روش‌های مدلسازی و شبیه‌سازی در مرحله طراحی، راه اندازی و بهره برداری مورد مطالعه قرار گرفته و خصوصیات و رفتار آن به کمک شبکه‌های پتری مدل شده و تحلیل می‌شود. در این مقاله با استفاده از مفاهیم شبکه پتری رنگی اجزای اصلی یک خط ریلی و انواع سیگنال‌ها معرفی شده و مدل پتری رنگی آن شامل انشعاب (ماشین سوزن) مسیرراه‌آهن، انتهای خط، انشعاب دو سوزنه، تقاطع و... بیان ...

اغلب نظریه های کنترل، بر سیستم های زمان پیوسته یا زمان گسسته توجه دارند و تا کنون تحقیقات گسترده¬ای در این حوزه صورت گرفته است. این سیستم ها به راحتی توسط معادلات دیفرانسیل یا تفاضلی ، معادلات حالت و سایر ابزارها و تئوری های ریاضیاتی قابل مدلسازی بوده و رفتار آنها در حوزه فرکانس مورد بررسی قرار می گیرند. اما دسته وسیعی از فرآیندها در دنیای واقعی به دسته دیگری از سیستم ها تعلق دارند که به راحتی...

یک نرم افزار مطلوب باید قادر باشد علاوه بر نیازهای وظیفه مندی، خصیصه های کیفی مورد نیاز سیستم را نیز فراهم نماید. سبک های معماری نرم افزار علاوه بر توصیف نرم افزار و تجزیه آن به مولفه ها، تاثیر عمده ای بر روی خصیصه های کیفی نرم افزار طراحی شده دارند. تحلیل و ارزیابی کمی میزان این تاثیر گذاری سبب می شود مناسب ترین سبک برای طراحی معماری انتخاب گردد. تا کنون خصیصه های کیفی مختلف در سبک های معماری ...

وجود اشکال در طراحی از عوامل ایجاد نقص در سیستم است. تشخیص و رفع ایرادها در مرحله طراحی مانع از افزایش هزینه و زمان تولید سیستم می‌گردد. برای اثبات ویژگی‌های رفتاری سامانه‌ها از روش‌های رسمی استفاده می‌شود. برای اطمینان از عدم وجود بن‌بست، تضمین وجود جواب و تعیین میزان پیچیدگی معما، از روش‌های رسمی در طراحی معمای بازی‌های رایانه‌ای می‌توان استفاده کرد. شبکه پتری رنگی سلسله مراتبی یک روش رسمی مد...

شبکه های پتری پیوسته با عناصر موجود در آن برای مدلسازی سیستم هایی که بر پایه تغییر شار یک متغیر می باشند کارایی دارند بنابراین تغییرات شار هر متغیری مانند جریان، آب، توان و ... را می توان به وسیله شبکه های پتری پیوسته مدل نمود، اما شبکه های پتری با عناصر موجود در آن پاسخگوی مدلسازی سیستم هایی که بر پایه تغییر دو یا چند متغیر می باشند (مانند مدارهای الکتریکی) نمی باشد. در این مقاله با ارائه ابزا...

امروزه تغییر در بیشتر سازمان ها پدیده ای اجتناب ناپذیر است و سازمان ها برای ماندن در بازار رقابت و کسب موفقیت و حفظ مشتریان، بایستی خود را با نیازمندی های جدید همسو سازند. فرایندهای کسب وکار یکی از اجزای اصلی سازمان است که دستخوش این تغییرات قرار می گیرد. به ویژه در محیط های کسب وکار پویا، فرایندهای کاری در زمان اجرا نیز تغییر می-کنند. توانایی اعمال درست تغییر در فرایندها و بررسی صحت آنها پیش ا...

اجرای همروند تراکنش‎ها در پایگاه داده، ممکن است منجر به ناسازگاری شود. ناسازگاری بر اثر مقادیر نادرستی است که برای داده‎ها، به دلیل تداخل اجرای تراکنش‌ها بوجود می‎آید. الگوریتم‌های کنترل همروندی، جهت تضمین اجرای همروند چندین تراکنش که بصورت همروند با داده‎های مشترک کار می‎کنند طراحی شده‎اند. در این مقاله الگوریتم‌های کنترل همروندی منتظر گذاشتن-میراندن (WD) و زخمی کردن-منتظر گذاشتن (WW) که جزء ت...