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

چکیده ندارد.

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

آنالیز رگرسیون بطور گسترده ای برای مطالعه رابطه بین یک متغیر پاسخ و برداری از متغیرهای وروردی (عوامل x =) x x () بکار میرود. فرض میشود رابطه بصورت y = f) x (0 + باشد که در آن f برداری از توابع معلوم، 0 برداری از پارامترهای نامعلوم و خطای تصادفی است . برای برآورد 0، تعداد n مشاهده y y را بازای نقاط x x اختیار کرده و با استفاده از روش کمترین مربعات 0 را برآورد میکنیم . مسئله طرح ریزی بهینه چگونگی...

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

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

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

امروزه تمایز میان جهات جمله ای ( de dicto ) وجهات شیئی ( de re ) از مباحث بسیار مهمی است که هم  در حوزه منطق موجهات و هم در قلمرو متافیزیک تحلیلی، جایگاه ویژه ای یافته است . برای مثال، پذیرش ضرورت شیئی یکی از مبانی اساسی پذیرش ذات گرائی(essentialism)  است.  در این مقاله پس از اشاره ای کوتاه به سابقه این تمایز در فلسفه غرب و اسلامی به تفاوت نحوی و معنائی این دوگونه جهت پرداخته می شود.  در ادامه ...

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