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

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

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

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

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

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

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

در این تحقیق 765 کیلومتر مربع از اراضی دشت داراب فارس که در 250 کیلومتری شرق شیراز و در محدوده جغرافیایی 54 درجه و12 دقیقه تا 54 درجه و42 دقیقه طول شرقی و 28 درجه و 34 دقیقه تا 28 درجه و 49 دقیقه عرض شمالی قرار گرفته است را ازلحاظ تناسب سه روش آبیاری سطحی، بارانی و قطره ای مورد مطالعه قرار گرفت. بدین منظور با در نظر گرفتن اطلاعات موجود منطقه و مطالعه روشهای ارزیابی تناسب اراضی، از دو روش منطق ب...

فلسفه ریاضی لاکاتوش یک فلسفه جدی است و از طرف فلاسفه ریاضی مورد نقد و بررسی قرار گرفته است. یکی از مهمترین نقادی ها از طرف ففرمن انجام شده است. در این مقاله، به بررسی نقد ففرمن از فلسفه ریاضی لاکاتوش می پردازیم.

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