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

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

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

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

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

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

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

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

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

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