Информационные технологии
Разрабатывается математический аппарат, методы и средства, предназначенные для осуществления перехода от модели вычислений к модели хранения/доступа/поиска. Вычислительная модель строится для доступа к различным информационным сервисам и наборам данных вместе с обслуживающими их процедурами вывода неявно заложенной информации. Модель рассматривается в условиях распределённой и неоднородной вычислительной среды. Основные усилия направляются на решение задач построения аппроксимирующей двухступенчатой модели вычислений и средств обеспечения совместимости и интероперабельности автономных информационно-вычислительных модулей. В ходе решения задач предусматривается исследование и разработка многокомпонентной среды объектов, оснащённой специальными вычислительными моделями, включающей: модели поддержания целостности; модельные правила образования и преобразования информации, которые удовлетворяют критерию «нетеряния» информации; средства использования метапеременных для организации добычи данных; расчётно-аналитические средства. В основе теории и метатеории разрабатываемых конструкций, относящихся к математике и её приложениям, лежит алгоритмическое исчисление ламбда-конверсии Чёрча в секвенциальном варианте. Работа поддержана грантом РФФИ (проект № 07-07-00416).
Примечание. Тезисы докладов публикуются в авторской редакции
Ваши комментарии Обратная связь |
[Головная страница] [Конференции] |
© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
Дата последней модификации: 06-Jul-2012 (11:48:14)