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

یکی از جالب ترین پرسش ها در فیزیک نظری، آنتروپی سیاه چاله ها می باشد. برای فهم ویژگی های آماری آنتروپی سیاه چاله ها، وجود یک نظریه ی گرانش کوانتومی ضروری است. نظریه ی ابرریسمان یکی از بهترین نامزدها برای گرانش کوانتومی است. این نظریه دستاوردهای مهمی در توضیح آنتروپی سیاه چاله ها داشته است. گمان می رود که یک نظریه ی شگفت آور 11 بعدی تمام پنج نظریه ی ابرریسمان را در برگیرد، این نظریه به نظریه ی m...

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

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

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

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...

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

در دهه‌های اخیر، شهرنشینی بر شهرسازی مقدم شده و رشد شهری را با مشکلات جدی روبه‌رو کرده است. شهر مرودشت نیز در طول دوران حیات بیش از 70 ساله‌اش به‌طور نامتوازنی رشد کرده است. روش تحقیق در پژوهش حاضر تحلیلی ـ تطبیقی بوده و با بهره‌گیری از مدل‌های آنتروپی شانون و هلدرن به تحلیل چگونگی گسترش این شهر پرداخته شده است. بررسی داده‌ها، نشان می‌دهد که در مرودشت تا سال 1375 شهر به‌صورت فشرده رشد کرده؛ اما...

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