نتایج جستجو برای: منطق مرتبه دوم

تعداد نتایج: 86205  

ژورنال: :مهندسی مکانیک مدرس 2015
سیدحسام سجادی سیدحمید جلالی نائینی

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

ژورنال: :منطق پژوهی 0
مهدی رعنائی کارشناس ارشد فلسفة دین، دانشگاه علامه طباطبایی

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1377

واضح است که در بررسی و حل مسائل مقدار اولیه - مرزی شامل معادلات دیفرانسیل پاره ای وابسته به زمان با گرفتن تبدیل لاپلاس از طرفین معادله [کورانت - هیلبرت ]، جدا کردن متغیرها (روش فوریه) [پتروسکی] و جایگذاری پارامتر به جای مشتقات نسبت به زمان به طور صوری (روش انتگرال کنتور) [رسول اف ] به یک مسئله کمکی (اسپکترال) می رسیم که به صورت یک مسئله مقدار مرزی (مستقل از زمان) وابسته به پارامتر می باشد. که ب...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه الزهراء - دانشکده علوم پایه 1390

هدف اصلی این رساله ، حل مسأله هذلولوی مرتبه دوم خطی : است که در آن ، و توابع معلوم، و و مشتقهایشان توابعی پیوسته از هستند. ، و ضرایب و اعداد مشخص می باشد . تابع در این مسأله مجهول می باشدکه با شش روش عددی ( تفاضلی اسپلاین با سه سطح ، تفاضلی اسپلاین با دو سطح ، نیمه گسسته سازی با دو سطح ، صریح ، ضمنی کرانک ـ نیکلسون و تفاضلی فشرده) تقریبی از آن را به دست می آوریم . در روش تفاضلی اسپلاین ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم پایه 1391

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه کردستان - دانشکده علوم پایه 1393

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

پایان نامه :دانشگاه مهندسی فناوری های نوین قوچان - دانشکده ریاضی و کامپیوتر 1393

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

ژورنال: :دوفصلنامه علمی- پژوهشی شناخت اجتماعی 2016
سعید طالبی حسین زارع

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

ژورنال: :علمی پژوهشی مدیریت بحران 2014
ابراهیم زاده پزشکی نگار جلیلیان سید حیدر میرفخرالدینی

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی خواجه نصیرالدین طوسی 1389

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید