پروژه کارشناسی مهندسی نرم‌افزار با عنوان تشخیص بن بست در سیستم‌های توزیع شده

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

پروژه کارشناسی مهندسی نرم‌افزار با عنوان تشخیص بن بست در سیستم‌های توزیع شده

1-1- مفاهیم پایه

تعریف 1-گراف- انتظار- برای (WFG): یک گراف جهتدار است که وابستگی بین فرایندها را نشان می دهد و در آن گره ها فرایندها و یالها نشان دهنده درخواست منابع است.

تعریف2- چرخه[1] بن بست: یک چرخه جهتدار در گراف- انتظار- برای (WFG) است.

تعریف3- بن بست دروغین: به بن بستی گفته می شود که در حقیقت وجود ندارد.

تعریف4- درستی الگوریتم های تشخیص بن بست توزیع شده: اثبات درستی الگوریتم های تشخیص
بن بست توزیع شده با 2 ویژگی زیر تعیین می شود:

• ویژگی پیشرفت (Progress): بدین معنی که هر بن بستی که واقع شود در نهایت باید تشخیص داده شود.
• ویژگی امنیت(Safety): اگر بن بستی توسط الگوریتم تشخیص داده شود، باید واقعاً وجود داشته باشد.

1-2- انواع مدلهای بن بست براساس سیستم تبادل پیام

براساس سیستم تبادل پیام، دو نوع بن بست وجود دارد:

 بن بست منبعی

 بن بست ارتباطی

در بن بستهای ارتباطی، پیامها منابعی هستند که فرایندها برای آن متنظراند. تفاوت اصلی بین بن بست منبعی و بن بست ارتباطی در این است که بن بست منبعی از شرایط AND استفاده می کند و بن بست ارتباطی از شرط OR با تعریف ذیل استفاده می کند:

1-3- انواع مدلهای بن بست براساس نوع درخواست منبع

تقسیم بندی مدلهای بن بست براساس سیستم تبادل پیام به دو نوع بن بست ارتباطی و منبع به منظور شناسایی الگوریتمهای تشخیص بن بست کافی نیست. بنابراین که ویژگی های بیشتری از این الگوریتمها مدنظر قرار گیرد. یکی از این ویژگی ها نوع درخواست منبع است. در این بخش سلسله مراتبی از مدلهای منبع که می تواند  در تقسیم بندی الگوریتمها تشخیص بن بست مورد استفاده قرار گیرد و مبتنی بر مدل بن بست ارائه شده توسط Knapp است، ارائه می شود.

و ...

در فرمت ورد
در 95 صفحه
قابل ویرایش

پروژه مالی درباره شرکت تحقیقات و توسعه صادرات نرم‌افزار ثنارای (سهامی خاص)

اختصاصی از فی موو پروژه مالی درباره شرکت تحقیقات و توسعه صادرات نرم‌افزار ثنارای (سهامی خاص) دانلود با لینک مستقیم و پر سرعت .

فرمت فایل : WORD (لینک دانلود پایین صفحه) تعداد صفحات 59 صفحه

مجمع عمـومی عـادی صـاحبـان سهـام

اجزای تشکیل‌دهنده صورت‌های مالی به قرار زیر است:

• ترازنامه         
• صورت سود و زیان

1-2- گردش حساب سود (زیان) انباشته                                                               

• صورت جریان وجوه نقد
• یادداشت‌های توضیحی:

الف- تاریخچه فعالیت شرکت                                             

ب- مبنای تهیه صورت‌های مالی                                         

پ- خلاصه اهم رویه‌های حساب‌داری                                                                         

ت- یادداشت‌های مربوط به اقدام مندرج در صورت‌های مالی و سایر اطلاعات مالی                       

پاورپوینت درباره معرفی اصول شی گرائی برای مقابله با پیچیدگی نرم‌افزار

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

فرمت فایل : power point  (لینک دانلود پایین صفحه) تعداد اسلاید  : 35 اسلاید

اهداف جلسه :

nآشنائی با اصول شی‌گرائی

nدرک نقش اصول شی‌گرائی در کنترل پیچیدگی

nسیستم‌های نرم‌افزاری

nدرک مزایای مدل شی و کاربردهای آن

 

 

فهرست :

nمقدمه

nروش‌های طراحی 

nتجرید (Abstraction)

nمحصورسازی (Encapsulation)

nواحدبندی (Modularity)

nسلسه مراتب (Hierarchy)

nمزایای مدل شی و کاربردهای آن

 

دانلود پاورپوینت در رشته‌های نرم‌افزار و آی‌تی چکار کنیم - 15 اسلاید قابل ویرایش

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

—نرم‌افزار: تولید نرم‌افزار یا مفاهیمی که به تولید نرم‌افزار کمک کنند (مثلاً یک روش یا الگوریتم جدید).

—فناوری اطلاعات (فا)

◦به عنوان یک اصطلاح کلی: هر چیزی که مربوط به ساخت و استفاده از کامپیوتر می‌شود (از جمله نرم‌افزار و سخت‌افزار).

◦انتظار در بازار: توانایی به‌کارگیری فناوری اطلاعات (سخت‌افزار و نرم‌افزار) در یک موقعیت خاص.

برای دانلود کل پاورپوینت از لینک زیر استفاده کنید:

دانلود پاورپوینت تبدیل توصیف UML معماری نرم‌افزار به مدل کارایی شبکه‌های صف (QN) وتولید بازخورد از نتایج ارزیابی کارایی

اختصاصی از فی موو دانلود پاورپوینت تبدیل توصیف UML معماری نرم‌افزار به مدل کارایی شبکه‌های صف (QN) وتولید بازخورد از نتایج ارزیابی کارایی دانلود با لینک مستقیم و پر سرعت .

عناوین مورد بحث:

•انگیزه‌ها و اصول عمومی

•پیش زمینه

•ضرورت و اهداف

•تشریح متدولوژی ارزیابی کارایی

•مثال کاربردی: سیستم خود پرداز بانکی(ATM)

•جمع بندی و نتیجه گیری

انگیزه‌های تحلیل کارایی نرم افزار:

هزینه های هنگفت مالی، انسانی و زمانی تولید و توسعه یک سیستم نرم افزاری بزرگ

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

 شناسایی زود هنگام مشکلات کارایی در سطح معماری نرم‌افزار

افزایش هزینه تغییر طراحی با جلو رفتن در فرایند تولید

 

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

دو پرسش در اینجا مطرح است:

–چگونه کارایی را در فرایند تولید نرم‌افزار ارزیابی کنیم؟

–کی کارایی باید ارزیابی شود؟

 کارایی چگونه ارزیابی می‌شود؟

•رویکرد مبتنی بر اندازه‌گیری(Measurement-based) 

–اندازه‌گیریهای مستقیمی روی سیستم درحال اجرا یا یک نمونه انجام می‌گیرد؛ این اندازه‌گیریها، برای شناسایی گلوگاه‌ها بکار می‌روند.

•رویکرد مبتنی بر مدل  (Model-Based)

–یک مدل کارایی از سیستم نرم‌افزاری ساخته می‌شود؛ از این مدل برای تقلید رفتار سیستم و پیش‌بینی کارایی آن استفاده می‌گردد. 

ارزیابی کارایی مبتنی بر مدل:

•مزایا:

 نیازی به یک سیستم در حال اجرا ندارد.

  از مراحل نخست طراحی قابل اعمال می‌باشد.

•معایب:

  دقت پیش‌بینی کارایی به دقت مدل نرم‌افزار  بستگی دارد  (به هرحال، دقت 100% لازم / منطقی نیست).

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

پیش زمینه:

مهندسی کارایی نرم افزار(SPE)[Smith90]:

•ترکیب و تجمیع ارزیابی کارایی از مراحل نخست تا کل چرخه حیات فرایند تولید نرم افزار

 در عمل SPE کمتر به کار گرفته می شود:

•فاصله شناختی بین قلمرو تولید نرم افزار و قلمرو ارزیابی کارایی

•فشار ”عرضه سریع به بازار“ وقتی برای SPE باقی نمی گذارد

 رویکردهای ارزیابی کارایی زیادی پیشنهاد شده اند:

•تحلیلی

•شبیه سازی

از مدلهای نرم افزاری مختلف  استفاده می کنند:

، جبر فرایندها(PA)، پتری نت ها(PN)، چارتهای توالی پیامMSC، UMLو .....

مدلهای کارایی مختلف مد نظر قرار گرفته اند:

•شبکه های صف و گسترشهایی از آنها مثل  LQN و EQN،  SPN،  SPA و ....

محدودیتهای برخی روشهای موجود:

•مدلهای نرم افزار

استفاده از مدلهای نرم افزار  و نمادسازی های غیر استاندارد و مختص کاربرد خاص

عدم پذیرش وسیع در جامعه مهندسی نرم افزار

پشتیبانی اندک توسط ابزارهای CASE مناسب

•مدلهای کارایی

مدلهای تحلیلی

 تحلیل پیچیده

 نیاز به اعمال فرضیات خاص

 نگاشت پیچیده بین مدل نرم افزار و مدل کارایی

شبیه سازی

 مناسب کاربردهای خاص

 نیاز به زمان و منابع محاسباتی بسیار برای مدلهای پیچیده

نیاز به تکنیکهای آماری پیچیده برای شناخت صحیح نتایج

مدلهای کارایی:

شبکه‌های صف؛ (Queuing Networks Model (QNM با مشخصه‌های زیر:

مراکز سرویس: زمان سرویس، فضای بافر به همراه زمانبندی صف، تعداد سرورها

مشتریان: تعداد در مدلهای بسته، فرایند ورود برای مدلهای باز، تقاضای سرویس به هر مرکز سرویس، و انواع آنها

توپولوژی شبکه: چگونگی اتصال داخلی مراکز سرویس، و چگونگی حرکت مشتریان بین آنها

گسترشهایی از QN مثل (Layered QN (LQN و (Extended QN (EQN

 

(Stochastic Process Algebra (SPA

(Stochastic Timed Petri Nets (STPN یا

    (Generalized Stochastic PN (GSPN

کارهای انجام شده:

•مهندسی کارایی نرم افزار (Software Performance Engineering (SPE  معرفی شده توسط اسمیت (1990)، اولین رویکرد جامعی است که تحلیل کارایی را در فرایند تولید نرم‌افزار، از مراحل نخست تا انتها، وارد نموده است.

•متدولوژی SPE مبتنی بر دو مدل است:

مدل اجرایی نرم‌افزار: مبتنی بر گرافهای اجراست و رفتار اجرایی نرم‌افزار را نشان میدهد.

 مدل اجرایی سیستم: مبتنی بر مدلهای QN است و پلات‌فرم سیستم، شامل مؤلّفه‌های سخت‌افزاری و نرم‌افزاری را نشان می‌دهد.

شامل 58 اسلاید powerpoint