هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

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

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

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

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

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

چکیده: هدف از این مطالعه، بررسی سطح دانش - مهارت کنونی و مورد نیاز مربیان مؤسسات آموزش کشاورزی از دیدگاه دانشجویان کشاورزی در (n= نفر از دانشجویان مراکز آموزش کشاورزی استان همدان و کرمانشاه است که ( 398 (n= برنامه ریزی آموزشی است. جمعیت مورد مطالعه( 1214 نفر از آنان به روش نمونه گیری تصادفی سیستماتیک از جدول کوکران انتخاب شدند. داده های این بررسی با پرسشنامه ساختارمند جمعآوری و با نرم 0 مشخص / ...

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

دیر زمانى است که رسم جامعه علمى بر این بوده است که حوزه دانش ها را از یکدیگر جدا سازد تا دانش پیراسته از داورى ها و انگاره هاى پیشینى و شخصیتى مقبولیت عام یافته، پیشرفت شتابان ترى بیابد. در اقتصاد هم مدت هاست که این تقسیم بندى، در قالب اقتصادى اثباتى Positive Economic و اقتصاد دستورى Normative Economic یا علم و مکتب رخ نماینده است. این تفکیک موجب گشته است تا بسیارى از باورهاى ارزش در قالب هاى ن...