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

امروزه روشهای مدلسازی با استفاده از شبکه های پتری به دلیل قابلیت گرافیکی آن در شبکه های گسترده و پیچیده ، بخصوص با گسترش علوم رایانه ی و افزایش سرعت پردازنده ها، کاربرد فراوانی پیدا کرده است. شبکه های راه آهن نیز با گسترش خطوط ریلی ، افزایش ظرفیت و افزایش سرعت قطارها پیچیده تر شده و تقاضا برای کنترل این شبکه ها از نظر ایمنی و عدم وقفه رو به افزایش است . در این مقاله یک شبکه خط بسته ریلی که قطار...

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

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

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

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