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

در زبان فارسی، فعل از جهات گوناگون تقسیم می شود. تقسیم بندی بر مبنای ساخت و تعداد اجزای تشکیل دهنده، یکی از مهمترین اقسام فعل است. دستور نویسان در این باره دست کم به دو گونه فعل ساده و فعل مرکب قائلند. برخی نیز اقسام بیشتری برای فعل برشمرده اند. عبارت فعلی گونه ای از فعل بر مبنای ساخت آن است که دست کم از سه جزء تشکیل می شود و معنی واحدی دارد. در چند دهه اخیر این مجموعه فعلی، در برخی از دستورها ...

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

سطرهای آغازین دربارة عبارت ارسطو یکی از تأثیرگذارترین متون در تاریخ معناشناسی است و مقدمه ای مهم برای فهم و تقریر برخی از دیدگاه های ارسطوست. بر اساس تفسیر کلاسیک، ارسطو به طور عام بیان می کند که نوشته ها نشانگرِ آواها (الفاظ) است و آواها در وهلة نخست نشانگرِ انفعال های نفس و انفعال های نفس شبیه اشیاء و در نتیجه آواها با واسطه نشانگرِ اشیاء است. در دوران معاصر، نورمان کرتزمن این تفسیر را به چالش ک...

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

در نتیجه پیدایش عصر جدید در ادبیات پارسی و آغاز دوره داستان نویسی کوتاه، و متعاقب آن ترجمه این قبیل متون به زبانهای گوناگون از جمله انگلیسی، مسئله برگردان مفاهیم جدید به عرصه ظهور رسید. از آنجاییکه این سبک نوپا مملو از اصطلاحات و عبارات فرهنگ-محور است که نیاز به دقت فراوان در ترجمه دارند، هدف این تحقیق بررسی راهکارهای ترجمه اصطلاحات می باشد. بدین منظور، کتاب یکی بود یکی نبود اثر استاد محمّدعلی ج...

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

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