Библиотека
Собственные публикации и доклады
Авторы: Аноприенко А.Я., Иваница С.В., Кулибаба С.В.
Описание: Предложен ряд модификаций традиционных форматов чисел с плавающей запятой. Разработаны алгоритмы определения форматов модифицированных чисел по коду и модификатору формата. Представлена VHDL-модель устройства, выполняющего преобразование форматов чисел по цепочке традиционное- постбинарное-интервальное с возможностью использования полученных форматов в соответствующих (постбинарных, интервальных) вычислениях без потери точности.
Источник: Моделирование и компьютерная графика / Материалы IV международной научно-технической конференции – 5-8 октября 2011 г. Донецк, ДонНТУ. – 2011. С. 13-19.
2. Программная модель преобразователя вещественных чисел в постбинарные форматы
Авторы: Кулибаба С.В, Иваница С.В.
Описание: Представлена программная модель преобразования вещественных чисел в постбинарные форматы различной точности с последующим получением точных значений чисел из полей форматов и вычислением погрешности представления. Разработаны алгоритмы преобразования чисел в постбинарные форматы с использованием стандартных режимов округления. Произведены исследования временных характеристик работы представленной модели.
Источник: Информационные управляющие системы и компьютерный мониторинг / Материалы международной технической конференции студентов и молодых ученых 2011 г. Донецк, ДонНТУ. - 2011.
3. Представление постбинарных форматов чисел с плавающей запятой в контексте интервальных вычислений
Авторы: Аноприенко А.Я., Иваница С.В., Кулибаба С.В.
Описание: Рассмотрен ряд модификаций традиционных форматов чисел с плавающей запятой. Описаны методы идентификации данных форматов и дано краткое описание каждой модификации. Разработаны алгоритмы определения форматов модифицированных чисел по коду и модификатору формата. Представлена VHDL-модел устройства, выполняющего преобразование традиционных форматов чисел в постбинарные с возможностью их дальнейшего использования как интервальный тип данных в соответствующих (постбинарных, интервальных) вычислениях без потери точности.
Источник: Наукові праці ДонНТУ. Серія “Інформатика, кібернетика та обчислювальна техніка”
Тематические статьи
4. Пример Румпа в контексте традиционных, интервальных и постбинарных вычисленийАвторы: Аноприенко А.Я., Гранковский В.А., Иваница С.В.
Описание: На базе примера, предложенного профессором З. Румпом еще в 1988 году, проведен детальный анализ условий формирования неверных результатов в современных системах компьютерной математики. Проанализирована возможность использования интервальных методов для минимизации отрицательных последствий получения ошибочных результатов вычислений. Предложены варианты постбинарного представления численной информации и методы работы с ней, исключающие появление ситуаций, подобных тем, которые имеют место в случае с примером Румпа.
Источник: Научные труды Донецкого национального технического университета. Серия «Проблемы моделирования и автоматизации проектирования динамических систем» (МАП-2011). Выпуск 9 (179): Донецк: ДонНТУ, 2011. С. 324–343.
5. Моделирование клеточных автоматов
Авторы: Аноприенко А.Я, Коноплева А.П.
Описание: В данной работе авторами предлагается метод моделирования КА на основе логики гиперкодов. Появление самой концепции гиперкодов было обусловлено относительной ограниченностью возможностей современных бинарных кодов на фоне сложности и неоднозначности реального мира. Постбинарные клеточные автоматы (ПКА) – это вид КА, в котором исходные комбинации задаются с помощью гиперкодов, а при задании состояний клеток и локальных зависимостей используются элементы гиперлогики.
Источник: «Моделирование и информационные технологии». Сборник научных трудов. Специальный выпуск по материалам международной научной конференции «Моделирование- 2010» (13-14 мая 2010 года). – Киев, НАН Украины, Институт проблем моделирования в энергетике им. Г.Е. Пухова, 2010. С. 162-170.
6. Особенности постбинарного кодирования на примере интервального представления результатов вычислений по формуле Бэйли-Боруэйна-Плаффа
Авторы: Аноприенко А.Я., Иваница С.В.
Описание: Рассмотрены особенности компьютерных вычислений с возможностью расширения стандартной арифметики чисел с плавающей точкой
Источник: Научные труды Донецкого национального технического университета. Серия: «Информатика, кибернетика и вычислительная техника» (ИКВТ-2010). Выпуск 11 (164). – Донецк: ДонНТУ, 2010. С. 19-23.
7. Интервальные вычисления и перспективы их развития в контексте кодо-логической эволюции
Авторы: Аноприенко А.Я., Иваница С.В.
Описание: Рассмотрены эволюция интервальных методов и современное состояние классической интервальной арифметики. Предложена возможность гиперкодового представления чисел с плавающей точкой для сохранения информации об исходной точности чисел и предоставления достоверной информации о точности полученных результатов.
Источник: Научные труды Донецкого национального технического университета. Серия «Проблемы моделирования и автоматизации проектирования динамических систем» (МАП-2010). Выпуск 8 (168): Донецк: ДонНТУ, 2010. С. 150–160.
8. Програмная реализация постбинарного кодирования иинтервалов
Авторы: Аноприенко А.Я., Иваница С.В., Бурлака E.В.
Описание: Представлена программная реализация извлечения из тетракода как полного набора двоичных и десятичных значений (преобразование тетракод, двоичное/десятичное число), так и значений границ интервала с оценкой их предельных колебаний(преобразование тетракод? интервал).
Источник: Научные труды Донецкого национального технического университета. Серия: "Проблеми моделювання та автоматизаціїпроектування"
9. Реализация интервальных вычислений средствами математического пакета SciLab с использованием интервального расширения Int4Sci
Авторы: Аноприенко А.Я., Иваница С.В.
Описание: Представлено реалізацію інтервальних обчислень засобами математичного середовища SciLab з використанням пакета інтервального розширення Int4Sci на прикладі обчислення інтервальної функції. Позначено можливість обліку погрішності вхідних даних і перевірки коректності результатів обчислень.
Источник: «Донбасс-2020: перспективы развития глазами молодых ученых»: Материалы V научно- практической конференции. Донецк, 25–27 мая 2010 г. — Донецк, ДонНТУ Министерства образования и науки, 2010. C. 629–633.
10. Grid-технології: розвиток, моделювання та перспективи постбінарного комп’ютінгу
Авторы: Аноприенко А.Я.
Описание: Development of Grid-technologies in the world and in Ukraine is described. The importance of using appropriate simulation tools, new code- logical basis and experience of using GridSim Toolkit are analyzed.
Источник: Доклад на международной научной конференции «Моделирование-2010» (13-14 мая 2010 года). – Киев, НАН Украины, Институт проблем моделирования в энергетике им. Г.Е. Пухова, 2010.
Переводы статей
11. Числа с плавающей запятой (перевод Кулибабы С. В.)Авторы: Sedgewick R., Wayn K.
Описание: Рассмотрены форматы представления дробных чисел в памяти компьютера, а также характерные проблемы, возникающие при работе с такими числами
Источник: Introduction to Programming in Java // Computer Science Departament of Princeton University