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

کاهش کیفیت تصویر در یک سامانه اپتیکی تابع پارامتر های متفاوتی می تواند باشد. برخی از این پارامتر ها عبارتند از: ابیراهی لنز، خطای رقمی سازی و خطای مونتاژ سامانه. در حوزه خطای مونتاژ معمولا دو نوع خطای کلی در نظر گرفته می شود: 1) عدم متعامد بودن پرده تصویر و محور اپتیکی که اغلب در قالب خطای prism از آن نام برده می شود. 2) خطای عدم عبور محور اپتیکی لنز از مرکز تصویر که تحت عنوان خطای خروج از مرکز...

در مورد ویژگهای ساختار طلایی , یعنی ساختار چند جمله ای در ازای چند جمله ای ساختاری q(x) = x? ? x ? i)تحقیق شده است . نسبت طلایی نقش محوری در این پایان نامه دارد و هندسه ساختار طلایی روی یک خمینه با استفاده از یک ساختار تقریبا ضربی متناظر بررسی می شود. ساختار طلایی و عدد طلایی و عدد مختلط مربوطه که نسبت طلایی مختلط نامیده می شود مورد مطالعه قرار می گیرد. و تفسیر مختلط از اعداد فیبوناچی در...

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

چکیده ندارد.

در سال 2002 هرزوگ و تاکایاما در مقاله resolutions by mapping cone ایدآل جدیدی به نام ایدآل با خارج قسمت های خطی معرفی کردند. این ایدآل خواص جالب توجهی از نظر جبری و از نظر ترکیبیاتی دارد. در این پایان نامه علاوه بر بررسی خواص جبری و ترکیبیاتی این ایدآل ها، همبافت های کزول، همولوژی کزول، مجتمع سادکی و ایدآل هایی که به صورت مولفه ای خطی هستند و ایدآل هایی که به صورت مولفه های خالی از مربع خطی هست...

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

روش های درونیابی به طور طبیعی به روش های انتگرال گیری عددی منجر می شو‎‎ند. در دهه هشتاد درونیابی باری سنتریک مورد ‎آزمایش و ‎‎پیشرفت قرار گرفت. به تازگی درونیابی گویای خطی با وزن های جدید توسط فلوتر‎‎‎ltrfootnote{‎floater‎}‎و هورمن‎ltrfootnote{‎‎hormann‎}‎معرفی شده است. ‎‎‎‎‎‎‎‎‎ ‎در این پایا‎ن نامه دو ساختار انتگرال گیری ‎‎عددی گویای خطی را معرفی و مورد استفاده قرار می دهیم. در روش اول‏، وزن ...

چکیده ندارد.