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

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

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

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

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

فرض کنیم n1و n2 فضای های نرمدار حقیقی باشند, بنا به قضیه مازور-اولام هر طولپای دوسویی t:n_1 ?n_2آفین است. در این پایان نامه که مرجع اصلی آن [5]است، ابتدا مفهوم فضای متریک واره که تعمیم فضای متریک است، و مفهوم نقطه میانی برای دو نقطه از فضای متریک واره معرفی می شود. سپس تعمیمی از قضیه مازور-اولام برای نگاشتهای پوشای حافظ زیرفاصله بین فضاهای متریک واره به طور قوی انعکاسی، که در آن ها همواره نق...

اطلاع از پراکنش مکانی و زمانی نیاز آبی موجبات ارتباط بین کاربری اراضی، تخصیص و استفاده از آب را فراهم نموده است که می‌تواند منجر به مدیریت بهتر منابع آب گردد. در این پژوهش، با هدف تولید نقشه­های زمانی و مکانی نیاز آبی، به بررسی کارآیی الگوریتم متریک در تخمین تبخیروتعرّق روزانه و نیاز آبی فصلی دشت مرتفع قزوین پرداخته شد. بدین­منظور از پنج تصویر باقابلیت تفکیک مکانی بالای 30×30 متر ماهواره لندست 7...

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

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

یکی از حوزه‎های اصلی مدیریت مالی، مدیریت ریسک می‏باشد. منظور از مدیریت ریسک، شناسایی، اندازه‎گیری و نظارت بر ریسک است. بنابراین اندازه‎گیری ریسک از جایگاه ویژه‎ای در مدیریت ریسک برخوردار است. از جمله روش‌های شناخته شده و پرکاربرد اندازه‎گیری ریسک، محاسبه ارزش در معرض ریسک می‎باشد که موضوع اصلی این پژوهش است. در این پژوهش با استفاده از مدل ترکیبی ماشین بردار پشتیبان و‎گارچ به پیش‎بینی نوسانات شا...