دانلود مقاله در مورد حل مساله بار 1 0 چند بعدی توسط سیستم‌های P به همراه ورودی و غشاء فعال 24 ص

دانلود مقاله در مورد حل مساله بار 1 0 چند بعدی توسط سیستم‌های P به همراه ورودی و غشاء فعال 24 ص

دانلود-مقاله-در-مورد-حل-مساله-بار-1-0-چند-بعدی-توسط-سیستم‌های-p-به-همراه-ورودی-و-غشاء-فعال-24-صلینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل :  word (..doc) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 28 صفحه

 قسمتی از متن word (..doc) : 
 

‏1
‏حل مساله بار 1-0 چند بعدی توسط سیستم‏‌‏های P‏ به همراه ورودی و غشاء فعال:
‏خلاصه:
‏سیستم‏‌‏های غشایی از نظر زیستی مدل‏‌‏های تئوری محاسبه همسو و توزیع شده را فعال می‏‌‏کند. در این مقاله الگوریتم غشایی را نشان می‏‌‏دهیم تا به کمک آن مساله بار 1-0 چند بعدی را در زمانی خطی توسط سیستم‏‌‏های شناسنده P‏ به همراه ورودی غشاهای فعال که از دو قسمت استفاده می‏‌‏کند، حل کند. این الگوریتم را می‏‌‏توان اصلاح کرد و از آن برای حل مساله برنامه‏‌‏نویسی عدد صحیح 1-0 عمومی استفاده کرد.
‏مقدمه:
‏سیستم‏‌‏های P‏،‏ طبقه‏‌‏ای از ابزار محاسله همسوی توزیع شده یک نوع بیوشیمی ‏هستند که در [4] معرفی شد و می‏‌‏توان آن را به عنوان معماری‏ محاسبه کلی دانست که انواع مختلف اشیاء در آن قسمت توسط عملکردهای مختلف پردازش می‏‌‏شوند. از این دیدگاه مطرح می‏‌‏شود که پردازش‏‌‏های‏ خاصی که در ساختار پیچیده موجودات زنده صورت می‏‌‏گیرد، به صورت محاسباتی درنظر گرفته می‏‌‏شوند.
‏از زمانی که Gh, Paun‏ ‏آن را مطرح کرد، دانشمندان کامپیوتر و بیولوژیست‏‌‏ها این زمینه را با نقطه نظرهای مختلف خود غنی‏‌‏سازی کرده‏‌‏اند. برای انگیزه و جزئیات توضیحات مربوط به مدل‏‌‏های متفاوت سیستم P‏ لطفاً به [6/4] توجه کنید. تقسیم‏‌‏بندی غشایی (الهام شده از تقسیمات سلولی گفته شده در ‏بیولوژی)، تنها راهی است که برای بدست آوردن فضای کاری ---- در زمان خطی بیشتر و بر اساس حل مسائل مشکل (عموماً مسائل تکمیل شده VP‏) در زمان چند جمله‏‌‏ای (اغلب به صورت خطی) بررسی‏ شده است. جزئیات را می‏‌‏توان در [4.6.8] ببینید.
‏3
‏اخیراً مسائل کامل PSPACE‏ به این روش مطرح شدند. در گفتگویی غیررسمی، ‏در سیستم‏‌‏های P‏ به همراه غشاء فعال می‏‌‏توانیم از 6 نوع قانون استفاده کنیم:
‏قوانین بازگشت چندگانه؛
‏قوانین مربوط به حل معرفی اشیاء در غشاءها؛
‏قوانین مربوط به ارسال اشیاء به بیرون از غشاء؛
‏قوانین مربطو به حل غشاء؛
‏قوانین مربوط به تقسیم غشاء اولیه؛
‏قوانین مربوط به تقسیم غشاء ثانویه.
‏در [10] Perez-Jimenez‏، مساله قابل راضی کننده‏‌‏ای را در زمان خطی با توجه به تعداد متغیرها و شروط فرمول‏‌‏گزاره‏‌‏ای توسط سیستم تشخیص دهنده P‏ به همراه ورودی و به همراه غشاء فعال 2 قسمتی حل می‏‌‏کند. مساله قابل راضی شدن hard NP‏ نیست، چون الگوریتم‏‌‏های تقریبی چند جمله‏‌‏ای وجود دارد ‏که آن را حل می‏‌‏کند و این نمونه‏‌‏ای برای مساله بار 1-0 چند جمله‏‌‏ای به حساب نمی‏‌‏آید. در این مقاله به حل مساله بار 1-0 چند بعدی توسط سیستم P‏ توجه کردیم.
‏مساله اصلی تکمیل NP‏ می‏‌‏باشد و همچنین مساله بار 1-0 چندبعدی به درجه مساله تکمیل NP‏ بستگی دارد.‏ بنابراین این مساله در زمان چندجمله‏‌‏ای توسط سیستم‏‌‏های P‏ با ورودی و با غشاء فعال که از تقسیم 2 استفاده می‏‌‏کند، حل خواهد شد. می‏‌‏توانیم این نوع محلول را با کمک کاهش مساله بار 1-0 چندبعدی برای مساله ‏راضی شدن بدست آوریم تا آن سیستم P‏ را که به حل مساله راضی شدن در زمان خطی می‏‌‏پردازیم، بکار بریم. همچنان این مساله قابل بحث است که چگونه می‏‌‏توان مساله NP‏ را به مساله تکمیل شده NP‏ دیگر بوسیله سیستم P‏ ساده کرد.
‏در این مقاله مستقیماً الگوریتم غشایی را برای حل مساله بار 1-0 چندبعدی در زمان خطی توسط سیستم تشخیص دهنده P‏ به همراه ورودی به همراه غشاء فعال که از تقسیم 2 استفاده می‏‌‏کند، ارائه می‏‌‏دهیم.در اینجا به طرحی از یک محدوده سیستم
‏3
P‏ توجه می‏‌‏کنیم که مساله بار 1-0 چندبعدی را حل می‏‌‏کند (نه به شکل بررس‏ی‏ رسمی‏ الگورینتم غشایی)‏‌‏. همانطور که در بخش 4 گفته شد، استفاده از این الگوریتم اصلاح شده برای حل مساله برنامه‏‌‏نویسی عدد صحیح 1-0 کلی، کار آسانی است.
‏سیستم‏‌‏های P‏ در الگوریتم در [5] تقریباً به طور یکسان به شکلی ساخته می‏‌‏شوند که برای هر نمونه از مساله قابل راضی شدن، یک سیستم P‏ شکل می‏‌‏گیرد. در الگوریتم ما مربوط به مساله 0-1 چندبعدی، سیستم‏‌‏های P‏ به طور یکسان شکل می‏‌‏گیرند. برای همه نمونه‏‌‏هایی که یک اندازه هستند، ‏یک سیستم P‏ طراحی می‏‌‏شود.
‏الگوریتم مربوط به مساله قابل راضی شدن در [5] از سیستم P‏ با قوانین نوع (a‏)، (f‏)-(c‏) استفاده می‏‌‏کند و الگوریتم برای مساله راضی شدن در ‏‍‏]6] از سیستم‏‌‏های P‏ با قوانین نوع (c‏)-(a‏) و (e‏) استفاده می‏‌‏کند. ‏در اینجا برای حل مساله ‏بار 1-0 چندبعدی از سیستم‏‌‏های P‏ محدوتر استفاده می‏‌‏کنیم، یعنی سیستم P‏ به همراه قوانین نوع‏ (a‏)، ‏(c‏) و (e‏).
‏مساله کلاسیک بار مورد خاصی از مساله بار 1-0 چندبعدی با یک بعد می‏‌‏باشد. تقریباٌ می‏‌‏توان الگوریتم غشایی را برای حل مساله بار کلاسیک [7]درنظر بگیریم. الگوریتم جدید ما نسبت به الگوریتم در [7] مراحل محاسبه کمتری دارد، بویژه در الگوریتم در [7]. 2n+1‏ مرحله برای مطرح کردن همه assignment‏ متغیرها استفاده می‏‌‏شود، حال آنکه در الگوریتم جدید ما، n+1‏ مرحله برای تولید کردن همه assignment‏ متغیرها استفاده می‏‌‏شود. در اینجا n‏ تعداد متغیرهاست. در این مفهوم، الگوریتم ما، اصلاح الگوریتم [7] می‏‌‏باشد.
‏این مقاله به صورت زیر طبقه‏‌‏بندی شده است:
‏در بخش 2‏،‏ مفهوم سیستم P‏ سازمان دهنده معرفی می‏‌‏شود که مدل محاسبه‏‌‏ای برای حل مساله بار 1-0 چندبعدی بوده و آن را در محاسبه با غشاءها ‏درجه پیچیدگی چندجمله‏‌‏ای می‏‌‏نامند.
‏5
‏در بخش 3، برای حل مساله بار 1-0 چندبعدی به کمک سیستم‏‌‏های P‏ سازمان دهنده با غشاءهای فعال 2 قسمتی، الگوریتم غشایی ارائه می‏‌‏دهد.
‏در بخش 4، بحث ارائه شده است.
‏2. سیستم P‏:
‏با توجه به [5] با معرفی سیستم P‏ با غشاءهای فعال شروع می‏‌‏کنیم که در این قسمت جزئیات بیشتری وجود دارد.
‏ساختار یک غشاء به صورت نمودار Venn‏ مطرح شد و با کمک رشته‏‌‏ای از پرانتزهای انتخابی دقیق (با یک جفت پرانتز خارجی) معرفی می‏‌‏شود. این جفت پرانتزهای خارجی با غشاء خارجی که ‏«‏موپست‏»‏ نامیده میشود، تطبیق دارد. هر غشایی بدون داشتن غشایی درونی، غشاء اولیه نامیده می‏‌‏شود. به عنوان مثال، ساختار درون همه غشاءها شماره‏‌‏گذاری شده است.در اینجا ما از عدد 1 تا 8 استفاده کرده‏‌‏ایم. عدد غشاءها، درجه ساختار غشاء را نشان می‏‌‏دهد، در حالی که‏ بلندترین درخت مربوط به روش معمول با ساختار، عمق آن می‏‌‏باشد. در نمونه بالا ساختار‏ غشایی با درجه 8 و عمق 4 داریم.
‏با توجه به چیزی که به دنبال دارد، غشاء می‏‌‏توان + یا ‏–‏ علامتگذاری کرد (و‏ آن را به عنوان ‏«‏تغییر الکتریکی‏»‏ ‏می‏‌‏نامند) یا با صفر (که آن را ‏«‏تغییر خنثی‏»‏ می‏‌‏نامند). در این مثال به ترتیب آن را به صورت ‏ ‏می‏‌‏نویسند. غشاءهایی که فضای محدودی ‏ن‏دارند،‏‌‏ دقیقاً بوسیله غشاءها معرفی می‏‌‏شون (فضای یا جایگاه یک غشاء بوسیله غشاء و همه غشاءهایی که بلافاصله درون آن قرار دارند، de limited‏ می‏‌‏شود [البته اگر غشایی وجود داشته باشد]).
‏در این مقاله اشیاء را قرار می‏‌‏دهیم که توسط سمبل‏‌‏های یک الفبا نشان داده شده است. ‏چندین کپی از اشیاء یکسان در این فضا قرار دارد. بنابراین با چندین مجموعه اشیاء سروکار داریم. مجموعه‏‌‏ای که در بالای حدف V‏ قرار دارد، ‏توسط رشته‏‌‏ای در بالای V‏ نشان داده شده‏‌‏اند: تعداد رخدادهای ‏یک سمبل ‏ در رشته‏‌‏ای ‏ (V‏ مجموعه‏‌‏ای از همه رشته‏‌‏ها بر V‏ می‏‌‏باشد، رشته خالی به وسیله

 

دانلود فایل

دانلود مقاله در مورد حمام دزاشیب

دانلود مقاله در مورد حمام دزاشیب

دانلود-مقاله-در-مورد-حمام-دزاشیبلینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل :  word (..doc) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 11 صفحه

 قسمتی از متن word (..doc) : 
 

‏حمام دزاشیب ‏
‏یکی از حمام های بسیار قدیمی ، حمام تاریخی دزاشیب ( گرمابه بوعلی ) است . تاریخ ساخت این بنا به دوره صفویه یعنی دوره رونق ساخت حمام ها باز می گردد . سبک معماری و شیوه ساخت بنا هم مؤید این مطلب است . به دلیل قدمت زیادی که این گرمابه دارد نام بانی و مالک اولیه آن به درستی مشخص نیست . به احتمال زیاد این حمام به دست یکی از بزرگان و اشراف ساکن این محله احداث شده است . دزاشیب در آن روزگاران به دلیل داشتن آب و هوای دلپذیر و قرار گرفتن در دامنه البرز ،مورد توجه اعیان و ثروتمندان تهران قرار داشته که متاسفانه با تحولاتی که در سده اخیر در ایران روی می دهد ، بتدریج موجب تخریب باغات و اراضی مزروعی این منطقه می شود .
‏نویسنده : رضا موسوی Reza Moosavi‏


‏  ‏    گرمابه تاریخی دزاشیب در خیابان رضا کبیری ( دزاشیب ) ، خیابان کریمی ، نبش جنوبی کوچه علوی واقع شده است .
‏ 
‏حمام های سنتی علاوه بر نقش اصلی شان در بهداشت و پاکیزگی ، محل انجام آیین ها ، سنت ها و رسومات زیادی نیز بوده اند.
‏گرچه سابقه ساخت حمام به گذشته های بسیار دور بر می گردد ،اما متاسفانه تاکنون تنها تعداد اندکی حمام در حفاری های کاخ های هخامنشی ، اشکانی و ساسانی کشف شده و آثاری مبنی بر وجود حمام های عمومی در قبل از اسلام به دست نیامده است . از جمله آثار مکشوفه، حمام تخت جمشید می باشد که از دو بخش داخلی و خارجی تشکیل و با پله ای از یکدیگر متمایز می شده . بخش داخلی ، محوطه کوچکی به ابعاد 75/1 × 25/2 متر است که در میانه آن ، چاه حمام با سرپوشی از آجر مشبک به ابعاد 55 × 55 سانتی متر قرار دارد . فاضلاب حمام از این دریچه وارد چاه می شده . از دوره اشکانی هم بقایای حمامی در کاخ آشور ( واقع در بین النهرین شمالی ) و از دوره ساسانی آثاری در تخت سلیمان به دست آمده است .
‏      متون تاریخی و کشفیات باستان شناسی نشان می دهد که ساخت حمام به ویژه حمام های عمومی در دوره های بعد گسترش زیادی پیدا می کند و در بسیاری از شهرها و روستاهای بزرگ ، حمامهای عمومی و پررونقی ساخته می شود. متاسفانه به جهت از بین رفتن آثار معماری سده های نخستین اسلامی ، اطلاع زیادی از نقشه و چگونگی حمام های این دوره نداریم . در جریان حفریات باستان شناسی سیراف – در حاشیه خلیج فارس – بقایای حمامی مربوط به سده های نخستین اسلامی کشف شد به ابعاد 5/11 × 17 متر که مشتمل بر رختکن ( سربینه ) ، گرمخانه ، خزینه ها ، تون ، انبار سوخت و با قلوه سنگ های بزرگ و کوچک ساخته شده بود . در شهرهای مهم دوره سلجوقی هم حمام های بزرگ عمومی و پررونقی وجود داشته که آثار آنها در طی زمان از میان رفته است . کاوش های باستان شناسی شهر کهن جرجان – واقع در استان گلستان امروزی – بقایای یکی از حمام ها را به دست داد .این بنا در کنار یکی از خیابان های اصلی شهر قرار داشته و با آجر و ملات آهک و گچ ساخته شده بود . بنای فوق دارای کانال ها و تنبوشه های سفالی برای انتقال آب و فاضلاب بوده است . در دوره ایلخانی نیز به همراه اقدامات گسترده عمرانی در شهرهایی چون تبریز ، مراغه و سلطانیه حمام هایی ساخته شد که امروزه آثاری از آنها بر جای نیست ؛ از آن جمله حمامی معروف به حمام « خان » است که در مراغه و برای هلاکوخان مغول ساخته شده بود . بقایای این حمام در دوره اخیر و به هنگام ساخت بانک ملی این شهر ، از میان رفت !
‏      دوره رونق ساخت حمام ها مربوط به عصر صفویه است. در این دوره در کنار ساخت و سازهای گسترده ، تعداد نسبتا زیادی حمام در شهرهای مختلف ایران ساخته شد که شماری از آنها در نوع خود شاهکار بود ( از جمله حمام گنجعلی خان کرمان ، حمام خسرو آقا و علی آقای اصفهان و تعدادی دیگر ) . به نوشته شاردن ، سیاح فرانسوی که مدتی را در دوره صفوی در اصفهان گذرانیده ، این شهر در آن زمان 272 حمام داشته است .
‏      بعد از دوره صفوی هرچند معماری اسلامی هرگز رونق گذشته را به دست نیاورد ، با این حال در دوره زندیه و قاجاریه ، حمام های باشکوهی ساخته شد که از بهترین آنها حمام وکیل شیراز از ساخته های کریم خان زند و حمام ابراهیم خان کرمان مربوط به دوره قاجاریه می باشد . در دوره اخیر به جهت رکود معماری سنتی و غلبه معماری مدرن ، گسترش ساخت حمام های خصوصی و نیز رعایت مسائل بهداشتی ، ساخت حمام ها به شیوه سنتی متوقف گردید .
‏بانیان چنین حمام هایی حاکمان ، اعیان و افراد خیری بودند که صرفا به قصد ثواب و نفع عموم اقدام به ساخت حمام می کرده اند ( البته حمام هایی نیز وجود داشته است که از طرف اشخاصی به عنوان حرفه و شغل ساخته می شد ) و اغلب آنها را وقف مراکز مذهبی و امور خیریه می کردند. . درآمد این گونه حمام ها ، در وهله اول صرف مزد کارگران و نگهداری حمام و در مرحله دوم براساس وقفنامه ، صرف امور خیریه می شد.
‏      یکی از حمام های بسیار قدیمی ، حمام تاریخی دزاشیب ( گرمابه بوعلی ) است . تاریخ ساخت این بنا به دوره صفویه یعنی دوره رونق ساخت حمام ها باز می گردد . سبک معماری و شیوه ساخت بنا هم مؤید این مطلب است . به دلیل قدمت زیادی که این گرمابه دارد نام بانی و مالک اولیه آن به درستی مشخص نیست . به احتمال زیاد این حمام به دست یکی از بزرگان و اشراف ساکن این محله احداث شده است . دزاشیب در آن روزگاران به دلیل داشتن آب و هوای دلپذیر و قرار گرفتن در دامنه البرز ،مورد توجه اعیان و ثروتمندان تهران قرار داشته که متاسفانه با تحولاتی که در سده اخیر ( اوائل سلطنت پهلوی دوم ) در ایران روی می دهد ، بتدریج موجب تخریب باغات و اراضی مزروعی این منطقه می شود .
‏      این حمام عمومی از گذشته تا به حال فعال و مورد استفاده اهالی منطقه دزاشیب بوده که روزهایی را مخصوص آقایان و باقی ایام هفته ویژه خانم ها بوده است . در حال حاضر به جهت تغییر شیوه زندگی مردم و پیشرفت مسائل بهداشتی ، این گرمابه قدیمی رونق چندانی ندارد .
‏      و اما دزاشیب در گذشته ، قصبه ای بوده در یک کیلومتری شرق امامزاده صالح که به جهت فراوانی باغات خرم و زمین های مزروعی مورد توجه قرار گرفته است . در دوره صفویه مهاجرت هایی به این منطقه صورت می گیرد و دو طایفه عباسی و قاسمی در این نقطه سکونت می کنند که به جهت اختلاف و درگیری دائمی بین آنها این محله که در ابتدا ( دوره صفوی ) دژ سفلی نامیده می شد ( امامزاده قاسم : دژ علیا ) ، به دژ آشوب یا همان دزاشوب ( زمان ناصرالدین شاه ) معروف می شود که به مرور زمان و در ده های اخیر به دزاشیب تغییر نام می یابد . قصبه دزاشیب در آن روزگاران به دو بخش ، بالا محله ( قسمت شمالی ) و پائین محله ( قسمت جنوبی ) تقسیم شده بود . محله بالا از شرق یخچال مجدالدوله ( آقا عبدالله صنیع حضرت ) تا گورستان آبادی را در بر می گرفت و پائین محله هم شامل دو کوچه به نام های سبزه میدان و قورباغه می شد که این دو محله را کوچه ای تنگ و باریک به هم متصل می کرد . در عصر پهلوی آن کوچه تنگ و باریک با هزینه و دستور سرتیپ رضاقلی خان امیر خسروی

 

دانلود فایل

دانلود مقاله در مورد حق و صدق 160 ص

دانلود مقاله در مورد حق و صدق 160 ص

دانلود-مقاله-در-مورد-حق-و-صدق-160-صلینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل :  word (..DOC) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 161 صفحه

 قسمتی از متن word (..DOC) : 
 

‏- 1 -
‏فصل اول
‏مقدمه و پیشینه تاریخی
‏بخش اول:
‏مقدمه و کلیات و معانی حق و صدق نزد حکمای اسلامی
‏بخش دوم:
‏پیشینه تاریخی نظریه مطابقت صدق
‏بخش سوم:
‏آیا نظریه مطابقت تعریف صدق است یا ملاک آن
‏- 2 -
‏بخش اول:
‏مقدمه و کلیات و معانی حق و صدق نزد حکمای اسلامی
‏- 3 -
‏1- مقدمه و کلیات
‏1-1 مقدمه
‏فلسفه شناخت واقعیت است که به وسیله فاعل شناسایی (ذهن) صورت می‏‌‏گیرد و در قالب عناصر زبانی (الفاظ) بیان می شود. بنابراین در پدیده شناخت سه عامل هستی، فاعل شناسایی و زبان نقش اساسی دارند.
‏اما در فلسفه معاصر بیشتر به رابطه این سه عامل مهم پرداخته اند و از مباحثی که مربوط به رابطه هستی و فاعل شناسایی هستند به معرفت شناسی‏ . Epistomology
‏ تعبیر کرده اند و از مباحث مربوط به رابطه فاعل شناسایی و زبان به معناداری‏ .Meaning
‏ و بالاخره از مباحث مربوط به رابطه هستی و زبان به صدق‏ . Truth
‏ تعبیر می کنند.
‏مباحث معرفت شناختی و معناداری و صدق هر کدام حوزه خاصی در فلسفه معاصر را به خود اختصاص می دهند اما مباحث معناداری و به تبع آن بحث اعتبار و استدلال و صدق از مهمترین مسائل فلسفه منطق به شمار می‏‌‏آیند.
‏1-2 تعریف مسأله
‏ما در این رساله به بحث اخیر یعنی مسأله صدق و بیان ماهیت و ملاک آن از دیدگاه منطق ‏دا‏نان مسلمان و حتی منطق دانان غربی می پردازیم و هر کدام را مورد نقد و بررسی قرار می دهیم.
‏نظریه هایی که در این رساله به بررسی آنها می پردازیم: عبارتند از:
‏1- نظریه مطابقت The correspondence theory of truth
‏2- نظریه هماهنگی یا (سازگاری) The coherence of truth
‏3- نظریه عمل گرایانه The pragmatic theery of truth‏
‏4- نظریه زیادتی The redundancy theory of truth
‏5- نظریه غیر توصیفی The Non-Descriptive theery of truth
‏6- نظریه سمانتیکی صدق Semantic theery of truth
‏1-3 سئوال های اصلی تحقیق
‏1- کدام یک از نظریه های صدق نزد منطق دانان و فیلسوفان مسلمان رایج بوده است.
‏2- رابطه نظریه های صدق با نظریه و‏ج‏ود ذهنی در فلسفه اسلامی چیست؟
‏3- فیلسوفان اسلامی علاوه بر بحث وجود ذهنی در چه مباحثی به نظریه‏‌‏های صدق پرداخته اند.
‏4- آیا نظریه مطابقت برای ملاک صدق کافی است؟
‏5- موضوع یا متعلق با لذات صدق و کذب در نزد منطق دانان مسلمان چه چیزی است؟
‏6- آیا تنها قضایای اخباری متعلق صدق و کذب قرار می گیرند یا اموری دیگری هم هستند که قابل ارزش گذاری هستند. اگر اموری هم به صدق و کذب متصف می شوند این اتصاف بالذات یا بالعرض؟‏
‏7- مشکلات نظریه مطابقت و دیگر نظریه های صدق کدامند؟
‏1-4- فرضیه های تحقیق
‏- 4 -
‏1- نظریه مطابقت رایج ترین نظریه نزد منطق دانان و فیلسوفان مسلمان بوده است.
‏2- نظریه مطابقت صدق به تنهایی به عنوان ملاک صدق قضایا کافی نیست.
‏3- نظریه مطابقت از مبانی نظریه وجود ذهنی در فلسفه اسلامی است.
‏4- فیلسوفان اسلامی در بحث علم و عالم و معلوم اجمالاً به این بحث پرداخته اند.
‏1-5 ‏–‏ هدف های تحقیق:
‏1- استخراج دیدگاههای منطق دانان و فیلسوفان مسلمان در مورد نظریه‏‌‏های صدق
‏2- تطبیق نظریه های صدق در منطق اسلامی و غربی
‏3- انجام یک کار پژوهشی مستقل در باب نظریه های صدق
‏1-6 روش تحقیق
‏در این رساله به دلیل تئوریک بودن آن سعی شده است پس از جمع آوری نظریات صدق به تحلیل و نقد و بررسی آنها پرداخته و دیدگاههای مختلف را تا حدودی مقایسه نماییم و در مواردی پیامدهای فلسفی ـ منطقی هر دیدگاه را بیان کنیم و لذا روش ما عمدتاً تحلیلی، تطبیقی و توصیفی است.
‏1-7 ‏–‏ سابقه تحقیق:
‏1- در مورد نظریه های صدق در فرهنگ فلسفی و منطقی ما کار مستقلی انجام نشده است.
‏2- بسیاری از کارهای انجام شده در این مسأله توسط منطق دانان غربی بوده به ویژه در کتابهای فلسفه منطق بطور مجز‏ا‏ به آن پرداخته اند.
‏3- به نظر می رسد یک کار پژوهشی مستقل جهت مقایسه نظریه های صدق در منطق اسلامی و غربی انجام نشده و لذا چنین پژوهشی از اهمیت خاصی برخوردار است.
‏معانی حق و صدق
‏1-8 معانی حق و صدق نزد حکمای اسلامی
‏کلمه حق دارای معانی گوناگون است و استعمالهای متفاوتی دارد یعنی حق به صورت اشتراک لفظی و یا به حقیقت و مجاز و یا آنچنانکه ظاهر است به اشتراک معنوی بر مصادیقی حمل می شود‏ ‏- جوادی آملی، حسین بن عبداله، رحیق مختوم (شرح حکمت متعالیه)، بخش دوم از جلد اول، ص 39
‏ بیان معانی حق در اغلب کتب فلسفی حکمای اسلامی آمده است این مضمون در کتاب الهیات شفاء، شرح اشارات نمط چهارم و همین طور کتاب مشارع و مطار‏ح‏ات شیخ اشراق چنین آمده است‏ ‏«‏و اما الحق فقد یعنی به الوجود فی الاعیان مطلقاً فحق‏یّ‏ه کل شیء نحو وجوده العینی و قد یعنی به الوجود الدائم و قد یعنی به الواجب لذاته و قد یفهم عنه حال القول و العقد من حیث مطابقتهما لما هو واقع فی الاعیان فیقال: هذا قول حق، هذا اعتقاد حق و هذا الاعتبار من مفهوم الحق هو الصادق، فهو الصادق باعتبار نسبته إلی الامر، و حق باعتبار نس‏بت‏ه الامر ال‏ی‏ه و قد اخطاء من توهم أن الحقیه عباره عن نسبه الامر فی نفسه إلی القول او العقد و الصدق نسبتهما الی الامر فی نفسه فإن التفرقه بینهما بهذا الوجه فیها تعسف و احق الاقاویل ما کان صدقه دائماً و احق من ذلک ما کان صدقه اولیاً و الاول الاقاویل الحقه الاولیه التی انکاره مبنی کل سفسطه هو القول بانه لا واسطه بین الایجاب والسلب‏»‏ ‏- شیرازی، صدرالدین، اسفار، ج 1، ص 89
‏معنای اول حق هر موجود خارجی است اعم از آنکه دائمی و یا غیر دائمی باشد. معنای دوم وجود دائمی است. حق در این معنا شامل موجودات غیر دائمی که زائل می شوند ما‏ن‏ند‏ حرارت مادی نمی شود.

 

دانلود فایل

دانلود مقاله در مورد حل معادلات عددی دیفرانسیل 225 ص

دانلود مقاله در مورد حل معادلات عددی دیفرانسیل 225 ص

دانلود-مقاله-در-مورد-حل-معادلات-عددی-دیفرانسیل-225-صلینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل :  word (..Doc) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 220 صفحه

 قسمتی از متن word (..Doc) : 
 

220
‏حل معادلات عددی دیفرانسیل
2
‏حل معادلات عددی دیفرانسیل
‏پایا ن نامه ‏کارشناسی
‏حل عددی معادلات دیفرانسیل
‏فهرست
‏مقدمه ‏–‏ معرفی معادلات دیفرانسیل 4
‏بخش اول‏ ‏–‏ حل عددی معادلات دیفرانسیل معمولی ‏ 20
‏فصل اول ‏–‏ معادلات دیفرانسیل معمولی تحت شرط اولیه 20 ‏
4
‏حل معادلات عددی دیفرانسیل
‏فصل دوم ‏–‏ معادلات دیفرانسیل معمولی تحت شرایط مرزی 66
‏فصل سوم ‏–‏ معادلات دیفرانسیل خطی 111
‏بخش دوم ‏–‏ حل عددی معادلات دیفرانسیل جزئی 125
‏فصل اول ‏–‏ حل معادلات عددی هذلولوی ‏ 128
‏فصل دوم ‏–‏ حل معادلات عددی سهموی 146
‏فصل سوم ‏–‏ حل معادلات عددی بیضوی 164
‏فصل چهارم ‏–‏ منحنی های مشخصه 184

‏مقدمه
‏معرفی معادلات دیفرانسیل
‏معادله در ریاضیات وقتی با اسم خاص و صورت خاص می آید خود به تنهایی مسأله ای را نمایش می دهد که در آن می خواهیم مجهولی را بدست آوریم.
4
‏حل معادلات عددی دیفرانسیل
‏ کاربرد معادله دیفرانسیل از نظر تاریخی با معرفی مفهوم های مشتق و انتگرال آغاز گردید. ساده ترین نوع معادله دیفرانسیل آن دسته از معادلاتی هستند که مشتق تابع جواب را داشته باشیم. که چنین محاسبه ای به ‏پاد مشق گیری و انتگرال گیری نامعین ‏موسوم است.
‏ معادلات دیفرانسیل وابستگی بین توابع و مشتق های توابع را نشان می دهد. که از لحاظ تاریخی به طور طبیعی از زمان کشف مشتق به وسیله نیوتن ولایب نیتس آغاز می شود. (قرن هفدهم میلادی). که با رشد سریع علم و صنعت در قرن بیستم روشهای عددی حل معادلات دیفرانسیل مورد توجه قرار گرفتند که توسعه و پیشرفت کامپیوتر ها در پایان قرن بیستم موجب کاربرد روش های تقریبی تعیین جواب معادلات دیفرانسیل در بسیاری از زمینه های کاربردی گردید که باعث بوجود آمدن مباحث جدید در این زمینه شد.

 

دانلود فایل

دانلود مقاله در مورد حل معادلات عددی دیفرانسیل

دانلود مقاله در مورد حل معادلات عددی دیفرانسیل

دانلود-مقاله-در-مورد-حل-معادلات-عددی-دیفرانسیللینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل :  word (..Doc) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 219 صفحه

 قسمتی از متن word (..Doc) : 
 

219
‏حل معادلات عددی دیفرانسیل
2
‏حل معادلات عددی دیفرانسیل
‏پایا ن نامه ‏کارشناسی
‏حل عددی معادلات دیفرانسیل
‏فهرست
‏مقدمه ‏–‏ معرفی معادلات دیفرانسیل 4
‏بخش اول‏ ‏–‏ حل عددی معادلات دیفرانسیل معمولی ‏ 20
‏فصل اول ‏–‏ معادلات دیفرانسیل معمولی تحت شرط اولیه 20
‏فصل دوم ‏–‏ معادلات دیفرانسیل معمولی تحت شرایط مرزی 66
4
‏حل معادلات عددی دیفرانسیل
‏فصل سوم ‏–‏ معادلات دیفرانسیل خطی 111
‏بخش دوم ‏–‏ حل عددی معادلات دیفرانسیل جزئی 125
‏فصل اول ‏–‏ حل معادلات عددی هذلولوی ‏ 128
‏فصل دوم ‏–‏ حل معادلات عددی سهموی 146
‏فصل سوم ‏–‏ حل معادلات عددی بیضوی 164
‏فصل چهارم ‏–‏ منحنی های مشخصه 184

‏مقدمه
‏معرفی معادلات دیفرانسیل
‏معادله در ریاضیات وقتی با اسم خاص و صورت خاص می آید خود به تنهایی مسأله ای را نمایش می دهد که در آن می خواهیم مجهولی را بدست آوریم.
‏ کاربرد معادله دیفرانسیل از نظر تاریخی با معرفی مفهوم های مشتق و انتگرال آغاز گردید. ساده ترین نوع معادله دیفرانسیل آن دسته از معادلاتی هستند که مشتق تابع جواب را داشته باشیم. که چنین محاسبه ای به
4
‏حل معادلات عددی دیفرانسیل
‏پاد مشق گیری و انتگرال گیری نامعین ‏موسوم است.
‏ معادلات دیفرانسیل وابستگی بین توابع و مشتق های توابع را نشان می دهد. که از لحاظ تاریخی به طور طبیعی از زمان کشف مشتق به وسیله نیوتن ولایب نیتس آغاز می شود. (قرن هفدهم میلادی). که با رشد سریع علم و صنعت در قرن بیستم روشهای عددی حل معادلات دیفرانسیل مورد توجه قرار گرفتند که توسعه و پیشرفت کامپیوتر ها در پایان قرن بیستم موجب کاربرد روش های تقریبی تعیین جواب معادلات دیفرانسیل در بسیاری از زمینه های کاربردی گردید که باعث بوجود آمدن مباحث جدید در این زمینه شد.
‏نمادها و مفاهیم اساسی
‏اگر تابعی از متغیر حقیقی باشد و ضابطه آن و متغیر تابع یا مقدار تابع باشد، آنگاه مشتق با یکی از نمادهای نمایش داده می شود. همچنین مشتق دوم، سوم،... و ام آن نیز به ترتیب با نمادهای

 

دانلود فایل