http://dspace.nbuv.gov.ua:80/handle/123456789/87047 2026-04-16T16:01:11Z 2026-04-16T16:01:11Z Штукин, М.В. Кузёмин, А.Я. Сироджа, И.Б. http://dspace.nbuv.gov.ua:80/handle/123456789/87080 2015-10-11T00:02:32Z 2013-01-01T00:00:00Z

Минимизация риска жизнедеятельности при ликвидации последствий чрезвычайных ситуаций Штукин, М.В.; Кузёмин, А.Я.; Сироджа, И.Б. Показано развитие методологии поиска решений для ликвидации последствий чрезвычайных ситуаций с помощью интеллектуальных систем принятия решений на основании микроситуацийной базы квантов знаний прецедентов.; It has been developed a decision for making methodology of the liquidation of emergencies consequences with the help of intelligent decision-making systems based on micro situation quantum knowledgebase of precedents.

2013-01-01T00:00:00Z Iwaniak, M. Khadzhynov, W. http://dspace.nbuv.gov.ua:80/handle/123456789/87079 2015-10-11T00:02:37Z 2013-01-01T00:00:00Z

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants Iwaniak, M.; Khadzhynov, W. In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Coloured Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.; Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій - 2PC (Two-phase commit) з багатьма учасниками. Надано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проаналізовано досяжні стани для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2PC.

2013-01-01T00:00:00Z Матов, О.Я. Василенко, В.С. Василенко, М.Ю. http://dspace.nbuv.gov.ua:80/handle/123456789/87078 2015-10-11T00:02:19Z 2013-01-01T00:00:00Z

Захист цілісності інформації при застосуванні коду "зважених груп" Матов, О.Я.; Василенко, В.С.; Василенко, М.Ю. Для задач забезпечення контролю цілісності інформаційних об'єктів на прикладі коду "зважених груп" розглянуто загальні підходи щодо побудови завадостійких кодів.; It has been discussed some general approaches to constructing noise immunity codes for problems of monitoring the integrity of information objects using the example code «weighted groups».

2013-01-01T00:00:00Z Кравцов, Г.А. http://dspace.nbuv.gov.ua:80/handle/123456789/87077 2015-10-11T00:02:41Z 2013-01-01T00:00:00Z

Подход к минимизации необходимых технических ресурсов при хранении метрологических данных в Smart Grid Кравцов, Г.А. Описан подход моделирования распределения точек учета в домене потребления электроэнергии в интеллектуальной сети Smart Grid сведением к нормализированной аддитивной функции распределения на базе двумерного нормального распределения. Целью моделирования является уменьшение потребности в технических ресурсах (дисковом пространстве) при хранении метрологических данных с электронной цифровой подписью.; It is described an approach on modeling the distribution of metering points in the domain of energy which has been reduced to normalized additive function of distribution based on two-dimensional normal distribution. The goal of modeling is to reduce the technical resources (disk space) for metrology of data storage with a digital signature.

2013-01-01T00:00:00Z