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

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

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

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

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

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

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

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

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

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