نتایج جستجو برای: جستجوی پیشوند

تعداد نتایج: 6775  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بیرجند 1390

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده آموزشهای الکترونیکی 1391

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

ژورنال: :مهندسی معدن 0
مهدی حسینی دانشگاه امام خمینی قزوین احمدرضا افضل آقایی دانشگاه امام خمینی قزوین

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

ژورنال: :تحقیقات کتابداری و اطلاع رسانی دانشگاهی 2002
دکتر محمدرضا داورپناه

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

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

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

رحیم علیجانی, لیلا دهقانی ملیحه نیک‌کار

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

ژورنال: فرآیند نو 2015

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1377

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی 1393

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید