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

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

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

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

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

چکیده ندارد.

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

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

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