تاکنون الگوریتم‌های زیادی برای بهینه‌سازی محدوده معدنکاری زیرزمینی ارائه شده است. جدیدترین الگوریتمی که به این منظورتدوین شده الگوریتم کارگاه محتمل است. این الگوریتم با بهره‌گیری از منطق برنامه‌ریزی پویا برای محدوده معدنکاری زیرزمینی در کانسارهای رگه‌ای و لایه‌ای اجرا و محدوده بهینه را جستجو می‌کند. براساس الگوریتم کارگاه محتمل و با استفاده از C++ (ویژوال) یک برنامه کامپیوتری بنام SBO تدوین شده...

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

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

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

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

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

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

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

یکی از پرسش های اساسی در منطق این است که چرا ارسطو به «منطقِ شرطی» نپرداخته است؟ او که به عنوان مدوّن منطق شناخته می شود چگونه ممکن است به این بحث مهم توجهی نداشته باشد؟ آیا این بی توجهی فقط یک غفلت است یا عمدی است و ارسطو دلیلی برای آن دارد؟ ما در این مقاله پس از بررسی منطق شرطی (قضایا و قیاس های شرطی) از دیدگاه رواقیون و بیان اهمیت آن نزد منطق دانان جدید، به مبانی نظری و فلسفی دو نظام منطق حملی...

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