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

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

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

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

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

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

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

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

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