فرض کنیدn یک عدد صحیح بصورت n=p4+q4=r4+s4است. یک خانواده جدید از خمهای بیضوی بصورت y^2=x^3-nx تعریف می کنیم. نشان می دهیم رتبه این خانواده حداقل برابر 3 است. با فرض درست بودن حدس زوجیت، ثابت می شود که حدقل رتبه برای این خانواده برابر 4 است. درستی حدس سیلورمن در رابطه با پیچش درجه دوم یک خم بیضوی را برای این خانواده بررسی می کنیم. در انتها، معادله دیوفانتی درجه چهارم x^4+y^4=2(u^4+v^4) را برای ا...

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

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

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

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

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

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

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