دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: George F. Corliss, R. Baker Kearfott (auth.), Tibor Csendes (eds.) سری: ISBN (شابک) : 9789048153503, 9789401712477 ناشر: Springer Netherlands سال نشر: 1999 تعداد صفحات: 401 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
کلمات کلیدی مربوط به کتاب تحولات در محاسبات قابل اعتماد: نظریه اعداد، تئوری محاسبات، محاسبات عددی، معماری پردازنده، ریاضیات محاسباتی و آنالیز عددی، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Developments in Reliable Computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحولات در محاسبات قابل اعتماد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
کنفرانس SCAN، سمپوزیوم بینالمللی محاسبات علمی، محاسبات رایانهای و اعداد معتبر، هر سال تحت نظارت مشترک GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) و IMACS (انجمن بینالمللی برای ریاضیات و رایانهها در Simulation) برگزار میشود. ). SCAN-98 بیش از 100 شرکت کننده از 21 کشور از سراسر جهان را به خود جذب کرد. در طول چهار روز از 22 تا 25 سپتامبر، 9 سخنرانی برجسته، عمومی و بیش از 70 سخنرانی ارائه شد. این ارقام حاکی از مشارکت گسترده است که تا حدودی ناشی از جذب کشور برگزارکننده، مجارستان بوده است، اما همچنین سیستم حمایتی مؤثر نیز در موفقیت نقش داشته است. این کنفرانس به طور عمده توسط صندوق تحقیقات مجارستانی OTKA، GAMM، هیئت توسعه فناوری ملی OMFB و توسط دانشگاه J6zsef Attila حمایت شد. با توجه به این بودجه، امکان پرداخت یارانه برای مشارکت بیش از 20 دانشمند، عمدتاً از کشورهای اروپای شرقی، فراهم شد. مهم این است که احتمالاً اولین مشارکت 6 محقق جوان به دلیل حمایت های به دست آمده امکان پذیر شد. تعداد شرکت کنندگان اروپای شرقی نسبتاً زیاد بود. این نتایج به ویژه ارزشمند هستند، زیرا برخلاف دوره 2 ساله معمول، جلسه حاضر تنها یک سال پس از آخرین کنفرانس SCAN-xx برگزار شد.
The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) and IMACS (International Association for Mathematics and Computers in Simulation). SCAN-98 attracted more than 100 participants from 21 countries all over the world. During the four days from September 22 to 25, nine highlighted, plenary lectures and over 70 contributed talks were given. These figures indicate a large participation, which was partly caused by the attraction of the organizing country, Hungary, but also the effec tive support system have contributed to the success. The conference was substantially supported by the Hungarian Research Fund OTKA, GAMM, the National Technology Development Board OMFB and by the J6zsef Attila University. Due to this funding, it was possible to subsidize the participation of over 20 scientists, mainly from Eastern European countries. It is important that the possibly first participation of 6 young researchers was made possible due to the obtained support. The number of East-European participants was relatively high. These results are especially valuable, since in contrast to the usual 2 years period, the present meeting was organized just one year after the last SCAN-xx conference.
Front Matter....Pages i-viii
Rigorous Global Search: Industrial Applications....Pages 1-16
Influences of Rounding Errors in Solving Large Sparse Linear Systems....Pages 17-30
A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions....Pages 31-41
Towards an optimal control of the wrapping effect....Pages 43-51
On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic....Pages 53-65
A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature....Pages 67-75
INTLAB — INTerval LABoratory....Pages 77-104
Verified calculation of the solution of algebraic Riccati equation....Pages 105-118
Expression Concepts in Scientific Computing....Pages 119-130
Performance Evaluation Technique STU and libavi Library....Pages 131-140
Single-Number Interval I/O....Pages 141-148
Interval Analysis for Embedded Systems....Pages 149-158
Prediction by extrapolation for interval tightening methods....Pages 159-166
The Contribution of T. Sunaga to Interval Analysis and Reliable Computing....Pages 167-188
Surface-to-surface intersection with complete and guaranteed results....Pages 189-202
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ 2 ....Pages 203-212
Comparing Partial Consistencies....Pages 213-228
Verified Computation of Fast Decreasing Polynomials....Pages 229-240
An Accurate Distance-Calculation Algorithm for Convex Polyhedra....Pages 241-253
Verified Error Bounds for Linear Systems Through the Lanczos Process....Pages 255-267
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes....Pages 269-278
A Few Results on Table-Based Methods....Pages 279-288
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation....Pages 289-310
The Interval-Enhanced GNU Fortran Compiler....Pages 311-322
Outer Estimation of Generalized Solution Sets to Interval Linear Systems....Pages 323-335
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic....Pages 337-346
A Numerical Verification Method of Solutions for the Navier-Stokes Equations....Pages 347-357
Convex Sets of Full Rank Matrices....Pages 359-364
Multiaspect Interval Types....Pages 365-372
MATLAB-Based Analysis of Roundoff Noise....Pages 373-382
SCAN-98 Collected Bibliography....Pages 383-402