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

این رساله تحلیلی از روش پرونا-ملک و چگونگی متحول شدن داده های اولیه هموار در حالت یک بعدی با مقیاس یک پرامتر طبیعی موجود در طرح است، که شامل حل یک دستگاه معادلات حرارت جفت شده به یکدیگر،در امتداد شرایط مرزی غیر خطی است که برگرفته از مقاله زیر است : s.selim esedoglu."an analysis of the perona-malik schem" university of minnesots.2001. با روشی مناسب با توجه به اندازه شبکه یک حد زنجیره ای معنی ...

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

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

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

چکیده ندارد.

با توجه به دقت و اعتبار روش های مبتنی بر رفتار اتمی مانند شبیه سازی دینامیک مولکولی (md)، امروزه این روش ها نقش بسیار مهمی در زمینه مدل سازی ورقه های تک لایه گرافن ایفا می کنند. با این حال، استفاده از این روش ها به دلیل هزینه های محاسباتی بالا تنها محدود به سیستم های با اندازه کوچک می باشد. علاوه بر این، با توجه به طبیعت گسسته گرافن، از روش های مبتنی بر مکانیک محیط پیوسته نمی توان برای مطالعه و...

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