در این پایان نامه روشی برای شناسایی ماتریس سختی و میرایی سازه با استفاده از داده های خروجی تنها و بر اساس روش شناسایی زیرفضا معرفی شده است. در این روش با فرض در دست بودن ماتریس جرم ماتریس حالت شناسایی شده در فضای گسسته زمانی به فرم کلاسیک در حالت پیوسته زمانی تبدیل شده و ماتریس های سختی و میرایی با ضرب ماتریس جرم در آن ظاهر می شوند.

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

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

ترانسفورماتورها وظایفی همچون انتقال ولتاژ، ایزولاسیون و تفکیک نویز را بر عهده دارند و یکی از اجزاء ضروری سیستم توزیع قدرت الکتریکی هستند. در عین حال، در فرکانس های صنعتی (50 هرتز) یکی از سنگین ترین و گران ترین اجزا در سیستم توزیع هستند. امروزه از ترانسفورماتور قدرت الکترونیکی به جای ترانسفورماتور قدرت معمولی استفاده می شود تا انتقال ولتاژ و تحویل توان در سیستم قدرت را انجام دهد. در این مقاله سا...

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

استفاده از سری‌های زمانی (منظور مشاهدات ما از فرآیند برحسب زمان) یک راه‌حل مؤثر در تحلیل این سیستم‌ها می‌باشد. در واقع تأکید روی این هدف است که چگونه می‌توان از مشاهداتی به فرم سری زمانی اسکالر از فرآیند، که تنها اطلاعات ما در مورد بعضی از سیستم‌ها می‌باشد، به ساختار فضای حالت با بُعد محدود رسید. بازسازی فضای حالت بر مبنای نظریه محاط بنا شده که کاربرد آن مستلزم تعیین مقدارهای مناسبی برای دو پارا...

استفاده از سری‌های زمانی (منظور مشاهدات ما از فرآیند برحسب زمان) یک راه‌حل مؤثر در تحلیل این سیستم‌ها می‌باشد. در واقع تأکید روی این هدف است که چگونه می‌توان از مشاهداتی به فرم سری زمانی اسکالر از فرآیند، که تنها اطلاعات ما در مورد بعضی از سیستم‌ها می‌باشد، به ساختار فضای حالت با بُعد محدود رسید. بازسازی فضای حالت بر مبنای نظریه محاط بنا شده که کاربرد آن مستلزم تعیین مقدارهای مناسبی برای دو پارا...

در مأموریت‌های فضایی وسایل بازگشت‌پذیر (Reentry Vehicle)، فاز بازگشت به جو از مهمترین مراحل مأموریت می‌باشد. به همین دلیل، هدایت و کنترل وسیلة بازگشت‌پذیردر این فاز مأموریت از اهمیت ویژه‌ای برخوردار است. در این مقاله یک الگوی هدایت و کنترل بهینه‌ برای وسایل بازگشت‌پذیر ارائه می‌شود که در برابر عدم قطعیت در پارامترهای ورودی مقاوم باشد. برای استفاده از هر نوع روش هدایتی، ابتدا باید معادلات حرکت و...