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

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

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

پژوهش حاضر به مطالعه درباره‏ی ژانر می‏پردازد و هدف  آن شناسایی و درک بیشتر مقوله‏ی ژانر فیلم و ابعاد آن، بویژه معنای واژه‏ی «فیلم ژانری» است. این تحقیق قصد دارد به این پرسش‌های اساسی پاسخ دهد: 1) در صورت به رسمیت شناختن واژه‏ی «فیلم ژانری»، آیا «فیلم غیر ژانری» نیز وجود دارد؟؛ 2) در صورت وجود فیلم های غیر‏ژانری، این فیلم ها چه ویژگی‏های متمایز کننده ای دارند؟ پاسخ این پرسش ها، توضیحی برای مفهوم...

در این رساله‏، مسائل ‎‎قطعی سازی‏، کاهش و کامل بودن‏ را در یک اتوماتای درختی فازی مورد بحث قرار داده و نشان می دهیم که کمینه سازی‏ نیازمند بررسی همزمان از دیدگاه زبانی و دیدگاه رفتاری در یک اتوماتای درختی فازی می باشد. برای افزایش قابلیت انعطاف در این زمینه‏ و همچنین برآورده سازی برخی نیازهای کاربردی‏، مسأله جدیدی به نام کمینه سازی تقریبی تعریف گردیده که دیدگاه های زبانی و رفتاری را هم در نظر م...

در این مقاله تحول نظری هی عدالت رالز از عدالت اخلاقی - فلسفی به عدالت سیاسی به این صورتبررسی می شود: مرحله ی اول نظریه ی عدالتِ رالز با توجه به کتاب نظریه ای درباره عدالت شکلمی گیرد. در این قسمت از نظری هی عدالت به مفاهیم اساس یای همچون قرارداد اجتماعی، موقعیتاولیه و تعادل تأملی توجه می شود. این مفاهیم دارای مبانی اخلاقی- فلسفی هستند که مرحل هی اولنظریه ی عدالت را شکل م یدهند. مرحله ی دوم نظریه ...

مقدمه 1-1اهمیت بررسی واکنش متیل سولفید با اوزون درک منابع نسبی گوگرد در اتمسفر به منظور تعیین تغییرات آب و هوایی و فرایند های محیط زیست بسیار حیاتی و مهم است(1). دی متیل سولفیدها که به طور عمده ازفعالیت فیتوپلانکتونها تولید می شوند یکی از منابع مهم زیستی گوگرد در اتمسفر است(2-3). از اکسید شدن دی متیل سولفیدها در اتمسفر به طور عمده ch3s به وجود می آید، که با اکساینده های اتمسفری بسیار مهمی از...

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

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