نتایج جستجو برای: منطق مرتبه دوم
تعداد نتایج: 86205 فیلتر نتایج به سال:
در این مقاله، حل صریح هدایت خط دید بهینه برای سیستم های کنترل دوجمله ای مرتبه دوم بدون شتاب اشباع بصورت حلقه بسته استخراج می شود. معادلات حرکت برای حل بهینه به صورت تک بعدی در نظر گرفته شده و زمان و موقعیت نهایی معلوم و ثابت فرض شده است. بعلاوه، استخراج معادلات با استفاده از سه فرم بی بعدسازی انجام شده است که سبب افزایش قابلیت در طراحی و بهبود تحلیل عملکرد قانون هدایت بهینه استخراج شده می شود. ...
کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...
واضح است که در بررسی و حل مسائل مقدار اولیه - مرزی شامل معادلات دیفرانسیل پاره ای وابسته به زمان با گرفتن تبدیل لاپلاس از طرفین معادله [کورانت - هیلبرت ]، جدا کردن متغیرها (روش فوریه) [پتروسکی] و جایگذاری پارامتر به جای مشتقات نسبت به زمان به طور صوری (روش انتگرال کنتور) [رسول اف ] به یک مسئله کمکی (اسپکترال) می رسیم که به صورت یک مسئله مقدار مرزی (مستقل از زمان) وابسته به پارامتر می باشد. که ب...
هدف اصلی این رساله ، حل مسأله هذلولوی مرتبه دوم خطی : است که در آن ، و توابع معلوم، و و مشتقهایشان توابعی پیوسته از هستند. ، و ضرایب و اعداد مشخص می باشد . تابع در این مسأله مجهول می باشدکه با شش روش عددی ( تفاضلی اسپلاین با سه سطح ، تفاضلی اسپلاین با دو سطح ، نیمه گسسته سازی با دو سطح ، صریح ، ضمنی کرانک ـ نیکلسون و تفاضلی فشرده) تقریبی از آن را به دست می آوریم . در روش تفاضلی اسپلاین ...
در بسیاری از سیستم های کنترلی و مکانیکی عواملی هستند که باعث اغتشاشات در سیستم می شوند که در مطالعه مدلهای کنترل قطعی این اغتشاشات نادیده گرفته میشود به همین دلیل در این پایان نامه به مطالعه کنترل تصادفی می پردازیم که اغتشاشات را نیز برسی کنیم .مساله کنترل بهینه ی تصادفی به دو روش برنامه ریزی پویا که اصل بهینگی بلمن نتیجه می شود و اصل پونتریاگین است شرایط لازم برای اکسترمم را بیان میکند همچنین ...
در این پایان نامه، بر اساس یک تحقق از فرایند پواسون ناهمگن که تابع شدت آن به یک پارامتر حقیقی ? وابسته است، به مطالعه ی آزمون های کارای مرتبه ی دوم و کسری توان می پردازیم. به این منظور، فرض ساده ?_0 را در مقابل فرض مرکب یک طرفه در نظر می گیریم. در حالت کلی، برای اندازه ی نمونه ی ثابت، به طور یکنواخت پرتوان ترین آزمون با اندازه ی ? وجود ندارد. بنابراین، در چارچوب مجانبی و با استفاده از قضیه ی حد...
نشان داده شده است که جواب روش های صریح و ضمنی تفاضل متناهی، نسبت به نرم یک شبکه ای در حل معادله های خطی هذلولوی، همگرا هستند. با کمک تکنیکی مشابه روش انرژی در بحث اثبات یکتایی جواب معادله های دیفرانسیل جزیی و با استفاده از تقریب مرتبه چهارم برای مقادیر تابع جواب در اولین گام زمانی برای معادله مرتبه دوم موج در فضای دو بعدی نشان داده خواهد شد که روش تفاضل متناهی صریح و روش ضمنی مسیر متناوب نسبت ب...
مقدمه: این پژوهش با هدف بررسی نسبت روایی محتوایی و ارزیابی اعتبار سازه پرسشنامه انتظارات آموزشی از یکسو و از سوی دیگر بررسی نقش انتظارات اطرافیان بر تغییر نگرش نسبت به استفاده از محتوای درسی الکترونیکی انجام شده است. روش: روش پژوهش همبستگی و جامعه آماری آن دانشجویان دانشگاه های پیام نور فارس هستند برای تعیین حجم نمونه، از فرمول کرجسی و مورگان و روش نمونه گیری خوشه ای استفاده شده است. ابزار مورد...
ایران بعد از چین، هند و بنگلادش بیشترین میزان خسارت را در جهان از بلایای طبیعی، به ویژه زلزله، به خود اختصاص می دهد. با وجود ماهیت غیر قابل پیش بینی زلزله جوامع توسعه یافته، با مدیریت و برنامه ریزی صحیح، به طور چشمگیری از صدمات ناشی از بلایای طبیعی کاسته اند. بنابراین ارائه ی مدلی که به طور جامع و نظام مند نحوه ی ارتباط بین عوامل مؤثر بر مهار و کاهش خسارت های ناشی از زلزله را نشان دهد، بسیار حا...
در این پایان نامه یک اتوپایلوت مبتنی بر مد لغزشی مرتبه دوم برای یک وسیله حمل و نقل هوافضایی در فاز اتمسفریک پرواز طراحی شده است. استفاده از این روش بمنظور حل مسئله چترینگ موجود در روش کنترل مد لغزشی متداول می باشد، ضمن آنکه این الگوریتم از عملکرد و دقت بالایی برخوردار است و خواص مد لغزشی را بخوبی حفظ می نماید. در ابتدا طراحی یک سیستم کنترلی کلاسیک اما متغیر با زمان برای وسیله حمل و نقل هوافضای...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید