The aim is to automate the process of bug localization in program source code. The cause of program failure could be best determined by comparing and analyzing correct and incorrect execution paths generated by running the instrumented program with different failing and passing test cases. To compare and analysis the execution paths, one approach is clustering the paths according to their simil...

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

پژوهش حاضر یک پ‍ژوهش بین رشته ای است و هدف آن، بررسی تیپ شناسی شخصیتهای داستانی صادق هدایت با تأکید بر طبقه بندی نُه گانه «انیه گرام» است که عبارتند از تیپ های کمال طلب، کمک گرا، موفق و بازیگر، رمانتیک محزون، مشاهده گر و فکور، وفا جو و وفا خو، خوشگذران ، رئیس و میانجی که هرکدام دارای ویژگی های خاصّی می باشند. این بررسی همه ی آثار داستانی هدایت را در بر می گیرد که شامل 34 داستان است. روش پژوهش توص...

چکیده روغن اسانسی اندام های هوایی دو گونه گیاهی ایران از خانواده نعنائیان (nepeta persica، nepeta asterotricha) به دو روش تقطیر با آب و head space به دست آمد و ترکیبات موجود در آن ها به وسیله کروماتوگرافی گازی همراه با طیف سنجی جرمی جداسازی و شناسایی گردید. در روغن اسانسی حاصل از اندام هوایی n. persica، 18 ترکیب از 22/92% کل اسانس شناسایی شد و محصولات عمده (5/16%) 4a?, 7?, 7a? nepetalactone، ...

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

هدف: تعیین تاثیر کتامین بر پارامترهای الکتروکاردیوگرام ماهی کپور علفخوار. طرح: مطالعه تجربی حیوانات: 60 قطعه ماهی کپور علفخوار با میانگین وزن 300-200 گرم. روش: برای این مطالعه 60 قطعه ماهی کپور علفخوار با محدوده وزنی 200 تا 300 گرم انتخاب گردید. ماهیان به طور تصادفی به 4 گروه 15 تایی تقسیم شدند. یک گروه به عنوان گروه شاهد بررسی و 3 گروه در معرض غلظتهای 80‘ 100 و 120 میلیگرم در لیتر به روش ...

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

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

چکیده ندارد.

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