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

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

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