Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
A new extension of activity networks for modeling and verication of timedsystems
Motallebi, H

Cataloging brief

A new extension of activity networks for modeling and verication of timedsystems
Author :   Motallebi, H
Publisher :  
Pub. Year  :   2013
Subjects :   Modeling and verication Polyhedral computations Timed activity networks Timed systems ...
Call Number :  

Find in content

sort by

Bookmark

  • فهرست مطالب (7)
  • فهرست شکل‌ها (10)
  • مقدمه (11)
  • تعریف مسئله و بررسی روش‌های موجود (15)
    • مقدمه (15)
      • انگیزه‌های تعریف مسئله (15)
      • مروری بر یادگیری عمیق (16)
    • تعریف مسئله (18)
    • باند پایین بار ارتباطات (19)
    • روش‌های موجود حل مسئله (20)
      • کدگذاری تصادفی (20)
      • کدگذاری خطی برداری (21)
      • اثبات لم 2.4.1 (27)
      • اثبات لم 2.4.2 (28)
    • نتیجه‌گیری (31)
  • کدگذاری گرادیان‌های ماتریسی مرتبه 1 و l n-s (33)
    • مقدمه (33)
    • نتیجه اصلی (34)
      • اشکالات روش‌های موجود (34)
      • نتیجه اصلی (34)
    • تحلیلی عملی بر روش پیشنهادی (36)
    • روش پیشنهادی (38)
    • اثبات قضیه 3.4.1 (39)
      • اثبات لم 3.5.1 (41)
      • اثبات لم 3.5.2 (42)
    • نتیجه‌گیری (47)
  • کدگذاری گرادیان‌های ماتریسی مرتبه 1 و l>n-s (49)
    • مقدمه (49)
    • نتیجه اصلی (50)
    • تحلیلی عملی بر روش پیشنهادی (51)
    • روش پیشنهادی (57)
    • اثبات قضیه 4.4.1 (59)
      • اثبات لم 4.5.1 (61)
      • اثبات لم 4.5.2 (63)
    • نتیجه‌گیری (68)
  • کدگذاری گرادیان‌های ماتریسی مرتبه R (69)
    • مقدمه (69)
    • نتیجه اصلی (70)
    • تحلیلی عملی بر روش پیشنهادی (71)
    • روش پیشنهادی (75)
    • اثبات قضیه 5.4.1 (78)
      • اثبات لم 5.5.1 (79)
      • اثبات لم 5.5.2 (81)
    • نتیجه‌گیری (86)
  • نتیجه‌گیری و پیشنهادهایی برای ادامه پژوهش (87)
    • نتیجه گیری (87)
    • پیشنهادهایی برای ادامه پژوهش (89)
  • مرور مختصر شبکه‌های عصبی عمیق (90)
  • مراجع (92)
Loading...