امروزه آلیاژ تیتانیوم Ti-6Al-4V به‌دلیل خواص فیزیکی و مکانیکی همچون استحکام بالا، چگالی کم نسبت به فولاد، مقاومت عالی در برابر خوردگی و قابلیت جوشکاری بالا در صنعت مورد توجه قرار گرفته است. یکی از کاربردهای آلیاژ تیتانیوم Ti-6Al-4V که منجر به بهبود خواص مکانیکی قطعات فولادی می­گردد، استفاده از آن در فرایند لایه­نشانی است. در مقالة حاضر از منطق فازی برای مدلسازی فرایند لایه­نشانی به‌کمک لیزر پال...

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

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

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

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

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

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

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

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