تحقیق درمورد منطق محاسباتی 34 ص

اختصاصی از هایدی تحقیق درمورد منطق محاسباتی 34 ص دانلود با لینک مستقیم و پر سرعت .

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 39

منطق محاسباتی

خلاصه

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

1- مقدمه

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

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

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

2. پایه‌ی منطق محاسباتی

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

چرچ در 1936 ثابت کرد که منطق مرتبه اول برای زبانی که فقط یک نماد رابطه‌ای دو موضعی داشته باشد تصمیم ناپذیر است. بنا بر قضیه چرچ روشی متناهی برای پاسخ به این سوال که آیا جمله A در منطق مرتبه اول معتبر است، به صورت "آری" یا "نه" نداریم، اما نیمه ای از پاسخ را میتوان مهیا کرد. به عبارت بهتر روشی متناهی وجود دارد که اگر A معتبر باشد، پاسخ روش "آری" است. به عبارت دیگر مجموعه جملات معتبر در منطق مرتبه اول لیست پذیر هستند. از طرف دیگر با توجه به قضیه تمامیت (در صورتی که در مورد دستگاه استنتاجی ما درست باشد) با استفاده از فرضها و اصول استنتاج میتوان جملات درست را لیست کرد. این قسمت در حقیقت قلب تپنده‌ی منطق محاسباتی است. در صورت پیدا شدن روشهای جدید و سریعتر برای چک کردن درستی یک جمله تحت چند فرض، شاهد تحول

پاورپوینت درباره مقدمه ای بر دینامیک سیالات محاسباتی

اختصاصی از هایدی پاورپوینت درباره مقدمه ای بر دینامیک سیالات محاسباتی دانلود با لینک مستقیم و پر سرعت .

فرمت فایل : power point  (لینک دانلود پایین صفحه) تعداد اسلایدها 24 اسلاید

فهرست :

¢ مقدمه ای بر دینامیک سیالات محاسباتی

¢ دسته بندی معادلات دیفرانسیل جزئی

¢ فرمولبندی تفاضل محدود

¢ معادلات دیفرانسیل جزئی سهموی

¢ تحلیل پایداری

¢ معادلات بیضوی

¢ معادلات هذلولوی

¢ معادلات نیویر استوکس

¢ معرفی نرم افزار گمبیت (Gambit) (نرم افزار کمکی به منظور ساختن مدل)

¢ نرم افزار فلوئنت (Fluent)

 

 

 

 

مقدمه :

¢ CFD (دینامیک  سیالات محاسباتی) شاخه ای از دینامیک سیالات است.

üجریان سیال عموماً به یکی از سه روش زیر مطالعه می شود.

üآزمایشگاهی

üتئوری و تحلیلی

üعددی: دینامیک سیالات محاسباتی

¢ دینامیک سیالات محاسباتی علمی است برای پیشگویی جریان سیال، انتقال حرارت، انتقال جرم، واکنش های شیمیایی و پدیده های وابسته با حل معادلات ریاضی حاکم بر این فرایندها به روش عددی

¢ نتایج تحلیل CFD در موارد متعدد استفاده می شود.

ü طراحی جدید

ü توسعه جزئیات

ü طراحی مجدد

پروژه مقایسه سیستم های محاسباتی خوشه ای و محاسبات توزیع شده. doc

اختصاصی از هایدی پروژه مقایسه سیستم های محاسباتی خوشه ای و محاسبات توزیع شده. doc دانلود با لینک مستقیم و پر سرعت .

نوع فایل: word

قابل ویرایش 50 صفحه

چکیده:

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

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

مقدمه:

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

یک MMP معمولاً یک سیستم پردازش موازی بزرگ با یک معماری Shared-Nothing می باشد و به طور نمونه از صدها عنصر پردازشی (گره ها) تشکیل شده است که از طریق اتصالات داخلی پر سرعت شبکه و سوئیچ به یکدیگر اتصال داده شده است. هر گره می تواند اجزای سخت افزاری مختلفی داشته باشد ولی به طور کلی از یک حافظه اصلی و یک یا چند پردازنده تشکیل شده است. همچنین گره های ویژه ای می توانند دستگاه های جانبی مختلفی از قبیل دیسکها و سیستم پشتیبان متصل داشته باشند. هر گره یک کپی جداگانه از سیستم عامل را اجرا می کند.

امروزه سیستم های چند پردازنده متقارن SMP ، 2 تا 64 پردازنده دارند و می توان آنها را به صورت معماری Shared-everything در نظر گرفت. در این نوع سیستم ها، تمام پردازنده ها تمامی منابع موجود سراسری را (گذرگاه، حافظه و سیستم ورودی/خروجی) به اشتراک می گذارند.  یک کپی منفرد از سیستم عامل بر روی این سیستم ها اجرا می شود و هسته سیستم عامل می تواند روی هر پردازنده ای اجرا شود. سیستم عامل چند پردازنده متقارن، پردازنده ها و دیگر منابع کامپیوتر را به گونه ای مدیریت می کند که کاربر می تواند آنها را مثل یک سیستم تک پردازنده چند برنامه ای ببیند. در این سیستم ها، پردازنده ها از طریق حافظه می توانند با یکدیگر ارتباط برقرار کنند.

فهرست مطالب:

چکیده

فصل اول

1- مقدمه ای بر کامپیوترهای موازی

1-1- چند پردازنده های متقارن (SMP)

2-1- دسترسی حافظه غیر یکنواخت (CC-NUMA)

3-1- سیستم های توزیع شده

1-3-1- سیستم های توزیع شده در مقابل سیستم های متمرکز

4-1- خوشه ها

فصل دوم

2- محاسبه خوشه ای (Cluster Computing)

1-2- کامپیوتر خوشه ای و معماری آن

2-2- مزایای خوشه ها

3-2- میان افزار خوشه

1-3-2- لایه های میان افزار

2-3-2- اهداف طراحی میان افزار

4-2- تصویر سیستم  منفرد SSI

1-4-2- لایه ها و سطوح تصویر سیستم واحد

2-4-2-میان افزار سیستم مدیریت منابعRMS

3-4-2- سرویس های کلیدی خوشه ها

5-2- طبقه بندی خوشه ها

فصل سوم

2- مدل های محاسبه موازی

فصل چهارم

4- محاسبه توزیع شده (Distributed Computing)

1-4- مدل های محاسبه توزیع شده

1-1-4- مدل Client/Server

2-1-4- مدل فراخوانی رویه های راه دور (RPC)

-2-1-4- مراحل فراخوانی رویه راه دور

3-1-4- روش اشتراک داده ها

4-1-4- مدل شیء توزیع شده

2-4- مزایای سیستم های محاسبه توزیع شده

1-2-4- Transparency

فصل پنجم

مقایسه Cluster Computing و Distributed Computing

فهرست اشکال:

شکل 1-1 : سازمان چند پردازنده متقارن

شکل 1-2 –  مقایسه قدرت پردازشی خوشه ها با سوپر کامپیوتر ها

شکل2-2  : معماری کامپیوتر خوشه ای

شکل 3-2-  گره های موجود در کامپیوتر خوشه ای

شکل 4-2– طرح ساده سیستم عامل کلی برای نمونه گره ای از خوشه

شکل5-2–  معماری RMS

شکل 6-2- نمونه ای از سیستم محاسبه خوشه ای اختصاصی

شکل 7-2- نمونه ای از سیستم محاسبه خوشه ای غیر اختصاصی

شکل 1-3–  جایگاه میان افزار در گره های سیستم توزیع شده

شکل 2-3- مدل مشتری/خدمتگذار

شکل 3-3–  سرور پرینت خود به عنوان مشتری برای سرور فایل عمل می کند.

شکل 4-3-  دو سرور بر روی یک گره اجرا می شوند.

شکل 5-3– مراحل محاسبه راه دور در RPC

شکل 6-3 –  تبادل پیام در RPC

شکل 7-3–  مدل شئ توزیع شده

فهرست جداول:

جدول 1-1- خصوصیات کلیدی کامپیوتر های موازی قابل افزودنی

جدول 1-2– نمونه هایی از میان افزارهای RMS

پیشنویس آزمایش نفوذ آب در بتن

اختصاصی از هایدی پیشنویس آزمایش نفوذ آب در بتن دانلود با لینک مستقیم و پر سرعت .

پیش نویس آزمایش نفوذ آب در بتن مطابق استاندارد

CRD-C48

BS EN 12390-8

نفوذ آب در بتن سخت شده

و نفوذ آب در بتن

دانلود پاورپوینت هندسه ی محاسباتی - 59 اسلاید

اختصاصی از هایدی دانلود پاورپوینت هندسه ی محاسباتی - 59 اسلاید دانلود با لینک مستقیم و پر سرعت .

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

برای دانلود کل پاپورپوینت از لینک زیر استفاده کنید: