روشهای صوری در تحلیل و طراحی عامل گرا
- سال انتشار: 1384
- محل انتشار: یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
- کد COI اختصاصی: ACCSI11_171
- زبان مقاله: فارسی
- تعداد مشاهده: 1185
نویسندگان
دانشکده فنی مهندسی گروه کامپیوتر دانشگاه اصفهان
چکیده
عامهای هوشمند به یک یاز موضوعات مهم در سیستم های غیرمتمرکز مستقل و توزیع شده تبدیل شده اند و تلاشها جهت استفاده از تکنولوژی های عامل برای توسعه دادن سیستمهای نرم افزاری صنعتی و اقتصادی د رحا لافزایش است پیچیدگی چنین سیستمهایی مار ا نیازمند تکنیکهای مدلسازی سیستم برای پشتیبانی از طراحی قابل اعتماد قابل نگهداری و قابل توسعه می سازد هدف این مقاله معرفی رهیافتی برای استفاده از یک مدل صوری در طراحی عاملها می باشد مدل مبتنی بر G-nets است که نوعی شبکه پتری است که برای پشتیبانی از مدلسازی سیستم براساس مجموعه ای از ماژول های مستقل و با وابستگی کم به یکدیگر استفاده می شود. ما مدل G-nets پایه را تغییر داده ایم تا مدلی که به اصطلاح G-net عامل گرا نامیده می شود تعریف کنیم این مدل به عنوان یک مدل کلی برای طراحی عامل به حساب می آید.کلیدواژه ها
روش صوری، عامل هوشمند، تحلیل وطراحی عامل گرا، شبکه پتری، اشیا فعال، شبکه G-netمقالات مرتبط جدید
- ناوبری وسائل نقلیه زیر آبی مستقلبا استفاده الگوریتم تکرارشونده خط مشی معتبر ایمن
- استفاده از هوش مصنوعی - یادگیری عمیق برای تشخیص خطای ماشینهای دوار
- هوش مصنوعی و کاربرد آن در حمل و نقل
- طراحی و پیاده سازی کنترل کنندهPI D فازی برای اکسترودر واحد پلی اتیلن سبک خطی در PLC زیمنس
- هوش مصنوعی: تحول دنیای مدرن و آینده نگری
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.