• 1 مقدمه و بیان مساله (15)
  • 1-1 انگیزه (15)
  • 2-1 بیان مساله
  • 3-1 دامنه مساله و مطالعه موردی (18)
    • 3-1.1 سیستم‌های کنترل ترافیک مبتنی بر ترک (18)
    • 3-1.2 نیازمندی‌های طراحی یک سیستم کنترل ترافیک مبتنی بر ترک خودکار (22)
  • 4-1 رهیافت و نوآوری‌های پژوهش (23)
  • 5-1 ساختار رساله (26)
• 2 مدل اکتور هماهنگ‌شده (27)
  • 1-2 مدل اکتور هماهنگ‌شده (27)
  • 2-2 مدل‌ اکتور هماهنگ‌شده با چندین مولفه (29)
  • 3-2 نگاشت مابین مدل اکتورهماهنگ‌شده و TTCS های خودتطبیق‌ (31)
  • 4-2 نگاشت بین مدل اکتور هماهنگ‌شده و چندین برنامه کاربردی از TTCS های خودتطبیق‌ (35)
• 3 چارچوب تالمی جهت تحقق TTCS های خودتطبیق‌ (38)
  • 1-3 چارچوب مدلسازی تالمی (38)
  • 2-3 مزایای تالمی برای مدلسازی سیستم‌های خودتطبیق‌ (39)
  • 3-3 یک قالب تالمی برای طراحی TTCS های خودتطبیق‌ (40)
    • 3-3.1 قالب تالمی یک گره در شبکه ترافیک (41)
    • 3-3.2 قالب تالمی یک کنترل‌کننده در یک شبکه ترافیک (44)
  • 4-3 مکانیزمی برای تطبیق پیشگویانه (45)
  • 5-3 مطالعه موردی (46)
    • 5-3.1 سیستم کنترل ترافیک قطار و راه‌آهن در قالب تالمی پیشنهادی (46)
    • 5-3.2 تطبیق در ATC : برنامه‌ریزی برای مسیریابی مجدد به صورت پویا (49)
    • 5-3.3 ارزیابی کارایی سیاست‌های مسیریابی مجدد (52)
• 4 نحو انتزاعی و معناشناسی ریزدانه و درشت‌دانه مدل اکتور هماهنگ‌شده (56)
  • 1-4 نحو انتزاعی مدل اکتورهماهنگ‌شده (56)
  • 2-4 معناشناسی استاندارد مدل اکتور هماهنگ‌شده بدون تطبیق (58)
  • 3-4 معناشناسی ریزدانه مدل اکتورهماهنگ‌شده (61)
  • 4-4 معناشناسی درشت‌دانه مدل اکتور هماهنگ‌شده (65)
  • 5-4 رابطه‌ی هم‌پیروی مبتنی بر عمل بین دو معناشناسی (68)
• 5 رویکردی برای درستی‌یابی ترکیبی سیستم‌های مبتنی بر ترک (76)
  • 1-5 خودکاره زمانی با ورودی و خروجی (77)
  • 2-5 معناشناسی ترکیبی مدل اکتور هماهنگ‌شده ساده‌ برای ذره‌بین (79)
    • 2-5.1 خلاصه‌ای از تعاریف (79)
    • 2-5.2 معناشناسی ترکیبی مدل اکتورهماهنگ‌شده ساده‌ بر اساس TIOA (80)
  • 3-5 درستی‌یابی مدل زمانی اجرا با استفاده از ذره‌بین (82)
    • 3-5.1 رویکرد تکرارشونده و ترکیبی (83)
    • 3-5.2 تجرید و مولفه‌های واسط (84)
    • 3-5.3 معناشناسی مولفه‌های واسط (85)
    • 3-5.4 صحت رویکرد ارائه‌شده (88)
  • 4-5 پیاده‌سازی و ارزیابی روش ذره‌بین در ابزار تالمی (88)
    • 4-5.1 تولید فضای حالت (89)
    • 4-5.2 شرایط آزمایشات (90)
    • 4-5.3 مقایسه (92)
    • 4-5.4 بحث (95)
• 6 کاهش ترتیبی جزئی برای اکتورهای زمانی (96)
  • 1-6 مروری بر روش POR پیشنهادی (97)
  • 2-6 الگوریتم POR (99)
  • 3-6 صحت روش پیشنهادی (102)
  • 4-6 پیاده‌سازی رویکرد کاهش و نتایج آزمایشات (106)
    • 4-6.1 شرایط آزمایشات (106)
    • 4-6.2 مقایسه (108)
• 7 مسیریابی پایدار مبتنی بر سیگنال‌ برچسب‌دهی‌شده با زمان برای سیستم‌های مبتنی بر ترک (111)
  • 1-7 ویژگی‌های ساختاری و رفتاری یک شبکه مبتنی بر ترک (112)
  • 2-7 سیگنال‌های برچسب‌دهی شده با بازه زمانی برای سیستم‌های مبتنی بر ترک (113)
  • 3-7 مدل سیگنال یک سیستم مبتنی بر ترک (114)
  • 4-7 مدل الوی (117)
    • 4-7.1 مدل الوی برای یک سیستم مبتنی بر ترک (117)
    • 4-7.2 تحلیل (122)
• 8 مرور پژوهش‌های پیشین (124)
  • 1-8 چارچوب بیپ (124)
  • 2-8 پژوهش‌های مرتبط با تحقق سیستم‌های خودتطبیق‌ (125)
    • 2-8.1 کنترل تطبیق (125)
    • 2-8.2 تطبیق پیش‌گویانه (127)
    • 2-8.3 درستی‌یابی در زمان طراحی و اجرا (129)
  • 3-8 پژوهش‌های مرتبط با طراحی مبتنی بر اجزاء (132)
    • 3-8.1 نظریه واسط (132)
    • 3-8.2 متدهای ترکیبی (133)
  • 4-8 پژوهش‌های مرتبط با سیستم‌های کنترل ترافیک (134)
    • 4-8.1 مدلسازی ودرستی‌یابی سیستم‌های کنترل ترافیک (134)
    • 4-8.2 برنامه‌ریزی اشیاء حرکتی (135)
• 9 نتیجه‌گیری و کارهای آتی (139)
  • 1-9 کارهای آتی (140)
    • 1-9.1 تحقق سیستم‌های خودتطبیق‌ده با کمک مدل اکتور هماهنگ‌شده (140)
    • 1-9.2 برنامه‌ریزی بهینه اشیاء حرکتی (141)
• مراجع (146)
• واژه‌نامه فارسی به انگلیسی (146)
• واژه‌نامه انگلیسی به فارسی (160)