новости и события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 г.

 Источники

 

 

 Видео

 

 

 

 

 Файлы