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

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

در این نوشتار، تشریح و مقایسه ی عملکرد دو روش انتگرال گیری روش های ضمنی، یعنی روش c p p m )نزدیک ترین نقطه ی تصویرشده( و روش c p m )صفحات کاهشی(، مورد واکاوی قرار گرفته است. به منظور عددی سازی، مدل خمیری منظری ـ دافالیاس )۱۹۹۷−۲۰۰۴( به کار گرفته شده است. بر اساس نتایج این پژوهش، روش c p p m از پایداری قدرتمندی برای انتگرال گیری روابط مورد نظر در شرایط تغییرشکل های بزرگ و به طور خاص، پدیده ی روا...

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

موضوع مورد بحث در این پژوهش، بررسی مدل های ریاضی برای بیماری hbv ( هپاتیت b )می باشد.در این مدل ها جمعیت به پنج گروه اساسی افراد مستعد، افرادی که دوره ی کمون بیماری را سپری می کنند، افراد بیمار، واکسینه شده ها یا افرادی که درمان دریافت کرده اند و بهبود یافتگان، تقسیم شده است. در ابتدا مدل هایی ریاضی برای بیماری های همه گیر را بیان کرده و سپس به معرفی و مدل سازی ریاضی بیماری hbv می پردازی...

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

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

چکیدهمقدمه: هدف این پژوهش بررسی مشکلات حافظه‏ای افراد مبتلا به نوع وارسی اختلال وسواسی- اجباری از نظر حافظه ی رویدادی، سویمندی در حافظه و میزان اطمینان به حافظه است. روش: 60 فرد مبتلا به اختلال وسواسی- اجباری (30 وارسی کننده و 30 شستشو کننده) و 60 نفر به عنوان گروه گواه (30 نفر مبتلا به اختلال اضطراب منتشر و 30 نفر بهنجار) انتخاب شدند. گروه ها از نظر متغیرهای جمعیت شناختی با گروه وارسی کننده هم...

در این مطالعه یک روش ساده و حساس برای اندازهگیری همزمان مس (ii) و نیکل (ii) ارائه شده است. این روش بر اساس واکنش تشکیل کمپلکس رنگی مس (ii) و نیکل (ii) با سدیم دی اتیل دی تیو کاربامات استوار به وسیله روشهای اسپکتروفتومتری به دلیل )??( و نیکل )??( است. اندازه گیری هم زمان مخلوط های مس وجود مزاحمتهای طیفی مشکل است. با استفاده از روشهای کالیبراسیون چند متغیره از روشهای کمومتریکس، و به کمک روش ح...