دانلود ترجمه مقاله مدلسازی مدیریت تصادف خودرو – مجله IEEE

عنوان فارسی: | مدلسازی مدیریت تصادف خودرو با روش KAOS |
عنوان انگلیسی: | Modeling Car Crash Management with KAOS |
تعداد صفحات مقاله انگلیسی : 6 | تعداد صفحات ترجمه فارسی : 14 |
سال انتشار : 2013 | نشریه : آی تریپل ای - IEEE |
فرمت مقاله انگلیسی : PDF | فرمت ترجمه مقاله : ورد تایپ شده |
کد محصول : 4547 | رفرنس : دارد |
محتوای فایل : zip | حجم فایل : 1.27Mb |
رشته های مرتبط با این مقاله: مهندسی مکانیک و مهندسی برق |
گرایش های مرتبط با این مقاله: مکاترونیک، طراحی جامدات، مکانیک خودرو، طراحی کاربردی، برق کنترل، ابزاردقیق |
مجله: روشهای مقایسه مدل سازی مورد نیاز کارگاه آموزشی بین المللی |
دانشگاه: دانشگاه کاتولیک لوون، بلژیک |
کلمات کلیدی: الزامات هدف گرایی مهندسی، مدلسازی چندگانه سیستم، ساخت مدل، تجزیه و تحلیل مدل |
وضعیت ترجمه عناوین تصاویر و جداول: ترجمه شده است |
وضعیت ترجمه متون داخل تصاویر و جداول: ترجمه نشده است |
چکیده
۱ مقدمه
۲ مدل اعلانی برای سیستم ایده آل
الف تشریح قطعات مدل هدف
ب استخراج موضوعات از مشخصات هدف
ج غنی سازی مدل هدف
د بررسی گزینه های جایگزین در سناریوها
ه شناسایی اهداف نرم افزاری برای انتخاب گزینه جایگزین
۳ تجزیه و تحلیل موانع برای تکمیل مدل هدف
الف شناسایی عوامل
۴ استخراج مدل عامل
۵ استخراج مدل های عملیاتی
الف استخراج عملیات از مشخصات هدف
ب استخراج عامل از مدل رفتاری
۶ بحث
Abstract
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, modelbased approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated. Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management.
چکیده
داشتن نرم افزار مورد نياز براي مفروضات لازم ، يك پيش شرط مهم براي توسعه نرم افزار است. KAOS نرم افزاري است كه مبتني بر تشريح سازگاري كامل و كافي بوده و به خوبي از نرم افزارهاي مورد نياز اندازه گيري و مفروضات سازمان يافته است. زمان مدلسازي و روش پوشش به صورت عمدي و ساختاري و كاربردي و رفتارهاي سيستم هدف است. مدل فرعي و عملياتي يكپارچه شده است. تكنيك هاي نيمه رسمي و رسمي مكمل يكديگر براي ساخت مدل و تجزيه و تحليل كامل ان است. آنها پشتيابني اوليه داشته و استدلال افزايش د مدل هاي جزئي براي تنوع از اهداف، از جمله استدلال رضايت هدف و ارزيابي گزينه ي جايگزين و تجزيه و تحليل خطر است و تهديد ها و درگيري ها و مديريت قابليت رديابي دارد.