زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد...

هدف اصلی این تحقیق، استفاده از روش تراکم تاج­پوشش جنگل (fcd) در تهیه نقشه تراکم تاج­ پوشش جنگل­های زاگرس با استفاده از داده­های ماهواره لندست 7 است. منطقه مورد مطالعه بخشی از جنگل­های شهرستان مریوان واقع در استان کردستان است. تصحیح هندسی داده­ها با خطای rmse کمتر از یک پیکسل صورت گرفت. برای اجرای این روش، پردازش­های اولیه مانند نرمال­سازی دامنه داده­ها برروی 5 باند اول صورت گرفت و چهارشاخص اصلی...

در آبزی‏پروری به دلیل مقرون به صرفه بودن، ماهیان پرورشی با تراکم بیشتر از محیط طبیعی در استخرهای پرورشی نگهداری می‏شوند. تراکم مناسب ذخیره‏سازی در رشد و پرورش ماهیان تاثیرات زیادی می‏گذارد. به این منظور این آزمایش در 8 هفته به منظور بررسی تراکم‏های مختلف بر روی رشد ماهی سفید انجام پذیرفت. آزمایشات در 5 تیمار و 3 تکرار بصورت: تیمار 1: با تراکم 10 عدد (174/0 کیلوگرم بر متر مکعب)، تیمار 2: با تراک...

در این تحقیق اثر تراکم ذخیره‌سازی (20، 25، 35 و 50 قطعه‌ ماهی در مترمکعب) بر بازده رشد، بازماندگی و پارامترهای خونی در ماهی سیچلاید زرافه‏ای (01/0±5/0 گرم) بررسی شد. بر اساس نتایج حاصله، با افزایش تراکم درصد افزایش وزن کاهش یافت و از86/8±98/793 درصد در تراکم 20 قطعه ماهی به 35/7±97/89 درصد در تراکم 50 قطعه ماهی رسید. همچنین ضریب رشد ویژه و شاخص وضعیت به طور معنی‏داری کاهش پیدا کرد (05/0P

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

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

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

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

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