Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
توسعه قانون هدایت برای فرایند ملاقات خودکار با ماهواره نامتعادل
قاسمیان صاحبی، علی Ghasemian Sahebi, Ali

Cataloging brief

توسعه قانون هدایت برای فرایند ملاقات خودکار با ماهواره نامتعادل
پدیدآور اصلی :   قاسمیان صاحبی، علی Ghasemian Sahebi, Ali
ناشر :   صنعتی شریف
سال انتشار  :   1389
موضوع ها :   شبیه سازی Simulation هدایت Guidance کنترل Control معادله مدل سازی Modeling Equation
شماره راهنما :   ‭45-41318

Find in content

sort by

Bookmark

  • فهرست مطالب (7)
  • مقدمه (10)
    • اهداف و ساختار رساله (14)
    • نمادگذاری (17)
  • محاسبات توزیع‌شده (18)
    • معماری سیستم‌های توزیع‌شده (19)
      • مشتری-کارگزار (19)
      • نظیر به نظیر (20)
      • چند رده (21)
    • بخش‌های اصلی در سیستم‌های توزیع‌شده (22)
      • پردازنده‌ها (22)
      • تعاملات (23)
      • خرابی‌‌‌ها (23)
      • زمان (24)
    • نتیجه‌گیری (25)
  • اول محاسبات دقیق (26)
    • مصالحه بهینه هزینه ارتباطی-محاسباتی در کدگذاری گرادیان ناهمگن (27)
      • مقدمه (27)
      • پژوهش‌های پیشین (28)
      • اهداف (29)
      • مدل‌سازی مسأله (31)
      • روش دقیق کدگذاری گرادیان در یک سیستم ناهمگن (34)
        • نتایج اصلی (34)
        • مثال (36)
        • روش پیشنهادی (38)
        • اثبات قضیه 3‏.‏1 (41)
      • محاسبه چندجمله‌ای ماتریسی از ماتریس گرادیان تجمعی (43)
        • اثبات قضیه 3‏.‏2 (45)
      • نتیجه‌گیری (45)
    • هزینه ارتباطی مجانباً بهینه در تجمیع امن برای یادگیری مشارکتی (46)
      • مقدمه (46)
      • پژوهش‌های پیشین (47)
      • اهداف (49)
      • مدل‌سازی مسأله (51)
      • نتایج اصلی (53)
      • روش پیشنهادی SwiftAgg (56)
        • مثال (56)
        • روش SwiftAgg در حالت کلی (62)
        • هزینه ارتباطی و تعداد پیوندهای ارتباطی فعال در شبکه (70)
        • هزینه محاسباتی (70)
        • اثبات حفظ حریم خصوصی (72)
      • نتیجه‌گیری (78)
  • دوم محاسبات تقریبی (80)
    • محاسبه تقریبی ضرب ماتریس‌ها در یک سیستم توزیع‌شده (81)
      • مقدمه (81)
      • پژوهش‌های پیشین (82)
      • اهداف (84)
      • پیش تعاریف (85)
      • مدل‌سازی مسأله (90)
      • نتایج اصلی (92)
      • روش پیشنهادی CodedSketch (93)
        • مثال (93)
        • روش CodedSketch در حالت کلی (100)
        • آنالیز پیچیدگی روش پیشنهادی (103)
        • مقایسه با پژوهش موجود (105)
      • نتیجه‌گیری (108)
    • محاسبه تقریبی هر تابع دلخواه در یک سیستم توزیع‌شده (111)
      • مقدمه (111)
      • پژوهش‌های پیشین (112)
      • اهداف (114)
      • پیش تعاریف (114)
      • روش پیشنهادی BACC برای محاسبات کد‌شده تقریبی (123)
      • کاربرد روش BACC در یادگیری ماشین توزیع‌شده (128)
        • نتایج پیاده‌سازی (132)
      • کاربرد روش BACC در کدگذاری گرادیان تقریبی (135)
      • نتیجه‌گیری (138)
    • نتیجه‌گیری و پیشنهادها (139)
    • اثبات قضیه 4‏.‏2 (143)
    • اثبات قضیه 4‏.‏3 (145)
    • اثبات قضیه 5‏.‏3 (146)
    • اثبات قضیه 5‏.‏4 (147)
    • اثبات رابطه (5‏.‏31) (149)
    • اثبات لم 6‏.‏3 (151)
    • اثبات قضیه 6‏.‏4 (154)
      • یافتن 1 (154)
      • یافتن 1 (156)
    • اثبات قضیه 6‏.‏5 (158)
    • مراجع (160)
Loading...