BE EN

Поиск по сайту

Авторизация

Для сотрудников ОИПИ

Для обращений

Издания института

Периодические издания ОИПИ НАН Беларуси

Информатика / Гл. ред. А.В.Тузиков – Минск: ОИПИ НАН Беларуси.

Название: Информатика
ISSN: 1816-0301
Год создания: 2004.
Страна: Беларусь
Адрес: г. Минск, ул. Сурганова 6, к. 305
Телефон: (8-017) 284-26-22
Язык: Русский

Перечень книжных изданий ОИПИ НАН Беларуси за 2021 год

В 2021 году опубликовано книжных изданий всего 12: монографий - 6, сборников статей - 1, сборников докладов международных конференций – 2, сборников тезисов докладов международных конференций -1, учебников и учебных пособий для высшей и средней школы – 2.

А.П.Романова, О.В.Красько «Модели динамики смертности населения Беларуси на рубеже XX-XXI вв.». – Минск: БелМАПО, 2020. - 660с. Монография посвящена исследованию здоровья населения Беларуси в досоветский, советский и постсоветский периоды на основании показателей смертности населения в условиях демографического и эпидемиологического переходов. Приведены результаты изучения динамики численности и смертности населения с разделением по полу, возрасту и типу территории проживания с использованием грубых и стандартизованных показателей смертности более чем за полувековой период. Представлены модели динамики смертности населения БССР и Республики Беларусь в 1959–2018 гг., в периодах которой рассмотрены вопросы охраны здоровья и организации медицинской помощи населению в контексте социальной политики государства.

В.Горбачук, В.Скобцов, И.Том «Економічні аспекти забеспечения здоров'я в інформаційну еру»// National Health as Determinant of Nadiya Dubrovina & Stanislav Filip, Shool of Economics and Management in Public Administration in Bratislava, 2021, pp. 697-720. Проблема национального здоровья является фундаментальной с теоретической и практической точек зрения современного общества. Сегодня вопросы состояния здоровья населения как важного индикатора развития социально-экономической системы обсуждаются в мировой научной литературе и исследованиях. Однако эта тема актуальна, и новые исследования и практический опыт вносят существенный вклад в новое направление проблемы формирования национального здоровья. Монография является результатом коллективной работы исследователей и практиков из Словакии, Украины и Беларуси. В данной монографии рассмотрены основные аспекты формирования детерминант национального здоровья и устойчивого развития современного общества.

Ю.В.Поттосин «Комбинаторные задачи в логическом проектировании дискретных устройств» – Минск: Беларуская навука, 2021. -175с. Рассматриваются оптимизационные комбинаторные задачи дискретной математики, возникающие при логическом проектировании дискретных устройств и систем. Представлены методы решения таких задач, как поиск кратчайшего покрытия множества, раскраска графа и др. Описаны классические методы минимизации и декомпозиции булевых функций в терминах булевых и троичных векторов и матриц. Изложены методы проектирования дискретных устройств, использующие классические модели конечного автомата и параллельного автомата.

Левкевич В.Е. Современные экзогенные инженерно-геологические процессы на водохранилищах и озёрах Беларуси, Минск: Право и экономика, 2021. -142с. В монографии представлены результаты теоретических и натурных исследований закономерностей развития современных инженерно-геологических процессов на водоемах естественного и искусственного происхождения Беларуси. Рассмотрены основы морфодинамики прибрежной зоны водоемов страны с замедленным водообменном. Настоящая монография является продолжением серии книг о береговых эрозионно-аккумулятивных процессах, имеющих развитие на водных объектах.

A.M.Krot «Statistical Theory of gravitating Body Formation in Extrasolar Systems»/ A.Krot. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2021. -817 p. Эта книга развивает статистическую механику образования гравитирующих космогонических тел при исследовании нашей Солнечной системы и других экзопланетных систем. Первая ее часть знакомит читателя с развиваемой автором статистической теорией формирования гравитирующего космогенного тела В рамках этой теории предлагаются новые модели и эволюционные уравнения статистической механики, а известные задачи гравитационной конденсации бесконечно распределенных космических сред решаются на основе преложенной статистической модели сфероидальных тел. Во второй части книги подробно описаны теоретические и прикладные подходы к исследованию как Солнечной системы, так и других экзопланетарных систем. В частности, в ней рассматривается новый закон звездного мироздания (ЗЗМ) для внесолнечных планетных систем, связывающий температуру, размер и массу каждой звезды. В рамках развиваемой статистической теории выводится таже новый закон (обобщающий знаменитый закон О.Ю.Шмидта) распределения планет по расстоянию в Солнечной системе.

И.А.Бусел, О.И.Семенков, П.С.Гейзлер «Кибернетика стройинжиниринга». – LAMBERT Academic Publishing, 2021 -548 c. В книге рассматриваются вопросы инновационной и инвестиционной деятельности в строительной отрасли. Изложены научно-практические основы стройинжиниринга как объединения методологии изыскательских, проектных, строительных и эксплуатационных работ. Освещены некоторые проблемы модернизации и информатизации бизнес-процессов стройинжиниринга. Предложены методологические основы модернизации систем управления предприятиями на примере информатизации систем управления энергоресурсами. Рассмотрены подходы к проектированию строительных объектов как сложных организационно-технических систем и разработке научно-методических материалов по созданию систем управления стройинжиниринга. Изложены концептуальные аспекты BIM-технологий.

П.Н.Бибило «Основы языка VHDL»: Учебное пособие. Изд.стереотип. /П.Н.Бибило. –М.: Книжный дом «ЛИБРИКОМ» 2021, 328с. Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. После каждой главы представлены вопросы, задачи и упражнения для самостоятельной работы. Заключительная глава книги содержит методические материалы, взятые из практики преподавания языка VHDL в университетах. Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.

Ю.В.Поттосин «Основы дискретной математики и теории алгоритмов: учеб. Метод.пособие/ Ю.В.Поттосин, Т.Г.Пинчук, С.А.Поттосин. –Минск: БГУИР, 2021. -122 с. Содержит основные разделы дискретной математики: множества, отношения, основные понятия теории графов, комбинаторные задачи и методы комбинаторного поиска, булевы функции и их графическое представление, нормальные формы, минимизация ДНФ, элементы математической логики, основы теории алгоритмов, конечный автомат и минимизация полных автоматов. Рассматриваются прикладные задачи по некоторым разделам с описанием алгоритма их решения.

Перечень книжных изданий ОИПИ НАН Беларуси за 2020 год

В 2020 году сотрудниками института опубликовано: монографий – 6, сборников статей, докладов конференций - 2, учебных пособий – 1, научно-популярных книг - 2, статей и докладов – 236, из них за рубежом – 110, тезисов докладов – 37, из них за рубежом – 19.

	Белорусские суперкомпьютеры семейства СКИФ/ Н.Н. Парамонов, О.П. Чиж, А.Г. Рымарчук, С.В. Абламейко, В.В. Анищенко, С.В. Кругликов, А.В. Тузиков.- Минск, 2020, 268с. (монография) Рассматриваются основополагающие принципы разработки белорусских суперкомпьютерных конфигураций семейства СКИФ и базовые этапы их создания в рамках программ Союзного государства с 1999 по 2018 г. Концепция создания семейства СКИФ включает архитектурные и конструкторско-технологические аспекты, а также выбор системного и прикладного программного обеспечения. Приводятся основные технические характеристики белорусских суперкомпьютеров разных поколений, предназначенных для решения ресурсоемких задач в центрах обработки данных, и кластерных конфигураций для отраслевых структурных подразделений (персональных и офисных кластеров). Описываются возможности Республиканского суперкомпьютерного центра коллективного пользования ОИПИ НАН Беларуси, а также прикладные комплексы и системы, использующие суперкомпьютерные технологии, которые создавались на всех этапах развития направления СКИФ в Республике Беларусь. Книга будет полезна специалистам в области суперкомпьютерных технологий, включая разработчиков прикладных задач с большим объемом вычислений, а также аспирантам и студентам соответствующих специальностей при изучении высокопроизводительных вычислительных систем с параллельной архитектурой.
	Функциональная верификация VHDL- описаний синхронных цифровых устройств/ П.Н.Бибило, Н.А Авдеев, В.И. Романов. - М.: ЛЕНАНД. 2020. 238с. (монография) Рассматриваются проблемы функциональной верификации проектов синхронных цифровых устройств, представленных на языке VHDL, который широко используется в качестве языка исходного описания проектов при создании электронной аппаратуры на современной элементной базе сверхбольших интегральных схем и систем-на-кристалле. Под функциональной верификацией понимается проверка соответствия VHDL-описаний проектов спецификациям на проектирование. Основное внимание уделяется верификации VHDL-описаний блоков управляющей логики и сложных функциональных блоков, а также подготовке компактных функциональных тестов. Включено большое число примеров, которые могут быть использованы для совершенствования навыков написания VHDL-программ и навыков практичес-кой работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих язык VHDL и его применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых устройств и систем.
	Левкевич В.Е. Инженерная защита и мониторинг прибрежной зоны водохранилищ Беларуси/ Минск: Право и экономика, 2020. -152с. (монография) В монографии приведена оценка влияния водных объектов естественного и искусственного происхождения на прилегающие территории. Проанализированы процессы, возникающие в прибрежной зоне водоемов. Рассмотрены опыт создания польдеров в мировой практике и принципы устройства защитных сооружений от подтопления территорий. Показан опыт строительства польдерных систем в Беларуси. Приведены подходы по расчету подтопления территорий и оценки экономической эффективности применения новых типов креплений откосов и расчета устойчивости дамб и плотин. В книге представлены возможности системы мониторинга береговой зоны водохранилищ с использованием источников космической информации, а также геонформационных систем. Даны результаты экспериментальных исследований береговой зоны водохранилищ с эрозионными процессами и процессами подтопления, а также оценки состояния польдерных систем с помощью беспилотных летательных аппаратов (БИТА). Монография рассчитана на специалистов в области гидротехнического и водохозяйственного строительства, природопользования, геоэкологии, ГОС-технологий, а также преподавателей, аспирантов и студентов высших технических учебных заведений.
	Krot, A.M. On the wave solutions of the generalized nonlinear Schrodinger-like equation of formation of a cosmogonical body// In the book “Understanding the Schrodinger Equation: Some [Non] Linear Perspectives”, New York: Nova Science Publishers, 2020, p.228 (монография) В данной работе исследуются волновые решения обобщённого нелинейного время-зависимого Шрёдингер-подобного уравнения, описывающего формирование космогонического тела. Статистическая теория формирования космогонических тел (на основе модели т.н. сфероидального тела) была предложена в предыдущих работах автора. Начиная с концепции формирования сфероидального тела внутри газопы-левой протопланетной туманности, эта теория разрешает проблему гравитационной конденсации газопылевого протопланетной облака (с последующей целью построения модели формирования планет в собственном гравитационном поле). Обобщённое нелинейное Шрёдингер-подобное уравнение, зависящее от времени, было выведено в рамках предложенной статистической теории. Полученное уравнение имеет волновые решения, предсказывающие статистические осцилляции орбитального движения планет вокруг звёзд. В самом деле, хорошо известно, что радиальные и осевые осцилляции Альвена–Аррениуса модифицируют форму планетных орбит. Основываясь на этих результатах, можно объяснить, каким образом достигается орбитальная устойчивость тела (планеты), движущегося вокруг центрального гравитирующего тела (звезды), за счёт волнового гравитационного взаимодействия между ними. В частности, показано, что периодическое изменение во времени функции гравитационного сжатия сферически-симметричного сфероидального тела (при условии механического квазиравновесия) индуцирует дополнительную периодическую силу типа Альвена–Аррениуса. В рамках развитой теории запаздывающих гравитационных потенциалов аналогичная формула дополнительной периодической силы (как и соотношение для волнового гравитационного потенциала) также выводятся в данной работе. В качестве специального результата в этой работе также исследуется нелинейное волновое решение кубического уравнения Шрёдингера. Как известно, это решение описывается солитоном. Таким образом, как плоские гравитационные волны, так и солитоны являются волновыми решениями рассматриваемого обобщенного нелинейного время-зависимого Шрёдингер-подобного уравнения.
	F. Werner, L. Burtseva, Yu.N. Sotskov (Editors) Special Issue on Exact and Heuristic Scheduling Algorithms. Algorithms. – 2020. MDPI Basel, Switzerland. -2014. -432p. (монография) Книга состоит из восьми статей, посвященных решению различных по сложности и содержанию задач теории расписаний, важной области исследования операций и принятия решений. Для решения практических задач оперативно-календарного планирования требуются алгоритмы построения расписаний для обслуживающих систем большой размерности. Поскольку, за редким исключением, задачи построения оптимальных расписаний являются NP-трудными, то на практике широко используются эвристические алгоритмы, не гарантирующие получение точного решения и гарантированной оценки погрешности полученного решения. В книге представлены результаты исследований задач теории расписаний и ее практических приложений, для которых возможно построение оптимальных расписаний точными алгоритмами или построение приближенных расписаний с гарантированной оценкой точности.
	Abramyam A.K., Andrianov I.V., Gaiсo V.A. (Eds) Nonlinear Dynamics of Discrete and Continuous Systems. Advanced Structured Materials. -Basel: Springer Nature, 2020. 277p. (монография) Этот памятный том представляет собой сборник статей, подготовленных коллегами и учениками в честь выдающегося ученого доктора Вима ван Хорссена (Делфтский университет, Нидерланды) по случаю его 60-летия. Его исследования охватывают различные области прикладной математики и механики, в частности, обыкновенные дифференциальные уравнения и уравнения в частных производных, уравнения с запаздыванием и разностные уравнения, а также асимптотическую теорию, теорию динамических систем и теорию бифуркаций.
	Основы языка VHDL: учебное пособие. Изд.8-е/ П.Н. Бибило. - М.:Книжный дом «ЛИБРОКОМ». 2020. -328с. (учебное пособие) Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. После каждой главы представлены вопросы, задачи и упражнения для самостоятельной работы. Заключительная глава книги содержит методические материалы, взятые из практики преподавания языка VHDL в университетах. Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
	Г.В. Лосик, А.А. Дерюгин А.В. Северин, С.В. Петров «Социализация ребёнка по Л.С. Выготскому: новый взгляд. – LAP Lambert Academic Publishing, 2020, - 79с. (научно - популярная книга) Книга состоит из пяти частей, объединяющих 10 глав. Она представляет интерес для специалистов в области информатики, психологии, лингвистики, когнитивных технологий, кибернетики, искусственного интеллекта, систем виртуальной реальности, для всех, кто занимается вопросами кодирования и обработки информации мозгом.
	Республика Беларусь - 25 лет созидания и свершений, В 7т. Т.6 Наука, Информационное общество / В.Г. Гусаков [и др.]; редсовет: В.П. Андрейченко [и др.]. – Минск: Беларуская навука, 2020. -779с. (научно - популярная книга) В томе приводятся обширные сведения о становлении, развитии и достижениях белоруской науки за годы независимости. Показано развитие информационного общества. Издание рассчитано на широкий круг читателей: государственных служащих, ученых, преподавателей, студентов, учащихся колледжей и учреждений общего среднего образования, всех, «ому интересна информация о современной Беларуси.

Перечень книжных изданий ОИПИ НАН Беларуси за 2019 год

	Становление и развитие цифровой трансформации и информационного общества (ИТ-страны) в Республике Беларусь / Р.Б. Григянец [и др.] ; Объед. ин-т проблем информатики; под ред. В. Г. Гусакова. – Минск: Беларуская навука, 2019. – 227 с. Книга посвящена проблеме становления и развития цифровой трансформации и информационного общества (ИТ-страны) в Республике Беларусь. Особенность издания – междисциплинарность. Авторы предлагают к познанию философский, социологический, экономический и правовой аспекты цифрового мира, мировой опыт, а также взгляд НАН Беларуси на создание и функционирование электронного государства. Представлены оригинальные результаты научных исследований, подтверждающих тезис: информатизация – национальный приоритет Республики Беларусь. Показано как информационно-коммуникационные технологии могут изменить стиль, содержание и качество жизни.
	Левкевич, В.Е. Устойчивость берегозащитных и берегоукрепительных сооружений водохранилищ Беларуси / В.Е. Левкевич. — Минск: Право и эконо-мика, 2019. - 160с. ISBN 978-985-552-848-8 В монографии приведена классификация берегозащитных и берегоукрепительных сооружений и условия их применимости. Дан анализ конструкций креплений, получивших распространение в мировой и отечественной практике. В книге представлены результаты натурных и лабораторных исследований берегоукрепительных и берегозащитных сооружений, эксплуатируемых в Беларуси, а также причины развития деформаций креплений грунтовых незакрепленных верховых откосов подпорных гидротехнических сооружений и размываемых берегов водохранилищ Анализируется экономическая эффективность применения креплений различного типа.
	Левкевич, В.Е. Крепление берегов и верховых откосов подпорных соору-жений гидроузлов Беларуси / В. Е. Левкевич. - Минск: БИТУ, 2019. -172с- ISBN 978-985-583-473-2. В монографии приведена классификация берегозащитных и берегоукрепительных сооружений и анализ креплений, получивших распространение в мировой и отечественной практике. В книге представлены результаты исследований берегоукрепительных сооружений, эксплуатируемых в Беларуси, а также причины развития деформаций креплений грунтовых откосов подпорных сооружений и берегов водохранилищ. Приведены современные технологии крепления и берегозащиты, анализируется экономическая эффективность их применения.
	Полиномы – теория и приложения (Polynomials – Theory and Applications)/ Zheng-Yu Huang [и др.]; под ред. Cheon Seoung Ryoo. – Лондон: IntechOpen, 2019. – 159 с. ISBN 978-1-83880-269-1 В данной книге, написанной ведущими исследователями и математиками, представлены современные исследования в области полиномов. Темы включают, но не ограничиваются этим, следующие области исследований: Современное теневое исчисление (полиномиальные последовательности биномиальные, Аппеля и Шеффера). Ортогональные полиномы, матричные ортогональные полиномы, разнообразные ортогональные полиномы и ортогональные полиномы нескольких переменных. Матричный и детерминистский подход к специальным полиномиальным последовательностям. Приложения специальных полиномиальных последовательностей в теории аппроксимации и в задачах о граничных значениях. Теория чисел и специальные функции. Асимптотические методы в исследовании ортогональных полиномов. Дробное исчисление и специальные функции. Символьные вычисления и специальные функции. Эта своевременно вышедшая книга ориентирована на приобретение знаний о новых результатах, полученных в теории полиномов, которые отсутствуют в имеющейся соответствующей литературе в области полиномиальной теории и смежных областях. Она будет стимулировать проведение дальнейших исследований и разработок в этой важной области знаний.
	Дискретная математика: учебное пособие/ Л.Д.Черемисинова. – Минск: БГУИР, 2019. - 299с.: ил. Изложены материалы по основным разделам дискретной математики, описаны комбинаторные алгоритмы на матрицах и графах. Издание основано на лекционном курсе, который читается автором в учреждении образования «Белорусский государственный университет информатики и радиоэлектроники» для студентов специальностей, связанных с вычислительной техникой и программированием.
	Перспективные технические средства и технологии для развития космической отрасли: результаты реализации программы Союзного государства «Разработка космических и наземных средств обеспечения потребителей России и Беларуси информацией дистанционного зондирования Земли» («Мониторинг-СГ»)\ редсовет: М.И. Макаров, А.В.Тузиков [и др.]. – Минск: Беларуская навука. 2019. – 557 с.
	Малые космические аппараты / С.В.Абламейко, В.А.Саечников, В.Н.Спиридонов. – Вьетнам, Издательство Nha Xuat Ban Thanh Nien, 2019. – 314 с. (На вьетнамском языке) В книге показано как изменяется технология создания спутников и как можно создавать малые спутники. Показано, что для этого нужно учитывать новейшие тенденции развития аппаратных и программных средств постановки космических экспериментов и создавать возможности для дистанционного обучения, где будут также использованы технические возможности космического сегмента. При этом основными направлениями подготовки специалистов в аэрокосмическом сегменте должны стать прикладные космические технологии, создание космических аппаратов и наземных комплексов приема и обработки данных.

Перечень книжных изданий ОИПИ НАН Беларуси за 2018 год

	А. Андрианов, И. Кашин, А. Тузиков. Разработка новых ингибиторов ВИЧ методами молекулярного моделирования. Lambert Academic Publishing, 2018. – 127p. В книге обобщены результаты исследования авторов, в котором впервые методами виртуального скрининга и молекулярного моделирования обнаружены пептидомиметики высокоаффинных лигандов белков оболочки ВИЧ-1 нейтрализующих антител VRC01, 3074, 10Е8 и первичного рецептора CD4, обладающие пространственными и фармакофорными признаками, ответственными за проявление биологической активности. Показано, что идентифицированные соединения могут проявлять высокую анти-ВИЧ активность путем имитации взаимодействий вируса с рецепторами клеточной мембраны, которые обеспечивают его прочную адсорбцию на поверхности клетки-мишени. На основе анализа данных компьютерного моделирования сделан вывод о том, что обнаруженные соединения формируют перспективные базовые структуры для разработки новых эффективных анти-ВИЧ препаратов с широкой вирусной нейтрализацией. Предсказано, что комбинированное использование этих соединений, блокирующих три ключевых стадии процесса проникновения ВИЧ-1 в чувствительные клетки, позволит предотвратить репликацию вируса и существенно снизить уровень вирусной нагрузки в плазме крови. Приведены рекомендации по практическому использованию полученных в работе результатов.
	Голуб, Ю.И. Обработка изображений радужной оболочки глаза для систем распознавания / Голуб Ю.И., Старовойтов В.В. – LAP Lambert Academic Publishing, 2018. – 178 c. Монография посвящена исследованию задач преобразования и кодирования цифровых изображений глаз, используемых в биометрических системах распознавания личности по радужной оболочке глаза. В ней представлены анализ научно-технических аспектов таких систем; обзор коммерческих разработок в этой области; отмечены достоинства и недостатки алгоритмов. Подробно описаны новые алгоритмы выделения границ радужной оболочки глаза, формирования шаблона радужки и вычисления ее бинарного кода. Выполнены их экспериментальные исследования и сравнительный анализ. Детально описана общая структура системы распознавания по изображению радужной оболочки. Представлен разработанный авторами экспериментальный программный комплекс распознавания, на вход которого можно подавать изображения глаз, полученные с разных камер, зафиксированные в разных спектральных диапазонах, имеющие разные размеры. Он протестирован в режимах идентификации и верификации на более чем 15000 изображений китайской базы CASIA-IrisV3-Lamp и других. Описаны схема работы комплекса, структура программных средств, входные и выходные данные.
	Поляков, А. Защита информации от искажений и ошибок при передаче / А. Поляков.– LAP LAMBERT Academic Publishing, 2018. – 60 с. В любой информационной системе должна быть обеспечена доступность, целостность и конфиденциальность передаваемой информации. Защита от несанкционированного изменения (искажения) и ошибок при передаче информации по техническим каналам связи, т.е. обеспечение целостности и конфиденциальности, является одной из главных проблем, успешное решение которой обеспечивает нормальное функционирование информационных систем. Проблема эта многоплановая и включает в себя большое количество задач.
	Интегрированные информационные системы и технологии в промышленности. Итоги выполнения и освоения ГНТП “CALS-ERP-технологии” / Губич Л. В. [и др.]. – Минск: ОИПИ НАН Беларуси, 2018. – 174 с. Рассмотрены результаты выполнения государственной научно-технической программы «Электронное управление ресурсами предприятия» (ГНТП «CALS-ERP-технологии»), которые стали научно-технической и методологической базой процессов информатизации производственной и коммерческой деятельности промышленных предприятий Республики Беларусь. Представлены типовые проектные решения и примеры реализации проектов по созданию и освоению интегрированных информационных систем и технологий на предприятиях различных отраслей. На основе опыта реализации заданий программы внесены предложения по освоению интегрированных информационных систем и технологий.
	Старовойтов, В.В. Получение и обработка изображений на ЭВМ: учебно-методическое пособие / Старовойтов В. В., Голуб Ю. И. – Минск: БНТУ, 2018. – 204с Обработка изображений - одно из самых востребованных направлений современной информатики. Обработка присутствует в любом современном теле-фоне и фотоаппарате, она необходима и врачу, и военному. В пособие кратко описываются некоторые понятия, которые не вошли пока ни в один существующий учебник, например, как получают гиперспектральные изображения. В книге последовательно рассматриваются вопросы: что такое изображение, как то, что мы видим (а также и невидимое) превращается в цифровое изображение, описано зачем придуманы множественные модели представления цифровых изображений, как их можно хранить, излагаются базовые методы обработки цифровых изображений. Приведены примеры решения прикладных задач, в основе которых лежит последовательное применение описанных методов.
	Бибило П.Н. Задачи по проектированию логических схем с использованием языка VHDL: Учебное пособие. Изд. стереотип. - М.: Издательство ЛКИ, 2018. - 328 с. Предлагаемая книга представляет собой сборник задач, вопросов и упражнений по проектированию логических схем, который ориентирован на ликвидацию разрыва между теоретическими и практическими учебными курсами по автоматизированному проектированию. Сборник содержит задачи как по теоретическим основам проектирования — анализу, синтезу, моделированию и верификации логических схем, так и по разработке алгоритмических и структурных спецификаций логических схем на языке VHDL, являющемся стандартным языком описания проектов цифровых интегральных схем в современных системах автоматизированного проектирования (САПР).
	А. А. Дудкин. Интеллектуальные информационные технологии в компьютерных системах и сетях : учеб. - метод. пособие. / А. А. Дудкин [и др.]; – Минск: БГУИР, 2018. – 155 с. В данном учебном пособии рассмотрены понятия теории алгоритмов, формальных языков, грамматик и автоматов, формальные модели алгоритмов, а также содержится информация по основам знаний в области искусственного интеллекта и периферийных устройств вычислительной техники. Особое внимание уделяется рассмотрению базовых понятий и прикладным аспектам использования теоретических положений в современной технике и обществе. Издание адресовано студентам, магистрантам и специалистам, интересующимся проблемами современных компьютерных технологий в построении вычислительных машин, систем и сетей и их использовании в различных приложениях.

Перечень книжных изданий ОИПИ НАН Беларуси за 2017 год

	Андрианов А.М., Корноушенко Ю.В., Тузиков А.В., Кисель М.А. In silico дизайн и синтез новых ингибиторов ВИЧ на основе гликолипидов. Lambert Academic Publishing, 2017. – 118p. В книге обобщены результаты исследования авторов, посвященного компьютерному конструированию потенциальных ингибиторов проникновения ВИЧ-1, способных к специфическим и эффективным взаимодействиям с консервативными участками белка gp120 оболочки вируса, критическими для его связывания с корецепторами клетки-мишени. Полученные с помощью методов компьютерного моделирования данные подтверждены результатами тестирования одного из синтезированных соединений на противовирусную активность. Показано, что сконструированные соединения представляют собой перспективные базовые структуры для разработки новых эффективных лекарственных препаратов против ВИЧ/СПИД, нейтрализующих инфекцию на ранней стадии ее развития.
	Поттосин Ю.В. Методы дискретной математики в проектировании цифровых устройств. – Saarbrücken: LAP LAMBERT Academic Publishing, 2017. – 176 c. Рассматриваются задачи дискретной математики, возникающие при логическом проектировании цифровых устройств и систем. Представлены методы решения таких задач комбинаторной оптимизации, как поиск кратчайшего покрытия множества, раскраска графа и др. Описаны классические методы минимизации булевых функций и систем булевых функций в терминах булевых и троичных векторов и матриц. Рассмотрены также задачи декомпозиции булевых функций. Изложены методы проектирования цифровых устройств, использующие классические модели конечного автомата. Детально рассматривается задача минимизации числа состояний полных и частичных автоматов. Описаны методы кодирования состояний автомата при синхронной и асинхронной реализации, в том числе методы, обеспечивающие уменьшение энергопотребления проектируемого устройства.
	Бибило П. Н., Авдеев Н. А. Моделирование и верификация цифровых систем на языке VHDL. М.:ЛЕНАНД, 2017. – 344 с. Рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. Включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании.
	Старовойтов В.В., Голуб Ю.И. Получение и обработка изображений на ЭВМ: Курс лекций / Мн.: БНТУ, 2017. - с.208: ил.112. Большую часть информации человек получает через свою зрительную систему. Обработка изображений - одно из самых востребованных направлений современной информатики. Обработка присутствует в любом современном теле-фоне и фотоаппарате, она необходима и врачу, и военному. Цель данной книги состояла в систематизации основных понятий и способов формирования цифровых изображений, а также основ их цифровой обработки. В пособие кратко описываются некоторые понятия, которые не вошли пока ни в один существующий учебник, например, как получают гиперспектральные изображения. В книге последовательно рассматриваются вопросы: что такое изображение, как то, что мы видим (а также и невидимое) превращается в цифровое изображение, описано зачем придуманы множественные модели представления цифровых изображений, как их можно хранить, излагаются базовые методы обработки цифровых изображений. Приведены примеры решения прикладных задач, в основе которых лежит последовательное применение описанных методов.
	Специальные главы высшей математики : учеб.-метод. комплекс С71 для студентов техн. специальностей : в 2 ч. / В. С. Вакульчик, Ф.Ф. Яско, В.А. Жак, И.Е. Андрушкевич, А.П. Мателенок; под общ. ред. В. С. Вакульчик, Ф. Ф. Яско. - Новополоцк: Полоцкий государственный университет, 2017. - Ч. 2. - 168 с. Изложены теоретические основы двух важных разделов курса высшей математики для студентов технических специальностей: «Элементы теории поля» и «Основные уравнения математической физики», спроектированы основные этапы практических занятий; предложено соответствующее дидактическое обеспечение: графические схемы, информационные таблицы, обучающие задачи, вопросы к экзамену, глоссарий. Предназначен для студентов и преподавателей технических специальностей высших учебных заведений.
	Арфаэпічны слоўнік беларускай мовы / Нац. акад. навук Беларусі, Інстытут мовазнаўства імя Якуба Коласа, Аб’яднаны інстытут праблем інфарматыкі; уклад.: В.П. Русак, Ю.С. Гецэвіч, С.І. Лысы, В.А. Мандзік ; рэдкал.: В.П. Русак, Ю.С. Гецэвіч, С.І. Лысы. — Мінск : Беларуская навука, 2017. — 757 с. Упершыню прапануецца апісанне літаратурнага вымаўлення больш за 117 000 слоў, у тым ліку новых запазычанняў. Слоўнік дае чытачу неабходныя звесткі пра вымаўленне праз падачу поўнай транскрыпцыі слоў, што бытуюць у сучаснай беларускай літаратурнай мове. Прызначаецца мовазнаўцам, настаўнікам, выкладчыкам, студэнтам, журналістам, пісьменнікам і ўсім, хто цікавіцца пытаннямі арфаэпіі беларускай мовы.
	Прокопович, Г.А. Роботы и люди: для сред. и ст. школьного возраста / Г.А. Прокопович. — Минск: Беларуская Энцыклапедыя імя Петруся Броўкі, 2017. - 72 с.: ил. - (Белорусская дет. энцикл.) ISBN 978-985-11-1023-6. Когда и где появились первые роботы? Кто придумал слова «робот» и «робототехника»? Чего мы ждём от наших искусственных помощников? Произойдёт ли симбиоз человека и робота в будущем? Эти и другие вопросы будоражат воображение вот уже нескольких поколений людей. В книге ты прочитаешь о зарождении и становлении нового научного направления — робототехники, которая за короткое время прошла достаточно большой путь развития. Ты узнаешь, откуда черпают вдохновение создатели роботов и какими они хотят видеть свои творения. Книга поможет разобраться в большом разнообразии современных роботов и робототехнических конструкторов, а также подскажет, с чего начинать их изучение.

Перечень книжных изданий ОИПИ НАН Беларуси за 2016 год

	Бибило П.Н. Основы языка VHDL: Учебное издание. Изд. 7-е. – М.: Книжный дом «ЛИБРОКОМ», 2016 – 328 с. Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. После каждой главы представлены вопросы, задачи и упражнения для самостоятельной работы. Заключительная глава книги содержит методические материалы, взятые из практики преподавания языка VHDL в университетах. Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
	Силков Н. И., Черемисинов Д. И., Мельникова Е. А. Информационные технологии управления безопасностью. Электронные системы безопасности: пособие /. - Минск: БГУИР, 2016. - 75 с. Пособие содержит краткие теоретические сведения и методические указания к выполнению лабораторных занятий. Предназначено для магистрантов и преподавателей.
	Красько О. В. Статистический анализ данных в медицинских исследованиях: Часть I. - Минск: Мгэу им. А.Д. Сахарова, 2014, 127 с. (пособие) В первой части пособия изложены базовые подходы к анализу биомеди-цинских данных: даны описания базовых типов дизайнов, описательные статистики сравнение и анализ двух переменных исследования.
	Светлосанов В.А., Никитенко П.Г., Петрова Е.Г., Левкевич В.Е., Кудин В.Н. Основы моделирования устойчивого развития регионов России и Республики Беларусь // Москва, «Типография 11-й формат», 2016. -172 с. В монографии изложены основные принципы построения математических моделей динамических социально-экономических и экологических систем. Это междисциплинарная область исследований, которая затрагивает многие взаимо-связанные проблемы: экономику, экологию, демографию, политику па всех грех уровнях: локальном, региональном и глобальном. Основное внимание уделено построению математических динамических моделей регионального уровня. На примерах, ставших классическими, авторами обосновывалась методология моделирования социально-экономических систем с учетом экологических последствий. Рассмотрены различные критерии и использован системный анализ для оценки устойчивого развития социально-экономического и экологического развития Беларуси и Европейской части России. Авторская концепция устойчивого развития на региональном уровне предусматривает создание в каждом регионе такого социально-экономического развития, которое не разрушает природную среду, способствует обеспечению безопасного существования жителей рассматриваемого региона. Книга предназначена для географов, экономистов, экологов. Работа выполнена при поддержке Российского гуманитарного научного фонда (РГНФ) и Белорусского республиканского фонда фундаментальных исследований (БРФФИ) - проект № 15-22-01008.
	Krot A.M. Development of the generalized nonlinear Schrödinger equation of rotating cosmogonical body formation. / A.M. Krot // In the book "Complex Systems: Theory and Applications", Chapter 3. – New York: Nova Science Publishers, 2016. – 32 Pp. В работе развивается статистическая теория гравитирующих сфероидальных тел с целью вывода нового обобщённого нелинейного уравнения Шрёдингера, описывающего формирование вращающегося космогонического тела.
	Універсальная дзесятковая класіфікацыя: звыш 10 000 асноўных і дапаможных класаў / Аб’яднаны інстытут праблем інфарматыкі Нацыянальнай акадэміі навук Беларусі, Нацыянальная бібліятэка Беларусі; [рэдакцыйная калегія: Ю. С. Гецэвіч, С.А. Пугачова, Г.Р. Станіславенка і інш.; укладальнікі алфавітна‑прадметнага паказальніка: С.І. Лысы, Г.Р. Станіславенка, Ю.С. Гецэвіч]. – Мінск, 2016. – 370 с. Пераклад класаў міжнароднай класіфікацыйнай сістэмы «Універсальная дзесятковая класіфікацыя» (УДК; англійская назва Universal Decimal Classification (UDC)) на сучасную беларускую мову зроблены на падставе англамоўнай эталоннай скарочанай версіі УДК (UDC Abridged Edition) міжнароднага Кансорцыума УДК (UDC Consortium). Першае скарочанае выданне УДК на беларускай мове змяшчае больш за 10 000 асноўных класаў, дапаможныя табліцы і алфавітна прадметны паказальнік. Выданне будзе запатрабавана ў бібліятэках, кнігагандлёвых арганізацыях, інфармацыйных цэнтрах для сістэматызацыі дакументаў, арганізацыі дакументных фондаў і пошуку інфармацыі. Яно можа таксама выкарыстоўвацца ў метадычнай і вучэбнай рабоце пры правядзенні семінараў, майстар класаў, трэнінгаў, чытанні адпаведных лекцыйных курсаў у сістэме падрыхтоўкі кадраў і павышэння кваліфікацыі для вышэйназваных устаноў.

Перечень книжных изданий ОИПИ НАН Беларуси за 2015 год

	Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объединенный институт проблем информатики Национальной академии наук Беларуси; науч. ред.: С.В. Абламейко, А.В. Тузиков, О.И. Семенков. - Минск: Тэхналогiя, 2015. - 348 с. В книге описывается развитие научных направлений, имеющих отношение к ОИПИ НАН Беларуси.
	Універсальная дзесятковая класіфікацыя: Асноўная табліца. Класы 0-9. Дапаможныя табліцы. Алфавітна-прадметны паказальнік: першае скарочанае выданне на беларускай мове / Аб’яднаны інстытут праблем інфарматыкі Нацыянальнай акадэміі навук Беларусі, Нацыянальная бібліятэка Беларусі; [рэдакцыйная калегія: Ю.С. Гецэвіч, С.А. Пугачова, Г.Р. Станіславенка і інш.; укладальнікі алфавітна-прадметнага паказальніка: С.І. Лысы, Г.Р. Станіславенка, Ю.С. Гецэ-віч]. – Мінск, 2015. – 332 с. Пераклад класаў міжнароднай класіфікацыйнай сістэмы “Універсальная дзесятковая класіфікацыя” (УДК; англійская назва Universal Decimal Classification (UDC)) на сучасную беларускую мову зроблены на падставе англамоўнай эталоннай скарочанай версіі УДК (UDC Abridged Edition) міжнароднага Кансорцыума УДК (UDC Consortium). Першае скарочанае выданне УДК на беларускай мове змяшчае больш за 10 000 асноўных класаў, дапаможныя табліцы і алфавітна-прадметны паказальнік. Выданне будзе запатрабавана ў бібліятэках, кнігагандлёвых арганізацыях, інфармацыйных цэнтрах для сістэматызацыі дакументаў, арганізацыі дакументных фондаў і пошуку інфармацыі. Яно можа таксама выкарыстоўвацца ў метадычнай і вучэбнай рабоце пры правядзенні семінараў, майстар-класаў, трэнінгаў, чытанні адпаведных лекцыйных курсаў у сістэме падрыхтоўкі кадраў і павышэння кваліфікацыі для вышэй названых устаноў.
	Бибило П.Н. Задачи по проектированию логических схем c использованием языка VHDL. Изд. 2, стереотип. М.: Изд-во ЛКИ, 2015. – 328 с. Книга представляет собой сборник задач, вопросов и упражнений по проектированию логических схем, который ориентирован на ликвидацию разрыва между теоретическими и практическими учебными курсами по автоматизированному проектированию. Сборник содержит задачи как по теоретическим основам проектирования – анализу, синтезу, моделированию и верификации логических схем, так и по разработке алгоритмических и структурных спецификаций логических схем на языке VHDL, являющемся стандартным языком описания проектов цифровых интегральных схем в современных системах автоматизированного проектирования (САПР). Сборник задач рассчитан на студентов и аспирантов соответствующих специальностей.
	Головко В.А., Дудкин А.А., Матюшков Л.П. Основы компьютерных технологий: учебно-методическое пособие. – Брест: Изд-во УО «БрГТУ», 2015. – 180 с.A Рассмотрены понятия теории алгоритмов, формальных языков, грамматик и автоматов, формальные модели алгоритмов, а также содержится информация по основам знаний в области искусственного интеллекта. Особое внимание уделяется рассмотрению базовых понятий и прикладным аспектам использования теоретических положений в современной технике и обществе. Издание адресовано студентам, магистрантам и специалистам, интересующимся проблемами современных компьютерных технологий в построении вычислительных машин, систем и сетей, методов искусственного интеллекта и их использования в различных приложениях.
	Головко В.А., Дудкин А.А., Матюшков Л.П. Основы компьютерных технологий: учебно-методическое пособие. – 2-е изд., испр. – Брест: Изд-ство УО «БрГТУ», 2015. – 196 с. В данном методическом пособии рассмотрены понятия теории алгоритмов, формальных языков, грамматик и автоматов, формальные модели алгоритмов, а также содержится информация по основам знаний в области искусственного интеллекта. Особое внимание уделяется рассмотрению базовых понятий и прикладным аспектам использования теоретических положений в современной технике и обществе. Издание адресовано студентам, магистрантам и специалистам, интересующимся проблемами современных компьютерных технологий в построении вычислительных машин, систем и сетей, методов искусственного интеллекта и их использования в различных приложениях. Во втором издании устранены замеченные неточности, дополнены разделы п. 3.5. Нейронные сети как инструмент решения сложных задач и п. 5.4. Инструментальные средства проектирования, глава 8 дополнена п. 8.4. Задания для лабораторных работ по дисциплине «Автоматизация проектирования вычислительных машин и систем».
	Стандартизация процессов информатизации предприятия: методические рекомендации / Л.В. Губич [и др.]: науч. ред. М.Я. Ковалев. - Минск: ОИПИ НАН Беларуси, 2015. - 268с.. Методические рекомендации посвящены вопросам стандартизации в области освоения информационных технологий для автоматизации бизнес-процессов и электронного документооборота на различных этапах жизненного цикла продукции машиностроения. Рассмотрен практический опыт применения международных и межгосударственных стандартов в областях конструирования, технологической производственной подготовки, электронного документооборота, управления материально-техническим снабжением, персоналом, финансами. Описаны состав и структура комплексов методических и руководящих документов для отражения в нормативной базе предприятия требований информационных технологий. Предназначены для специалистов информационных, конструкторских, технологических служб, а также служб управления и стандартизации.

Перечень книжных изданий ОИПИ НАН Беларуси за 2014 год

	Бибило П.Н. Основы языка VHDL. Изд. 6-е. – М.: Книжный дом «ЛИБРОКОМ», 2014 – 328 с. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. Язык VHDL является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
	Бибило П.Н. Применение диаграмм двоичного выбора при синтезе логических схем / П.Н. Бибило; Нац. Акад. Наук Беларуси, Объед. институт проблем информатики. – Минск: Беларуская навука, 2014. – 231 с. В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.
	Бибило П.Н., Романов В.И. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний. – М.: ЛЕНАНД, 2014. – 256 с. Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если —> то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.
	Старовойтов В.В. Цифровые изображения: от получения до обработки / В.В. Старовойтов, Ю.И. Голуб – Минск: ОИПИ НАН Беларуси, 2014. – 202 с. - ISBN 978-985-6744-80-1. Цель данной книги – систематизировать главные понятия и способы формирования цифровых изображений, основы их цифровой обработки. В книге даются понятия изображения, цифрового изображения, излагаются базовые методы получения и обработки цифровых изображений. Приведены примеры решения прикладных задач, в основе которых лежит последовательное применение описанных алгоритмов, представлены популярные инструментарии обработки изображений – система Матлаб и библиотека OpenCV. Книга будет полезна специалистам и разработчикам, а также аспирантам и студентам, занимающимся обработкой цифровых изображений и анализом данных, представленных в виде изображений.

Перечень книжных изданий ОИПИ НАН Беларуси за 2013 год

	Белозерский Л.A., Мурашко Н.И., Орешкина Л.B., Шевченко А.И. Разностные представления в обнаружении изменений внешнего облика наземных объектов разновременной космической съемки оптического диапазона. - Донецк: IПШI «Наука i освiта», 2013. - 436 с. ISBN 978-966-7829-62-9. Книга представляет собой обобщение экспериментальных исследований, теоретического осмысления, моделирования, построения алгоритмов и обработки реальных данных дистанционного зондирования в одном из направлений применения изображений разновременной космической съемки земной поверхности. На рассмотрение вынесены разностные подходы к задачам автоматического (программно реализуемого) обнаружения, сегментации и анализа изменений внешнего облика наземных объектов в оптическом диапазоне спутниковой регистрации. Являясь немногочисленными по своим истокам, соответствующие методы оказались достаточно объемны по разносторонности представлений и возможностям практического использования. Это определило состав характеристик выполняемых оценок, описаний традиционных и предлагаемых новых разностных решений, особенностей их применения в ряде сопутствующих задач. Изложение монографии сопровождается обширным иллюстративным материалом реальных космических съемок, результатов их обработки, построения моделей гистограмм изображений земной поверхности и демонстрационного моделирования, разработки алгоритмов, реализующих разностные методы обнаружения и анализа изменений объектов наземного контроля
	Zakrevskij, A.D. Solving Large Systems Logical Equations / A.D. Zakrevskij. – Tallinn : TUT Press, 2013. – 114 p. Systems of many Boolean equations with many variables are regarded, which have a lot of practical applications in logic design and diagnostics, pattern recognition, artificial intelligence, et cetera. Special attention is paid to systems of linear equations playing an important role in information security problems. A compact matrix representation is suggested for such systems. A series of original methods and algorithms for their solution is surveyed in this chapter, as well as the information concerning their program implementation and experimental estimation of their efficiency
	Кореняко, С.А. Космические средства и технологии. Основные результаты реализации белорусской части научно-технической программы Союзного государства «Космос-НТ» / С.А. Кореняко, О.И. Семенков, А.В. Тузиков. – Минск: ОИПИ НАН Беларуси, 2013. – 114 с. – ISBN 978-985-6744-79-5. Космонавтика - это отрасль, которая имеет большой интеграционный потенциал применительно к отношениям России и Беларуси. Позитивно развивающиеся научно- технические связи предприятий России и Беларуси приобрели устойчивую тенденцию и создают все предпосылки для превращения космической отрасли наших государств в одну из наиболее технологичных и рентабельных отраслей современной экономики. Ключевые слова: интеграция, научно-технические результаты, единое научно-техническое и информационное пространство, потенциал, сотрудничество.
	Krot, A.M. A Models of forming planets and distribution of planetary distances and orbits in the solar system based on the statistical theory of spheroidal bodies/ A.M. Krot // Chapter in the book “Solar system: structure, formation and exploration”. New York : Nova science publishers, 2012. – Pp 201-264. ISBN: 978-1-62100-057-0 In this work, we consider a statistical theory of gravitating spheroidal bodies to explore and develop a model of forming and self-organizing the Solar System. It has been proposed the statistical theory for a cosmological body forming (so-called spheroidal body) by means of numerous gravitational interactions of its parts (particles). The domain of investigations within framework of the proposed statistical theory of gravity includes Newtonian gravity and Newtonian quantum gravity.

Перечень книжных изданий ОИПИ НАН Беларуси за 2012 год

	Развитие информационного общества в Беларуси /В.В. Анищенко, Г.Н. Науменко, Р.Б. Григянец, В.Н. Венгеров. – Минск : ОИПИ НАН Беларуси, 2012. – 290 с. – ISBN 978-985-6744-72-6. В монографии представлен анализ состояния развития информационно-коммуникационной инфраструктуры, индустрии информационных ресурсов и технологий в Беларуси, международного опыта формирования информационного общества (ИО). Сформулированы цели, задачи и приоритетные направления развития ИО в Беларуси. Предложены мероприятия и механизмы развития программ ИО, а также принципы формирования отраслевых и региональных концепций подпрограмм в соответствии со Стратегией развития ИО Республики Беларусь до 2015 г. Рассмотрены концепция композитной системы мониторинга развития ИО, целевые показатели развития ИО в Беларуси, перспективы развития государственной системы научно-технической информации на период до 2015 г. Для специалистов в области создания электронного правительства, развития информационно-коммуникационных технологий, построения информационного общества, развития научно-технической информации, а также аспирантов и студентов соответствующих специальностей. Табл. 24. Ил. 3. Библиогр.: 53 назв.
	Внедрение на промышленных предприятиях информацион-ных технологий поддержки жизненного цикла продукции : методические рекомендации / Л.В. Губич [и М.Я. Ковалев, И.В. Емельянович, Н.И. Петкевич, Д.Л. Васильев, Н.П. Муха, И.И. Шибут]. – Минск : ОИПИ НАН Беларуси, 2011. – 142 с. Методические рекомендации посвящены вопросам создания и освоения на предприятиях машиностроения интегрированных информационных систем и технологий поддержки жизненного цикла продукции (CALS-ERP-технологий). Предложены основы нормативной базы для решения практических вопросов при реализации ИТ-проектов на промышленных предприятиях с учетом международных стандартов и лучших практик в данной области, а также накопленного отечественного опыта реализации таких проектов. Даны примеры практической реализации приведенных теоретических и нормативных положений для предприятий Министерства промышленности Республики Беларусь. Предназначены для специалистов информационных служб машиностроительных предприятий, а также для студентов и аспирантов, изучающих различные аспекты внедрения информационных технологий в промышленности.
	Поттосин, Ю.В. Основы теории проектирования цифровых устройств / Ю.В. Поттосин. - Saarbrucken: LAP LAMBERT Academic Publishing, 2011. - 336 c. Вводятся основные понятия теории множеств и отношений, излагаются основы теории графов, абстрактной булевой алгебры с различными интерпретациями. Рассматриваются задачи комбинаторной оптимизации, возникающие при логическом проектировании цифровых устройств. Рассматриваются различные методы минимизации булевых функций и их систем, а также методы декомпозиции булевых функций. Затрагиваются вопросы реализации булевых функций. Излагаются методы логического проектирования, использующие модель конечного автомата в его синхронной и асинхронной реализации. Материал, изложенный в книге, построен на основе лекций, читаемых автором на протяжении ряда лет студентам Белорусского государственного университета информатики и радиоэлектроники. Книга предназначена для студентов и аспирантов, специализирующихся в области проектирования цифровых устройств.
	Бибило, П.Н. Основы языка VHDL: Учебное пособие. Изд. 5-е. / П.Н. Бибило. - М.: Книжный дом "ЛИБРОКОМ", 2012. - 328 с. Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. После каждой главы представлены вопросы, задачи и упражнения для самостоятельной работы. Заключительная глава книги содержит методические материалы, взятые из практики преподавания языка VHDL в университетах. Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
	Zakrevskij, A.D. Combinatorial Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij; Ed. A.Keevallik. - Tallinn: TUT Press, 2012. - 121 p. Многие задачи проектирования и диагностики вычислительных и управ-ляющих дискретных устройств сводятся к решению комбинаторных задач буле-вой алгебры. Трудоемкость этих задач быстро растет с увеличением числа пере-менных в рассматриваемых булевых функциях, приводя к необходимости разработки более эффективных методов их решения, ориентированных на ком-пьютерную реализацию. Три таких метода предлагаются в настоящей книге. Один из них позволяет быстро минимизировать и декомпозировать любые булевы функции с числом переменных n до 24, представленные булевыми векторами с 2ⁿкомпонентами. Другой метод применим к решению систем линейных логических уравнений с большим числом переменных (десятки и сотни). Третий метод разработан для операций над большими системами булевых функций с ограниченным числом переменных в каждой из них (порядка десяти). В то же время общее число переменных в системе может достигать тысячи.
	Методы анализа данных генной экспрессии. Обзор и перспективные направления развития / Н.А. Новоселова, И.Э. Том. – LAMBERT Academic Publishing GmbH&Co. – 2012. – 68p. – ISBN 978-3-659-16145-2. Разработки в области биоинформатики предоставляют возможность извлечения новых знаний и закономерностей из биомедицинских данных с использованием статистических и интеллектуальных методов анализа данных. Особый интерес представляют данные генной экспрессии, полученные с использованием технологии ДНК микрочипов, содержащие большое количество информации о процессах, происходящих в организме на клеточном уровне. В настоящей работе представлен краткий обзор современных методов анализа данных генной экспрессии для решения задач отбора подмножеств информативных генов, кластеризации данных генной экспрессии с акцентом на оценку валидности полученных кластеров, построения классификационных моделей на основе генных профилей. В работе сформулированы перспективные направления развития методов анализа биомедицинских данных. Книга предназначена для специалистов в области биоинформатики, а также для научных сотрудников, аспирантов и студентов как информационных, так и биологических специальностей, интересующихся проблемами обнаружения знаний в данных.
	Параллелизм в процессах и программах. Основы, концепции, методы / Д. Черемисинов – LAMBERT Academic Publishing GmbH&Co. – 2012. – 288p. – ISBN: 978-3-8484-4356-7. Круг рассматриваемых проблем связан с задачами проектирования микроэлектронных устройств с программным управлением, в которых программы и аппаратура не имеют жесткого разделения. Наряду с аппаратными компонентами, программы и протоколы межкомпонентного взаимодействия составляют основу этих сложных систем. Процессы, происходящие во время их работы, являются параллельными, и функционирование системы определяется взаимодействием частей. Взаимодействие как способ обеспечения согласованного поведения коллектива агентов, совместно решающих некоторую задачу, рассматривается как структура над событиями, являющихся результатом действий нескольких агентов. Описание поведения на основе составляющих его событий представляет собой логическую модель времени. Первые три главы содержат описание моделей поведения взаимодействующих параллельных процессов. Вторая часть работы (главы 3, 4) посвящена технологии проектирования аппаратуры и программ, реализующих описания поведения в виде протоколов. Последние главы посвящены проблеме разработки параллельной программы для кластерного компьютера и проблеме защиты программ.
	Крот А.М. Статистическая теория формирования гравитирующих космогонических тел / А.М. Крот. - Минск: Беларус. навука, 2012. - 448 с. - ISBN 978-985-08-1442-5 В монографии предложены статистические модели и эволюционные уравнения статистической механики формирования гравитирующих космого-нических тел. Решена известная проблема теории гравитационной конденсации газово-пылевого облака (в частности, гравитационной неустойчивости Джинса) на основе разработанной статистической теории сфероидальных тел. Получены аналитические выражения для плотностей массы и гравитационных потенци-алов сфероидальных тел. Впервые предложена статистическая модель антидиф-фузионного процесса гравитационной конденсации, позволившая разрешить гравитационный парадокс для бесконечно распыленной космической материи. С использованием статистической модели антидиффузионного процесса выве-дено новое нелинейное времязависимое Шредингер-подобное волновое уравне-ние, описывающее возникающие нелинейные явления (в частности, гравита-ционной неустойчивости) вследствие процессов самоорганизации в формиру-ющемся космогоническом теле. В рамках предложенной статистической теории получен новый закон распределения планетарных расстояний в Солнечной системе, обобщающий знаменитый закон академика О. Ю. Шмидта. Кроме того, по сравнению с другими известными законами планетарных расстояний новый закон дает очень хорошую оценку наблюдаемых планетарных расстоя-ний в Солнечной системе и других экзопланетарных системах. Предназначена для специалистов в области космических исследований, астрофизики и геофизики, может быть полезна аспирантам и студентам старших курсов университетов физико-математического профиля.
	Недзьведь, А. М. Анализ изображений для решения задач медицинской диагностики / А. М. Недзьведь, С. В. Абламейко. – Минск: ОИПИ НАН Беларуси, 2012. – 240 с. – ISBN 978-985-6744-75-7. В монографии рассмотрены вопросы, связанные с анализом объектов на изображениях на примере решения задач по медицинской диагностике. Описаны теоретические основы и методы обработки изображений, необходимые для вычисления характеристик, которые ложатся в основу признаков медицинских объектов не только в задачах их анализа, но и в задачах распознавания. Представлены прикладные системы анализа и обработки медицинских изображений, разработанные на основе предложенных методов выделения и анализа медицинских объектов в задачах гистологии, компьютерной томографии и эндоскопии. Для студентов, аспирантов и специалистов, занимающихся вопросами обработки изображений, разработчиков программных продуктов, связанных с автоматизацией исследований оптической микроскопии, и медиков, работающих с системами обработки изображений.
	Борискевич А. А. Голографическая защита информации / А. А. Борискевич, В. К. Ероховец, В. В. Ткаченко. – Минск: ОИПИ НАН Беларуси, 2012. – 280 с. – ISBN 978-986-6744-73-3. В монографии представлены теоретические основы расчета и выбора параметров схем записи и воспроизведения голографических защитных элементов с учетом ряда ограничивающих факторов информационного, геометрического и энергетического характера. Предложены методы цифрового синтеза фурье-голограмм с кодированным пучком, муаровых и фрактальных структур с различными ключевыми параметрами; технологии псевдоголографического помехоустойчивого кодирования изображений и речевого маркирования документов на основе визуально-звуковых образов. Рассмотрены практические разработки: приборы проверки подлинности защитных голограмм, программно-технические комплексы цифрового синтеза голограмм и оригинал-матриц голограмм с различным уровнем защищенности. Для научных и инженерно-технических работников, специализирую-щихся в области голографической записи и синтеза защитных элементов, цифровой обработки изображений и защиты контента машиночитаемых носителей информации, а также студентов высших учебных заведений соответствующих специальностей.

Перечень книжных изданий ОИПИ НАН Беларуси за 2011 год

	Бибило П.Н. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний. / П.Н. Бибило П.Н., В.И. Романов. - Минск: Беларус. навука, 2011. – 279 с. Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если → то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автомати-зированного проектирования, аспирантов и студентов соответствующих специальностей.
	Закревский А.Д. Вычисления в многомерном булевом пространстве / А.Д. Закревский. – Минск: ОИПИ НАН Беларуси, 2011. – 106 с. Проектирование вычислительных и управляющих дискретных устройств связано с решением многочисленных и разнообразных логико-комбинаторных задач, возникающих на различных этапах проектирования. Многие из них формулируются в терминах теории булевых функций и сводятся к комбинаторным задачам над булевыми векторами и матрицами. Трудоемкость этих задач быстро растет с ростом числа переменных в рассматриваемых булевых функциях. В книге излагается оригинальная технология алгоритми-зации и программирования таких задач, основанная на параллельных операциях над соседними элементами многомерного булева пространства, в котором представляются булевы функции. Описываются разработанные на базе этой технологии эффективные методы решения задач логического проектирования. Книга предназначается для специалистов в области проектирования дискретных устройств и может быть полезна студентам и аспирантам, специализирующимся в данном направлении.
	Черемисинов Д. И. Проектирование и анализ параллелизма в процессах и программах / Д. И. Черемисинов. - Минск : Бела-рус. навука, 2011. - 300 с. В монографии обсуждается широкий круг вопросов, связанных с проектированием микроэлектронных устройств с программным управлением. Рассматриваются задачи и методы разработки программ и аппаратуры с использованием языка ПРАЛУ, область применения которого расширена задачами верификации. Описывается разработка программы для кластерного компьютера, решающей комбинаторно-сложные задачи. Книга адресована специалистам в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
	Внедрение на промышленных предприятиях информационных технологий поддержки жизненного цикла продукции: методичекие рекомендации / Л.В. Губич [и др.]. – Минск: ОИПИ НАН Беларуси, 2011. – 141с. Методические рекомендации посвящены вопросам создания и освоения на предприятиях машиностроения интегрированных информационных систем и технологий поддержки жизненного цикла продукции (CALS-ERP-технологий). Предложены основы нормативной базы для решения практических вопросов при реализации ИТ-проектов на промышленных предприятиях с учетом международных стандартов и лучших практик в данной области, а также накопленного отечественного опыта реализации таких проектов. Даны примеры практической реализации приведенных теоретических и нормативных положений для предприятий Министерства промышленности Республики Беларусь. Предназначены для специалистов информационных служб машиностроительных предприятий, а также для студентов и аспирантов, изучающих различные аспекты внедрения информационных технологий в промышленности.
	Информационные технологии поддержки жизненного цикла изделий машиностроения. Проблемы и решения / Л.В. Губич [и др.]. – Минск: Белорусская наука , 2010. – 300с. Монография посвящена вопросам организации на предприятиях машиностроения информационной технологии поддержки жизненного цикла продукции (CALS-технологии). Рассмотрены закономерности процессов проектирования в машиностроении, моделирования конструкций, взаимодействия специалистов разных профилей при решении проектных и технических задач в интегрированной информационной среде предприятия. Даны примеры практической реализации приведенных теоретических положений в условиях РУП «Минский тракторный завод». Книга предназначена для специалистов информационных служб машиностроительных предприятий, а также будет полезна студентам и аспирантам, изучающим различные аспекты внедрения информационных технологий в промышленности.
	Том, И.Э. Методы интеллектуального анализа многомерных данных для решения задач классификации / И.Э. Том, Н.А. Новоселова, О.В. Красько. – Минск : ОИПИ НАН Беларуси, 2011. – 236 с. – ISBN 978-986-6744-66-5. (монография) Рассматриваются современные методы интеллектуального анализа многомерных данных, применяемые при решении задач классификации. Акцент делается на методах, в которых используются основные положения нечетких множеств, нейронных сетей, генетических алгоритмов и т. п. Наряду с известными предлагаются и оригинальные методы отбора информативных признаков с помощью генетического алгоритма и нейронной сети, извлечения правил классификации из нейронной сети, построения гибридного нечеткого классификатора. Рассматриваются структура и описание информационно-аналитической системы сбора и анализа медико-биологических данных. Книга будет полезна специалистам в области информатики и ее прикладных направлений, занимающимся анализом многомерных данных и созданием информационно-аналитических систем, а также аспирантам и студентам соответствующих специальностей. Ил. 55. Табл. 33. Библиогр.: 239 назв.

Пятый Белорусский космический конгресс: материалы конгресса в 2 т., 25–27 октября 2011 г., Минск / ОИПИ НАН Беларуси; науч. ред. А.В. Тузиков, М.Я. Ковалев. – Минск, 2011. – Т.1. – 364 с. (материалы конгресса)

Пятый Белорусский космический конгресс: материалы конгресса в 2 т., 25–27 октября 2011 г., Минск / ОИПИ НАН Беларуси; науч. ред. А.В. Тузиков, М.Я. Ковалев. – Минск, 2011. – Т.2. – 358 с. (материалы конгресса)

Развитие информатизации и государственной системы научно-технической информации: доклады X Международной конференции. 23 ноября 2011 г., Минск / ОИПИ НАН Беларуси; науч. ред. А.В. Тузиков, Р.Б. Григянец, В.Н. Венгеров. – Минск, 2011. – 356 с. (доклады конференции)

Перечень книжных изданий ОИПИ НАН Беларуси за 2007-2010 гг.