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

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

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

پتانسیل های وابسته به مکان در مکانیک کوآنتومی به دو دسته چند جمله ای و غیر چند جمله ای (یا کسری) تقسیم می شوند. پتانسیل های کسری نیز به دو دسته تکین و غیر تکین تقسیم می شوند. ازجمله پتانسیل های تکین می توان به پتانسیل های میله ای و هم توان اشاره کرد. هم چنین از جمله پتانسیل های غیر تکین، می توان پتانسیل های سی پی آر اس و کسری مرتبه دوم و چهارم را نام برد.

خلیج گرگان با وسعتی حدود 450 کیلومتر مربع در جنوب شرقی دریای خزر واقع شده است. این خلیج از پهنه های آبی با اهمیت کشور است و بزرگترین خلیج کرانه دریای خزر به شمار می آید. در این مطالعه به منظور مدلسازی توزیع مکانی پارامترهای کیفی آب خلیج، نمونه گیری و آنالیز ماهانه پارامترها شامل نیترات، فسفات، نیتریت، قلیائیت، سختی، آمونیاک، شوری، ec، ph، do، tds و دمای آب از 19 نقطه مختلف خلیج انجام شد. نمونه ...

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

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

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

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

هدف از انجام این تحقیق پایش غلظت هیدروکربن های آروماتیک حلقوی در رسوبات و بافت دوکفه ای saccostrea cucullata در سواحل استان بوشهر و مطالعه همبستگی شاخص های استرس اکسیداتیو با ترکیبات pahs در صدف مذکور در دو فصل تابستان و زمستان بود. آنزیم های کاتالاز، گلوتاتیون – s- ترانسفراز و شاخص پراکسیداسیون لیپیدی به منظور مطالعه اثرات آسیب های اکسیداتیو انتخاب شدند. مجموع غلظت 13 ترکیب pahs در رسوبات ایست...