در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را ب...

افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبۀ اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده ایم که در ای...

در دنیای امروز دو گونه ارتباط تلفنی ممکن است : ارتباط تلفنی با استفاده از شبکه های سنتی pstn و ارتباط با استفاده از شبکه اینترنت . در هر دو نوع شبکه جهت مدیریت ارتباط پروتکلهایی بعنوان پروتکل سیگنالینگ ارائه شده است . عمده ترین این پروتکلها پروتکل isup از زیرمجموعه های استاندارد ss7 بر روی شبکه های سنتی و پروتکلهای sip و h.323 بر روی استاندارد ip می باشد. در این پروژه ضمن بررسی قابلیتهای این سه...

امروزه ارتباطات بی سیم سبب پیشرفت غیرمنتظره و فوق سریع تکنولوژی rf-mems شده است، تکنولوژی ای که پتانسیل جایگزینی با تکنولوژی های نیمه هادی ، بی سیم و مکانیکی در سیستم-های مخابراتی آینده مثل مخابرات بی سیم را دارد. تکنولوژی rf-mems با ترکیب عملکرد rf عالی، هزینه و تلفات توان کم، اجازه کشف معماری و پیکربندی ای جدید که با تکنولوژی های مرسوم امکان پذیر نیست، را می دهد. در این پروژه انواع سوئیچ های ...

3bit از مجموع 12 bit کل adc در طبق? این mdac تولید می شود و برای این منظور از سیستم 2.5bit استفاده شده است که 1bit از 3bit تولید شده صرف error correction می شود و بعد از جمع با بیت طبق? بعد 1bit تولید می کند به همین دلیل مانند 0.5bit عمل می کند. همچنین خطای گین محدود اپ امپ را با استفاده از تغییر نسبت خازن فیدبک به خازن واحد اصلاح می کنیم که در این روش درصدی برای تغییر گین حلقه باز اپ امپ به طو...

اخیرا، در صنعت درخواست برای شتاب سنج های mems با توان پایین برای کاربردهای مختلف اعم از نظامی و پزشکی،سیستم ناوبری،سیستم پایداری خودرو و... افزایش یافته است. شتاب سنج های mems شامل یک قسمت حسگر و مدار رابط الکترونیکی می باشد.در این پروژه ابتدا ساختار مناسب برای خروجی دیجیتال حسگر انتخاب شده و باتوجه به مزیت های مبدل ?? این مبدل به صورت سیستماتیک در نرم افزار متلب شبیه سازی شده سپس شتاب-سنج الکت...

به منظور اطمینان از صحت اجرای برنامه، رفتار برنامه مورد بررسی قرار می گیرد. با در اختیار داشتن کد اصلی برنامه می توان منطق برنامه را استخراج کرد و رفتار برنامه را شناخت. در این مقاله، دیدگاه ما نسبت به برنامه ها به صورت جعبه سیاه است، بنابراین از منطق اجرایی برنامه، اطلاعی در دست نیست. با این حال سعی شده است منطق اجرایی برنامه از روی اجراهای متعدد و موفق برنامه و ثبت فراخوانی های سیستمی تولید ش...

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

در حالی که تکنولوژی روز دنیا به سمت تحقق سیستمهای تمام نوری پیش می رود انداز? ادوات نوری مانعی اساسی در این راه است. از سوی دیگر توسعه ادوات لازم برای پردازش تمام نوری سیگنال نیازمند موادی است که خواص غیرخطی قوی دارند اما بیشتر مواد، غیرخطیت ضعیفی دارند که این لازم می دارد که ادوات طول زیادی داشته باشند و یا برای عملکرد به توانهای نوری بسیار بالایی نیاز داشته باشند. استفاده از ساختارهای نور کن...

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