Уведомлений еще не было

Книги Непомнящия В.А.

Непомнящий В.А. - автор 3 книг. Из известных произведений можно выделить: Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри, Экономические потери от нарушений электроснабжения потребителей, Системная информатика. Проблемы теории и методологии создания параллельных и распределенных систем. Вып. 7. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Компьютеры
0.0
0
0
Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри
Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри

Новосибирск: Институт систем информатики им. А.П. Ершова, 2012. — 56 с.Описаны алгоритмы трансляции UCM-спецификаций (Use Case Maps) в раскрашенные сети Петри (CPN). UCM-спецификации позволяют описывать функциональные требования к системе в графической нотации, изображающей сценарии как совокупность причинно-следственных связей между событиями в системе, которые опционально привязаны к ее архитект...

0.0
0
0
Экономические потери от нарушений электроснабжения потребителей
Экономические потери от нарушений электроснабжения потребителей

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

0.0
0
0
Системная информатика. Проблемы теории и методологии создания параллельных и распределенных систем. Вып. 7
Системная информатика. Проблемы теории и методологии создания параллельных и распределенных систем. Вып. 7

В седьмой выпуск серии "Системная информатика" вошли работы по построению математических моделей для описания параллельных систем; по подходу к спецификации динамических систем; с итогами по разработке языка КЕАЬ для спецификации и верификации систем реального времени; с обзором современного состояния проблемы автоматического распараллеливания последовательных программ; по подходу к снижению погре...