Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
Basic propositional logic and the weak excluded middle
Alizadeh, M

Cataloging brief

Basic propositional logic and the weak excluded middle
Author :   Alizadeh, M
Publisher :   Oxford University Press
Pub. Year  :   2019
Subjects :   Basic propositional logic Kripke models Visser algebras Weak excluded middle
Call Number :  

Find in content

sort by

Bookmark

  • مقدمه‌ای بر شبکه رادیوشناختی (11)
    • مقدمه (11)
    • چالش‌های پیش‌رو در شبکه‌های رادیوشناختی (12)
      • سنجش و حس‌کردن طیف (12)
      • تصمیم گیری در مورد طیف (13)
      • تسهیم طیف (13)
      • تحرک طیفی (13)
    • مروری بر ساختار پایان‌نامه (14)
  • مفاهیم اولیه و مروری بر روش‌های دگرسپاری (16)
    • مقدمه (16)
    • ساختار شبکه اولیه (16)
    • ساختار شبکه ثانویه (17)
    • نحوه حضور ثانویه در کانال (18)
    • استراتژی‌های دگرسپاری کانال (18)
      • استراتژی ماندن در کانال (20)
      • استراتژی واکنشی (20)
      • استراتژی پیش‌فعال (21)
      • استراتژی پیش‌فعال-واکنشی (22)
    • مروری بر کارهای صورت گرفته در سال‌های اخیر (22)
    • نتیجه‌گیری (34)
  • مدل تحلیلی پیشنهادی در حالت کلیدزنی منفرد (36)
    • مقدمه (36)
    • ساختار شبکه کاربران اولیه (36)
    • ساختار شبکه کاربران ثانویه (38)
    • تحرک طیفی (39)
    • تحلیل شبکه (42)
      • تحلیل شبکه با استفاده از تئوری صف (42)
      • تحلیل با استفاده از زنجیره مارکف (48)
    • نتایج عددی (53)
    • نتیجه‌گیری (56)
  • مدل تحلیلی پیشنهادی با لحاظ کردن خطاهای حسگری و کلیدزنی چندگانه (60)
    • مقدمه (60)
    • تاثیر پارامترهای حس‌کردن در دگرسپاری (61)
    • الگوریتم کلیدزنی چندگانه (62)
      • ساختار (62)
      • تحلیل (64)
    • نتایج عددی (71)
    • نتیجه‌گیری (74)
  • نتیجه‌گیری و پیشنهادات (78)
    • نتیجه‌گیری (78)
    • پیشنهادات (79)
Loading...