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

دراین مقاله، مساله مکان‌یابی واحدهای اندازه‌گیری فازور با هدف مشاهده‌پذیری کامل شبکه انتقال با استفاده از یک رویکرد دو هدفه جدید مورد ارزیابی قرار می‌گیرد. برای این منظور، مجموعه نایقینی‌های تحمیل ‌شده به سیستم انتقال، واحدهای فازوری و اندازه‌گیرهای غیر سنکرون به صورت احتمالاتی مدل‌سازی شده و درقالب یک تابع هدف فنی برای مسأله مکان‌یابی واحدهای فازوری پیشنهاد شده است. مدل‌سازی احتمالاتی پیشنهادی...

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

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

مسألة مدل‌سازی در علوم مهندسی، نیازمند ابزار تحلیلی مناسبی است که بتواند ضمن غلبه بر عدم قطعیت‌ها، پیش‌بینی قابل اعتمادی از رفتار حاکم بر مسائل را ارائه دهد. در این مقاله روش شبیه‌سازی مونت کارلو به عنوان یکی از مؤثرترین روش‌های عددی برای شبیه‌سازی مسائل پیچیدة مهندسی عمران معرفی شده است. این روش قادر است با تکیه بر تولید اعداد تصادفی و تحلیل‌های احتمالاتی، کار آزمایشگاه را در محیط کامپیوتر شب...

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

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

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

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

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