رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف
- سال انتشار: 1383
- محل انتشار: دهمین کنفرانس سالانه انجمن کامپیوتر ایران
- کد COI اختصاصی: ACCSI10_155
- زبان مقاله: فارسی
- تعداد مشاهده: 876
نویسندگان
دانشجوی دکتری دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
استادیار دانشگاه صنعتی شریف
چکیده
هدف از توصیف بیان دقیق و بدون ابهام نیازمندیهای نرم افزار با استفاده از زبان ریاضی است وجود عدم قطعیت در توصیف صوری به دلیل سطح تجرید مورد نیاز در توصیف نرم افزار و نیز توصیف سیستمهای همروند اجتناب ناپذیر است به همین دلیل بیان عدم قطعیت و معنای ساختارهای غیرحتمی در توصیف صوری اهمیت ویژه ای دارد دراین پژوهش رهیافتی برای استفاده از ساختارهای غیرحتمی و بیان معنای آنها در توصیفهای صوری تئوری انواع مارتین لوف ارایه خواهد شد استفاده ازا ین ساختارهای پیشنهادی موجب میشود که توصیف گر بتواند ضمن توصیف صریح عدم قطعیت در تئوریانواع اثرات آن را به طور مستقیم در برنامه استخراج شده از توصیف صوری مشاهده نماید.کلیدواژه ها
توصیف صوری، عدم قطعیت، تئوری انواع مارتین لوف، نمایش عدم قطعیت در تئوری انواع مارتین لوفمقالات مرتبط جدید
- طراحی و پیاده سازی سیستم پارکینگ هوشمند خودرو با امکان شارژ خورشیدی و رزرو محل پارک خودرو
- بررسی رویکرد قابلیت اطمینان نرم افزار و معرفی یک مدل آزمون جهت سنجش میزان اطمینان در یک نرم افزار
- پردازش تصویر در پزشکی
- شناسایی بیماری نارسایی کلیوی بر اساس روش ترکیبی ویادگیری گروهی در یادگیری ماشین
- مطالعه عددی تشدید پلاسمون سطحی در دایمرهای نانوذرات فلزی طلا
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.