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

پژوهش حاضر با عنوان «چگونگی خوانش جوانان از اقدام به گردشگری» به قصد راه بردن به تفسیر و درک انگیزه¬های آنان از اقدام به گردشگری است. بر این اساس روش استفاده شده در این پژوهش روش کیفی با تأکید بر گراندد تئوری فرآیند تحقیق هدایت شده است. روش نمونه گیری استفاده شده در این پژوهش نمونه گیری هدفمند از نوع نمونه گیری نظری است. برای پایان دادن به نمونه گیری ها از اشباع نظری استفاده شده است. برای تحلیل...

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

پی­پیرازین های نامتقارن به­ طور گسترده در ساختار داروهای آنتی سایکوتیک یافت می­ شوند. ازآن­جا که آلکیل یا آریل دار کردن گزینشی پی­پیرازین­ ها به ­آسانی انجام نمی­ شود، استفاده از واکنش آریل ­دار کردن 1,4-diaza-icyclo[2.2.2]octan با استفاده از واکنش جفت شدن متقاطع کربن ـ نیتروژن، مسیر مناسبی برای تهیه این ترکیب ­های هدف به­ شمار می ­آید. در این پژوهش، مسیر تازه ­ای برای تهیه مشتق­ های پی­پیر...

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

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

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