سورنا فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

سورنا فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود پایان نامه امولسیون سازی سیالات نفتی با هدف کاهش ویسکوزیت

اختصاصی از سورنا فایل دانلود پایان نامه امولسیون سازی سیالات نفتی با هدف کاهش ویسکوزیت دانلود با لینک مستقیم و پر سرعت .

دانلود پایان نامه امولسیون سازی سیالات نفتی با هدف کاهش ویسکوزیت


دانلود پایان نامه امولسیون سازی سیالات نفتی با هدف کاهش ویسکوزیت

امولسیون . [ اِ یُن ْ ] (فرانسوی ، اِ) ۞ در اصطلاح دواسازی ، هر داروی مرکب مایع و شیرمانندی که جهت آشامیدن مریض ترتیب دهند. (ناظم الاطباء). اگر دانه های روغن دار را با کمی آب در هاون صلایه کنند و توده ٔ خمیری شکل حاصل را با آب بسایند مایع شیری شکلی بدست می آید که بنام امولسیون موسوم است . بنا بر این امولسیونها از گویچه های کوچک (گلبول ) روغن تشکیل شده است که بوسیله ٔ مواد پروتئیدی دانه ها در آب بحالت تعلیق درآمده است و آنها را امولسیونهای طبیعی مینامند. همچنین اگر مواد روغنی مختلف رزین ها ۞ ، گم رزین ها ۞ و مواد غیرمحلول را بکمک ماده ٔ امولسیون ۞ در آب بحالت تعلیق درآورند اشکال دارویی حاصل بنام امولسیون مصنوعی نامیده میشود و منظره ای شیری شکل دارد. در داروخانه ها بیشتر صمغ عربی و کتیرا را برای این منظور مصرف میکنند. امولسیونها خیلی زود فاسد میشوند و از اینرو آنها را فقط در موقع احتیاج تهیه می کنند. (از کارآموزی داروسازی جنیدی ص 100).پ (شکل 1-1)
امولسیون:
کولوئید دو مایع است که ذرات یکی از آنها به طور یکسان و یکنواخت در سرتاسر دیگری پخش شده اند، اما محلول نیستند. غذاها، لوسیون ها، روانسازها، داروها و رنگ ها نمونه هایی از امولسیون به شمار می آیند. امولسیون ها پایدار نیستند و مایعات تشکیل دهنده آنها، پس از مدتی ار هم جدا می شوند. امولسیون کننده ها کمک می کنند که این مایعات به صورت مخلوط نگه داشته شوند. پروتئین کازئین، امولسیون کننده با آمیزنده ای است که چربی کره را در آب به صورت پخش شده نگه می دارد. بسیاری از غذاهای آماده، حاوی امولسیون کننده ها و سیار مواد نگهدارنده هستند. لایه پوشش دهنده فیلم عکاسی که امولسیون نامیده می شود، در حقیقت یک کولوئید حساس به نور است .
رنگ صنعتی، نمونه ای از یک امولسیون است. از آنجا که امولسیون های دائمی و پایدار نیستند، مایعات سازنده رنگ از هم جدا می شوند. به همین دلیل، رنگ را باید، قبل از مصرف، خوب هم بزنیم(شکل 2-1) .

فصل اول:مقدمه
1-1 امولسیون 1
1-1-1فرمولاسیون امولسیون ها 5
2-1-1امولسیفایر 7
3-1-1تفاوت محلول امولسیون به محلول حقیقی 8
4-1-1تفاوت بین امولسیون، لخته شدن و ژل  9
5-1-1نمونه هایی از کاربرد امولسیون در صنعت 10
2-1نفت خام 14
1-2-1تشکیل نفت از مواد آلی 16
2-2-1مواد سازنده نفت 17
3-2-1خواص نفت خام 18
فصل دوم:امولسیون سازی
1-2روش های تهیه امولسیون ها 23
2-2روشهای تهیه امولسیونهای قیر 24
3-2امولسیون های نفت درآب 27
فصل سوم: مدل سازی عبور امولسیون نفت در آب از میان خط لوله با استفاده از نرم افزار فلوئنت
1-3معرفی نرم افزار فلوئنت 31  
2-3شرایط حل مسئله 32    
3-3گردآوری داده ها
1-3-3مشخصات پایلوت و داده های تجربی 33
 2-3-3آنالیز نفت کوره 34
4-3نحوه انتقال دادهها به نرم افزار فلوئنت 36
5-3دریافت خروجی های نرم افزار
1-5-3شبیه سازی گرافیکی امولسیون نفت در آب 40
2-5-3منحنهای حل مدل برای قبل وبعد از تشکیل امولسیون 41
3-5-3نمودارهای توزیع فشار 43
فصل چهارم: مقایسه مدل طرح شده توسط نرم افزار با روابط تئوری و محاسبه میزان خطا
1-4مقایسه افت فشار 46
2-4مقایسه میزان صرفه جویی در مصرف برق 49
3-4مقایسه راندمان صرفه جویی 49
نتیجه گیری 53
مراجع

 

شامل 60 صفحه فایل word


دانلود با لینک مستقیم


دانلود پایان نامه طراحی و پیاده سازی نرم افزار انتخاب رشته دبیرستان

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

دانلود پایان نامه طراحی و پیاده سازی نرم افزار انتخاب رشته دبیرستان


دانلود پایان نامه طراحی و پیاده سازی نرم افزار انتخاب رشته دبیرستان

هر کس در زندگی بارها دست به انتخاب می‌زند. چرا که انتخاب یکی از مهمترین فعالیت‌های انسان است. انسان با انتخاب‌های خود مسیر زندگی‌اش را تعیین می‌کند. انسان آزاد آفریده شده است و به او این اختیار داده شده است که در بسیاری از موارد آنچه را که مناسب می‌داند، برگزیند.

به طور مثال کودک یا نوجوان از میان همه دانش‌آموزان یا اطرافیان خود تنها عده‌ای را به عنوان دوست خود انتخاب می‌کند. او برای این انتخاب دلایل و ملاک‌های مختلفی دارد. برخی وقتی راه یا چیزی را انتخاب کردند از کار خود راضی هستند و دیگران به دلایل مختلف انتخاب خود را نادرست می‌دانند.

موارد دیگری هم وجود دارند که در آنها دست به انتخاب می‌زنیم. انتخاب شغل، انتخاب همسر، انتخاب تیم ورزشی و ... از این دسته اند.

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

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

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

مقدمه
فصل یکم -  هدایت تحصیلی در یک نگاه
1-1-  اهداف و ساختار
1-2- اهم مقررات نظام آموزشی متوسطه به شیوه سالی - واحدی
1-3- هدایت تحصیلی
فصل دوم - هدایت تحصیلی و نقش مدیریت
2-1- نقش مدیریت در انتخاب رشته
فصل سوم - نحوه تهیه هدایت تحصیلی
3-1- اهداف هدایت تحصیلی
3-2- ملاک های هدایت تحصیلی
3-3- ضوابط مربوط به نمرات درسی رشته ها و شاخه های مختلف
3-4-  بررسی های مشاوره ای
3-5- امتیازهای نمرات دانش آموز
3-6- کلید های امتیازهای آزمون
فصل چهارم - روش استفاده از نرم افزار
4-1- محیط نرم‌افزار
4-2- منوها
4-3- ورود اطلاعات دانش‌آموز
4-4-  ورود اطلاعات مشاور
4-5- بخش مشاهده نتیجه نهایی انتخاب رشته
فصل چهارم - بررسی کد برنامه
4-1- ماژول برنامه
4-2- فرم های برنامه
فصل پنجم- نتیجه گیری، پیشنهادات
5-1- معایب و مشکلات
5-2- مزایا و محاسن
5-3- عملکرد
5-4- پیشنهادات
5-5- نتیجه گیری
مراجع و منابع

 

شامل 150 صفحه فایل word


دانلود با لینک مستقیم


دانلود پایان نامه پیاده سازی وب سایت آزمون آنلاین

اختصاصی از سورنا فایل دانلود پایان نامه پیاده سازی وب سایت آزمون آنلاین دانلود با لینک مستقیم و پر سرعت .

دانلود پایان نامه پیاده سازی وب سایت آزمون آنلاین


دانلود پایان نامه پیاده سازی وب سایت آزمون آنلاین

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

    مدیریت سیستم با استفاده از سوالات موجود در بانک سوالات و یا با درج سوالات جدید تعدادی سوال را برای پاسخگویی گروه خاصی از شرکت کنندگان انتخاب می کند.

یک کنترل روی صفحه می‌تواند از چندین کنترل تعیین اعتبار استفاده کند. برای مثال TextBox ایی که ایمیل کاربر را دریافت می‌کند می‌تواند به کنترل RequiredFieldValidator و کنترل RegularExpressionValidator متصل باشد.

در مورد کنترل CompareValidator باید به نکات زیر توجه داشت:

- اگر کنترل مشخص شده در خاصیت Control To Validate نتواند به یک نوع داده مناسب تبدیل شود نتیجه Invalid خواهد بود.

مقدمه1
فصل یکم-معرفی کنترل های وب و نحوه استفاده از آنها در ASP2
1-1- انتخاب Layout 2
1-1-1- Grid Layout 2
1-1-2- Flow Layout 2
1-2- انتخاب کنترل صحیح3
1-3- کار با متن6
1-4- کار با جداول و لیست ها7
1-5- اضافه کردن آیتم ها به یک لیست یا جدول در زمان طراحی8
1-6- اضافه کردن آیتم ها به لیست یا جداول در زمان اجرای برنامه10
1-7- دریافت آیتم انتخاب شده از یک لیست12
1-8- نحوهData Binding ساده در کنترل لیست ها 12
1-9- اضافه کردن آیتم ها به DataGrid,DataList , Repeater Control15
1-10- انجام دستوات22
1-11- دریافت مقادیر از کاربر24
1-12- نمایش گرافیک و تبلیغات27
1-13- کنترل های گروهی 31
1-14- کار با تاریخ32
فصل دوم بررسی و تعیین اعتبار داده های وارد شده از طرف کاربر33
2-1- ارزیابی داده های ورودی کاربر33
2-2- ترکیب کنترل های تعیین اعتبار36
2-3- Cansel کردن تعیین اعتبار داده41
2-4- تعیین اعتبار سفارشی44
2-5- موارد تکمیلی کنترل های وب 46
2-5-1- طریقه حرکت بین صفحات مختلف در ASPNET46
2-5-2- استفاده از HyperLink   و Redirection47
2-5-3- استفاده از متد Transfer47
2-5-4- استفاده از متد Execute 49
2-6- نمایش در یک صفحه مرورگر جدید49
فصل سوم – توضیحات پروژه51
3-1- معرفی معماری سه لایه51
3-2- ایجاد متدهای insert, update, delete  به صورت سفارشی55
3-2-1- افزودن پروسیژر به DataSet  و ایجاد TableAdapter60
3-2-2- استفاده از TeacherCourseTableAdapter 62
3-3- طراحی لایه ی ارائه64
3-3-1- صفحه اصلی 64
3-3-2- صفحه ثبت استاد جدید 66
3-3-3- صفحه نمایش لیست اساتید 68
3-3-4- صفحه ثبت درس جدید69
3-3-5- صفحه ثبت دانشجو در کلاس71
3-3-6- صفحه لیست انشجویان هر کلاس74
3-3-7- صفحه ثبت آزمون جدید76
3-3-8- صفحه آرشیو سوالات78
3-3-9- صفحه تنظیم سولات آزمون79
3-3-10- صفحه ثبت نمرات نهایی دانشجو80
3-3-11- صفحه کارنامه دانشجو 81
3-3-12- صفحه ثبت اعتراض توسط دانشجو85
3-3-13- صفحه مشاهده اعتراض دانشجویان87
3-3-14- صفحه لیست اعتراضات88
3-3-15- صفحه ارزیابی ملکرد استاد89
3-3-16- صفحه نتایج نظرسنجی91
3-3-17- صفحه آپلود مقالات92
3-3-18- صفحه ورود مسئول آموزش96
3-3-19- تغییر رمز عبور Admin97
3-4- DATA BASE98
4-1- فصل چهارم-نتیجه گیری102
منابع103

 

شامل 110 صفحه فایل word


دانلود با لینک مستقیم


پایان نامه ترکیب مدل های DEA و مرز تصادفی و پیاده سازی روی گروههای آموزشی دانشگاه آزاد اسلامی واحد ایذه

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

پایان نامه ترکیب مدل های DEA و مرز تصادفی و پیاده سازی روی گروههای آموزشی دانشگاه آزاد اسلامی واحد ایذه


پایان نامه ترکیب مدل های DEA و مرز تصادفی و پیاده سازی روی گروههای آموزشی دانشگاه آزاد اسلامی واحد ایذه

 

 

 

 

 

 

 



فرمت فایل : WORD (قابل ویرایش)

تعداد صفحات:95

فهرست مطالب:
عنوان                                                                                       صفحه
چکیده    1
مقدمه    2
فصل اول: تحلیل پوششی داده ها    4
1-1- مقدمه    5
2-1- تاریخچه    6
3-1- اندازه کارایی    8
4-1- انواع روشهای ارزیابی    9
1-4-1- تابع تولید    9
2-4-1- روشهای پارامتری    9
5-1- روش غیرپارامتری    11
1-5-1- تعریف ورودی    11
2-5-1- تعریف خروجی    11
6-1- مجموعه امکان تولید    11
فصل دوم: مدلهای اساسی تحلیل پوششی داده ها    13
1-2- مقدمه    14
2-2- مدلهای استاندارد تحلیل پوششی داده ها    14
1-2-2- مدل CCR بدون استفاده از مجموعه امکان تولید    14
3-2- روش اصول موضوعی    16
1-3-2- مثال    18
4-2- مرزکارایی    20
5-2- مدل CCR (با استفاده از PPS)    21
6-2 مدل BCC    22
7-2- اصلاحیه ای برای رفع مشکل مدل CCR    22
1-7-2- کارایی در مدل BCC    23
فصل سوم: استنباط بیزی با روش مونت کارلو در محدوده نمونه گیری گیبز    25
1-3- مقدمه    26
2-3- مفهوم بیز    27
1-2-3- مفهوم توزیع پیشین و پسین    27
3-3- مثالهایی در مورد مفهوم قضیه بیز    29
1-3-3- مثال    29
4-3- استنباط بیزی و ر وش مونت کالرو    32
4-3 روش مونت کارلو    33
1-4-3- انتگرال مونت کارلو    34
2-4-3- استنباط بیزی و برآورد مونت کارلو    35
5-3- شبیه سازی    36
1-5-3- تولید داده از کمیت های تصادفی گسسته    37
2-5-3- تولید داده از کمیت های تصادفی پیوسته    38
6-3- معرفی روش نمونه گیری گیز    39
1-6-3- روش نمونه گیری گیبز    40
2-6-3- الگوریتم نمونه گیری گیبز    41
7-3- خواص نمونه گیبز    43
8-3- برآورد چگالیهای حاشیه ای و نمونه گیری گیبز    44
فصل چهارم: مدل مرزی احتمال و سنجش کارایی در این مدل    52
1-4- مقدمه    53
2-4- مدل مرزی احتمال    54
3-4- توزیعهای شرطی    60
4-4- اندازه گیری کارایی    62
5-4- ملاحظاتی در مورد پارامتر امگا    65
6-4- مثال کاربردی    66
7-4- مثال    68
فصل پنجم: برآورد اندازه کارایی گروههای آموزشی دانشگاه آزاد اسلامی واحد ایذه    78
1-5- مقدمه    79
2-5- تاریخچه    80
3-5- مثال    81
4-5- نتیجه گیری    88
واژه نامه    89
منابع و مآخذ    92
ضمیمه    95

 

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

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


دانلود با لینک مستقیم


دانلود مقاله ISI مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا معماری گرا

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

دانلود مقاله ISI مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا معماری گرا


موضوع فارسی :مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا
معماری گرا

موضوع انگلیسی :Style-based modeling and verification of fault tolerance service
oriented architectures

تعداد صفحه :5

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

 

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

 


دانلود با لینک مستقیم