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

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

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

اسپلاین های جریمه شده و چند جمله ای های کسری(fp ها ) به عنوان دو تکنیک هموارسازی قدرتمند با محبوبیتی رو به رشد در بیشتر مطالعات کاربردی ظاهر شده اند . هر دو شیوه به طور قابل ملاحظه ای انعطاف پذیرند اما تاکنون فقط ارزیابی های محدودی از عملکردو ویژگی های دو شیوه صورت گرفته است . در این پایان نامه fp های از درجه دو (fp2 ) و درجه سه (fp3 ) و دو نوع از اسپلاین های جریمه شده با استفاده از داده های شب...

توابع پایه b – اسپلاین چند جمله ای های تکه ای از درجه مساوی،هستند. در این پایان نامه نوعی از توابع اسپلاین را معرفی می کنیم به طوری که این توابع چندجمله ای تکه ای، درجات متغیر دارند.(که به اختصار این توابع را توابع cd – اسپلاین می نامیم.) توابع b – اسپلاین زیرحالتی از توابع cd – اسپلاین می باشند یعنی تمام خصوصیات توابع b – اسپلاین در توابع cd – اسپلاین نیز وجود دارد. یکی از کاربردهای توابع b ...

جایگاه معادلات دیفرانسیل در ریاضیات به 350 سال قبل باز می گردد. زمانی که آنالیز ریاضی توتناترین شاخه ی ریاضیات و مبحث معادلات دیفرانسیل عمده ترین بخش آن بود. معادلات دیفرانسیل تأخیری و پنتوگراف خود شاخه ای مهم از معادلات دیفرانسیل به حساب می آیند که در بسیاری از علوم کاربردی از جمله فیزیک و شیمی نقش به سزایی دارند. لذا در این رساله بر آن شدیم که در مورد آنها بحث و بررسی های لازم را به عمل آورد...

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

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

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

روش شناسی تفاسیر، از جمله مباحث فلسفه تفسیر بوده و از حوزه های نوپایی است که امروزه مورد توجه پژوهشگران قرار گرفته است. شناخت روش مفسّر راه را برای آشنایی با تفاسیر و دیدگاه مفسّران آنها هموار می سازد. این مقاله روش تفسیری آیت الله معرفت در «التفسیر الاثری الجامع» را بیان و بررسی می کند. در آن شناخت نامه ای از مفسر ارائه شده تا خواننده با زندگی نامه مفسر و آثار او آشنا گردد. توصیفی از التفسیر ال...