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

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

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

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

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

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

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

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

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

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

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

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

کسب و کار الکترونیکی در قرن بیستم نمونهای از بکارگیری سیستمهای کامپیوتری برای تسهیل، سرعت بخشیدن، بهتر و کم هزینه تر نمودن کسب و کار می باشد. با توجه به اهمیت روزافزون بحث کسب و کار الکترونیکی، تلاشهای متفاوت و گسترده ای در سطح دنیا در جریان است تا استانداردهایی برای آن تعریف شود تا دستیابی به تعاملات تجاری آسان گردد. ebxml به عنوان یک چارچوب برای کسب و کار الکترونیکی ایجاد شده است و روی تراکنش های تجاری بین شرکت های همکار تمرکز دارد. فرایندهای همکاری کسب و کار تحت مستندات xml تشریح میشود. از آنجا که در کسب و کار الکترونیکی اطلاعات تکنیکی و تجاری برای چگونگی اجراء فرایند همکاری کسب و کار لازم می باشد هر همکار تجاری یک فرم مشخصات همکاری ایجاد می کند که به آن پروتکل فرم مشخصات همکاری (cpp) گویند. مستندات cpp با فرمت xml ارائه می شوند. از جمله مشکلاتی که در چارچوب ebxml وجود دارد این است که روش مدونی برای پیدا کردن طرفین تجاری مناسب ارائه نشده است, که این موضوع پیدا کردن طرف تجاری مناسب را هنگامی که تعداد آنها در ثبات ebxml افزایش پیدا می کند را با مشکل مواجه می سازد. در این پایان نامه روشی را برای انطباق خریدار و فروشنده مبتنی بر چارچوب ebxml ارائه می دهیم. عمل انطباق را با معنا بخشیدن به cpp هر طرف تجاری و محاسبه شباهت معنایی بین مفاهیم آنها و بازیابی و امتیازدهی به اسناد کسب و کار انجام می دهیم. برای معنا بخشیدن به فرم مشخصات طرفین تجاری در حالت کلی n آنتالوژی و n رابطه سنجش شباهت معنایی را در نظر می گیریم و با اندیکس کردن مفاهیمِ هر سند تجاری به بازیابی اسناد مرتبط می پردازیم و مدلی مشابه با مدل برداری اما به روشی متفاوت برای امتیازدهی به اسناد بازیابی شده ارائه می کنیم. همچنین در ادامه این پایان نامه چهار آنتالوژی برای معنا بخشیدن به اسناد کسب و کار تعریف خواهیم کرد. چهار آنتالوژی را مبتنی بر متغیرهای مفهومی که در سند مشخصات اجزاء هسته ای چارچوب ebxml آمده است, ایجاد و در ثبات ebxml ثبت می کنیم. با توجه به ساختار هر آنتالوژی رابطه ای را برای سنجش شباهت معنایی بین مفاهیم آن آنتالوژی بدست آورده ایم. همچنین مدلی مبتنی بر مشخصات ebxml برای عمل انطباق طراحی می کنیم. در این مدل هر cpp هنگام ثبت، اندیکس گذاری می شود و بوسیله موتور انطباق cppهای منطبق با نیاز طرف تجاری امتیازبندی و به وی معرفی می گردد. دقت روش ارائه شده را ارزیابی و نتایج را با opossum و grisse که روش هایی برای بازیابی وب سرویس های معنایی می باشد, مقایسه کرده و به نتایج بهتری رسیدیم.

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

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