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

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

مقدمه: احیای قلبی – ریوی فرایندی حیاتی جهت نجات بیماران می‌باشد. توانایی انجام احیا مستلزم کسب دانش نظری و عملی در زمینه احیای قلبی – ریوی است. امروزه جهت ارتقای کیفیت آموزش احیای قلبی – ریوی از روش‌های مختلفی استفاده می‌گردد. هدف از این مطالعه طراحی نرم‌افزار آموزشی و شبیه‌ساز احیای قلبی- ریوی و تعیین تأثیر نرم‌افزار طراحی‌شده بر میزان رضایت‌مندی دانشجویان اتاق عمل و فوریت‌های پزشکی دانشگاه عل...

در پژوهش حاضر رفتار کاهندگی توالی پس‌لرزه‌های زمین‌لرزه‌های متوسط تا بزرگ رخ‌داده در فلات ایران براساس رابطه تجربی Omori (1894) مورد مطالعه قرار گرفته است. با توجه به پوشش دستگاهی مناسب از سال 1990 به بعد، زمین‌لرزه‌های مهم رخ‌داده در فلات ایران در این فاصله بررسی شدند. پس از تعیین پس‌لرزه‌های هر زمین‌لرزه براساس پنجره‌زمانی- مکانی Gardner & Knopoff (1974)، نمودار کاهندگی پس‌لرزه‌های 14 توالی ا...

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

مقدمه: احیای قلبی – ریوی فرایندی حیاتی جهت نجات بیماران می باشد. توانایی انجام احیا مستلزم کسب دانش نظری و عملی در زمینه احیای قلبی – ریوی است. امروزه جهت ارتقای کیفیت آموزش احیای قلبی – ریوی از روش های مختلفی استفاده می گردد. هدف از این مطالعه طراحی نرم افزار آموزشی و شبیه ساز احیای قلبی- ریوی و تعیین تأثیر نرم افزار طراحی شده بر میزان رضایت مندی دانشجویان اتاق عمل و فوریت های پزشکی دانشگاه عل...