ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

دانلود کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

مشخصات کتاب

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

ویرایش: 1 
نویسندگان:   
سری: BestMasters 
ISBN (شابک) : 9783658128517, 9783658128524 
ناشر: Springer Vieweg 
سال نشر: 2016 
تعداد صفحات: 186 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان: تئوری محاسبات، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، سازمان سیستم های کامپیوتری و شبکه های ارتباطی



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

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


در صورت تبدیل فایل کتاب Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان



در کار خود، مالت اشمیتز در نظر می گیرد که چگونه می توان صحت سیستم های توزیع شده را در زمان اجرا کنترل کرد. برای این منظور، او انواع مختلف منطق زمانی خطی (LTL) و ساختارهای مانیتور مرتبط را برای استفاده در تأیید زمان اجرا سیستم‌های توزیع‌شده، ناهمزمان و تعبیه‌شده بررسی و توسعه می‌دهد. کنترل ایمن و صحیح کارخانه های صنعتی با کمک مفاهیم نظارتی نوآورانه در زمان اجرا به عنوان یک مطالعه موردی عمل می کند. نویسنده پروژه خود را به عنوان یک مدل به منظور ارزیابی ساختارهای مختلف مانیتور و تزریق مانیتور از طریق تبدیل برنامه در استفاده عملی اجرا کرده است.



توضیحاتی درمورد کتاب به خارجی

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.




فهرست مطالب

Front Matter....Pages i-xxiii
Einleitung....Pages 1-6
Logiken....Pages 7-50
Monitore....Pages 51-95
Implementierung....Pages 97-152
Zusammenfassung und Ausblick....Pages 153-156
Back Matter....Pages 157-163




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