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

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

در این پایان نامه ضرب ?-لاتو را روی a*b که در آن a و b دو جبر باناخ و ? یک تابعک خطی ضربی ناصفر روی b است تعریف می کنیم. a*b همراه با این ضرب تشکیل یک جبر می دهد که آن را با نماد a*?b نشان می دهیم و به بررسی برخی از خواص این جبر و مقایسه آنها با موارد مشابه روی جبرهای a و b می پردازیم. در ادامه نرم های a-محدب و m- محدب را روی جبرهای جا به جایی مطالعه می کنیم و ضمن معرفی نرم عملگری ؟؟؟؟؟ با مقای...

مستندسازی معماری نرم افزار یکی از جدی ترین چالش های پیش رو در زمینه توسعه سیستم های نرم افزاری می باشد. امروزه مستندسازی معماری به کمک یک مجموعه از دیدهای معماری امری کاملاً تایید شده و معمول می باشد. در اینجا معماری نرم افزار به صورت دیدهایی بخش بندی می شود که هر دید جنبه مجزایی از معماری را توصیف می نماید. این دیدها، به طور جمعی کلّیت سیستم را مشخص می کنند. امروزه پژوهشگران مجموعه دیدهای معماری...

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

این پایان نامه درچهارفصل تنظیم شده است فصل اول شامل تعاریف فصل دوم شامل مشبکه های باناخ وانواع آن وفصل سوم شامل عملگر وانواع آن ودر فصل چهارم روابط بین عملگر فشرده ضعیف مرتب وعملگر نیم-فشرده بررسی شده است.

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

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

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