عنوان مقاله :بررسی عملکرد روش های محاسباتی نرم در برآورد عمق آبشستگی پایین دست سرریز منتهی به پرتاب کننده جامی شکل
محل انتشار: دهمین کنگره بین المللی مهندسی عمران تبریز
تعداد صفحات:8
نوع فایل : pdf
شیمی محاسباتی شاخه‌ای از دانش شیمی است که از روشهای ریاضی و محاسباتی برای حل مسائل شیمی استفاده میکند. هدف اصلی در این رشته بدست آوردن ساختار، خواص و واکنش پذیری ترکیبات شیمیایی با استفاده از روشهای نظری و بدون انجام آزمایش است. (هرچند در برخی از روش‌ها از نتایج آزمایش‌های تجربی استفاده میشود). اغلب محاسبات در این رشته پیچیده و سنگین هستند و انجام آنها بدون کمک رایانه امکان‌پذیر نیست. از این رشته به‌گستردگی در تمامی شاخه‌های شیمی، بیو شیمی و داروسازی استفاده میشود.
روشهای محاسباتی تاکنون روشهای محاسباتی بسیاری برای حل مسائل شیمی ابداع شده است. این روش‌ها از قوانین مکانیک کوانتوم، مکانیک کلاسیک و یا ترکیبی از آنها برای حل مسائل استفاده میکنند. انتخاب روش مناسب برای انجام محاسبات به نوع و بزرگی ساختار مورد مطالعه و همچنین نوع اطلاعاتی که مورد نیاز است بستگی دارد. اغلب این روش‌ها را میتوان به صورت زیر طبقه‌بندی کرد:
روشهای شیمی محاسباتی
روشهای مکانیک مولکولی
روشهای ساختار الکترونی
روشهای نیمه تجربی
روشهای از آغاز
روشهای نظریه تابع تابع
روشهای شبیه‌سازی دینامیک مولکولی
شبیه‌سازی دینامیک مولکولی کلاسیک
شبیه‌سازی دینامیک مولکولی کوانتومی
روش بورن اپنهایمر
روش کار-پارینلو
برای مشاهده توضیحات بیشتر و مشاهده راهنمای نرم افزار به لینک زیر مراجعه کنید:
www.aim2000.de
لینک پرداخت و دانلود *پایین مطلب*
فرمت فایل:Word (قابل ویرایش و آماده پرینت)
تعداد صفحه:37
فهرست مطالب
علوم محاسباتی و علم نانو
نانولوله های کربنی؛ خواص و کاربرد
نانوسیم ها و درمان سرطان پروستات
نقش نانوفناوری در توسعه صنعت مغناطیس
کاربردهای نانو در پزشکی
بیوفیزیک
یکی از کاربردی ترین و مولدترین زمینه ها در علوم محاسباتی، کاربرد آن در شاخه های علوم مولکولی و نانوفناوری است. این زمینه ها در کنار هم و در کنار علومی چون بیولوژی مولکولی ، ژنتیک مولکولی، فناوری اطلاعات و علوم شناختی ارکان انقلاب صنعتی-علمی را تشکیل می دهند. اشتراک بین این 4 رکن در آینده نزدیک ،به خلق فناوری همگرای فوق العاده ای منجر می شود که بوجود آمدن سیستم ها و ابزار و مواد هوشمندی را نوید می دهد؛ که ازپایین به بالا، اتم به اتم و مولکول به مولکول چیده شده و این در بر دارنده تمام کاراکترها، عملکردها و مکانیزم های پیچیده در سیستم های هوشمند زنده مانند حافظه، تعمیر خود به خود، تکثیربرنامه ریزی شده بی نقص، خود چیدمانی و خود سازماندهی می‌باشد.
همگرایی در مقیاس نانو رخ می دهد؛ جایی بنیادین که در آنجا بلوک های ساختمانی پایه، اعم از فیزیکی، بیلوژیکی و مواد هوشمند در کنار هم قرار می گیرند. نانوساختارها (یعنی اندازه ای بین 1 تا 100 نانومتر) چیده می شوند و قوانین میکروسکوپی چیدمان، ساختار قرارگیری زیر لایه ها را کنترل می کنند. در نهایت علوم محاسباتی و فناوری نانو با هم دانشی عالی را برای دستکاری و اصلاح ساختاری مواد در سطوح اتمی و هسته ای، بوجود آورده و چگونگی امکان کنترل کامل روی شکل گیری، عملکرد و خواص آنها را به عنوان مواد جدید هوشمند در اختیار ما می گذارند. باکمک علوم نانو محاسبات اکنون می توانیم روی یک تک اتم در یک سیستم پیچیده مولکولی سوار شده و به بررسی تعاملات ذرات آن بپردازیم، نظربه اینکه این سیستم نانومتری می تواند جامد، سیال، گاز، یک پروتئین DNA و یا یک ویروس باشد که در فاز خود از یک میکرو حالت به میکرو حالتی دیگر سویچ کرده و نتایج محاسباتی معنی داری را برای خواص قابل مشاهده بدست دهد.
مثال این آزمایش مفید در تصاویر زیر آمده؛ جایی که توزیع یک شکافت دینامیک در یک لایه اتمی به تصویر کشیده شده است.
رنگ ها نشان دهنده فشار در تراز مولکولی هستند بدین ترتیب که رنگ آبی کمترین و رنگ قرمز بیشترین فشار را نشان می دهد. موتورهای پروتئینی برائونی که از انواع آن می توان کینسین ها و میوسین ها(انتقال دهنده های غذا به داخل سلول های بدن) را نام برد و موتور چرخنده ATPase که برای سلول ها تولید سوخت ATP می کند ،جزسیستم هایی هستند که در چندین بخش دچار تغییر شده اند و بر اساس دینامیک لانژوین بهترین مثال برای کاربرد مدل سازی محاسباتی در سیستم های نانو بیولوژیکی هستند.
شبیه سازی در مقیاس های بزرگ در بخش نانو هم اکنون در کشورهای آمریکا، ژاپن و اروپا در حال انجام است. علاوه بر شبیه سازی مبتنی بر دینامیک کلاسیک، ما اکنون شاهد وقوع انفجاری در کاربردهای کوآنتم مکانیکی بر پایه روش های شبیه سازی برای طراحی مواد جدید وسیستم های کوچک که شامل چدین تن اتم می باشند هستیم. وقتی شبیه سازی انجام می شود داده های خروجی به سادگی به چشم می آیند و دیدی عمیق را نسبت به عمل شبیه سازی در اختیار محققان قرار می دهند. به عنوان یک نتیجه ابزار بصری در حال ورود به انقلابی در کاربردهای خود می باشند. دید خوب نسبت به نتایج، به ما امکان تصحیح فیزیک پایه را بوسیله دستیابی سریع به تغییر شکل های تحمل شده توسط سیستم می دهد.
در سطوح بین المللی علوم محاسباتی افق های جدیدی را برای کشورهای در حال توسعه بوسیله منابع و تعدیل مصارف روشن کرده است تا بتوانند در سطح جهانی نقش آفرین باشند. در ایران انستیتو تحقیقات علوم پایه (IPM) که در سال 1989 تاسیس شد، موسسه پیشگام در این زمینه بوده و در چندین شاخه از علوم پایه مانند فیزیک پلاسما، علوم نانو، پردازش تصویر، ریاضیات محاسباتی و مدل سازی پدیده ها در فیزیک ذرات با استفاده از داده های CERN فعالیت می کند. ما اکنون از این شادمان هستیم که می بینیم علوم محاسباتی در ایران با استقبال از سوی مراکز علمی همچون دانشگاه ها روبرو شده و در حال تبدیل به شاخه ای مستقل است.
لینک پرداخت و دانلود *پایین صفحه*
فرمت فایل : Word(قابل ویرایش و آماده پرینت)
تعداد صفحه : 39
فهرست مطالب:
خلاصه
مقدمه
پایه‌های منطق محاسباتی
پایه‌ی ریاضی
کاربردهای منطق محاسباتی
STRIPS
آینده منطق محاسباتی
مراجع
خلاصه
این مقاله به بررسی جنبه‌های مختلف و رو به رشد منطق محاسباتی میپردازد. تکنیکها و کاربردهای فعلی آن را مطالعه میکند و در نهایت به یک نتیجه‌گیری و ارایه پیشنهادهایی در مورد منطق محاسباتی میپردازد.
1- مقدمه
منطق محاسباتی[1] بخشی از منطق است که به بررسی راهکارهای محتلف بررسی درستی احکام در دستگاه‌های مختلف منطقی میپردازد. این رشته به طور عمیقی با علوم کامپیوتر پیوند یافته است و به صورت کلی رشد واقعی آن از وقتی شروع شد که توان محاسباتی کامپیوترها پیشرفت کرد و انجام محاسبات پیچیده بوسیله کامپیوترها با هزینه کم امکان پذیر شد. منطق محاسباتی به صورت کلی به منطق از دید محاسباتی آن مینگرد. این که در یک دستگاه منطقی انجام یک محاسبه (به طور مثال چک کردن درستی یک گزاره) امکان پذیر هست یا نه و اگر امکان پذیر است این کار چه هزینه ای دارد. از آنجا که حقایق علمی ما با منطق پیوند عمیقی دارند، برای بررسی این حقایق استفاده از زبان منطقی، یکی از بهترین راه های ممکن است.
امروزه بشر علاقه زیادی دارد که تمام کارها از جمله فکر کردن را به ماشین واگذار کند. اما واگذار کردن فکر کردن به یک ماشین کار ساده ای نیست. ما دید عمیقی درباره اینکه فکر کردن چیست و چگونه انجام میشود نداریم. ازینرو تلاشهای اولیه برای این کار با شکست مواجه شدند یا با سختی زیادی همراه بودند. اما اگر بخواهیم تنها قسمت منطقی فکر کردن را به ماشین واگذار کنیم کار ساده تر است چون برای این کار از منطق ریاضی استفاده میکنیم و منطق یک زیر شاخه قوی از ریاضی است که به سوالات زیادی در مورد آن جواب داده شده است. گرچه ما هنوز واقعا نمیدانیم که چه مقدار از روند تفکر ما منطقی است. به این مطلب در قسمت نتیجه گیری بیشتر خواهیم پرداخت.
امروزه منطق محاسباتی کاربرد گسترده ای در تکنولوژی پیدا کرده است. بدین ترتیب حجم کارهای انجام شده بر روی آن در حال افزایش است. این کارها نه تنها در زمینه ریاضی بلکه بر روی دیگر ابعاد مربوط به این قضیه نیز انجام میشود. عموما این کارها به سه دسته تقسیم میشوند. دسته اول کارهای مرتبط با پایه ریاضی منطق محاسباتی هستند. دسته دوم کارهای مرتبط با تکنیکهای هوش مصنوعی جهت ارتقای کارایی روشهای ریاضی ابداع شده و دسته سوم کارهای انجام شده جهت استفاده از منطق محاسباتی در مسایل واقعی مهندسی.
تمام موارد مرتبط با منطق محاسباتی احتیاج به پایه‌ای برای بنا کردن ساختارهایی معنا دار برای توصیف داده های مربوطه دارند. باید بتوانیم درباره درستی یک گزاره با توجه به دیگر گزاره ها اظهار نظر کنیم. بدین منظور میتوان از مراتب مختلف منطق استفاده کرد. سیستمهای بسیار ساده معمولا از منطق مرتبه صفر برای توصیف جهان خود استفاده میکنند. اما اکثر سیستمهای پیشنهادی از منطق مرتبه اول برای توصیف جهان خود استفاده میکنند. بعضی سیستمها هم از مراتب بالاتر منطق برای اهداف خود استفاده میکنند. هنوز نمیدانیم که ذهن انسان تحت چه مرتبه‌ای از منطق کار میکند، و حتی به درستی نمیدانیم آیا تمام جنبه های تفکر در ذهن انسان از اصول منطق تبعیت میکنند یا نه. به هر حال علم منطق روشی سمبولیک برای مدل کردن جهان در اختیار ما قرار میدهد.
چرچ در 1936 ثابت کرد که منطق مرتبه اول برای زبانی که فقط یک نماد رابطه‌ای دو موضعی داشته باشد تصمیم ناپذیر است. بنا بر قضیه چرچ روشی متناهی برای پاسخ به این سوال که آیا جمله A در منطق مرتبه اول معتبر است، به صورت "آری" یا "نه" نداریم، اما نیمه ای از پاسخ را میتوان مهیا کرد. به عبارت بهتر روشی متناهی وجود دارد که اگر A معتبر باشد، پاسخ روش "آری" است. به عبارت دیگر مجموعه جملات معتبر در منطق مرتبه اول لیست پذیر هستند. از طرف دیگر با توجه به قضیه تمامیت (در صورتی که در مورد دستگاه استنتاجی ما درست باشد) با استفاده از فرضها و اصول استنتاج میتوان جملات درست را لیست کرد. این قسمت در حقیقت قلب تپنده‌ی منطق محاسباتی است. در صورت پیدا شدن روشهای جدید و سریعتر برای چک کردن درستی یک جمله تحت چند فرض، شاهد تحول بزرگی در دیگر شاخه های مرتبط با این موضوع خواهیم بود.
فرمت ورد قابل ویرایش
تعداد صفحات: 18
شامل:
مقدمه
بیان مسئله
پیشینه تحقیق
اهداف تحقیق
سوالات تحقیق
فرضیات تحقیق
روش تحقیق
منابع