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

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

یکی از نخستین گام‌ها در برنامه‌ریزی برای توسعة گردشگری منطقه، داشتن شناخت کامل از محیط است؛ به‌گونه‌ای‌که ضمن شناسایی مناسب‌ترین مکان ها برای توسعة گردشگری آن، پهنه‌های نامناسب یا در معرض خطر نیازمند حفاظت یا احیاء نیز مشخص شوند تا بدین‌ترتیب ضمن طرح‌ریزی برای ارائة بهترین و سودآورترین برنامه‌ها، اصول توسعة پایدار نیز رعایت شود. از‌این‌رو در پژوهش حاضر، با به‌کارگیری سامانة اطلاعات جغرافیایی (G...

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

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

یکی از اهداف کلان توسعه در اغلب کشورها و از جمله کشور ما، کاهش بیکاری و توسعة فعّالیّت های شغلی است. در این مقاله دو هدف اصلی دنبال می شود: اوّلین، شناخت و ریشه یابی وضع موجود بیکاری و اشتغال در سطوح مختلف (بین المللی ـ محلی) و دوّمین چگونگی تغییر وضع موجود بیکاری و اشتغال در راستای دستیابی به وضع مطلوب است. روش بررسی، گردآوری آمار و اطّلاعات از منابع اسنادی و مطالعات میدانی محلّی و تئوری تحقیق نیز ن...

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

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

هدف: هدف از پژوهش حاضر، دستیابی به یک نظام نظری و مدل عملیاتی برای تأسیس دستگاهوارۀ علوم انسانی اسلامی بود. روش: روش پژوهش حاضر از نوع تحقیقات کیفی است که با نگرشی استنتاجی به منابع دینی صورت گرفته است. یافته‌ها: ابتدا مبادی هستی‌شناسی، انسان‌شناسی، معرفت‌شناسی، فلسفۀ علم، روش‌شناسی و ‌روشهای پژوهش در دستگاهوارۀ علوم انسانی اسلامی احصا شدند. بر این اساس، شش مسیر برای تولید علم شامل ‌شکل‌دهی نظا...

برنامهریزی آبیاری در شرایط وجود تنش آبی و شوری، مشکلتر از برنامهریزی آبیاری عادی است. برایبررسی پدیده تنش آبی گیاهان شاخصهای متعددی ارائهشده است که یکی از آنها شاخص تنش آبی گیاه 1 هست.در شرایط استفاده از آب شور، در ،(ksc- بهمنظور بررسی قابلیت این شاخص در برنامهریزی آبیاری ذرت (رقم 704:s2،3/ آب با شوری 5 :s1 ،2/ آب کارون با شوری 3 :s 1392 ، تحقیقی شامل 5 تیمار شوری آب آبیاری( 0 - سال زراعی 936/5...