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

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

امروزه مشخص است که استفاده از روش بازگردانی دود [24] به منظور کنترل و کاهش اکسیدهای ازت [25] در موتورهای احتراق داخلی, کاملا اثر بخش و موثر بوده است. اگر روش بازگردانی دود به درستی و با دقت به خدمت گرفته نشود, به کاهش قابل ملاحظه توان موتور و افزایش سایر آلاینده های موتور منجر خواهد شد. یکی از دلایل بروز این مشکل عدم توزیع نسبتا یکنواخت دود بازگردانده شده در راهگاههای ورودی برای هر استوانه است....

از مهمترین ویژگی‌های بازار برق ایران، روش پرداخت به ازای پیشنهاد به نیروگاه های برنده است. این در حالی است که در بسیاری از بازارهای برق کشورهای توسعه یافته از روش پرداخت یکنواخت استفاده می­شود. این مقاله به مقایسه روش پرداخت یکنواخت و پرداخت به ازای پیشنهاد از نظر قیمت فروش و هزینه تمام شده برق در بازار برق ایران با استفاده از الگوی Q-Learning در سه دوره کم باری، بار عادی و پیک می پردازد. به دل...

در این پایان نامه ابتدا الگوریتم گوسپر که در به وجود آمدن روش ویلف- زیلبرگر نقشی اساسی دارد را معرفی کردیم.بعد از آن به توضیح روش ویلف- زیلبرگر پرداخته و چگونگی استفاده از بسته های نرم افزاری اخاد و مارکوف دبلیوزد در میپل را بیان می کنیم. با کمک این روش اثبات هایی کاملا کوتاه برای اتحادهای کوچر, لشچینر و بیلی- بوروین- برادلی می آوریم در ادامه کار اتحاد های جدیدی برای مقادیر تابع زتای ریمان بیان...

از مهمترین ویژگی‌های بازار برق ایران، روش پرداخت به ازای پیشنهاد به نیروگاه های برنده است. این در حالی است که در بسیاری از بازارهای برق کشورهای توسعه یافته از روش پرداخت یکنواخت استفاده می­شود. این مقاله به مقایسه روش پرداخت یکنواخت و پرداخت به ازای پیشنهاد از نظر قیمت فروش و هزینه تمام شده برق در بازار برق ایران با استفاده از الگوی Q-Learning در سه دوره کم باری، بار عادی و پیک می پردازد. به دل...

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

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