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

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

چکیده ندارد.

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

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

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

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

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

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

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