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

در دهه‌های گذشته، روش‌های متعددی جهت حل مسأله بهینه‌سازی غیرقطعی بهره‌برداری از مخزن پیشنهاد شده‌ است که یکی از آنها روش برنامه‌ریزی پویای دوگان غیرقطعی (SDDP) است. بررسی پیشینه تحقیقات نشان می‌دهد که در اغلب تحقیقات پیشین، عدم قطعیت جریان ورودی به مخازن در روش SDDP براساس یک مدل‏ آماری خودهمبسته (AR(1 یا خودهمبسته فصلی (PAR(2 مدلسازی شده است. رویکرد دیگر برای مدلسازی عدم قطعیت در SDDP که کمتر ...

در این پایان نامه، ‏برخی از مشخص سازی ها را برای دوگان ‎g-قابها ارائه می دهیم . ‏علاوه بر این ثابت می کنیم که اگر دو g-قاب به هم نزدیک باشند می توان دوگانهایی برای آنها یافت که آنها نیز به هم نزدیک باشند . همچنین شرایطی را برای دنباله ی {w_i} فراهم می کنیم تا آن دنباله ‏، r- دوگان یک قاب مانند {f_i} ‏باشد . نهایتا دنباله ‏های r- دوگان ‎‎‎‎‎‎‎در فضای هیلبرت‎‎‏را مشخص سازی می کنیم.

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

تاکنون مباحث فلسفی گوناگونی پیرامون نظریۀ احتمالات مطرح شده ‌است. مهمترین مسئله در این میان آن است که چه تفسیر یا تفسیرهایی را می‌توان از مفهوم احتمال - که اساسی‌ترین نقش را در نظریۀ احتمالات بازی می‌کند -به‌دست داد. فیلسوفان مغرب زمین تفسیرهای متفاوتی را برای این مفهوم پیشنهاد کرده‌اند. از میان اندیشمندان مسلمان نیز شهید سیدمحمدباقر صدر تفسیری از احتمال ارائه داده ‌است که می‌توان آن را «تفسیر ...

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

با رؤیت اولین طلیعه های شکل گیری ادبیاتی دربارة نظریه پردازی ایرانی در زمینة روابط بین الملل، نویسندگان این مقاله درصدد آن اند به ارزیابی زمینه های ساختاری تحقق بومی سازی نظریه پردازی روابط بین الملل بپردازند. در این چارچوب، نویسندگان برای رسیدن به درکی واقع بینانه از امکان یا امتناع نظریه(های) ایرانی در روابط بین الملل، اساسی ترین این عوامل ساختاری را ذیل پنج عنوان بررسی کردند که عبارت اند از:...

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

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