محمد ایزدی

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

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

لا یخفی علی أحدٍ من الدارسین بأنّ علماء الکُرد قدّموا للمکتبة الإسلامیة أروع الکتب والعلوم وقد برز عددٌ کبیرٌ منهم لدراسة القرآن الکریم وتفسیره وعلومه، وألّفوا تفاسیر متعددة. فی هذا المقال بالمنهج التحلیلی- التوصیفی، یکشف لنا دور مفسّری الکُرد فی تفسیر القرآن الکریم وجهودهم التفسیریة، خلال القرن الرابع عشر الهجری إلی القرن العشرین المیلادی، مع إلقاء الضوء على أبرز مناهجهم التفسیریة، وندرس خلاله مخصصةً ما صنّفه العلماء الکُرد فی تفسیر القرآن الکریم ومشارکتهم فی إغناء المکتبة القرآنیة، ومعرفة مدى اهتمامهم بهذا العلم المبارک؛ فلاحظنا تنوّع ما جادتْ به قرائحهم فی هذا المجال، ففیها التفاسیر التامة والکاملة، ومنها تفسیر أجزاء من القرآن الکریم، وفیها تفاسیر مفصّلة، ومنها مختصرة ومجملة، وفیها تفاسیر مطبوعة ومنها مخطوطة. وفی نهایة المطاف حاولنا تسلیط الضوء على أهم وأبرز مناهج التفسیریة للمفسرین الکُرد من المأثور والمعقول وغیرها.

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