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

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

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

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

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

یک الگوریتم جستجوی خطی بدون مشتق غیریکنوا و کاربردهای آن در روش باقیمانده طیفی ارائه شده است که مسائل مقیاس بزرگ رابه راحتی حل می کند

چکیده ندارد.

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