مرور درختی موضوعات | کتابخانه مجازی الفبا

این پژوهش در صدد یافتن موضع ابن سینا در قبال صدق و کذب پذیری مشهورات است و به جست وجوی قسم خاصی از این آراء که قابلیت اتصاف به صدق و کذب را دارا هستند، می پردازد. با توجه به اظهارات ابن سینا مبنی بر ابتنای احکام جدل بر تسلیم و شهرت و عدم اعتبار مقدمات جدلی ومشهورات بر اساس حق و حقیقت و هم چنین تصریحات دیگر او مبنی بر صدق و کذب پذیری مشهورات، این نتیجه حاصل می شود که موضع وی در قبال صدق و کذب پذیری آراء مشهوره لا بشرط است. به نظر می رسد صدق و کذب پذیری در میان اقسام مختلف مشهورات، وصف متعلق به قسم اخلاقی مشهورات است و عالم فوق نفسانی به عنوان نفس الأمر قضایای اخلاقی مشهوره و شریعت به عنوان ملاک و معیار صدق این قضایا محسوب می شود. درغیراین صورت این آراء مانند سایر آراء مشهوره، متغیر و نسبی خواهند بود و بدین ترتیب، خاتمیت پیامبرص و هدف از بعثت او نیز زیر سؤال خواهد رفت. توجیه صدق وکذب مشهورات، بر اساس تئوری های پراگماتیسم و تلائم نیز امکان پذیر می باشد.

یکی از مسایل مطرح در زمینه شبکه‌های موردی متحرک، تامین کیفیت سرویس در این شبکه‌ها است. درجهت تامین کیفیت سرویس در این شبکه‌ها، فعالیت‌های زیادی انجام شده ‌است. ازجمله این فعالیت‌ها، تامین کیفیت سرویس توسط پروتکل‌های مسیریابی است. یکی از این پروتکل‌های مسیریابی، OLSR است.این پروتکل، یک پروتکل مسیریابی کنش گرا است. علاوه بر آن این پروتکل براساس مکانیزم‌های وضعیت پیوند عمل می‌کند. پروتکل OLSR، پروتکل‌های متداول وضعیت پیوند را از نظر حجم اطلاعات ردوبدل شده و همچنین سربار مسیریابی بهبود می‌بخشد. در پروتکل‌های وضعیت پیوند، وضعیت کلیه پیوندها در شبکه پخش می شود.در OLSR، به جای همه پیوندها تنها بخشی از آن‌ها که شامل پیوندهای بین گره‌های MPR و انتخاب کننده‌های آن‌ها می‌شود، به شبکه معرفی شده و مسیریابی تنها از طریق همین گره‌های MPR انجام می‌شود. برای تامین کیفیت سرویس، توسعه‌ای بر این پروتکل به نام QOLSR ارایه شده است. در این توسعه،از معیارهای کیفیت سرویس مانند تاخیر و پهنای باند در انتخاب MPR و محاسبه جداول مسیریابی گره‌ها استفاده می‌شود. در این پایان نامه، پس از پیاده‌سازی QOLSR دو الگوریتم جدید برای مکانیزم انتخاب MPR در QOLSR ارایه شده است. این دو الگوریتم، براساس روش‌های تخمین تحرک گره‌ها عمل می‌کنند و باعث می‌شوند که مسیریابی از طریق پیوندهای پایدارتر انجام شود. نتایج شبیه سازی و ارزیابی نشان می دهد که این الگوریتم‌ها به علت پایداری بیشتر پیوندها، نرخ گم شدن بسته‌های شبکه و همچنین تاخیر بسته‌های دریافتی را کاهش می‌دهند.