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

مجموعهs از رئوس گراف gرا یک مجوعه احاطه گر تام نامند هرگاه هر رأس درv(g) با حداقل یک رأس از s مجاور باشد. مینیمم تعداد اعضای یک مجموعه احاطه گر تام را عدد احاطه ای نامیده و با?_(t ) (g) نشان می دهند. مجموعه s را یک مجموعه احاطه گر همبند مضاعف در g نامند هرگاه هر رأس درv(g)-s با حداقل یک رأس از s مجاور بوده و زیرگرافهای القایی g[s] و g[v-s] همبند باشند. مینیمم اندازه یک مجموعه احاطه گر همبند مضا...

در این پایان نامه جریان سیال و انتقال حرارت ترکیبی درون کانال دو بعدی با حضور موانع به روش شبکه بولتزمن مورد بررسی قرار گرفته است. بررسی جریان و انتقال حرارت برای اعداد رینولدز 200 تا 1000 انجام گرفته و عدد پرانتل برای سیال عامل هوا 0/72 انتخاب شده است. در عدد رینولدز 600 اثر نسبت ضریب انتقال حرارت 1، 10، 100 و 400 بین سیال و جامد مورد بررسی قرار گرفت. همچنین در این عدد نسبت ضریب انتقال حرارت 1...

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

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

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

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

چکیده ندارد.

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