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

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

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

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

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

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

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

به منظور بررسی کارآیی علف کش اکسی فلورفن در کنترل علف هرز تاج خروس وحشی و همچنین ارزیابی خسارت وارده به سویا در شرایط گلخانه مقادیر 25/0، 5/0، 75/0 و 1 لیتر در هکتار اکسی فلورفن در یک نوبت سمپاشی (4-3 برگی تاج خروس و v2 سویا)، مقادیر خرد شدة 25/0 + 25/0، 35/0 + 35/0 و 5/0 + 5/0 این علف کش در دو نوبت سمپاشی (مرحله اول همان مرحله اشاره شدة قبلی و مرحلة دوم، دو هفته پس از سمپاشی به اجرا درآمد. بیش...

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

در این مقاله با استفاده از داده‎های روزانة شاخص کل بورس اوراق بهادار تهران در دورة زمانی 6/1/1382 تا 14/4/1386، به بررسی ویژگی حافظة بلند این شاخص پرداخته و مدل arfima را بر آن برازش می‎دهیم. هم‎چنین عملکرد پیش‎بینی مدل arfima را با مدل arima مقایسه می‎کنیم. نتایج نشان می‎دهند که اولاٌ این سری زمانی از نوع حافظة بلند است، بنابراین می‎توان با تفاضل‎گیری کسری آن را مانا کرد. پارامتر تفاضل‎گیری به‎...