اصل 167 قانون اساسی جمهوری اسلامی ایران مقرر می دارد که: " قاضی موظف است کوشش کند حکم هر دعوا را در قوانین مدونه بیابد و اگر نیابد با استناد به منابع معتبر اسلامی یا فتاوای معتبر، حکم قضیه را صادر نماید و نمی تواند به بهانه‌ی سکوت یا نقص یا اجمال یا تعارض قوانین مدونه، از رسیدگی به دعوا و صدور حکم امتناع ورزد." در این نوشتار، سؤالاتی درباره کارایی این اصل طرح و تلاش کرده ام نشان دهم علی رغم این...

یکی از مسائل مهم راه آهنها برنامه ریزی حرکت قطارها بخصوص قطارهای مسافری است که بوسیله ترسیم یک گراف مادر انجام میشود. در این گراف, که در واقع یک نمودار زمان – فاصله است و معمولاً توسط افراد باتجربه ترسیم می شود, زمان شروع حرکت و رسیدن قطارها به ایستگاههای بین راه و توقفهای لازم در ایستگاهها بعلاوه محل تلاقی با سایر قطارها که از روبرو در حال حرکت هستند نشان داده میشود. در این مقاله ابتدا یک مدل ...

اصل 167 قانون اساسی که به منظور رفع نقائص موجود در نظام حقوقی وضع شده است، برای اجرایی شدن با موانع علمی و عملی فراوانی رو به روست.زیرااز یک سو چگونگی رجوع به منابع و فتاوی معتبر معرّفی شده در اصل مبهم است؛ از دیگر سو امکان استفاده از برخی این منابع در بسیاری از قضات وجود ندارد. از جهت دیگر حکم بسیاری از مسائل مستحدث به لحاظ بی سابقگی در متون فقهی به طور کلّی وجود ندارد. در صورتی هم که بتوان حکمی...

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

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

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

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

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

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

در این مقاله، یک روش جدید برای طراحی قانون هدایت، جهت ردیابی  یک هدف پرنده متحرک ، بر پایه کنترل مدل پیش‌بین مقاوم (RMPC) ارائه شده است. در این راستا معادلات حرکتی با استفاده از معادلات غیرخطی سینماتیکی بیان گشته است. اساس این طراحی بر پایه قانون کنترلی حاصله از فیدبک حالت است. در این راستا از نامعادلات ماتریسی خطی (LMI) برای بهینه‌نمودن تابع هزینه، برای به‌دست‌آمدن سیگنال کنترلی، استفاده شده ا...