Поиск по сайту
Авторизация
Зачем нужна регистрация?
Логин:
Пароль:
Регистрация
Забыли свой пароль?
Подписка на рассылку
Для сотрудников ОИПИ
Типовые документы 

просим принять участие в опросезаполнить анкету

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

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

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

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




Перечень книжных изданий ОИПИ НАН Беларуси за 2016 год 
  Бибило П.Н. Основы языка VHDL: Учебное издание.
Бибило П.Н. Основы языка 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.
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

    Бибило П.Н. Задачи по проектированию логических схем 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: Учебное пособие.

Бибило, П.Н. Основы языка VHDL: Учебное пособие. Изд. 5-е. / П.Н. Бибило. - М.: Книжный дом "ЛИБРОКОМ", 2012. - 328 с.

Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. После каждой главы представлены вопросы, задачи и упражнения для самостоятельной работы. Заключительная глава книги содержит методические материалы, взятые из практики преподавания языка VHDL в университетах.

Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.

Combinatorial Calculations in Many-Dimensional Boolean Space

Zakrevskij, A.D. Combinatorial Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij; Ed. A.Keevallik. - Tallinn: TUT Press, 2012. - 121 p.

Многие задачи проектирования и диагностики вычислительных и управ-ляющих дискретных устройств сводятся к решению комбинаторных задач буле-вой алгебры. Трудоемкость этих задач быстро растет с увеличением числа пере-менных в рассматриваемых булевых функциях, приводя к необходимости разработки более эффективных методов их решения, ориентированных на ком-пьютерную реализацию. Три таких метода предлагаются в настоящей книге.

Один из них позволяет быстро минимизировать и декомпозировать любые булевы функции с числом переменных n до 24, представленные булевыми векторами с 2nкомпонентами. Другой метод применим к решению систем линейных логических уравнений с большим числом переменных (десятки и сотни). Третий метод разработан для операций над большими системами булевых функций с ограниченным числом переменных в каждой из них (порядка десяти). В то же время общее число переменных в системе может достигать тысячи.

Методы анализа данных генной экспрессии. Обзор и перспективные направления развития

Методы анализа данных генной экспрессии. Обзор и перспективные направления развития / Н.А. Новоселова, И.Э. Том. – 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 гг.