گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...

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

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

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

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

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

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

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

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