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

Abstract Text recognition has been one of the growing research topics in recent years. Many of these researches have focused on recognition of letters and sub-words as a basis for identifying larger text structures such as words, phrases and sentences. This thesis presents a new method in which the recognized sub-words are combined in order to provide meaningful words and sentences in Farsi tex...

با دسترسی به اطلاعات نشانگرهای تک نوکلئوتیدی (SNP­)، پیش­بینی شایستگی ژنتیکی افراد بدون اطلاعات پدیدگانی (فنوتیپی) با استفاده از ارزیابی ژنگانی (ژنومی) امکان­پذیر شده است. لیکن، استفاده از تراشه (چیپ)‌های متراکم برای ارزیابی همۀ افراد جمعیت مقرون‌به‌صرفه نیست. برای دستیابی به بیشترین بازدهی در بررسی‌های ژنگانی می­توان گروهی از حیوان‌ها را با تراشه­های با تراکم بالا و دیگر افراد را با تراشه­های ...

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

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

در این نوشتار کدهای ldpc ساختار گالاگر و مک کی شبیه سازی می شود و تأثیر طول بلوک کد و وزن ستونهای ماتریس بررسی درستی در عملکرد کدها بررسی می شود همچنین نشان داده می شود که این دو ساختار عملکرد مشابهی دارند. کاربرد نوع خاصی از کدهای ldpc در مودمهای adsl بررسی می شود و نشان داده می شود که این کدها در ترکیب با مدولاسیون باینری و چند سطحه عملکرد خوبی دارند و دارای شیب خطا نیستند. به همین دلیل این ک...

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

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

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

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