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

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

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

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

چکیده ندارد.

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

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

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

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