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

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

127 صفحه فایل PDF

فهرست مطالب
Table of Contents
1 تعریف صورت مسأله................................................................................... 8
1-1 مقدمه . ....................................................................................................... 2
2-1 طرح مسأله . ................................................................................. 3
3-1 اهداف تحقیق ................................................................................. 4
4-1 محدوده تحقیق . ............................................................................ 5
5-1 مراحل انجام تحقیق . ...................................................................... 6
6-1 ساختار پایاننامه . ........................................................... 7
2 مفاهیم پایه ............................................................................................................... 8
1-2 معماری نرمافزار ............................................................................... 9
2-2 ارزیابی معماری نرمافزار ......................................................... 14
3-2 اهمیت تصمیمات معماری در ارزیابی معماری . ........................................................ 16
4-2 سبکهای معماری مبتنی بر ویژگی . .......................................................... 18
5-2 وب معنایی و هستانشناسی .................................................................. 20
6-2 زبانهای وب معنایی ....................................................... 23
24 .........................................................................RDFS و RDF 1-6-2 زبان
26 ............................................................................... . OWL 2-6-2 زبان
با زبانهای شئگرا . ................................................... 28 OWL 3-6-2 مقایسه زبان
7-2 کاربرد هستانشناسی و وبمعنایی در مهندسی نرمافزار ................................ 3

8-2 جمعبندی مطالب فصل . ............................................................ 33
3 بررسی و مقایسه روشهای ارزیابی معماری نرمافزار ................................................... 35
1-3 مقدمه . ............................................................................................. 36
2-3 روش تحلیل معماری مبتنی بر سناریو ..................................................... 38
3-3 روش تحلیل معماری مبتنی بر مصالحه ............................................................ 41
4-3 روش ارزیابی بازبینیهای فعال برای طراحی میانی . .......................................... 44
5-3 روش ارزیابی تحلیل تغییرپذیری در سطح معماری ......................................... 46
6-3 روش تحلیل معماری مبتنی بر سناریو برای سناریوهای پیچیده .................... 49
7-3 مقایسه روشهای گوناگون ارزیابی معماری ..................................... 50
8-3 جمعبندی مطالب فصل . .......................................................... 57
4 ایجاد هستانشناسی متناسب با توسعه و ارزیابی معماری نرمافزار .......................... 59
1-4 مقدمه . .......................................................................... 60
2-4 هستانشناسیهای پیشنهادی ............................................... 62
3-4 جمعبندی مطالب فصل . .................................................................. 69
5 ارزیابی معماری نرم افزار برپایه هستان شناسیهای پیشنهادی و مطالعه موردی ..................... 70
1-5 مقدمه . ..................................................................................... 71
2-5 مطالعه موردی اول ......................................................... 71
1-2-5 فاز نخست . .................................................................... 72
3-5 مطالعه موردی دوم . ........................................................... 76
4-5 مطالعه موردی سوم . ................................................... 79
5-5 جمعبندی مطالب فصل . ........................................................ 79

6 خلاصه و نتیجهگیری . ........................................................................... 81
1-6 خلاصه تحقیق . ........................................................... 82
2-6 مرور دستاورد تحقیق . ................................................ 84
3-6 مقایسه با سایر روشها ............................................ 85
4-6 نقایص کار ................................................................................ 86
5-6 زمینههای آتی تحقیق ................................................ 86
پیوست یک: شناخت ابزار پروتژ . .......................................................................... 88
مقدمه . .................................................................................................... 89
معرفی پروتژ . .......................................................................................... 92
95 ................................................................. . OWL معماری ملحق
ایجاد کلاسها ............................................................................... 97
ایجاد ویژگیها . ............................................................................................... 98
99 ................................................................. OWL ویرایش عبارات زبان
استدلال براساس منطق توصیفی .................................................. 99
آزمون هستانشناسی . ........................................................................... 101
مشاهده هستانشناسی به صورت گرافیکی . ...................................................... 104
ایجاد نمونهها ............................................................................................. 105
پرسوجو در هستانشناسی . ................................................................. 106
مراجع . ...................................................................................................................

تحقیق در مورد آفات درختان میوه

لینک پرداخت و دانلود *پایین مطلب*

فرمت فایل:Word (قابل ویرایش و آماده پرینت)

تعداد صفحه:6

 فهرست مطالب

آفات درختان میوه

پر طاووس گلابی

سفیده رگ سیاه

ابریشم باف ناجور

زیست‌شناسی

پروانه تخم انگشتری

زیست‌شناسی

لیسه میوه

مینوز لکه گرد

سرشاخه خوار هلو

کرم هلو

کرم آلو

پر طاووس گلابی

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

سفیده رگ سیاه

پروانه‌ای سفید رنگ با رگبالهای تیره می‌باشد. روز پرواز، به طول 20 میلیمتر با شاخک سنجاقی است. در نرها مفصل آخر شاخک و در ماده‌ها چهار مفصل آخر سفید رنگ است. در اکثر مناق کشور وجود دارد. لارو این آفت از برگهای درختان میوه مانند سیب، گلابی، گوجه، بادام، آلبالو و گیلاس تغذیه می‌نماید. زمستان را به صورت لاروهای غیر کامل (لاروهای سنین 3 و 4) در داخل لانه‌هایی از تارهای خود و برگ درختان تهیه نموده است به سر برده و یک نسل در سال دارد

ابریشم باف ناجور

این حشره آفتی است پلی فاژ و در دنیا به بیش از 500 گونه حمله می‌نماید. در ایران گاهی به حالت طغیانی درمی‌آید و به خصوص در نواحی شمال روی درختان جنگلی پهن برگ و درختان میوه خسارت می‌زند.

دانلود فایل فلش فارسی تبلت Marshal ME-700

دانلود رام فارسی تبلت مارشال Marshal ME-700

این فایل ۱۰۰ درصد تست شده است 

نسخه اندروید: ۴,4٫۲ 

قابل فلش با Phoenix Suite و Live Suite

رمز فایل :  mobfiles.ir

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

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

صفحه اول و فهرست مطالب

مقاله رشته فقه اسلامی با موضوع قاعده نفی سبیل-- 16 صفحه

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

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

در این قاعده از چند جهت بحث است:

جهت اول: مستند قاعده:

  و مستند قاعده چند امر است اول: این گفته خدا در آیه 141سوره نساء: « لَن یَجعَلَ اللّهُ لَلکافِرینَ عَلَی المُؤمِنینَ سَبیلاً». و از معنی‌آیه ظاهر است که خدای‌تبارک و تعالی در عالم تشریع حکمی‌را قرار نداده که آن حکم موجب راه یافتن و تسلط یافتن کفار بر مؤمنین شود. و تشریع جواز  فروش برده  مسلمان به کافر و نفوذ و صحت این بیع موجب تسلط یافتن کافر بر مسلمان است و با این آیه نفی‌شده است اجاره کردن و عاریه دادن برده مسلمان به کافر هم همین حکم را دارد. إن شاء ا… تطبیق این قاعده را بر موارد آن به صورت مفصل ذکر خواهیم کرد.

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

مثلا مفاد ادله اولیه ولایت هر پدر و جد پدری بر فرزندان صغیر است چه دختر باشند چه پسر و مفاد این آیه بنا بر معنای مذکور نفی ولایت است وقتی که پدر یا جد پدری‌کافر باشندو دختر یا پسر مسلمان باشد. و همچنین در دیگر موارد تطبیق آیه؛ پس این قاعده حکومت واقعی دارد بر ادله اولیه و روند آن در این مسئله همانند روند حدیث:« لا ضَرَرَ و لا ضِرارَ فِی الإِسلامِ» و این گفته خدا:« ما جَعَلَ عَلَیکُم فّی الدّینِ مِن حَرَجٍ»، می باشد.

اینو داشته باش حالا: ممکن است با توجه به قرینه این گفته خدا قبل این آیه :«‌ فَاللّهُ یَحکُمُ بَینَکُم یَومَ القیامَةِ» گفته شود که مراد از سبیل حجت در روز قیامت است یعنی برای کفار علیه مؤمنین در روز قیامت حجت و دلیسلی‌نیست بلکه در آن روز برای مؤمنین علیه کفار دلیل و حجت است.

و آنچه که طبری در تفسیرش روایت کرده این معنی را تأیید می کند از ابن رکیع با سندهایش از امام علی‌(ع) روایت شده که مردی به ایشان عرض کرد: ای امیر مؤمنان آیا سخن خدا را دیده ای که : خدا هرگز برای‌کفار علیه مؤمنین راهی قرار نداده است؟ درحالیکه آنها با ما جنگ می‌کنند و پیروز می‌شوند و ما را می کشند؟علی(ع) به او فرمود: سپس فرمود: خدا بین شما در روز قیامت حکم می کند و خدا هرگز برای کفار علیه مؤمنین راهی قرار نداده است.

همچنین دیگران هم از امیر مؤمنین مثل آن را روایت کرده اند.

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

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

بله، تفسیر امام علی‌(ع) که فرمودند سبیل، همان حجت در روز قیامت است، مراد از نفی سبیل، نفی‌قهر و غلبه و تسلط خارجی‌و تکوینی نیست. این غلبه از عموم آیه نفی سبیل خارج است(یعنی از اول آیه نخواسته که این نوع غلبه را نفی کند)و خارج بودن این نوع غلبه از عموم آیه امر واضح و روشنی است که در خارج هم محسوس می باشد. خداوند در قضیه شکست مسلمین در جنگ احد می فرماید:« اگر به شما آسیبی رسید به دشمن هم آسیب رسید و این روزگار را به اختلاف بین مردم می‌گردانیم».

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

همه اینها در جایی است که مراد از سبیل نفی‌شده، غلبه باشد. اما بنا بر آنچه که گفتیم مراد از سبیل حکم شرعی است و غلبه در عالم تشریع مورد نظر است پس اشکالی نیست که نیاز به جواب داشته باشد.

و تفسیر امام از سبیل به حجت در روز قیامت با آنچه ما گفتیم منافاتی ندارد زیرا فرموده امام، تفسیر است نه ظاهر کلام و قرآن هم هفتاد بطن دارد.

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

دوم: این گفته پیامبر(ص) : اسلام برتر است و بر آن برتری‌نمی‌یابند و کفار به منزله مردگان هستند و به ارث هم نمی‌گذارند.

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

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

و به عبارت دیگر: ممکن نیست که حکم اسلامی و تشریع آن سبب و موجب برتری کافر بر مسلمان شود. در این حدیث شریف دو جمله است یکی موجبه و دیگری سالبه. و مفاد جمله موجبه اول این است که احکام جعل شده در اسلام آنجا که به امور بین مسلمین و کفار برمی گردد،برتری‌جانب مسلمین برکفار رعایت شده ومفادجمله سالبه عدم برتری کافربر مسلمین در این احکام می باشد.

و از آنچه گفتیم جواب ظاهر می شود که برتری‌اسلام ربطی به برتری‌مسلمین ندارد چون معنی برتری‌ایلام زیاد شدن شوکت آن و گسترش آن در اطراف زمین است زیرا بنا بر آنچه گفتیم ــ گفتیم معنی جمله موجبه اول یعنی: اسلام برتر است؛ این است که احکام اسلام موجب برتری مسلمان بر کافر می‌شود در اموری که بین آنها واقع می‌شود از جمله معاملات و ولایات و معاهدات و ازدواج ها و موجب برتری‌کافر بر مسلمام نمی شود پس در اسلام حکمی نیست که موجب برتری‌کافر بر مسلمان شود ــ مجالی‌باقی نمی‌ماند و و کلام برای‌آن واقع می‌شود و برتری‌اسلام عبارت اخرای برتری‌مسلمانان است.

و حاصل کلام اینکه پس از فراغت از اینکه پیامبر(ص) در مقام تشریع بودند نه در مقام خبر دادن از امر خارجی ــ و آن این است که اسلام دارای علو و برتری و شرف است زیرا موجب نجات و سعادت دنیا و آخرت است ــ شکی‌نیست که ظاهر این کلام این است که اسلام و این دین واین شرع متدینین را بر غیر آنها برتری می دهد و موجب برتری کفار بر متدینین به وسیله این دین نمی شود.

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

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

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

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

(ممکن است هنگام انتقال از فایل ورد به داخل سایت بعضی متون به هم بریزد یا بعضی نمادها و اشکال درج نشود ولی در فایل دانلودی همه چیز مرتب و کامل است)

متن کامل را می توانید دانلود نمائید

چون فقط تکه هایی از متن پایان نامه در این صفحه درج شده (به طور نمونه)

ولی در فایل دانلودی متن کامل پایان نامه

همراه با تمام ضمائم (پیوست ها) با فرمت ورد word که قابل ویرایش و کپی کردن می باشند

موجود است