حل یک دستگاه از چند جمله ایها همواره یکی از مسایل مهم در ریاضیات و به ویژه در جبر و هندسه جبری محاسباتی بوده است. نظریه حذف یکی از روشهای مهم در حل دستگاه چند جمله ایها است. یکی از شاخه های مهم در نظریه حذف منتج است. منتج اولین بار توسط بزو وایلر در سال 1764 معرفی گردید و پس از آن در سال 1840 توسط سیلومتر روشی برای محاسبه منتج دو چند جمله ای یک متغیره مطرح شد. سپس ریاضی دانان روسی یک منتج جدید ...

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

چکیده در دهه های اخیر همواری سیستمهای راست روی تکواره s موضوع اصلی بیشتر مقالات درزمینه رده بندی همولوژیکی تکواره ها بوده است که نتیجه های مفیدی در مورد خاصیتی که شرط (p) نامیده می شود در بر دارد. در این پایان نامه شرط (o) را معرفی خواهیم کرد که رده s- سیستم های صادق در شرط (o) به طور اکید بین s- سیستم های به طور قوی هموار و s- سیستم های صادق در شرط (p) قرار می گیرد. همچنین به معرفی شرط (e...

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

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

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

در این پایان نامه شبه اندازه و شبه اندازه توپولوژیک را معرفی کرده و بیشتر روی جمع پذیری این دو مفهوم متمرکز می شویم.برای اندازه های اتمی و دومقداری شرایطی را بیان می کنیم که هر توسیع شبه اندازه از یک اندازه داده شده -جمع پذیر باشد. ثابت می کنیم که شبه اندازه هایتوپولوژیک روی فضاهای هاوسدورف فشرده -جمع پذیرند اما جمع پذیر افزایشی نیستند. همچنین بررسی می کنیم که در چه مواردی یک شبه اندازه توپولوژ...

در این پایان نامه ، ابتدا قضیه نگاشت باز را برای فضاهای پارانرم ثابت کرده و به کاربرد آن می پردازیم، از جمله اثبات جدیدی برای باز بودن نگاشت تحلیلی غیر ثابت ارائه می دهیم. در ادامه، مفهوم مجموعه نگاشت های ‎pa(r,r)$‎ و (pl(x,yو pl(x,y )‎ را تعریف می کنیم که در واقع مجموعه (pl(x,y ‎‎ توسیعی از مجموعه نگاشت های خطی می باشد.سپس قضیه نگاشت باز برای مجموعه نگاشت های(‎ pl(x,y که مستقل از خواص پیوس...

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

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