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

کتاب «مبانی منطق و روش شناسی» را به‌عنوان مقدمه‌ای لازم و عام برای همه رشته‌ها و مقدمه‌ای خاص برای فراگیری منطق جدید (به‌ویژه کتاب‌های پیش گفته) بشمار می‌آورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزاره‌ها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...

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

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

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

در این مقاله برای تنظیم پارامترهای سیستم قدرت و ادوات facts از روش های بهینه سازی ژنتیک، ازدحام ذرات، ترکیب منطق فازی با الگوریتم ژنتیک و ترکیب منطق فازی با الگوریتم تکامل دیفرانسیل استفاده شده است. در اینجا دو نوع از ادوات facts، جبران ساز سری کنترل شده با تریستور (tcsc) و جبران ساز توان راکتیو استاتیک (svc) برای بهینه‎سازی مصرف توان راکتیو شبکه و کاهش تراکم خطوط مورد استفاده قرار گرفته است. ج...

برای استفاده از فرآیندهای هیدرولوژی خاک (shp)، که در سال­های اخیر شدیداً کسترش یافته­اند، درک جامعی از این مدل­ها و نگرش­های مدل­سازی آنها ضروری به­نظر می­رسد. این نگرش­ها را می­توان به دو دسته­ی کلی کلاسیک و غیر کلاسیک تقسیم­بندی کرد. روش­های کلاسیک عمدتاً shp را از طریق حل عددی و یا تحلیلی معادله­ی عمومی جریان غیراشباع (معادله­ی ریچاردز) مدل می­کنند. به­دلیل محدودیت­های روش­های کلاسیک، در سال­ه...

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

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

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