کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874618 687532 2015 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Evolving Fortran types with inferred units-of-measure
ترجمه فارسی عنوان
انواع فورتان را با واحدهای معینی تعریف می کند
کلمات کلیدی
واحدهای اندازه گیری، ابعاد تایپ کردن، سیستم های نوع تایید، تکامل پایه کد، فورتن، طراحی زبان،
ترجمه چکیده
تجزیه و تحلیل ابعاد یک روش شناخته شده برای بررسی یکپارچگی معادلات مربوط به مقادیر فیزیکی است که یک نوع سیستم نوعی را تشکیل می دهند. سیستم های مختلفی برای تحلیل ابعاد و اصلاح آن به واحدهای اندازه گیری پیشنهاد شده است. در این مقاله، ما طراحی و پیاده سازی یک سیستم واحد از اندازه برای فورتان، ارائه شده به عنوان یک پیش پردازنده. سیستم ما برای کمک به اضافه کردن واحدهای به پایه کد موجود طراحی شده است: واحدهای ممکن است پلی مورفیک باشند و قابل تعمیم باشند. علاوه بر این، ما یک روش برای گزارش دادن به کاربر مجموعه ای از متغیرهای حیاتی را معرفی می کنیم که باید با واحدهای واضح و واضح به آنها اطلاع داده شود تا حداکثر مقدار اطلاعات واحد با حداقل تعداد اعلامیه های صریح را بدست آوریم. این کمک به پذیرش سیستم نوع ما به پایگاه های کد موجود، که در بسیاری از پروژه های علمی محاسباتی وجود دارد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Dimensional analysis is a well known technique for checking the consistency of equations involving physical quantities, constituting a kind of type system. Various type systems for dimensional analysis, and its refinement to units-of-measure, have been proposed. In this paper, we detail the design and implementation of a units-of-measure system for Fortran, provided as a pre-processor. Our system is designed to aid adding units to existing code base: units may be polymorphic and can be inferred. Furthermore, we introduce a technique for reporting to the user a set of critical variables which should be explicitly annotated with units to get the maximum amount of unit information with the minimal number of explicit declarations. This aids adoption of our type system to existing code bases, of which there are many in computational science projects.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computational Science - Volume 9, July 2015, Pages 156-162
نویسندگان
, , ,