نتایج جستجو برای: وارسی کننده مدل bogor
تعداد نتایج: 189923 فیلتر نتایج به سال:
امروزه افزایش توان محاسباتی سیستمهای ابررایانه با افزایش تعداد پردازنده ها امکان پذیر می باشد و افزایش تعداد پردازنده ها، احتمال وقوع خرابی را در این سیستمها افزایش می دهد. الگوریتمهای تحمل خرابی، عملیات وارسی هماهنگ و بلوک شونده به طور گسترده ای در این سیستمها مورد استفاده قرار می گیرند. استفاده از این روش ها، سربار زمانی را به سیستم تحمیل می کند که موجب کاهش کارایی این سیستمها شده و باعث افزا...
مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از...
سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این سیستم ها با روش پیشنهادی این افراد و با استفاده از ابزارهای موجود مشکل خاصی دارد. این مشکل را با ارائه ی مثالی در نرم...
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدلسازی رسمی و راهکاری مناسب بهمنظور مدلسازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...
1 Regional Nutrition Advisor, Hellen Keller international (HKI), Asia Pacific Regional officer 2 Regional Director, HKI Asia Pacific & Country Director, HKI, Indonesia Regional officer 3 Director, Field Operation & Data Management, HKI Indonesia 4 Field Director, SUMMIT Program, HKI Indonesia 5 Deputy Director, HKI Indonesia 6 National Institute for Health Research & Development, Jakarta, Indon...
اعتماد و شهرت، مفاهیمی شناخته‌شده در علوم اجتماعی هستند که امروزه در قالب سامانه‌های اعتماد، کاربردهای روزافزونی در علوم رایانه و ارتباطات پیدا کرده‌‌اند. این سامانه‌ها با ارائۀ مدلی محاسباتی و بر پایه مجموعه‌ای از تجربیات و توصیه‌ها، مقادیر اعتماد (یا شهرت که نوع خاصی از اعتماد است) را محاسبه می‌‌کنند. این مقادیر به موجودیت‌ها در شناسایی و سپس منزوی ساختن موجودیت‌های غیردرست‌کار جامعه یاری می...
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are suitable for checking interesting properties expressed as combinations of LTL and graph transformation rules. The first experimental results are encou...
Authors: Wouter MJ Achten, Wouter H Maes, Raf Aerts, Louis Verchot, Antonio Trabucco, Erik Mathijs, Virendra P Singh, Bart Muys a Division Forest, Nature and Landscape, Katholieke Universiteit Leuven, Celestijnenlaan 200E-2411, BE-3001 Leuven, Belgium b Centre for International Forestry Research, P.O. Box 0113 BOCBD, Bogor 16000, Indonesia c Division Agricultural and Food Economics, Katholieke ...
وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...
Abstract—Geometrical shape of bamboo usually assumed as tapered hollow pipe. This study proved that the dimensional changes along the bamboo stem significantly affected to its Modulus of Rupture (SR) value which measured from third point loading bending test. Therefore if the bending test applied using third point loading configuration, the SR value should be adjusted by strength ratio of taper...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید