Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
     of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
یک معناشناسی صوری برای اتصالات احتمالاتی در زبان ریو بر اساس آتوماتای بوخی رکوردی
عابدی، هاجر Abedi, Hajar

Cataloging brief

یک معناشناسی صوری برای اتصالات احتمالاتی در زبان ریو بر اساس آتوماتای بوخی رکوردی
پدیدآور اصلی :   عابدی، هاجر Abedi, Hajar
ناشر :   دانشگاه صنعتی شریف
سال انتشار  :   1392
موضوع ها :   زبان مدل سازی ریو Reo Modeling Language مدل هماهنگ سازی Coordination Model خودکارافزار...
شماره راهنما :   ‭19-44857

Find in content

sort by

Bookmark

  • فهرست اختصارات (14)
  • مقدمه (16)
    • سیر تحول خدمات پردازشی (16)
      • پردازش ابری (17)
      • پردازش لبه (18)
        • پردازش Cloudlet (19)
        • پردازش مه (20)
        • پردازش لبه‎ی همراه (20)
        • مقایسه‎ی پیاده‌سازی‎های پردازش لبه (21)
    • تصمیم بارگیری پردازش و تخصیص منابع (24)
      • کمینه کردن تاخیر کل (25)
      • کمینه کردن مصرف انرژی در عین پایبندی به قیود تاخیر (26)
      • مصالحه بین تاخیر کل و مصرف انرژی (27)
      • جمع‌بندی اهداف تصمیم بارگیری پردازش (28)
    • مشکل تحرک کاربران شبکه‎ی همراه (28)
      • تنظیم توان ارسالی (29)
      • مهاجرت ماشین مجازی (30)
      • انتخاب مسیر (33)
      • جمع‎بندی روش‌های مدیریت تحرک کاربران (34)
    • طرح پیشنهادی (34)
    • خلاصه و جمع‎بندی (35)
  • کارهای پیشین (36)
    • بارگیری پردازش (36)
    • بارگیری پردازش آگاه به تحرک کاربران (38)
    • معماری سلسله مراتبی برای پردازش لبه‎ی همراه (43)
    • طرح‎های پیش‎بینی تحرک کاربران (48)
      • پیش‎بینی بر اساس وضعیت حرکت فعلی کاربران (49)
        • روش‎های مبتنی بر زاویه (50)
        • روش‎های مبتنی بر فاصله (50)
        • روش‎های مبتنی بر ترکیب زاویه و فاصله (50)
      • پیش‎بینی بر اساس الگوی حرکت تاریخی کاربران (51)
        • زنجیره‎ی مارکوف (51)
        • مدل مارکوف پنهان (52)
        • شبکه‎ی بیزی (54)
        • پیش‎بینی مبتنی بر SVM (54)
        • شبکه‎ی عصبی مصنوعی (55)
      • پیش‎بینی بر اساس ترکیب وضعیت فعلی و الگوی حرکت تاریخی (55)
    • مزایای طرح پیشنهادی (56)
    • خلاصه و جمع‎بندی (57)
  • توصیف مدل سیستم و فرمول بندی مسئله (58)
    • توصیف مدل سیستم (58)
      • معماری سیستم (58)
      • مدیریت تحرک کاربران (66)
      • رویکرد پیش‎بینانه (67)
    • فرمول بندی مسئله‎ی بهینه سازی (69)
      • محاسبات هزینه و تاخیر (69)
        • اجرای محلی (70)
        • بارگیری پردازش بر روی سرورهای L1 (70)
        • بارگیری پردازش بر روی سرور L2 (73)
        • بارگیری پردازش بر روی سرور ابری (74)
      • فرمول بندی مسئله‎ی بهینه سازی (75)
      • روش حل مسئله‎ی بهینه سازی (76)
        • تبدیل به مسئله‎ی GAP (76)
        • روش حل مسئله (78)
    • خلاصه و جمع‎بندی (81)
  • نتایج شبیه سازی (82)
    • محیط و پارامترهای شبیه سازی (82)
    • نتایج شبیه سازی (85)
    • خلاصه و جمع‎بندی (94)
  • دستاوردها و افق پژوهشی آینده (95)
    • دستاوردهای پژوهش (95)
    • پیشنهادهایی برای توسعه‎ی طرح پژوهشی (96)
  • مراجع (98)
  • واژه‎نامه فارسی به انگلیسی (104)
  • واژه‎نامه انگلیسی به فارسی (110)
  • اثبات ویژگی 3-1 (116)
Loading...