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

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

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

فرض کنید g یک گراف با مجموعه راس های v و مجموعه یال های e باشد . مجموعه احاطه گر s را یک مجموعه احاطه گر مهار شده می نامند هرگاه هر راس از v-s با راسی از v-s مجاور باشد می نیمم تعداد اعضای یک مجموعه احاطه گر مهار شده گراف g را عدد احاطه ای مهار شده نامند و با (γr (g نمایش می دهند . مجموعه احاطه گر تام s را یک مجموعه احاطه گر تام مهار شده نامند هرگاه هر راسی از v-s با راسی از v-s مجاور باشد . می...

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

معادله حالت ماده ی هسته ای را در چارچوب روش پایین ترین مرتبه قید (locv) و با استفاده از پتانسیل های حقیقی و نوکلئونی v8 و uv14، که از برازش با داده های پراکندگی نوکلئون- نوکلئون و ویژگی های دوترون به دست می آیند برای مقادیر مختلف پارامتر عدم تقارن بر حسب چگالی محاسبه کرده ایم. چگالی اشباع و انرژی بستگی با استفاده از پتانسیل های v8 و uv14 به ترتیب 0/32fm-3 و 0/35fm-3 و 32/5mev- و 32/6mev- به دست...

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

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

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

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