Библиографическое описание:Матерухин, А. В. Система типов для потоков пространственно-временных данных в виде расширенной сигнатуры многосортной алгебраической системы / А. В. Матерухин. - (Геоинформационные технологии). - Текст : непосредственный // Известия вузов. Геодезия и аэрофотосъемка. - 2017. - Т. 61, № 2. - С. 121-125 : 1 табл. - Библиогр.: с. 125 (4 назв.). - ISSN 0536-101X.
Аннотация:Изложение результатов применения алгебраического подхода к разработке абстрактных типов пространственно-временных данных. Построена система типов в виде расширенной сигнатуры некоторой многосортной алгебраической системы. Предлагаемая система типов позволит упростить разработку программного лингвистического обеспечения геоинформационных систем, которые могли бы решать задачи динамического моделирования геополей, как результата обработки потоков пространственно-временных данных.
Ключевые слова:потоки пространственно-временных данных, алгебраические подходы, динамические геополя, системы типов данных, базовые типы, геоинформационные системы
Рубрики:Вычислительная техника, Диалоговые вычислительные системы для специальных целей
