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

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

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

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

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

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

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

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

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

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