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

چکیده را گویا گوییم هرگاه ? : g ?? g یک گروه باشد. درونریختی g فرض کنیم ،x ? g که به ازای هر ?? موجود باشند به طوری h1, ..., hr ? z و a1, ..., ar ? g end? r(g) را با g پذیر ?? های گویای معکوس ?? گروه درونریختی .?(x) = (xa1)h1...(xar )hr است اگر وتنها اگر c ی پوچتوانی ?? توان از رده ?? پوچ g کنیم که ?? دهیم. ثابت می ?? نمایش می باشد. c ? ی 1 ?? توان از رده ?? پوچ end? r(g) g نماییم. اگر ...

ثابت شده است که چند جمله ای های درجه دوم مدار گویای حقیقی از تناوب 4 ندارند. هدف این پژوهش تعمیم این نتیجه برای مدارهای گویای مختلط با استفاده از یک مدل 2-بعدی است. برای این منظور ابتدا به تعریف پیش نیازها پرداخته سپس یک مدل دو بعدی برای خانواده ی درجه دوم پیدا می کنیم و کار را ادامه می دهیم.

در این مقاله مساله حل نشده تاریخی اعداد همنهشت مورد مطالعه قرار گرفته و ارتباط تنگاتنگ این مساله با حدسیه bsd درباره رتبه خمهای بیضوی روی میدان اعداد گویا مطرح شده است. حدسیه bsd یکی از مسائل یک میلیون دلاری بنیاد ریاضیات کلی است که توسط بیرچ و سوینرتون - دایر در سال 1965 میلادی بیان شده است.

در این پایان نامه ما ابتدا به معرفی برخی از روش های تکراری کلاسی مانند ژاکوبی و گاوس سایدل و sor می پردازیم.ادر فصل دوم به معرفی برخی ارز روش های زیر فضای کرایلوف همانند گرادیان مزدوج و gmres و fom و cr می پردازیم.در فصل سوم برخی از روش های پیش شرط سازی را ارائه می دهیم و روش های گرادیان مزدوج پیش شرط شده و روش مینیمم باقیمانده تعمیم یافته پیش شرط شده را ارائه میدهیم.و نهایتا کلاسی از روش ها و ...

هدف این پایان نامه، واکاوی و شناسایی عوامل تأثیرگذار بر سیستم اطلاعات با استفاده از متدولوژی سیستم های نرم (ssm) می باشد. با استفاده از این متدولوژی به تجزیه وتحلیل سیستم اطلاعات در شرکت نوین اتیک پارس مشهد پرداخته و عوامل تأثیرگذار را شناسایی نموده است. با به کارگیری متدولوژی سیستم‎ های نرم قادر به واکاوی و شناسایی وضعیت سیستم اطلاعات بوده ایم و امکان پذیری این روش در شناسایی این گونه عوامل ب...

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

از آنجا که امروزه بحث تبدیلات بین سیستم های مختصات در فعالیت های نقشه برداری و ژئودزی و علوم مرتبط با اطلاعات مکانی کاربرد ویژه ای دارد، به منظور افزایش دقت در انتقال بین این سیستم ها، استفاده از روش های جدید و کارآمد مورد اهمیت است. هدف اصلی این مقاله در بخش اول بررسی تبدیل مختصات محلی شهر اصفهان به مختصات utmوبالعکس با استفاده از روش ضریب مقیاس ترکیبی است. لذا از مختصات 500 ایستگاه gps موجود ...

آنتروپی به عنوان یک پارامتر کلیدی، محدودیت تئوری عملکرد و کیفیت بسیاری از کاربردهای مهندسی را فراهم آورده است. در این پژوهش تحلیل سه بعدی تولید آنتروپی، تولید آنتروپی محلی و اگزرژی تخریبی پره استاتور توربین به کمک کدنویسی udf صورت گرفته است. نوآوری‌ کار حاضر محاسبه‌ی نرخ اگزرژی تخریبی پره سه بعدی توربین به کمک نرم‌افزار فلوئنت است. برای پیش‌بینی مناسب چسبندگی موثر و هدایت حرارتی موثر از مدل k-ω...