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

Cataloging brief

منطق تکلیف با رویکرد اصول فقه
پدیدآور اصلی :   سادات نبوی، فاطمه Nabavi, Fateme
ناشر :   صنعتی شریف
سال انتشار  :   1388
موضوع ها :   قضیه درستی Soundness Theorem تمامیت Completeness منطق هنجارها Deontic Logic فقه...
شماره راهنما :   ‭02-41352

Find in content

sort by

Bookmark

  • فهرست جدول‌ها (10)
  • فهرست شکل‌ها (11)
  • فصل1 مقدمه (13)
    • 1-1 سامانه‌های نهفته (13)
      • 1-1-1 کاربردهای سامانه‌های نهفته (13)
      • 1-1-2 ویژگی‌های سامانه‌های نهفته (15)
      • 1-1-3 چالش‌های طراحی سامانه‌های نهفته (17)
    • 1-2 هدف پژوهش (18)
    • 1-3 ساختار این نوشتار (19)
  • فصل2 مفاهیم پایه (20)
    • 2-1 مقدمه (20)
    • 2-2 مدیریت توان مصرفی (20)
      • 2-2-1 مؤلفه‌های توان مصرفی (21)
      • 2-2-2 روش‌های مدیریت توان مصرفی (23)
    • 2-3 سامانه‌های بی‌درنگ (31)
      • 2-3-1 مدل کاربردها و وظایف بی‌درنگ (33)
      • 2-3-2 زمان‌بندی وظایف بی‌درنگ (34)
    • 2-4 قابلیت اطمینان در سامانه‌های نهفته (36)
      • 2-4-1 روش‌های افزایش قابلیت اطمینان (37)
    • 2-5 جمع‌بندی (39)
  • فصل3 بررسی کارهای مرتبط پیشین (40)
    • 3-1 زمان‌بندی همروند وظایف بی‌درنگ سخت و نرم (40)
    • 3-2 مدیریت توان مصرفی در سامانه‌های نهفته (43)
      • 3-2-1 کاهش انرژی مصرفی (43)
      • 3-2-2 مدیریت اوج توان مصرفی (48)
      • 3-2-3 مدیریت دمای سامانه (49)
    • 3-3 جمع‌بندی (50)
  • فصل4 ارائه راهکار پیشنهادی (51)
    • 4-1 مقدمه (51)
    • 4-2 مدل سامانه (52)
      • 4-2-1 مدل وظایف و پردازنده (52)
      • 4-2-2 مدل توان مصرفی (53)
      • 4-2-3 مدل قابلیت اطمینان (54)
    • 4-3 مثال انگیزشی (55)
    • 4-4 راهکار پیشنهادی (57)
      • 4-4-1 الگوریتم بهینه‌سازی (60)
  • فصل5 تجزیه و تحلیل نتایج (68)
    • 5-1 مقدمه (68)
    • 5-2 پیاده‌سازی روش پیشنهادی (68)
      • 5-2-1 شبیه‌سازی وظایف بی‌درنگ و توان مصرفی آن‌ها (69)
    • 5-3 نتایج شبیه‌سازی (71)
      • 5-3-1 مقایسه‌ی روش پیشنهادی (74)
  • فصل6 نتیجه‏گیری و کارهای آتی (77)
    • 6-1 جمع‌بندی و نتیجه‏گیری (77)
    • 6-2 کارهای آتی (77)
  • فصل7 مراجع (79)
  • واژه‌نامه انگلیسی به فارسی (85)
  • واژه‌نامه فارسی به انگلیسی (90)
  • پیوست‌1 (95)
  • پیوست‌2 (96)
Loading...