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

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

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

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

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

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

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

ویتگنشتاین متأخر مسائل فلسفه را ناشی از عدم درک منطق زبان می‌داند و معتقد است فلسفه به مثابه‌ی یک راه درمان باید با روشن ساختن گرامر مفاهیم مشکل‌زا، مسائل فلسفی را منحل کند. تاکید ویتگنشتاین بر مباحثی مانند گروه یا جامعة پژوهشگران، پژوهش دستور زبانی، مفهوم‌سازی، تحلیل مفاهیم، فرم زندگی، دیالوگ و غیره به خوبی در برنامه‌ی فلسفه برای کودکان تجسم یافته و مفید واقع شده است. متیو لیپمن که در طرح برنا...

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