نتایج جستجو برای: صوری سازی منطقی
تعداد نتایج: 114070 فیلتر نتایج به سال:
باپیشرفت تکنولوژی و ظهور سیستمهای plc به طور گسترده در صنایع و کارخانجات و با توجه به افزایش ارزش انرژی در کشور، یکی ازدغدغه های جدی در صنایع نیروگاه حرارتی ارتقا عملکرد بویلرها به کمک بهینه سازی عملکرد سیستم کنترلی plc می باشد. تقریبا در تمام نیروگاههای حرارتی داخلی و خارجی ، حتی معتبرترین طراحان و سازندگان به استفاده از روشهای کنترل خطی کلاسیک مبتنی بر مدلهای غیر دقیق ترمودینامیکی ، استفاده م...
روند کاهش و نابودی گونه ها همچنان ادامه دارد و بسیاری از گونه ها با نرخ فزاینده ای در حال انقراض هستند. حدود 30 درصد انقراض گونه ها تا سال 1980 میلادی به تخریب و انهدام زیستگاه های حیات وحش نسبت داده شده است. در این میان زیستگاه های باز مانند نواحی نیمه بیابانی و علف زارها تا حد زیادی در سراسر جهان تغییر یافته اند و حیات وحش آن ها نیز در معرض نابودی هستند. کوکر شکم سیاه (pterocles orientalis) پ...
مدل سازی آب های زیرزمینی فرآیندی پیوسته و پویا است که در آن به تناسب ادامه مطالعات و افزایش دانش نسبت به سامانه و افزوده شدن بر حجم داده های موجود ، مدل مفهومی نیز تکامل یافته و فرضیات تشکیل دهنده آن دوباره موردبررسی قرار می گیرد و به آن ها افزوده یا کاسته شده و یا اصلاح می شود.در این تحقیق سعی شده با واسنجی مدل ناپایدار ریاضی آبخوان و سپس اعمال سناریوهای مختلف از طریق تغییر (افزایش و کاهش) در ...
مسئلۀ تبیین فرایند معرفت و شناخت، از جمله مهم ترین دغدغه های فیلسوفان طی تاریخ تفکر و اندیشه و خاستگاه شکل گیری اختلاف نظرها و مشاجره های بسیار در این میان بوده است و در یک کلام می توان گفت در دورۀ جدید پس از دکارت و در اوج آن در کانت فلسفه به معرفت شناسی تحویل و به تعبیری مترادف با آن تلقی می شود. نگاهی تطبیقی به جریان شکل گیری معرفت و یا تطبیق برخی عناصر به کار رفته در آن افزون بر اینکه نقاط ...
کاربندی یکی از الگوهای اصیل و کهن در معماری ایرانی و حاصل شناخت معماران ایرانی نسبت به علم هندسه و ریاضیات پیشرفته است. باززنده سازی این الگو مستلزم شناخت کافی نسبت به تمامی ابعاد موضوع نظیر، گونه شناسی، شناخت ویژگیهای هندسی، ساختاری و اجرایی آن است. در این راستا در این مقاله سعی شده است به گونه شناسی کاربندی پرداخته شود و در ضمن این گونهشناسی نیز به تدوین ساختار هندسی کاربندی رسمی در قالب جد...
فلسفۀ منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی می کند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پاره ای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیرو...
دکتر محمد خوانساری،متولد 1300 ش./1921 م.در شهر اصفهان است.ایشان،علاوه بر استفاده از محضر استادان بنام علوم قدیم اصفهان،در طول دوران تحصیل در دانشسرای مقدماتی اصفهان و دانشسرای عالی تهران،از محضر استادانی همچون مرحوم کتابی،همائی،مدری رضوی،رضازادهء شفق،بهار،اقبال آشتیانی، معین،مهدوی،سیاسی،صدیقی و بخصوص شیخ محمد حسین فاضل تونی بهره مند گردید.پس از اخذ لیسانس لسفه و علوم تربیتی،ابتدا به عنوان مسئول...
در این مقاله ، مشکلات موجود در عملیات بهنگام سازی دیدهای رابطه ای و موارد ناممکن این عملیات مورد تحلیل قرار می گیرند. ضمن مرور اجمالی کارهای پژوهشگران در این زمینه،تعریف صوری دید ارائه و مزایای این مفهوم یادآوری میشود. در این بررسی، دیدهای رابطه ای به سه رده اساسی تقسیم میشوند:دیدهای بی مشکل،دیدهای دارای مشکل و دیدهای غیرقابل بهنگام سازی. با توجه به تنوع مکانیسمهای اشتقاق دید از رابطه (های)مبنا...
این تحقیق به ارتباط میان منطق و اخلاق میپردازد و تعارض تکالیف را بهمنزلة مبحثی اخلاقی بررسی منطقی میکند. منطق تکلیف استاندارد که از ابتدا به منظور بررسی گزارههای اخلاقی بنا شد، نمیتواند بیان درست و دقیقی از تعارض میان تکالیف داشته باشد. بنابراین منطقهای جدید تکلیفی بنا شدهاند تا بتوانند موقعیت تضاد میان تکالیف را به طور صوری بیان کنند. در این میان منطقهای تکلیف فسخپذیر و به طور خاص ...
چکیده بسیاری از بحث های کشفی، علمی و فلسفی را می توان با محوریت خیال تبیین کرد. کاربرد خیال در مباحث هستی شناسی و معرفت شناسی عرفان و فلسفه همواره مورد توجه اهل نظر در علوم فلسفی و شهودی بوده است تا آنجا که می توان ادعا کرد که عرفان با خیال زنده است. اما در این نوشتار ما به این مسئله می پردازیم که از نظر ابن سینا، سهروردی و ابن عربی انواع خیال کدام اند؟ و چه ارتباطی میان این انواع وجود دارد؟ ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید