در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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

  سخن سردبیر   Editorial   مجله دانشگاه علوم پزشکی رفسنجان   دوره دوازدهم، بهمن 1392، 872-871       متن، جدول یا نمودار؟           Text, Table or Diagram?     محسن رضائیان [1]   M. Rezaeian     نویسندگان مقالات علمی در بخش یافته‌ها مبادرت به گزارش نتایج مطالعه علمی خود در قالب متن، جدول و یا نمودار می‌نمایند. اگرچه به نظر می‌رسد که نگارش بخش یافته‌ها ساده می‌باشد، اما همواره گزینش این نکته که چ...

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

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

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

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

چکیده ندارد.

هدف اصلی این پایان نامه معرفی خانواده ای غیر کلاسیک از چندجمله ای های متعامد است . این چندجملهای ها روی بازههای [c,-c] ا [c,-1] نسبت به تابع وزن ژاکوبی متعامد هستند و دراصطلاح،چندجمله ای های ژاکوبی زیردامنه نام دارند. برای محاسبه ی ضرایب بازگشتی این چندجمله ای ها روش سازی استیلت یس را به کارمی بریم و هم چنین به بررسی قواعد انتگرال گیری متناظر با این چندجمله ای ها هم می پردازیم . هم چنین در این ...