مدل های اساسی تحلیل پوششی داده ها(dea)، برای داده های نامنفی طراحی شده اند؛ اما در دنیای واقعی با مسایلی روبرو هستیم که ورودی ها و خروجی ها می توانند منفی باشند. بسیاری از محققین مدل هایی برای ارزیابی واحدهای تصمیم ‏گیرنده با ورودی و خروجی منفی ارایه داده اند که ما در این مقاله مدل rdm که و مدل msbm را بررسی می کنیم. در ادامه بحث به بررسی مدل تحلیل کارایی چند جهتی (mea) با داده های منفی می پردا...

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

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

فرض کنید r یک حلقه تعویض پذیر باشد، گراف مقسوم علیه صفرr، با نماد(r)?، گراف غیر جهت داری است که رأس های آن عناصر غیر صفر مقسوم علیه های صفر r هستند، چنانچه دو رأس x و y به وسیله یک لبه به هم متصل اند اگر و تنها اگر xy=0. حال چون صفر یک اید آل از حلقه r است، میتوان آن را در تعریف فوق با اید آل دلخواه i جابجا کرد و تعریف زیر را مطرح نمود. فرض کنید r یک حلقه تعویض پذیر و i اید آلی از r باشد. گرا...

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

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

برای گراف ‎$t$‎ با مجموعه ی رأسی ‎${x_1,ldots,x_n}$‎ و عدد طبیعی ‎$ ell geq 1$‎، ایده آل مسیری ‎$i_{ell}(t)$‎ ایده آلی تک جمله ای از حلقه ی ‎ ‏چندجمله ای های ‎$r[x_1‎ ,‎ldots,x_n]$‎ است که توسط تمام مسیرهای به طول ‎$ell$‎ در ‎$t$‎ تولید شده است که در اینجا ‎‎$ r ‎‎‎$‎‎ یک حلقه است. در این پایان نامه ایده آل مسیری گراف های درخت را مورد مطالعه قرار می دهیم. ابتدا برای گراف ه...

چکیده هدف از مطالعه حاضر بررسی اثر نانوذرات آهن بر تغییرات هیستوپاتولوژیک تخمدان در موش های تیمار شده با ایزونیازید می‌باشد. در این تحقیق 50 سر موش صحرایی ماده بالغ به طور تصادفی به 5 گروه 8 تایی تقسیم شدند؛ گروه کنترل (بدون تیمار)، گروه شاهد (روزانه mg/kg2/0 سرم فیزیولوژی)، گروه تجربی 1 (mg/kg50 داروی ایزونیازید به صورت خوراکی)، گروه تجربی 2 و 3 (mg/kg50 داروی ایزونیازید به صورت خوراکی و به تر...

هدف از این بررسی امکان سنجی استفاده از پسماندهای روکش صنوبرو راش برای تولید کفپوش از تخته تراشه جهت دار می باشد. میزان اختلاط روکش صنوبر وراش به ترتیب 60 به 40 درصد بود. در این بررسی زمان پرس (6، 8 و 10 دقیقه) و دمای پرس 170 و 180 درجه سلسیوس به عنوان عامل های متغیر و دیگر عامل ها به عنوان عامل های ثابت در نظر گرفته شد. نتایج نشان داد که افزایش دمای پرس اثرگذاری معنی دار بر مقاومت خمشی، مدول کش...