مطالب

سیستم‌‌های نگهداری مواد و کالا از جمله سیستم‌هایی هستند که در سال‌های اخیر پیشرفت چشمگیری داشته‌اند. این پیشرفت‌ها هم در زمینه سخت‌افزاری مانند سیستم‌های قفسه‌بندی، ماشین‌های ذخیره‌سازی و بازیابی مواد و هم در زمینه نرم‌افزاری نظیر مدل‌های زمان سفر و استراتژی بکارگیری تجهیزات رخ داده اند. توسعه سیستم ذخیره‌سازی و بازیابی اتوماتیک (AS/RS) یکی از مهم ترین پیشرفت‌ها در مسیر مدرن کردن مکانیزم صنایع است. یک سیستم حمل‌و‌نقل در انبار اتوماتیک که گاهی اوقات به انبار مرتفع اطلاق می‌شود،‌ ترکیبی از تجهیزات و کنترل‌هاست که مواد را سریع تر و با امنیت بیشتر و کارآتر از روشهای سنتی جابجایی، ذخیره، بازیابی و یا جابجا می‌کند. در این مقاله مدل جدیدی در حوزه مسأله فروشنده دوره‌گرد (TSP) ارائه شده که در آن مسأله مسیریابی حمل‌و‌نقل اقلام و قطعات از یک AS/RS بر اساس یک سفارش متشکل از چند قلم کالای متنوع مدل‌سازی شده است. این مدل نشانگر ساختار ریاضی مسأله‌ای جدید است که بر پایه تعمیم مسأله فروشنده دوره‌گرد (GTSP) بنا شده است. مسأله جدید "مسأله فروشنده دوره‌گرد تعمیم‌یافته تو در توی مرتبه 2 "(2-nested GTSP) نامیده شده است. در این مقاله ضمن ارائه مدل ریاضی این مسأله جدید، نشان داده شده که با استفاده از این مدل می‌توان مسأله ترتیب برداشت اقلام یک سفارش از یک AS/RS را که در آن هر قلم کالا در بیش از یک مکان نگهداری می‌شود، حل کرد. چگونگی حل مسأله به روش بهینه و همچنین یک الگوریتم فرا ابتکاری مورچگان که آنرا ACSrank نامیده‌ایم طراحی شده و محاسبات مقایسه‌ای برای دوازده مسأله نمونه نشان داده شده است.

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

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

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