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

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

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

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

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

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

در سال 1971، با الهام از کار لازارد و گُورو برای مدول ها روی یک حلقه، استنستروم ثابت کرد که سیستم راست به طور قوی هموار است هرگاه تابعگون a تانسور (از رسته s-سیستم های چپ به رسته مجموعه ها) حافظ عقب برها و برابرکننده ها باشد. او همچنین نوعی از شرایط را (که تحت عنوان شرط (p) و (e) به آن اشاره خواهیم کرد) برای تشخیص همواری قوی فراهم کرد. بر خلاف حالت مدول های روی یک حلقه، همواری قوی اکیداً قوی تر ا...

هدف از مسئله برنامه ریزی توسعه تولید (gep) یافتن فنّاوری مطلوب، زمان و مکان نصب نیروگاه های جدید در یک افق زمانی مشخص می باشد به طوری که تضمین می کند ظرفیت نصب شده رشد تقاضای بار را در سطح قابل قبولی از قابلیت اطمینان برآورده خواهد کرد. در این مقاله یکی از رویکردهای مهم موسوم به بهینه سازی استوار (ro) که برای در نظر گرفتن عدم قطعیت هایی از قبیل تقاضای بار پیش بینی شده، توان تولیدی باد، هزینه های...