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

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

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

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

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

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

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

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

داده های اخذ شده توسط سیستم های لیزر اسکنر هوایی به دلیل برخورداری از مزایایی نظیر دقت هندسی نسبتاً بالا و تراکم مکانی بالای نقاط، اطلاعات هندسی متنوع و منحصر به فردی از سطوح فیزیکی عوارض فراهم می آورند. طبقه بندی و تفکیک داده های ابر نقطه به عوارض سازنده ی محیط، نقش مهمی در روند مدلسازی سه بعدی عوارض ایفا می کند. در مقاله پیش رو، مسأله ی تفکیک ابرنقاط بعنوان یک فرایند طبقه بندی نظارت شده مدنظر ...