سیستم های پیچیده در جامعه امروزی و مدرن ما خیلی تأثیر گذارند و خرابی آنها می تواند فاجعه به بار آورد، از این رو افزایش قابلیت یکی از روشهای مهم در ارزیابی و بهبود (rbd) اطمینان سیستم ها، نیازی مهم در جهان امروز به شمار می آید. بلوک دیاگرام قابلیت اطمینان می باشد که در این مدل، قابلیت مدلسازی rbd ساختار توسعه یافته ای از مدل معروف drbd قابلیت اطمینان سیستمها می باشد. مدل رفتارهای پویای سیستم ...

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

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

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

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

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

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

ارزیابی معماری نرم افزار موجب صرفه جویی هزینه های زیاد تعمیرات در مراحل پایانی چرخه حیات نرم افزار می شود. ارزیابی معماری نرم افزار به دو دسته تکنیک های پرسشی و اندازه گیری دسته بندی می شود که از میان آن ها تکنیک های مبتنی بر سناریو از میان تکنیک های پرسشی از اهمیت ویژه ای برخوردار است زیرا مربوط به یک سیستم خاص بوده و به عنوان یک بخشی از فرایند توسعه سیستم همه جوانب سیستم را در بر می¬گیرد به ع...

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