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

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

کتاب جامع دینامیک سیالات محاسباتی (Computational Fluid Dynamics)

                کتاب جامع دینامیک سیالات محاسباتی (Computational Fluid Dynamics)، به نظر نویسنده (Hoffmann) این مجموعه (شامل 3 جلد کتاب)، بهترین کتاب ممکن برای یادگیری خودآموز CFD توسط مهندسان و دانشجویان می باشد. با توجه به آن که در این مجموعه تمامی مبحث به صورت مفصل و به کمک مبانی اولیه ریاضی و همچنین مثال های مختلف آموزش داده شده، لذا بهترین گزینه برای یادگیری بدون استفاده از کلاس می باشد. در اینجا هر 3 جلد از این مجموعه کتاب های ارزشمند جهت دانلود کارب ...

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

حل تمرین کتاب ابعاد فیزیکی و محاسباتی انتقال حرارتی همرفتی کبکی نویسندگان: Cebeci و Bradshaw فایل PDF به زبان انگلیسی و در 119 صفحه است. فایل PDF به صورت اسکن شده و با کیفیت مناسب است.     ...

نقشه های کامل (معماری-سازه-برق-مکانیک)اتوکد + فایلهای کامپیوتری محاسباتی سالن آمفی تئاتر

نقشه های کامل (معماری-سازه-برق-مکانیک)اتوکد + فایلهای کامپیوتری محاسباتی سالن آمفی تئاتر شامل ... 1- نقشه کامل اتوکد معماری - 29صفحه  A1        - پلان چیدمان - پلان اندازه گذاری - پلان کفسازی - پلان  تیپ بندی درب و پنجره- پلان سقف و دیوار کاذب- نماها و برشها- جزئیات دربها و پنجره ها- جزئیات کفسازی - جزئیات دیوارها و  حجم سازه 2-نقشه کامل  اتوکد سازه بتنی  - 35 صفحه  A1  3- نقشه های اتوکد سقف Space Frame  به اضافه لیست م ...

مقایسه انواع سیستمهای محاسباتی و بررسی انواع سیستمهای توزیع شده گرید

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

دانلود مقاله ISI عملکرد محاسباتی از هیدرودینامیک ذرات هموار شبیه سازی برای حافظه اشتراکی محاسبات موازی

موضوع فارسی :عملکرد محاسباتی از هیدرودینامیک ذرات هموارشبیه سازی برای حافظه اشتراکی محاسبات موازی موضوع انگلیسی :Computational performance of a smoothed particle hydrodynamicssimulation for shared-memory parallel computing تعداد صفحه :15 فرمت فایل :PDF سال انتشار :2015 زبان مقاله : انگلیسی   عملکرد محاسباتی یک ذره هیدرودینامیک (SPH) شبیه سازی هموار بررسی شده استبرای سه نوع از حافظه مشترک دستگاه های کامپیوتر موازی کنونی: بسیاری از هسته یکپارچه (MIC)پردازنده، واحد پردازش گرافیکی (GPU)، و پردا ...

دانلود مقاله ISI روش محاسباتی چهار پایه برای اجرای یک کوانتوم کامپیوتر با استفاده از دستگاه های سیلیکون: مدار و شبیه سازی

موضوع فارسی :روش محاسباتی چهار پایه برای اجرای یک کوانتومکامپیوتر با استفاده از دستگاه های سیلیکون: مدار و شبیه سازی موضوع انگلیسی :A four base computational method for the implementation of a quantumcomputer using silicon devices: Circuit and simulation تعداد صفحه :6 فرمت فایل :PDF سال انتشار :2010 زبان مقاله : انگلیسی   در این مقاله یک روش برای یک معماری کامپیوتر کوانتومی با استفاده از نشان داده شده استسطوح انرژی گسسته از یک نیمه هادی ناخالصی آلاییده به نمایندگی از کوانتومیاساس محاسباتی. ...

دانلود کتاب مقدمه ای بر شیمی محاسباتی (Frank Jensen) (Introduction to Computational Chemistry)

  این مجموعه به صورت pdf و دارای 620 صفحه می باشد. شیمی محاسباتی شاخه‌ای از دانش شیمی است که از روش‌های ریاضی و محاسباتی برای حل مسائل شیمی استفاده می‌کند. هدف اصلی در این رشته بدست آوردن ساختار، خواص و واکنش پذیری ترکیبات شیمیایی با استفاده از روش‌های نظری و بدون انجام آزمایش است. (هرچند در برخی از روش‌ها از نتایج آزمایش‌های تجربی استفاده می‌شود). اغلب محاسبات در این رشته پیچیده و سنگین هستند و انجام آنها بدون کمک رایانه امکان‌پذیر نیست. از این ر ...

حل تمرین اصول بنیانی و مبانی محاسباتی در مهندسی شیمی (ویرایش هفتم)

 Solution Manual Basic Principles and Calculations in Chemical Engineering (7th Edition)David M. Himmelblau, James B. Riggs   ...

حل تمرین دوم فصل ششم کتاب دینامیک سیالات محاسباتی هافمن با matlab

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