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

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

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

شبیه سازی¬های عامل¬مبنا می¬توانند برای آزمودن فرضیه¬ها در سیستم¬های پیچیده بکار روند. یک سیستم چندعامله متشکل از تعدادی عامل هوشمند است. چنین سیستمی زمانی به کار می آید که حل مسائل و انجام وظایف توسط یک عامل و یا یک سیستم یکپارچه غیر ممکن یا دشوار باشد. اگر چه عامل و شیء ویژگی¬های مشترک زیادی دارند، اما یک فضای چندعامله، علاوه بر هندسه متغیر در زمان که در اشیاء متحرک نیز دیده می شود، ویژگی¬هایی...

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

کتاب فرهنگ نامه منطق اثر نرگس نیمروزی،از انتشارات سال 1392 در حجم 957 صفحه،واژگان تخصصی منطق قدیم و جدید را به صورت توصیفی معرفی می کند. این کتاب، به ویژه در بخش مباحث منطق جدید، دچار ایرادهای جدی ای است که در این مقاله به پاره ای از آنها به عنوان مشت نمونۀ خروار و در قالب چهار بخش زیر اشاره خواهیم کرد: 1. گزینش های بی دلیل مدخل ها 2. برداشت های نادرست فراوان از متون اصلی، (و در نتیجه، ابهام ها...

پژوهش حاضر با هدف بررسی تأثیر ساختار بر عملکرد سازمانی با در نظر گرفتن نقش میانجی گری استراتژی های ترکیبی رقابتی و رویکرد مبتنی بر منابع در شرکت گاز استان اصفهان صورت گرفته است. این تحقیق از نوع توصیفی- همبستگی می باشد. جامعه آماری پژوهش شامل مدیران و کارکنان شرکت گاز به تعداد 829 نفر و حجم نمونه با استفاده از جدول مورگان به تعداد 260 نفر محاسبه شده و نمونه گیری به روش طبقه ای متناسب با حجم جام...

ایران در دوره فرمانروایی «نادرشاه افشار»، جنگ­های داخلی و خارجی را سپری می­کند که اوضاع هنر، به ­ویژه نقاشی را متأثّر می­سازد. حدود نیم سده پس از این جریان، فرانسه درگیر انقلاب بزرگی می­شود که تمام اروپا را تحت­الشعاع قرار می­دهد و به فرمانروایی کوتاه­مدت «ناپلئون» می­انجامد که با کشورگشایی­های گسترده وی همراه می‌شود. نظر به تشابه سیاسی مذکور در بازه تاریخی تقریباً یکسان و با تأیید آن‌که محتوای ه...

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