فایل هلپ

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

فایل هلپ

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

تحقیق در مورد علوم محاسباتی و علم نانو 38 ص

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

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

دسته بندی : وورد

نوع فایل :  .doc ( قابل ویرایش و آماده پرینت )

تعداد صفحه : 38 صفحه


 قسمتی از متن .doc : 

 

علوم محاسباتی و علم نانو

قسمت دوم

 

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

 همگرایی در مقیاس نانو رخ می دهد؛ جایی بنیادین که در آنجا بلوک های ساختمانی پایه، اعم از فیزیکی، بیلوژیکی و مواد هوشمند در کنار هم قرار می گیرند. نانوساختارها (یعنی اندازه ای بین 1 تا 100 نانومتر) چیده می شوند و قوانین میکروسکوپی چیدمان، ساختار قرارگیری زیر لایه ها را کنترل می کنند. در نهایت علوم محاسباتی و فناوری نانو با هم دانشی عالی را برای دستکاری و اصلاح ساختاری مواد در سطوح اتمی و هسته ای، بوجود آورده و چگونگی امکان کنترل کامل روی شکل گیری، عملکرد و خواص آنها را به عنوان مواد جدید هوشمند در اختیار ما می گذارند.  باکمک علوم نانو محاسبات اکنون می توانیم روی یک تک اتم در یک سیستم پیچیده مولکولی سوار شده  و به بررسی تعاملات ذرات آن بپردازیم، نظربه اینکه این سیستم نانومتری می تواند جامد، سیال، گاز، یک پروتئین DNA و یا یک ویروس باشد که در فاز خود از یک میکرو حالت به میکرو حالتی دیگر سویچ کرده و نتایج محاسباتی معنی داری را برای خواص قابل مشاهده بدست دهد.

مثال این آزمایش مفید در تصاویر زیر آمده؛ جایی که توزیع یک شکافت دینامیک در یک لایه اتمی به تصویر کشیده شده است.

رنگ ها نشان دهنده فشار در تراز مولکولی هستند بدین ترتیب که رنگ آبی کمترین و رنگ قرمز بیشترین فشار را نشان می دهد. موتورهای پروتئینی برائونی که از انواع آن می توان کینسین ها و میوسین ها(انتقال دهنده های غذا به داخل سلول های بدن) را نام برد و موتور چرخنده ATPase که برای سلول ها تولید سوخت ATP می کند ،جزسیستم هایی هستند که در چندین بخش دچار تغییر شده اند و بر اساس دینامیک لانژوین بهترین مثال برای کاربرد مدل سازی محاسباتی در سیستم های نانو بیولوژیکی هستند.

 

 

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

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

 

 

جلبک ها درخدمت نانوگیاه پزشکی

جلبک ها با قدمتی بالغ بر 40 میلیون سال در مقایسه با دیگر رستنی ها توانسته اند مقام نخست را از نظر تولید انرژی و همچنین مواد تجدیدشونده بویژه در دنیای نانو، کسب کنند.

 

نانولوله های کربنی؛ خواص و کاربرد

مواد ساخته شده از نانو لوله های کربنی می توانند به طور ریشه ای و پایه ای و به طرز اساسی جرم ساختاری را کاهش دهند, وسایل الکتریکی مورد استفاده را ریزتر و کوچکتر بسازند و مصرف انرژی را نیز کم کنند.

 

نانوسرامیک قسمت اول

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


دانلود با لینک مستقیم


تحقیق در مورد علوم محاسباتی و علم نانو 38 ص

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

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

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


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

لینک پرداخت و دانلود در "پایین مطلب"

 فرمت فایل: word (قابل ویرایش و آماده پرینت)

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

خلاصه

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

 

1- مقدمه

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

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

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

 

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

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

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

 

تحقیقات در بخش پایه‌ی منطق محاسباتی به طور گسترده‌ای بر دیگر بخشهای این علم تاثیر دارند. این تحقیقات عموما به دو بخش تقسیم میشوند:

  • تحقیقات در زمینه‌های روشهای استنتاج از قبیل Resolution و ...
  • تحقیقات در زمینه‌ی پیدا کردن پایه[2] های مناسب ریاضی برای انجام به صرفه‌ی (از نظر زمانی و حافظه) محاسبات مربوط به منطق محاسباتی.

 

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

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

قسمت دیگری که مورد توجه است، یکی سازی[3] است. به طور مثال دو جمله $x:f(x) و $y:f(y) را در نظر بگیرید. واضح است که درستی این دو جمله یکسان است. به طور کلی هر جمله را به طریقه های ظاهرا متفاوت بسیار زیادی میتوان نوشت که همگی یک معنای واحد داشته باشند. (در همین مثال به جای x از تمام متغیرها میتوان استفاده کرد. به صورت معمولی لااقل ­0N متغیر داریم.) بدین منظور تحقیقات زیادی بر روی روشهای کارا برای یکی سازی جملات منطقی انجام شده است.


[1] Computational Logic                                                                                                                                                      

[2] Basis

[3] Unification


دانلود با لینک مستقیم


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

تحقیق درباره گریدهای محاسباتی 24 ص

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

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

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

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

 

زمانبندی

در گریدهای محاسباتی

زیر نظر استاد گرامی

جناب آقای مهندس زینلی

تهیه کننده

شبنم بدری فریمان

بهار87

تقدیم به

پدر و مادرم

با تشکر از استاد ارجمندم

جناب آقای مهندس زینلی

فهرست مطالب

عنوان صفحه

چکیده................................... 5

مقدمه.................................. 8

طبقه بندی زمانبندهای پیشین............. 11

مروری بر زمانبندهای سیستم های.......... 18

توزیع شده وگرید

فهرست شکلها

عنوان صفحه

مراحل کلی اجرای یک کار داده.............. 12

موازی در یک سیستم گرید

طبقه بندی زمانبندهای گرید................ 17

توابع هدف................................ 17


دانلود با لینک مستقیم


تحقیق درباره گریدهای محاسباتی 24 ص

مقاله درباره مدلهای محاسباتی عصبی از تأثیرات جانبی ناحیة آسیب دیده مغز روی نواحی دورتر از منطقه آسیب دیده

اختصاصی از فایل هلپ مقاله درباره مدلهای محاسباتی عصبی از تأثیرات جانبی ناحیة آسیب دیده مغز روی نواحی دورتر از منطقه آسیب دیده دانلود با لینک مستقیم و پر سرعت .

مقاله درباره مدلهای محاسباتی عصبی از تأثیرات جانبی ناحیة آسیب دیده مغز روی نواحی دورتر از منطقه آسیب دیده


مقاله درباره مدلهای محاسباتی عصبی از تأثیرات جانبی ناحیة آسیب دیده مغز روی نواحی دورتر از منطقه آسیب دیده

لینک پرداخت و دانلود در "پایین مطلب"

 فرمت فایل: word (قابل ویرایش و آماده پرینت)

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

اختلال ناگهانی در منطقه ای از مغز، مثلاً در اثر سکته های مغزی، باعث نقصهای عصبی مستقیماً مطابق با منطقة آسیب دیده می شود و آسیب درست از این منطقه شروع میشود. به علاوه دیگر نقصهای بالینی که به عنوان نقصها یا تأثیرات دوم یا Secondarg remote نامیده می شوند. وی قسمتهای بی عیب باقیمانده از مغز تأثیر خود را می گذراند. (برای مثال به علت قطع شدن ارتباط آنها با ناحیه آسیب دیده) این پدیده به عنوان diashisis نامیده شده است. diashisis (نقص  الکتریکی و functional که بعلت آسیب در قشر مغز آغاز می شود و در منطقه ای دورتر از منطقه آسیب دیده نیز این آسیب را می توان فهمید منطقه ای که خود آسیب می بیند وی از لحاظ عصبی (ارتباط عصبی ) به آن اتصال دارد.

این پدیده باعث شده ، خصوصاً در مورد ارتباط بین نیمکره چپ و راست مغز، مسأله ویژه ای که در ارتباط با هر یک از نیمکره ها وجود دارد باعث مشکل در فهم و درک پدیده شود. این مقاله بعضی از مدلهای Neurocouputetional  اخیر را مورد مطالعه قرار داده (اثر و کیفیت diashisis) مدل ارائه شده تنها یک مدلی است که همه خصوصیت دیگر بین نیمکره ها و همه اثر diashisis را شرح می دهد. در انتها، نتایج تأثیرات زیرقشری نیمکره چپ و راست روی خصوصیت نیمکره ها مورد بررسی قرار می گیرد.

1- مقدمه: Stoke : یا (سکته مغزی) ، اختلال ناگهانی است که در جریان supply کردن خون برای مغز بوجود می آید. زمانیکه یک سد ناگهانی در برابر جریان خون در سرخرگهای مغزی ایجاد می شود متعاقب آن باعث کمبود خون رسانی به آن ناحیه شده و ایسکمیک مغزی را به دنبال دارد. سکته مغزی یکی از بیماریهای شایع در نورولوژی است. برای مثال سومین عامل مرگ در کشور آمریکاست و اغلب موارد باعث نقص در بستر کرونیک (نقص در سیستم عصبی ، عضلانی قلبی ) اختلاف در زبان و صحبت کردن و مشکلات حافظه ای را به دنبال دارد. این باعث شده که توجه بسیار زیادی روی تحقیقات در مورد این مطلب در طی چند دهة اخیر صورت گیرد. اکثر این تحقیقات به دنبال اصلاح کردن یافته ها و دانسته ها درباره مکانیسم و پاتوفیزیولوژی این بمیاری (strake) هستند. یافته ها این تحقیقات در اکثر موارد بسیار پیچیده و حتی بسیار مورد بحث و جدل بوده اند.

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

پیچیده بودن مغز در حین سکته مغزی باعث شده به این نتیجه برسیم که مدلهای Computational می توانند ابزار بسیار قدرتمندی برای درک عمیق ما دربارة Stroke باشد. محدودیت دربارة تکنولوژی مدلهای عصبی و علم نورد سیانتیفیک Neurosaentific باعث شده بوجود آوردن و ساختن جزئیات مدل غیرممکن و غیر عملی باشد.


دانلود با لینک مستقیم


مقاله درباره مدلهای محاسباتی عصبی از تأثیرات جانبی ناحیة آسیب دیده مغز روی نواحی دورتر از منطقه آسیب دیده

پاورپوینت درباره تئوری ساختی با قابلیت تعیین پیچیدگی محاسباتی

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

پاورپوینت درباره تئوری ساختی با قابلیت تعیین پیچیدگی محاسباتی


پاورپوینت درباره تئوری ساختی با قابلیت تعیین پیچیدگی محاسباتی

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

بخشی از اسلایدها:

مقدمه

تئوری پیچیدگی

  • ایجاد زیربنای ریاضیاتی لازم برای محاسبات کارآ

تئوری اثبات

  • معرفی سیستم‌های اثبات گوناگون
  • فرمالیزه نمودن یک منطق
  • بررسی توانایی‌ها و محدودیت‌ها
  • قابلیت بیان یک قضیه
  • قابلیت اثبات یک قضیه

پیچیدگی اثبات

  • حاصل مواجهه تئوری پیچیدگی و تئوری اثبات
  • بررسی سیستم‌های اثبات گوناگون
  • تعیین حد بالا و پایین برای کوچک‌ترین اثبات‌ها
  • تعریف منطق‌هایی برای مشخص‌ساختن کلاس‌های پیچیدگی
  • نمونه‌هایی از منطق‌های کلاسیک مانند      و PV
  • نمونه‌ای از منطق‌های شهودگرا مانند IPV

دانلود با لینک مستقیم


پاورپوینت درباره تئوری ساختی با قابلیت تعیین پیچیدگی محاسباتی