новости и события26.10.2003 18:00:00Логико-алгебраические методы оценки качества при анализе и проектировании распределенных вычислительных систем<div class="smn-ict"><div class="smn-author">Ковалев Сергей Протасович</div><div class="smn-speaker">Ковалев Сергей Протасович</div><div class="smn-institute">Институт вычислительных технологий СО РАН</div><div class="smn-city">Новосибирск</div><div class="smn-title"></div><div class="smn-abstract">Работа посвящена проблемам обеспечения качества распределенных вычислительных систем. Построена модель качества таких систем, в рамках которой формализованы нефункциональные требования к алгебраической абстрактности, производительности, ресурсоемкости и надежности. Предложены следующие формальные методы анализа и проектирования, предназначенные в первую очередь для обеспечения этих требований: - частичная интерпретация теории первого порядка, отражающей функциональные требования к системе, конечной моделью заданной мощности; - представление модели вычислений слабо полным классом функций подходящей многозначной логики, обогащающей логику Лукасевича; - архитектурная декомпозиция распределенной системы на основе абстрактного представления сценариев обмена данными счетными фундированными множествами. </div><div class="smn-e_mail">kovalyov@nsc.ru</div></div>новости и событияЛогико-алгебраические методы оценки качества при анализе и проектировании распределенных вычислительных систем<tags><tag>og:description</tag><value>Ковалев Сергей ПротасовичКовалев Сергей ПротасовичИнститут вычислительных технологий СО РАННовосибирскРабота посвящена проблемам обеспечения качества распределенных вычислительных систем. Построена м</value><tag>og:image</tag><value>http://news.sbras.ru/ru/NewsPictures/seminar1.jpg</value></tags>27 октября 2003 г.

 Источники

 

 

 Видео

 

 

 

 

 Файлы

 

 

 Новости

 

 


В России до 2022 года создадут самую северную магнитную обсерваторию
Дайджест по материалам зарубежной электронной прессы «Российская наука и мир». Январь 2019
ИНГГ СО РАН посетил Генеральный консул Федеративной Республики Германия в Новосибирске
IV форум «Городские технологии» пройдет в Новосибирске 4-5 апреля
Программа работы общего собрания Сибирского отделения РАН 10-11 апреля 2019 года
XXIII Международный научный симпозиум студентов и молодых ученых имени академика М.А. Усова «Проблемы геологии и освоения недр», посвященный 120-летию со дня рождения академика К.И. Сатпаева, 120-летию со дня рождения профессора К. В. Радугина
XIII Сибирское совещание и школа молодых ученых по климатоэкологическому мониторингу
В чем риск решения о передаче земель новосибирского Академгородка?
РНФ начинает прием заявок на «молодежные» конкурсы Президентской программы исследовательских проектов
Заседание Геологической секции Ученого совета