پایان نامه ها - سامانه مدیریت اطلاعات پژوهشی سازمان امور مالیاتی کشور

چهارشنبه 15 مهر 1405

FA EN

مشاهده پایان‌نامه


شناسه پایان‌نامه	67پ
كد سه حرفی دانشگاه یا سازمان مجری اصلی	TAX
نام دانشگاه یا سازمان مجری اصلی	سازمان امور مالیاتی کشور
عنوان انگلیسی	Proposing a new framework for LTL Model Checking using constraint programming
عنوان فارسی	ارائه یک چارچوب مبتنی بر برنامه ریزی قیود جهت بررسی مدل با منطق زمانی خطی
سال تحصیلی	1393
تاریخ آغاز
تاریخ پایان
شماره بازیابی دانشگاه یا مركز	67.پ
شماره بازیابی irandoc
زبان	فارسی
رشته تحصیلی	کامپیوتر
مقطع تحصیلی	ارشد كارشناسي
تعداد صفحات
مشخصات ظاهری	جدول، کتابنامه
مندرجات
فایل مرتبط
گزارش مدیریتی
نشانی وب
بودجه تخصیصی (ریال)
موضوع اصلی
رعایت سرعنوان‌های موضوعی پزشکی	خیر
چکیده پایان‌نامه به انگلیسی
چکیده پایان‌نامه به فارسی	برنامه نویسی محدودیت فن آوری نرم افزاری نوظهوری برای توصیف اعلانی است و در حل مشکلات بزرگ، به ویژه ترکیبی، خصوصاً در زمینه های برنامه ریزی و زمان بندی موثر است. این شیوه برنامه نویسی بعنوان یکی از زمینه های استراتژیک تحقیقات کامپیوتری شناخته شده که این نه تنها بعلت داشتن پایه قوی نظری بلکه جذب منافع گسترده تجاری و همچنین بطور خاص بهینه سازی مدلسازی ناهمگن و مسائل ارضاء پذیری است. بررسی مدل یک شیوه خودکار جهت بررسی درستی سیستمهای همروند است . در اینجا سیستم همروند بصورت یک گراف حالت-انتقال و مشخصات آن با یک منطق زمانی خاص بیان میگردد.چند نوع منطق زمانی وجود دارد که منطق زمانی خطی و منطق محاسباتی درختی پرکاربردترین آنها هستند. بنابراین ما با استفاده از زبان برنامه ریزی قیود ، مینی زینک چارچوبی جهت بیان مشخصات منطق زمانی خطی در مسئله بررسی مدل ارائه خواهیم نمود. کلمات کلیدی : بررسی مدل ، برنامه ریزی با قیود ، منطق زمانی خطی ، مینی زینک
واژه‌های کلیدی به انگلیسی	Model checking , Constraint programming , Computation Temporal Logic , Minizinc
واژه‌های کلیدی به فارسی	بررسی مدل ، برنامه ریزی با قیود ، منطق زمانی خطی ، مینی زینک
پدیدآورنده	کریمی ثمر، سعید،
استاد راهنما	رضا رافع،
استاد مشاور	-،
استاد(ان) داور
چکیده بازنگری شده به انگلیسی
چکیده بازنگری شده به فارسی
واژه‌های کلیدی بازنگری شده به انگلیسی
واژه‌های کلیدی بازنگری شده به فارسی
سایر توضیحات به فارسی
سایر توضیحات به انگلیسی
دفعات مشاهده	14 بار
برگشت به فهرست

سامانه مدیریت اطلاعات پژوهشی مالیاتی

معاونت پژوهشی مرکز آموزش، پژوهش و برنامه ریزی مالیاتی

مشاهده پایان‌نامه

پایگاه های مرتبط