Please enable javascript in your browser.
Page
of
0
منطق تکلیف با رویکرد اصول فقه
سادات نبوی، فاطمه Nabavi, Fateme
Cataloging brief
منطق تکلیف با رویکرد اصول فقه
پدیدآور اصلی :
سادات نبوی، فاطمه Nabavi, Fateme
ناشر :
صنعتی شریف
سال انتشار :
1388
موضوع ها :
قضیه درستی Soundness Theorem تمامیت Completeness منطق هنجارها Deontic Logic فقه...
شماره راهنما :
02-41352
Find in content
sort by
page number
page score
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)