Новосибирский профессор передал в дар директору ЦИКТ ДонНТУ уникальные издания по интервальному анализу
В адрес директора Центра информационных компьютерных технологий ДонНТУ Сергея Васильевича Иваницы поступила бандероль с ценным подарком от известного российского учёного, доктора физико-математических наук, профессора Сергея Петровича Шарого – изданиями, посвящёнными актуальным проблемам вычислительной математики и интервального анализа.
Сергей Петрович Шарый – специалист в области вычислительной математики и интервального анализа. Он родился в 1962 году в Семипалатинске, окончил механико-математический факультет Новосибирского государственного университета (НГУ). В 2000 году получил степень доктора физико-математических наук, защитив диссертацию по теме «Интервальные алгебраические задачи и их численное решение». Учёный имеет богатый международный опыт: работал старшим инженером по разработке программного обеспечения в Новосибирском отделении Intel Corporation, был консультантом проекта PERFLIB корпорации Sun Microsystems, а также приглашённым профессором Университета Жироны (Испания). Входит в редколлегии нескольких авторитетных научных журналов, включая «Вычислительные технологии» и международный журнал «Reliable Computing». В настоящее время является ведущим научным сотрудником Федерального исследовательского центра вычислительных и информационных технологий (ФИЦ ИВТ) и профессором кафедры математического моделирования НГУ.
Поводом к подарку стало пересечение научных интересов С. П. Шарого и С. В. Иваницы. Оба учёных занимаются проблемами повышения достоверности компьютерных вычислений и обработки данных с интервальной неопределённостью.
Сергей Васильевич Иваница в кандидатской диссертации, защищённой в 2019 году, развил концепцию постбинарного компьютинга, основанную на расширенном кодо-логическом базисе – тетралогике и тетракодировании. Его работы непосредственно опираются на методы интервального анализа, которые являются одним из направлений исследований профессора С. П. Шарого.
Эта научная близость имеет глубокие корни: ещё до защиты диссертации Сергей Васильевич Иваница в соавторстве с профессором Александром Яковлевичем Аноприенко опубликовал ряд основополагающих монографий, заложивших фундамент нового научного направления, которые представляют собой последовательное развитие идей постбинарного компьютинга и закладывают фундамент нового научного направления. В первой из них, «Постбинарный компьютинг и интервальные вычисления в контексте кодо-логической эволюции» (2011), рассматриваются закономерности эволюции кодо-логических основ вычислительной техники и обосновывается переход к постбинарному компьютингу, причём особый акцент сделан на интервальных вычислениях и их постбинарной реализации. Вторая работа, «Тетралогика, тетравычисления и ноокомпьютинг: исследования 2010–2012» (2012), обобщает результаты теоретического обоснования и практической реализации тетралогики как наиболее эффективного варианта постбинарной логики, а также тетравычислений и связанных с ними аспектов ноокомпьютинга. Третья монография, «Введение в постбинарный компьютинг: арифметико-логические основы и программно-аппаратная реализация» (2017), завершает этот цикл, предлагая систематическое изложение арифметико-логических основ постбинарного компьютинга, включая модифицированные форматы чисел с плавающей запятой, а также аппаратную и программную реализацию элементов и узлов постбинарных компьютерных систем.
Все три книги непосредственно опираются на методы интервального анализа и обеспечивают теоретическую и практическую базу для достоверных вычислений, что делает их особенно ценными в контексте научных интересов профессора С. П. Шарого и развития исследований в ДонНТУ.
Таким образом, научные интересы С. В. Иваницы и профессора С. П. Шарого пересекаются в ключевой точке – интервальном анализе и обеспечении достоверности компьютерных вычислений. Если С. П. Шарый развивает классические методы интервального анализа и его приложения к вычислительной математике, то А. Я. Аноприенко и С. В. Иваница предлагают новый – постбинарный – способ реализации этих вычислений на уровне кодо-логического базиса. Именно эта научная преемственность и взаимодополняемость подходов делает дар профессора С. П. Шарого особенно ценным для дальнейших исследований в ДонНТУ.
Сергей Васильевич Иваница выражает искреннюю благодарность Сергею Петровичу Шарому за щедрый дар и надеется на дальнейшее плодотворное сотрудничество.
Краткое описание подаренных изданий:
1. Шарый С. П. «Курс вычислительных методов» (М.; Ижевск: Институт компьютерных исследований, 2025. — 808 с., ISBN 978-5-4344-1089-2).
Учебник, выросший из многолетнего курса лекций, который автор читает студентам механико-математического факультета НГУ. В него вошёл стандартный набор дисциплин вычислительной математики – методы численного анализа, вычислительная линейная алгебра, приёмы решения нелинейных уравнений. Особенность книги в том, что традиционный материал изложен параллельно с интервальным анализом: автор показывает, как интервалы позволяют учитывать неопределённость исходных данных и получать гарантированные результаты вычислений. Объём издания заметно шире рамок лекционного курса, поэтому его можно использовать двояко – как настольный учебник и как дополнительную литературу для самостоятельного углублённого изучения предмета.
2. Баженов А. Н., Жилин С. И., Кумков С. И., Шарый С. П. «Обработка и анализ интервальных данных» (М.; Ижевск: Институт компьютерных исследований, 2024. — 356 с., ISBN 978-5-4344-1018-2).
Коллективная монография о том, как работать с данными измерений и наблюдений, когда о них известны не точные значения, а лишь границы – интервалы, в которых заключены истинные величины. Такой подход особенно важен там, где классическая теория вероятностей неприменима: сведения о статистических свойствах погрешностей измерительных приборов недоступны или неполны. Авторы выстраивают целостный аппарат новой научной дисциплины – интервального анализа данных: формулируют его основные понятия, вырабатывают единую терминологию и демонстрируют практическую ценность методов на разобранных примерах из реальных прикладных задач.
