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

از آنجا که توزیع کالا به طور متوسط حدود 20% از هزینه کل تولید را تشکیل می دهد، بهبود کارایی در حمل و نقل کالاها باعث صرفه جویی زیادی در قیمت تمام شده آنها و رقابت در اقتصاد منطقه ای می شود. بیشتر مسایل حوزه توزیع کالا می توانند به صورت مساله مسیریابی وسیله نقلیه (vrp) درنظر گرفته شوند که تعمیم مساله فروشنده دوره گرد است و یکی از مسایل مهم در محدوده مسایل بهینه سازی ترکیبی است که روشهای مکاشفه ای زیادی برای حل آن ایجاد شده است. مساله مسیریابی وسیلهء نقلیه، شامل تعدادی مشتری است که هر یک به میزان خاصی کالا نیاز دارند که باید به آنها تحویل گردد. هدف، تعیین مجموعه ای از مسیرها (یا تورها) است که کمترین مجموع هزینه را دارا بوده، در انبار آغاز شده و در آن پایان یابند، هر مشتری دقیقا یکبار و توسط یک وسیله بازدید شود و کل تقاضای گره های هر مسیر از ظرفیت وسیله تجاوز نکند. از آنجا که vrp یک مساله بهینه سازی ترکیبی است و حل آن با روشهای دقیق به زمان نمایی نیاز دارد، روشهای مکاشفه ای زیادی برای حل آن به کاررفته است. ما نیز در این پروژه یک الگوریتم جدید برای حل vrp ارائه کرده ایم که برمبنای روش بهینه سازی گروه مورچگان (aco)، قرار دارد. در این الگوریتم پیش از تولید جوابها توسط مورچه ها، از یک رویه پیش پردازشی برای ساخت درخت پوشای می نیمم ویژه ای (که وزن خاصی را برای یالهای آن تعریف کرده ایم) استفاده می کنیم تا رویه ساخت جواب را به سوی مسیرهای بهتر هدایت کنیم. همچنین از رویه های جستجوی محلی اصلاح شده برای بهبود جوابهای تولید شده توسط مورچه ها استفاده می کنیم. در الگوریتم ارائه شده، نحوه تصمیم گیری مورچه ها برای انتخاب گره بعدی بهبود یافته است و علاوه بر میزان مکاشفه ای و میزان فرومون موجود روی یالها، از وزن یالهای درخت، میزان صرفه جویی حاصل از ترکیب گره ها و میزان درخواست هر گره نیز برای انتخاب گره های بعدی در هنگام ساخت مسیرها بهره گرفته ایم. به علاوه در هر مرتبه تکرار الگوریتم، وزن یالهای درخت را نیز همانند مقادیر فرومون، بسته به کیفیت مسیرهای ساخته شده و میزان فرومون متناظر با یالها در این تکرار، به روز می کنیم. برای جلوگیری از رکود نیز از یک مکانیزم شروع مجدد و بازگرداندن مقادیر پارامترها به حالت اولیه بهره می بریم. واژگان کلیدی: بهینه سازی گروه مورچگان، مساله مسیریابی وسایل نقلیه، درخت پوشای کمینه، مسایل بهینه سازی ترکیبی و فرااکتشافات

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