نتایج جستجو برای: مدل منطق

تعداد نتایج: 125196  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم پایه 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سیستان و بلوچستان - دانشکده ریاضی 1393

در این پژوهش، مدل سازی فازی - عصبی به منظور ارزیابی جنبه های یادگیری دانش آموزان ارائه شده است.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1390

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

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد شاهرود - دانشکده فنی 1393

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

ژورنال: :فصلنامه مدیریت توسعه و تحول 2013
علی خاتمی فیروزآبادی احمد جعفریان امیر حسن زاده

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

ژورنال: :تحقیقات منابع آب ایران 0
عطاالله ندیری دانشجوی دکتری/ هیدروژئولوژی، دانشگاه تبریز، تبریز، ایران اصغر اصغری مقدم استاد /دانشکده علوم طبیعی، دانشگاه تبریز، تبریز، ایران. هیراد عبقری استادیار /دانشکده منابع طبیعی دانشگاه ارومیه، ارومیه، ایران. الهام فیجانی دانشجوی دکتری/ هیدروژئولوژی، دانشگاه تبریز، تبریز، ایران

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

ژورنال: :اطلاعات جغرافیایی (سپهر) 0
رحیم سرور دانشگاه آزاد اسلامی، واحد یادگار امام خمینی(ره) ایرج یحیی پور دانشگاه آزاد اسلامی، واحد یادگار امام خمینی(ره)

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی 1393

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

ژورنال: :منطق پژوهی 0
میثم محمدامینی استادیار پژوهشکدة مطالعات بنیادین علم و فناوری، دانشگاه شهید بهشتی

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

ژورنال: :مهندسی حمل و نقل 0

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید