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

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

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

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

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

هدف: شناسایی و ارزیابی امکانات جستجو در موتورهای جستجوی فارسی، تعیین کارآمدترین موتور جستجو به‌لحاظ بازیابی اطلاعات مرتبط، شناسایی موتورهای جستجوی کارآمد از حیث محاسبة میزان جامعیت و مانعیت، و تعیین میزان همپوشانی میان آنها. روش/ رویکرد پژوهش: پژوهش از نوع کاربردی است و به‌روش پیمایشی- تحلیلی انجام شده است. امکانات موجود در 5 موتور جستجوی عمومی و در دسترس فارسی براساس سیاهة وارسی پژوهشگر‌ساخته...

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

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

فرض کنید g(v, e) یک گراف کامل باشد که در آن v{v0, v1, ..., v0} مجموعه راس ها و e{(v1, v1):v1, v1 v} مجموعه کمان هاست . راس v0 محل آشیانه است که در آن تعدادی وسیله نقلیه مستقر است . مساله مسیریابی وسایل نقلیه (vrp) عبارتست از پیدا کردن تعدادی مسیر بطوریکه هر راس دقیقا بر یک مسیر واقع شده و تعداد مسیرهای مورد نیاز کمینه بوده و در عین حال مسافت کل پیموده شده کمینه گردد. در مساله مسیریابی دوره ای و...

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