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

در این پژوهش رمان«غریبه در شهر » بر پایه نظریه های داستان نویسی ادوارد مورگان فورستر[1]،مورد بررسی قرار می گیرد و هدف ارزیابی توان نویسنده است در کاربرد ساختار صحیح طرح  ؛بدین منظور درابتدا به بیان خلاصه داستان پرداخته شده که ضمن آن مبارزات مردم آزادی خواه تبریز با قزاق های اشغالگر روس به نمایش گذارده شده است، سپس طرح کلی داستان و بخش های مختلف: شروع ،گره افکنی، جدال، تعلیق ، بحران ، نقطه اوج ،...

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

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

زمینه: سیستم نسخه نویسی الکترونیک، نمونه ایلی از سیستم های اطلاعات فنی- اجتماعی بین رشته ای است، که دارای پچیدگی فراوان، کاربران و زیرسیستم های گوناگون است. بنابراین، مقاله حاضر با هدف مرور مدل سیستم نسخه نویسی الکترونیک ملی در کشورهای منتخب تهیه شده است. روش­ها: اﻳﻦ مطالعه مروری مقایسه ای، ﺑـﻪ ﺗﻮﺻیف مدل سیستم نسخه نویسی الکترونیک در تعدادی از کشورهای عضو اتحادیه اروپا (دانمارک، سوئد، فنلاند، ا...

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

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