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

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

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

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

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

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

مدل نظری این تحقیق الهام گرفته از مدل رفتار جستجوی اطلاعات گردشگران فادنس و مورای است. داده های اولیه از طریق پرسشنامه جمع آوری شده است. پرسشنامه ها در فاصله زمانی 21 تا 24 آذر ماه 1390 در میان تعدادی از مسافران پروازهای تهران-کیش توزیع شده است. برای بررسی رابطه میان متغیرهای تحقیق از ضریب همبستگی اسپیرمن استفاده شده است. هدف بررسی وجود یا عدم وجود رابطه 8 متغیر موثر در تصمیم گیری سفر (افق برنا...

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

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