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

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

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

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

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

بورسوک طی کنفرانسی که در سال 1979 برگزار شد، مقاله ای را تحت عنوان «چند مسئله در نظریه شکل درباره فضاهای متریک فشرده» ارائه داد و در آن سوالاتی مطرح کرد که در این پایان نامه، به چند نمونه از آنها می پردازیم. یکی از این سوالات این است که آیا یک چندوجهی با ظرفیت نامتناهی و عمق متناهی وجود دارد؟ کلدزیزیک در مقاله های قبلی خود، ثابت می کند که چندوجهی ای با گروه بنیادین چنددوری با ظرفیت نامتناهی وجو...

روش کریزینگ‎ یک روش ‎‎‏زمین آماری برای درونیابی داده های مکانی است. مدل ریاضی کریزینگ بعد از اینکه آقای کریز ‎(d.g.krige)‎‏ به عنوان اوّلین کسی که نسخه اوّلیه این فرآیند مکانی را معرفی کرد به این نام نامگذاری شد. در این پایان نامه خلاصه ای از روش کریزینگ و برخی از فرمول های اساسی آن را ارائه می دهیم. پس از آن ایده کریزینگ جهانی را معرفی و نشان می دهیم که می توان‎ آن را برای فرموله کردن نوع جدیدی ...

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

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

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