يرتبط الإطار الرياضي لميكانيك الكم ارتباطاً وثيقاً بما يصفه علماء الرياضيات بنظريةتمثيل الزمر , درسنا في بحثنا هذا هذه الفكرة ببعض التفصيل
In this paper, we present a mathematical analysis program for
Mobile Robot consisting of seven ECUS (Electronic Control Units),
which exchange about (23) messages among them.
The mathematical model calculates the response times (delays
times) for
all messages, and then use these results as input
parameters for the proposed methodology (STS)(Sampling Timing
Scheduling), that allows the calculation of sampling times in a
manner that achieves the best efficiency and reliability of the
system. As well as ensuring whether there is a match between
the deadlines of the messages and worst-case response
scenarios in the real times.
تتضمن الرسالة أربعة فصول :
الفصل الأول : ويتضمن بعض المفاهيم والتعاريف والمبرهنات التي تتعلق بالبحث.
الفصل الثاني : دراسة استقرار جملة معادلات تفاضلية خطية لا توقفيه ذات تأخير زمني .
الفصل الثالث :دراسة استقرار حل جملة المعادلات التفاضلية الخطية
ذات تأخير زمني .
الفصل الرابع : دراسة استقرار حل المعادلات التفاضلية لا توقفية ذات تأخر زمني باستخدام نظرية النقطة الثابتة