Инд. авторы:	Ковалев С.П.
Заглавие:	Алгебраический подход к проектированию распределенных вычислительных систем
Библ. ссылка:	Ковалев С.П. Алгебраический подход к проектированию распределенных вычислительных систем // Сибирский журнал индустриальной математики. - 2007. - Т.X. - № 2. - С.70-84. - ISSN 1560-7518.
Внешние системы:	РИНЦ: 12945437;
Реферат:	rus: Дается алгебраическое описание класса конечных моделей вычислений, реализуемых в современных компьютерах, и правил сборки из них крупномасштабных распределенных вычислительных систем класса Grid. Доказано, что адекватным математическим средством моделирования компьютерных вычислений служит аппарат полупримальных алгебр, клоны операций которых состоят из всех функций, сохраняющих совокупность их подалгебр. Найдены штрихи Шеффера в клонах операций полупримальных алгебр. Указан критерий возможности привлекать технику доказательства конечнозначных логик для верификации моделей вычислений. Предложено обобщение понятия гомоморфизма, превращающее класс полупримальных алгебр в категорию, которая служит формальным определением дисциплины проектирования распределенных вычислительных систем.
Издано:	2007
Физ. характеристика:	с.70-84
Цитирование:	1. Ehrig H., Mahr B. Fundamentals of Algebraic Specification. V. 1. Berlin: Springer-Verl., 1985. 2. Ehrig H., Mahr B. Fundamentals of Algebraic Specification. V. 2. Berlin: Springer-Verl., 1990. 3. Grid Computing: Making the Global Infrastructure a Reality. N. Y.: Wiley & Sons, 2003. 4. Gurevich Y. Evolving Algebras 1993: Lipari Guide // Specification and Validation Methods. Oxford: Univ. Press, 1995. P. 9-36. 5. Németh Z., Sunderam V. Characterizing Grids: attributes, definitions and formalisms // J. Grid Computing. 2003. V. 1. P. 9-23. 6. Ковалев С. П. Аналитические модели машинной арифметики // Сиб. журн. индустр. математики. 2003. Т. 6, № 3. С. 88-102. 7. Дискретная математика и математические вопросы кибернетики. Т. I. М.: Наука, 1974. 8. Ахо А. В., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. 9. Barnett M., Schulte W. Runtime verification of .NET contracts // J. Systems and Software. 2003. N 65(3). P. 199-208. 10. Bergman C., Berman J. Morita equivalence of almost-primal clones // J. Pure Appl. Algebra. 1996. V. 108. P. 175-201. 11. Rosenberg I. G. Completeness properties of multiple-valued logic algebras // Computer science and multiple-valued logic. Amsterdam: North Holland, 1977. P. 144-186. 12. Foster A. L., Pixley A. F. Semi-categorical algebras I. Semi-primal algebras // Math. Z. 1964. V. 83. P. 147-169. 13. Карпенко А. С. Логики Лукасевича и простые числа. М.: Наука, 2000. 14. Ковалев С. П. Логика Лукасевича как архитектурная модель арифметики // Сиб. журн. индустр. математики. 2003. Т. 6, № 4. С. 32-50. 15. Яблонский С. В., Гаврилов Г. П., Набебин А. А. Предполные классы в многозначных логиках. М.: изд. МЭИ, 1997. 16. Libkin L., Muchnik I. The lattice of subsemilattices of a semilattice // Algebra Universalis. 1994. V. 31. P. 252-255. 17. Шеврин Л. Н., Овсянников А. Я. Полугруппы и их полугрупповые решетки. Ч. 2. Решеточные изоморфизмы. Свердловск: Изд-во Урал. ун-та, 1991. 18. Fiadeiro J. L., Lopes A., Wermelinger M. A mathematical semantics for architectural connectors // Lecture Notes in Computer Sci. 2003. V. 2793. P. 190-234.