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

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

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

هدف: یکی از راههای بازیابی اطلاعات استفاده از موتورهای جستجو است. هدف پژوهش حاضر بررسی مقایسه ای جامعیت و دقت موتورهای جستجوی عمومی براساس شاخص ربط سیستمی و بر اساس منطق جستجو می باشد. روش: این مطالعه به روش تطبیقی با استفاده از سه کلید واژه علم سنجی- تولیدات علمی و تحلیل استنادی که بر اساس جستجو در پایگاه اطلاعاتی ایرانداک پرتکرار ترین کلیدواژه ها در سالهای 1389-1393 در حوزه علم اطلاعات بوده ا...

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

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

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

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

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

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