Инд. авторы:	Ковалев С.П.
Заглавие:	Аналитические модели машинной арифметики
Библ. ссылка:	Ковалев С.П. Аналитические модели машинной арифметики // Сибирский журнал вычислительной математики. - 2003. - Т.6. - № 3. - С.88-102. - ISSN 1560-7526.
Внешние системы:	РИНЦ: 9484787;
Реферат:	rus: Предложена новая методика построения аналитических моделей информационных систем, требования к которым задаются формальными теориями. Методика основана на специальной модификации теоретико-модельного подхода, названной частичной интерпретацией. Построены аналитические модели компьютерных реализаций арифметики - частичные интерпретации арифметических теорий с конечными универсумами. Описаны основные классы частичных интерпретаций арифметик целых чисел, различающиеся методами обработки переполнения. Рассмотрена частичная интерпретация арифметики рациональных чисел, лежащая в основе стандарта IEEE754. Проанализированы модели вычислений, поддерживаемые различными языками программирования, и предложены пути их развития.
Издано:	2003
Физ. характеристика:	с.88-102
Цитирование:	1. Гашков С.Б., Чубариков В.Н. Арифметика. Алгоритмы. Сложность вычислений. М.: Высш. школа, 2000. 2. Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. СПб.: Питер, 2002. 3. Bull J.M., Smith L.A., Pottage L., Freeman R. Benchmarking Java against C and Fortran for scientifc applications // Proc. ACM 2001 Java Grande Conf. Stanford: ACM, 2001. P. 97-105. 4. Кейслер Г., Чэн Ч.Ч. Теория моделей. М.: Мир, 1977. 5. Тарский А. Введение в логику и методологию дедуктивных наук. Биробиджан: ИП «ТРИВИУМ», 2000. 6. Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс. Т. 1-2. М.: Мир, 1990. 7. Яблонский С.В. Введение в теорию функций k-значной логики // Дискретная математика и математические вопросы кибернетики. Т. 1. М.: Наука, 1974. 8. Kahan W. LectureNotes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic. Berkeley, 1996 (http://www.cs.berkeley.edu/~wkahan/ieee754-status/IEEE754.pdf). 9. Пратт Т., Зелковиц М. Языки программирования: разработка и реализация. СПб.: Питер, 2002. 10. TMS320C3x General-Purpose Applications User's Guide. Texas Instruments, 1998 (http://www-s.ti.com/sc/psheets/spru194/spru194.pdf). 11. Клещев А.С., Артемьева И.Л. Необогащенные системы логических отношений. Ч. 1 // НТИ. Сер. 2. 2000. № 7. С. 18-28. 12. Клещев А.С., Артемьева И.Л. Необогащенные системы логических отношений. Ч. 2 // НТИ. Сер. 2. 2000, № 8. С. 8-18. 13. Минский М. Фреймы для представления знаний. М.: Энергия, 1979.