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

Subject: Questionnaires are one of the most important instruments for screening the people with disability. خoccupational low back pain is one of the causes of disability. Initially, questionnaires should be created and adapted with the cultural conditions of the target group in order to generalize the results and to compare with other countries. The aim of the current study was translation, c...

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

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

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

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

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

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

الف . موضوع و طرح مسئله (اهمیت موضوع و هدف): رساله ی حاضر به شیوه ی توصیفی به بررسی نشانداری صوری و طبقه بندی انواع آن در سطح واژه پرداخته است که در 5 فصل در چارچوب نظری زبان شناسی ساختگرا در حوزه ی معنی شناسی به رشته تحریر درآمده است. این پژوهش با هدف اینکه نگارنده بتواند گونه های نشانداری صوری را صرفأ در سطح واژه از یکدیگر متمایز سازد. ب . مبانی نظری شامل مرور مختصری از منابع، چارچوب نظ...