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

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

واژة کفر یکی از وا‍‍ژه­های اساسی و پرکاربرد در قرآن کریم است. بررسی تحول این واژه از دورة جاهلی ­تا متن قرآن کریم، تحت عنوان معنی­شناسی تاریخی(در زمانی) با بهره­گیری از منابع وکتب لغت قدیم کمک می­کند تا درک عمیق و درستی ازگسترة مفاهیم این واژه و مشتقات­آن بدست­آید. برآیند و حاصل این تحقیق در پاسخ به این سؤال است که چگونه بر اساس قاعدة­ تغییر و توسیع معنایی، مفهوم اولیة این واژه تحول وگسترش یافت...

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

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

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

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

در این پژوهش سعی شده است با نگاهی نوین به جایگاه مترجم به عنوان واسطة بینافرهنگی و با تکیه بر نظریة انسانشناسانی مانند ساپر و ورف ، به دریافت درستی از رابطة برهم برکنشی میان زبان و فرهنگ دست یابیم، تا درک ما را از مفهوم واقعیت تحتتأثیر قرار دهد. بنــــابراین میتوان برای مترجمـــان در مقام واسطة فرهنگی، الگویی برای درک بهتر واقعیت، ترسیم کرد تا به کمک آن بتـوانند واقعیت فرهنگی متــن را به بهترین...

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