دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.) سری: Lecture Notes in Computer Science 736 ISBN (شابک) : 3540573186, 0387573186 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 481 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب سیستم های ترکیبی: معماری پردازنده، سیستمهای مبتنی بر هدف و کاربرد ویژه، مهندسی نرمافزار، محاسبات توسط دستگاههای انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامهها
در صورت تبدیل فایل کتاب Hybrid Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های ترکیبی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
سیستمهای ترکیبی شبکهای از دستگاههای دیجیتال و آنالوگ در حال تعامل هستند. سیستمهای کنترل برای هواپیماهای ذاتاً ناپایدار و تولید به کمک رایانه، کاربردهای معمولی برای سیستمهای هیبریدی هستند، اما به دلیل توسعه سریع فناوری پردازنده و مدار، خودروهای مدرن و لوازم الکترونیکی مصرفی از نرمافزار برای کنترل فرآیندهای فیزیکی استفاده میکنند. مشخصه شناسایی سیستم های هیبریدی این است که هم اجزای پیوسته تحت کنترل معادلات دیفرانسیل و هم اجزای دیجیتالی - کامپیوترهای دیجیتال، حسگرها و محرک های کنترل شده توسط برنامه ها را در خود جای می دهند. این حجم از مقالات داوری دعوت شده از کارگاهی در مورد نظریه سیستم های ترکیبی، که در دانشگاه فنی، لینگبی، دانمارک، در اکتبر 1992 برگزار شد، و از کارگاه قبلی سیستم های ترکیبی، که در دانشگاه کرنل، ایالات متحده، در ژوئن 1991 برگزار شد، الهام گرفته شده است. ، سازماندهی شده توسط R.L. Grossman و A. Nerode. برخی از مقالات نسخه نهایی مقالات ارائه شده در این کارگاه ها و برخی نیز مقالات دعوت شده از سایر محققانی هستند که قادر به شرکت در این کارگاه ها نبودند.
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components - digital computers, sensors, and actuators controlled by programs. This volume of invited refereed papers is inspired by a workshop on the Theory of Hybrid Systems, held at the Technical University, Lyngby, Denmark, in October 1992, and by a prior Hybrid Systems Workshop, held at Cornell University, USA, in June 1991, organized by R.L. Grossman and A. Nerode. Some papers are the final versions of papers presented at these workshops and some are invited papers from other researchers who were not able to attend these workshops.
Introduction....Pages 1-3
Verifying hybrid systems....Pages 4-35
An extended duration calculus for hybrid real-time systems....Pages 36-59
Towards refining temporal specifications into hybrid systems....Pages 60-76
Hybrid systems in TLA + ....Pages 77-102
Hybrid models with fairness and distributed clocks....Pages 103-119
A compositional approach to the design of hybrid systems....Pages 121-148
An approach to the description and analysis of hybrid systems....Pages 149-178
Integration Graphs: A class of decidable hybrid systems....Pages 179-208
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems....Pages 209-229
Hybrid Systems: the SIGNAL approach....Pages 230-254
A dynamical simulation facility for hybrid systems....Pages 255-267
Event identification and intelligent hybrid control....Pages 268-296
Multiple agent hybrid control architecture....Pages 297-316
Models for hybrid systems: Automata, topologies, controllability, observability....Pages 317-356
Some remarks about flows in hybrid systems....Pages 357-365
Hybrid system modeling and autonomous control systems....Pages 366-392
Fault accommodation in feedback control systems....Pages 393-425
On formal support for industrial-scale requirements analysis....Pages 426-451
A formal approach to computer systems requirements documentation....Pages 452-474