نتایج جستجو برای: مجموعه اعداد حقیقی نااستاندارد

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

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

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

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

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

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

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

شادرخ سماوی علیرضا رضایی صدآبادی

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

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

فرض کنیم گراف g، یک گراف ساده غیرجهت دار با مجموعه رأس های v و مجموعه یال های e باشد. هر رأس v?v، یک تقاضای d(v)?z و یک هزینه c(v)?r دارد. که z و r به ترتیب مجموعه اعداد صحیح نامنفی و مجموعه اعداد حقیقی نامنفی را مشخص می کنند. مسأله موقعیت منبع با توجه به اتصال رأس در گراف داده شده g، به دنبال یافتن مجموعه s از رأس ها است، به طوریکه حداقل(d(v مسیر با رأسهای دو به دو مجزا از s به v (برای هر رأس ...

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

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

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

فرض کنید r حلقه ای نوتری موضعی و جابجایی باشد و lوl دو r-مدول و eپوشش انژکتیو از r/m باشند. مدول m بازتابی نامیده می شود هرگاه نگاشت طبیعی از m به hom(hom(m,e)),e)یکریختی باشد. دراین پایان نامه ثابت می شود که مدول m نسبت به e بازتابی است اگر و تنها اگرm یک زیرمدول متناهی مولد n وجود داشته باشد بطوریکه m/n آرتینی باشد و r/ann(m) یک حلقه شبه موضعی کامل باشد. همچنین برای r-مدول های lوl به بررسی...

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

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

ژورنال: :نشریه دانشکده فنی 2002
شادرخ سماوی علیرضا رضایی صدآبادی

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

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

چکیده ندارد.

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

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