شناسایی ساختمان­ها از موضوعات مورد علاقه در فتوگرامتری و سنجش از دور است که می­تواند در مدل­سازی­ سه­بعدی شهر­ها مورد استفاده قرار گیرد. هدف از این تحقیق، شناسایی ساختمان­ها با استفاده از ابر نقطه لیزر اسکنر هوایی (LiDAR) برمبنای بکارگیری سیستم استنتاج فازی می­باشد. در این­ راستا، حذف نویز و داده­های اشتباه همواره به عنوان یکی از چالش­های استفاده از ابر نقطه داده لیدار مطرح می­باشد. لذا، در روش...

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

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

چکیده ندارد.

ایجاد و توسعة کیفیت در پروژه‏ها دستاوردهایی چون افزایش رضایت کارفرما، کاهش هزینه، افزایش سود، و افزایش قدرت رقابت را دربردارد. در این پژوهش، با به‌کارگیری مدلی عصبی‌ـ فازی، ارتباط بین فاکتورهای ارزیابی توان فنی پیمانکاران پژوهشی و کیفیت اجرای این پروژه‌ها تحلیل می‌شود. مدل توسعه‌داده‌شده در مؤسسة مطالعات بین‌المللی انرژی اجرا شد. برای افزایش قابلیت اتکا به نتایج، با استفاده از روش وارسی اعتبار،...

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

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