توسعهدهندگان نرمافزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرمافزار تحت توسعه روبهرو هستند. هدف ما در این مقاله تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرمافزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روشهای رسمی با آنها سنجیده میش چکیده کامل
توسعهدهندگان نرمافزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرمافزار تحت توسعه روبهرو هستند. هدف ما در این مقاله تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرمافزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روشهای رسمی با آنها سنجیده میشوند، معرفی میشوند. در قدمهای دوم و سوم انواع نرمافزارها و روشهای رسمی بر اساس رویکردشان در حل مسئله طبقهبندی میشوند و در قدم چهارم بر اساس معیارهای تعیینشده در قدم اول، برازندگی و تناسب چند نمونه از روشهای رسمی برای توصیف و تحلیل هر طبقه از نرمافزار تعیین میشود.
پرونده مقاله
یک نرمافزار مطلوب باید قادر باشد خصیصههای کیفی مورد نیاز سیستم را علاوه بر نیازهای وظیفهمندی محقق کند. سبکهای معماری نرمافزار علاوه بر توصیف نرمافزار و تجزیه آن به مؤلفهها، تأثیر عمدهای بر روی خصیصههای کیفی نرمافزار طراحیشده دارند. تحلیل و ارزیابی کمی میزان ا چکیده کامل
یک نرمافزار مطلوب باید قادر باشد خصیصههای کیفی مورد نیاز سیستم را علاوه بر نیازهای وظیفهمندی محقق کند. سبکهای معماری نرمافزار علاوه بر توصیف نرمافزار و تجزیه آن به مؤلفهها، تأثیر عمدهای بر روی خصیصههای کیفی نرمافزار طراحیشده دارند. تحلیل و ارزیابی کمی میزان این تأثیرگذاری سبب میشود مناسبترین سبک برای طراحی معماری انتخاب گردد. در این مقاله برای ارزیابی کمی سه خصیصه کاندید موسوم به خصیصههای کیفی کارایی، قابلیت اطمینان و امنیت در سه سبک کاندید موسوم به سبکهای معماری داده مشترک، شیءگرا و لوله و صافی، روشی مبتنی بر شبکه پتری رنگی را ارائه میدهیم که محدودیت روشهای گذشته برای ارزیابی این خصیصهها در سبکها را ندارد. در این روش ابتدا سبکهای کاندید را با استفاده از شبکه پتری رنگی مدل میکنیم. سپس با توجه به قواعدی که برای ارزیابی بیان میکنیم با ابزار CPNTools شبکهها را تحلیل و مقدار خصیصههای کاندید را محاسبه میکنیم. در پایان با استفاده از رتبهبندی سبکها از نظر میزان تحقق خصیصههای کیفی کاندید، بهترین سبک کاندید را برای پیادهسازی مشخص میکنیم. برای ارائه یک نمونه عملی در استفاده از روش پیشنهادی، سیستم خودپرداز را به عنوان یک مورد مطالعه انتخاب کردیم.
پرونده مقاله
ارائه یک رویکرد عاملگرای راستیآزما برای دستگاه کنترل ضربان قلب که برای تنظیم ضربان بیماران دچار آرتیمی استفاده میشود و همچنین امکان کنترل و دسترسی به عملکرد آن در هر زمان و مکان از طریق بستر ابر جهت اطمینان از کارکرد صحیح آن، هدف این مقاله است.
در صورت از کار افتادن چکیده کامل
ارائه یک رویکرد عاملگرای راستیآزما برای دستگاه کنترل ضربان قلب که برای تنظیم ضربان بیماران دچار آرتیمی استفاده میشود و همچنین امکان کنترل و دسترسی به عملکرد آن در هر زمان و مکان از طریق بستر ابر جهت اطمینان از کارکرد صحیح آن، هدف این مقاله است.
در صورت از کار افتادن دستگاه تنظیم ضربان قلب به هر دلیل و یا تولید ضربان نامناسب توسط دستگاه، جان بیمار به خطر میافتد. با استفاده از رویکرد پیشنهادی، از عملکرد صحیح دستگاه تنظیم ضربان قلب میتوان اطمینان حاصل نمود. این رویکرد با استفاده از عامل نرمافزاری که قابلیت یادگیری تقویتی دارد میتواند شرایط پیشبینی نشده را فراگرفته و بر اساس آن رفتار نماید. استفاده از بستر ابر امکان ارسال پیام در شرایط بحرانی برای مراکز پزشکی را فراهم میکند. پس از محاسبه تعداد ضربان قلب بیمار به وسیله دستگاه تنظیم ضربان قلب و قبل از اعمال آن در بدن بیمار، رویکرد پیشنهادی مقدار ضربان محاسبهشده را بر اساس نظرات متخصص بررسی میکند و در صورت مغایرت بر اساس مکانیزم یادگیری تقویتی آن را تصحیح میکند. رویکرد پیشنهادی به طور خودکار و هوشمند با استفاده از قابلیت یادگیری تقویتی عمل مینماید. این روش به صورت شبیهسازی بر روی ابر و اتصال به یک دستگاه الکترونیکی همراه با بیمار پیادهسازی و از نظر زمان اجرا مورد بررسی و پذیرش قرار گرفت.
نتایج روش پیشنهادی با خروجیهای مورد انتظار در دیتاستهای موجود مقایسه شده است. این مقایسه نشان داد که استفاده از رویکرد پیشنهادی 24/13 درصد محاسبه انجامشده توسط دستگاه تنظیم ضربان قلب را دقیقتر میسازد. استفاده از عاملهای نرمافزاری با به کارگیری قابلیت یادگیری تقویتی میتواند نقش مهمی در بهبود رفتار دستگاههای پزشکی در شرایط بحرانی داشته باشد.
پرونده مقاله