ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Hybrid Systems

دانلود کتاب سیستم های ترکیبی

Hybrid Systems

مشخصات کتاب

Hybrid Systems

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , , , , ,   
سری: Lecture Notes in Computer Science 736 
ISBN (شابک) : 3540573186, 0387573186 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1993 
تعداد صفحات: 481 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 29,000



کلمات کلیدی مربوط به کتاب سیستم های ترکیبی: معماری پردازنده، سیستم‌های مبتنی بر هدف و کاربرد ویژه، مهندسی نرم‌افزار، محاسبات توسط دستگاه‌های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه‌ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب 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




نظرات کاربران