مساله افراز­بندی گراف اولین بار توسط فرانسیس گوتری در سال 1852 بیان شد..کاربردهای مختلف این مساله را می­توان در طراحی مدارهای الکتریکی­[2]، قطعه قطعه­سازی تصویر­[3]، محاسبات موازی­[4]، تخصیص کار­[5] و غیره پیدا کرد. در این جا مساله افراز­بندی را برروی یک گراف بدون جهت و وزن دار در نظر می گیریم. مساله افرازبندی تقسیم راس­ها به k افراز با اندازه های معلوم است به قسمی که وزن یال هایی که گره ها...

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

در این مقاله به بررسی قراردادگرایی کارنپی در مقابل پس زمینه ی غالب ویتگنشتاینی آن روزگارمی پردازیم، این پ سزمینه را کارنپ جز مگرایانه و غیرقابل قبول به شمار م یآورد. مقاله را با داستانرضایت مندی اولیه و نارضایتی نهایی تجربه گرایان از رویکرد تاتولوژیک ویتگنشتاین نسبت بهصدق های منطقی و ریاضی آغاز م یکنیم. آن گاه موض عگیری کارنپ در مقابل دیدگاه مطل قگرایانهویتگنشتاین را بررسی می کنیم، دیدگاهی که ا...

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

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

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

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

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

به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این م...