نتایج جستجو برای: مدل فضای حالت زمان پیوسته

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

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

در سال ‎1940‎ پاول اردوش ‎cite{h8}‎ دو فضای توپولوژیک جالب توجه را معرفی کرد، که امروزه آنها را با نامهای فضای اردوش و فضای اردوش کامل می شناسیم. هرکدام از این دو فضا در فضای هیلبرت ‎$ ell^2 $‎ متشکل از دنباله های حقیقی با مربع جمعپذیر ساخته می شوند. فضای اردوش ‎$ er $‎ زیرفضایی از ‎$ ell^2 $‎ می باشد، بطوریکه تمامی مولفه های آن گویا هستند و فضای اردوش کامل ‎$ erc $‎، هر مولفه اش از دنباله ی هم...

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

چکیده ندارد.

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

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

بابک میرباقری خه بات درفشی محمد مهدی حسین‌زاده

تخریب گستره جنگل و تبدیل آن به عرصه‌های مرتعی، کشاورزی، شهری و روستایی، هر ساله در سطح وسیعی انجام می‌شود که خسارتهای فروانی به منابع طبیعی وارد می­کند. در پژوهش حاضر، با استفاده از مدل رگرسیون لجستیک، به شناسایی عوامل مؤثر در تخریب گستره جنگلی و پهنه­بندی احتمال وقوع این تخریب در حوضه­های آبخیز واز و لاویج پرداخته شد. آشکارسازی تغییرات کاربری اراضی طی دوره زمانی 1367 تا 1385 با استفاده از تصاو...

عباس عرفانیان امیدوار محمد پویان, مهدیه خلیق فرد,

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

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

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

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

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

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

این پایان نامه، یک کنترلر بهینه ی ردیاب متغیر با زمان را برای یک statcom متصل به باس بار شبکه پیشنهاد می دهد. کنترلرهای بهینه شامل یک (زاویه ی کنترلی ?) و یا دو ورودی کنترلی (زاویه ی کنترلی ? و شاخص مدولاسیون دامنه a_m) می باشند. طراحی کنترلرهای بهینه بر مبنای مدل های فضای حالت میانگینی صورت می گیرد که بر اساس ولتاژها و یا جریان های بار به عنوان ورودی های اغتشاشی مدل در کنار ورودی های کنترلی، گ...

Journal: :مهندسی برق دانشگاه تبریز 0
سعید پاشازاده دانشگاه تبریز - دانشکده مهندسی برق و کامپیوتر

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

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

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