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

برای بهینه‌سازی محدوده نهایی استخراج در معادن زیرزمینی الگوریتم‌های اندکی موجود می‌باشند. برخی از این الگوریتم‌ها مانند روش شاخه و حد و برنامه‌ریزی پویا از پشتوانه ریاضی برخوردارند ولی از حل مسائل سه بعدی ناتوانند. برخی دیگر مانند کارگاه شناور و باارزش‌ترین همسایگی مبتنی بر روش‌های جستجوگر بوده، ارائه پاسخ بهینه را تضمین نمی‌کنند. الگوریتم باارزش‌ترین همسایگی بر روی یک مدل خانه‌ای (بلوکی) سه بع...

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

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

در این پایان نامه میخواهیم الگوریتمی برای مشخص کردن تعداد لپ های (زیربازه های اکیدا یکنوا) تکرارهای نگاشتlکوهانی دوبارمشتق پذیر f با خودش را پیدا کنیم. به کمک این الگوریتم ما می توانیم مقدار عددی آنتروپی توپولوژیک را برای چنین نگاشت هایی محاسبه کنیم. این الگوریتم به کمک دنباله های مین - ماکس (دنباله های نمادینی که اطلاعاتی درباره همه اکسترمم های تکرارهای نگاشت f به دست می دهد) می آید.

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

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