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

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

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

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

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

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

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

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

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