نتایج جستجو برای: سیستم های تبدیل گراف
تعداد نتایج: 504568 فیلتر نتایج به سال:
مقدمه: به دلیل وجود عوامل خطر فراوان و ریسک زیاد در مراکز صنعتی فرآیندی، از چندین لایه حفاظتی جهت کاهش خطر و ریسک استفاده می شود. تعیین سطوح یکپارچگی ایمنی برای سیستم های امنیتی مجهز به ابزار دقیق کمک می کند تا از ایمنی کلی فرآیند اطمینان حاصل شود. یکی از روش های تعیین سطح یکپارچگی ایمنی، ریسک گراف است. روش ریسک گراف علی رغم سادگی آن روشی کیفی و وابسته به نظرات شخصی متخصصان است. .روش کار: در ای...
بمنظور تولید سیستم های ایمنی-بحرانی ، استفاده از روشهای رسمی یک روش کارآمد و موثر در این زمینه می باشد. سیستم های تبدیل گراف نیزیکی از پرکاربردترین آنها در توصیف مدل ها است. یکی از موانع بر سر راه وارسی مدل ، مشکل انفجار فضای حالت است. این موضوع باعث شده است که استفاده از سیستم های تبدیل گراف، کارایی خود را در حل مسائلی که دارای فضای حالت گسترده ای هستند، از دست بدهند. لذا هدف از انجام این تحقی...
در این مقاله شیوه جدیدی بر مبنای گراف سیگنال جریان برای مدلسازی مبدل Cuk ارائه شده و در کنار آن روش اولیه مبتنی بر گراف سیگنال جریان پیشنهاد شده در مراجع نیز بر روی مبدل Cuk پیاده شده است. روش پیشنهادی فرآیند بسیار سادهتری در مقایسه با سایر روشهای مدلسازی و هم چنین روش قدیمیتر مبتنی بر گراف سیگنال جریان داشته و از گراف به دست آمده میتوان سه مدل سیگنال کوچک، سیگنال بزرگ و حالت ماندگار مبدل ر...
در این پایان نامه، روشی به منظور ارزیابی کارایی معماری سرویس گرا، با استفاده از سیستم تبدیل گراف و زبان مدل سازی کارایی pepa پیشنهاد شده است. با استفاده از این روش فراهم کننده ی سرویس می تواند در زمان طراحی سرویس نهایی، توافق نامه ی پیشنهادی اش را از دیدگاه ویژگی های کارایی بررسی کند و موارد صحیح و دقیقی را ارائه نماید. علاوه براین فراهم کننده ی سرویس می تواند سرویس های تشکیل دهنده ی ترکیب سروی...
هدف از این پژوهش اعتبار سنجی پرسشنامه جدید ۴ عاملی سیستم خود انگیزشی زبان دوم بعنوان یکی عوامل تاثیرگذار بر یادگیری انگلیسی بوده است. در تحقیق طرح پیمایشی به شیوه ی الگوی معادلات ساختاری نوع تحلیل تأییدی استفاده شده تعداد ۵۹۹ نفر (۳۰۸ دانشجوی خانم و ۲۹۱ آقا) سطح پیش متوسطه رده سنی ۲۵-۱۸سال که دانشگاه آزاد اسلامی – واحد تهران شرق رشته های مختلف تحصیلی مشغول تحصیل می باشند، شرکت کردند. آنجائیکه ا...
در این مقاله، شیوه جدیدی از روش گراف سیگنال جریان برای مدل سازی مبدل کاهنده - افزاینده دوسویه و استخراج توابع تبدیل مورد نیاز استفاده شده است. روش گراف سیگنال جریان ضمن دستیابی به توابع تبدیل مورد نیاز مبدل، فرآیند ساده تری نسبت به سایر روش های مدل سازی دارد. مبدل مدل شده در سیستم مدیریت انرژی یک خودروی برقی به کار گرفته می شود. سیستم انرژی خودروی برقی مورد نظر از دو منبع فراخازن و بانک باتری ت...
سابقه و هدف: شهرنشینی در جهان رو به افزایش است جمعیت شهری حال متراکم تر شدن شهرها می باشد. یکی از اثرات درصد سطوح نفوذ ناپذیر این مناطق امروزه بسیاری شهرهای مهم جهان، برای کاهش توسعه شهر خود بر کیفیت کمیت رواناب، مفهوم پایدار توجه نموده فنّاوریهای مدرن سبز مدیریتی، شامل بهترین روشهای مدیریتی با حداقل جانبی بهره میگیرند. بام سبز، یک سیستم چندلایه ای که سقف بالکن ساختمان را پوشش گیاهی پوشانده ج...
در این مقاله،روشی برای بهینه سازی سیستم توزیع به کمک بازآرایی فیدر توسعه داده شده است. بازآرایی فیدر روش ساده و کم هزینه ای برای کاهش تلفات سیستم توزیع است که با انجام مانور روی شبکه موجود صورت می پذیرد. در این تحقیق ،رویکرد تئوری گراف برای تحلیل و بهینه سازی شبکه توزیع انتخاب شده است. براساس این تئوری ،تجزیه (وبهینه سازی)گراف به صورت یک مسئله برنامه ریزی خطی معادل سازی میشود. سیستم توزیع به عن...
در این مقاله،روشی برای بهینه سازی سیستم توزیع به کمک بازآرایی فیدر توسعه داده شده است. بازآرایی فیدر روش ساده و کم هزینه ای برای کاهش تلفات سیستم توزیع است که با انجام مانور روی شبکه موجود صورت می پذیرد. در این تحقیق ،رویکرد تئوری گراف برای تحلیل و بهینه سازی شبکه توزیع انتخاب شده است. براساس این تئوری ،تجزیه (وبهینه سازی)گراف به صورت یک مسئله برنامه ریزی خطی معادل سازی میشود. سیستم توزیع به عن...
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستییابی سیستمهای نرمافزاری مطمئن است. در این سیستمها، نمیتوان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستییابی، قبل از پیادهسازی و در سطح مدل انجام شود. سیستمهای تبدیل گراف، از پرکاربردترین سیستمهای مدلسازی رسمی و راهکاری مناسب بهمنظور مدلسازی و وارسی سیستمهای پیچیده هستند. اما این سیستمها در فرآی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید