این پژوهش با استفاده از روش علم سنجی در پی بررسی ساختار طبقه بندی رشته ها و همپوشانی آن ها در طبقه بندی موضوعی isi، به منظور شناسایی خطاهای نظام مند ناشی از آن در مطالعات علم سنجی است. جامع? پژوهش کلیّ? مقالات نمایه شده در پایگاه وب آو ساینس در سال 2007 به عنوان سال پایه به همراه استنادهای آن ها در طول سال های 2007 تا 2011 می باشد. یافته های پژوهش نشان داد بین مقالات نمایه نامه استنادی جامع علوم...

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

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

سرریز کرامپ در طبقه ­بندی سرریزها در میان سرریزهای لبه کوتاه جای می گیرد. طراحی این سرریز به گونه ای است که شیب بالادست آن بیشتر از شیب پایین دست آن بوده و موجب می شود که رسوبات به راحتی تخلیه گردند. در این تحقیق عملکرد روش­های -kنزدیک ترین همسایگی و رگرسیون بردار پشتیبان در مدل­سازی ضریب دبی سرریز کرامپ با استفاده از داده های آزمایشگاهی موردبررسی قرار گرفت. داده ها در 174 دسته و 9 ترکیب مختلف ...

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

نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره سال 1391، نمایه مقالات چهار شماره...

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