Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий
This article is about the problems of synthesis of formal logic models that are used to describe the processes occurring in the system functioning book and magazine editions. Based on this it was done the assertion of the consistency of the model synthesized from formal logic models and informati...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Назва видання: | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/27559 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-27559 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-275592011-10-09T12:03:09Z Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий Петриашвили, Г. This article is about the problems of synthesis of formal logic models that are used to describe the processes occurring in the system functioning book and magazine editions. Based on this it was done the assertion of the consistency of the model synthesized from formal logic models and information models, that is one of the basic informational component. 2010 Article Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос. XXXX-0067 http://dspace.nbuv.gov.ua/handle/123456789/27559 621.3 ru Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| description |
This article is about the problems of synthesis of formal logic models that are
used to describe the processes occurring in the system functioning book and magazine
editions. Based on this it was done the assertion of the consistency of the model
synthesized from formal logic models and information models, that is one of the basic
informational component. |
| format |
Article |
| author |
Петриашвили, Г. |
| spellingShingle |
Петриашвили, Г. Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| author_facet |
Петриашвили, Г. |
| author_sort |
Петриашвили, Г. |
| title |
Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_short |
Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_full |
Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_fullStr |
Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_full_unstemmed |
Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_sort |
методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| publishDate |
2010 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/27559 |
| citation_txt |
Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос. |
| series |
Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| work_keys_str_mv |
AT petriašvilig metodysintezainformacionnyhkomponentsformalʹnymimodelâmisistemyfunkcionirovaniâknižnožurnalʹnyhizdanij |
| first_indexed |
2023-10-18T17:23:58Z |
| last_indexed |
2023-10-18T17:23:58Z |
| _version_ |
1796141436986458112 |