دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: PhD Thesis نویسندگان: Pascal G. سری: ناشر: سال نشر: 2004 تعداد صفحات: 206 زبان: French فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب Arithmetique et algorithmique en algebre lineaire exacte pour la bibliotheque LinBox به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حساب و الگوریتم در جبر خطی دقیق برای کتابخانه LinBox نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
چکیده: برای چند دهه، جبر خطی عددی پیشرفتهای زیادی در نظریه ریاضی و علوم کامپیوتر داشته است که منجر به نرمافزار استاندارد واقعی مانند BLAS یا lapack شده است. در جبر کامپیوتری وضعیت چندان پیشرفت نکرده است، به ویژه به دلیل تنوع مسائل و به دلیل پیشرفت های نظری زیادی که اخیراً انجام شده است. این پایان نامه در دسته کارهای اخیر قرار می گیرد که هدف آن یکسان سازی کدهای با کارایی بالا از بسیاری از کتابخانه های تخصصی در یک پلت فرم واحد محاسباتی است. به طور خاص، پیدایش کتابخانههای قوی و قابل حمل مانند GMP یا ntl برای محاسبات دقیق به یک دارایی واقعی برای توسعه برنامههای کاربردی در جبر خطی دقیق تبدیل شده است. در این پایان نامه، امکان سنجی و ارتباط استفاده مجدد از کدهای تخصصی برای توسعه یک کتابخانه جبر خطی دقیق با کارایی بالا، یعنی کتابخانه LinBox را مطالعه می کنیم. ما از مکانیسم های برنامه نویسی عمومی C++ (کلاس انتزاعی، کلاس الگو) برای ارائه انتزاعی از اشیاء ریاضی و در نتیجه اجازه دادن به پلاگین اجزای خارجی استفاده می کنیم. پس هدف ما طراحی و اعتبار سنجی در LinBox است. جعبه ابزارهای عمومی سطح بالا برای اجرای الگوریتم ها در جبر خطی دقیق. به طور خاص، ما روالهای محاسباتی ترکیبی «دقیق/عددی» را برای ماتریسهای متراکم در زمینههای محدود پیشنهاد میکنیم که تقریباً با عملکرد بهدستآمده توسط کتابخانههای عددی مانند LAPACK مطابقت دارند. در سطح بالاتر، ما از این روال های ترکیبی برای حل بسیار کارآمد یک مسئله کلاسیک جبر کامپیوتری استفاده می کنیم: حل سیستم های خطی دیوفانتین. از این رو، این به ما اجازه داد تا اصل استفاده مجدد از کد را در کتابخانه LinBox و به طور کلی در جبر رایانه تأیید کنیم. کتابخانه LinBox در www.linalg.org موجود است.
Abstract: For a few decades, numerical linear algebra has seen intensive developments in both mathematical and computer science theory which have led to genuine standard software like BLAS or lapack. In computer algebra the situation has not advanced as much, in particular because of the diversity of the problems and because of much of the theoretical progress have been done recently. This thesis falls into a recent class of work which aims at uniforming high-performance codes from many specialized libraries into a single platform of computation. In particular, the emergence of robust and portable libraries like GMP or ntl for exact computation has turned out to be a real asset for the development of applications in exact linear algebra. In this thesis, we study the feasibility and the relevance of the re-use of specialized codes to develop a high performance exact linear algebra library, namely the LinBox library. We use the generic programming mechanisms of C++ (abstract class, template class) to provide an abstraction of the mathematical objects and thus to allow the plugin of external components. Our objective is then to design and validate, in LinBox. high level generic toolboxes for the implementation of algorithms in exact linear algebra. In particular, we propose ''exact/numeric'' hybrid computation routines for dense matrices over finite fields which nearly match with the performance obtained by numerical libraries like LAPACK. On a higher level, we reuse these hybrid routines to solve very efficiently a classical problem of computer algebra : solving diophantine linear systems. Hence, this allowed us to validate the principle of code reuse in LinBox library and more generally in computer algebra. The LinBox library is available at www.linalg.org.