K-SAT بعنوان یک سیستم پیچیده
- سال انتشار: 1396
- محل انتشار: دومین کنفرانس بین المللی پژوهش های دانش بنیان در مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: CITCOMP02_439
- زبان مقاله: فارسی
- تعداد مشاهده: 599
نویسندگان
مربی گروه علوم کامپیوتر، دانشگاه سلمان فارسی کازرون ،کازرون ،ایران
چکیده
دردو دهه اخیر مطالعه در مورد سیستم های پیچیده با هیجان و شدت دنبال می شود. پدیده های بسیاری در طبیعت وجود دارند که پیچیدگی آنها در چارچوب تیوری سیستم های پیچیده قابل تفسیر است. مساله k-SAT یکی از مهمترین مسایلی است که در علوم کامپیوتر مورد بررسی قرار می گیرد. علت توجه زیاد به این مساله آنست که ارایه راه حل سودمند برای حل آن(Polynomial Time Compleity)، راه را برای حل یکی از اساسی ترین مسایل باز در علم یعنی (P=NP) باز می نماید.در اینجا به بررسی پیچیدگی حل این مساله می پردازیم. نشان می دهیم که این پیچیدگی دقیقا با تحویل ناپذیری خصلت عمومی سیستم های پیچیده به رفتارهای محلی برابر است و بدین جهت دشواری این مساله باید بعنوان یک Emergent Phenomena مورد بررسی قرار گیرد.کلیدواژه ها
ارضا پذیری، k-SAT، سیستم های پیچیده، پیدایش، تحویل ناپذیری، همبستگی، گشتاور اولمقالات مرتبط جدید
- طراحی یک سیستم فازی مبتنی بر قانون برای تشخیص احساسات در توییتر
- خلاصه سازی استخراجی چند سندی، مبتنی بر پرس وجوی کاربر با استفاده از روش های یادگیری ماشین و ویژگی های زبان شناسی
- تحلیل تحمل پذیری در برابر اشکال در شبکه های عصبی توزیع شده
- تحلیل سینماتیک مستقیم و بهینه سازی سینماتیک معکوس ربات CNC با بهره گیری از الگوریتم های تکاملی
- جانمایی حسگرها و عملگرها در سیستم های ساختاری با استفاده از یک رهیافت جدید
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.