ArcScan – дополнительный модуль для ArcGIS, разработанный для преобразования растровых данных в векторные. Этот простой в использовании продукт представляет собой набор мощных команд и инструментов для оцифровки бумажных карт.
Благодаря тому, что этот модуль полностью интегрирован в среду ArcGIS, имеется возможность задавать топологические правила для векторизуемых слоев, и работать с моделями данных, разработанными в ArcGIS, поддерживая, таким образом, целостность данных уже на этапе оцифровки.
Читать дальше…
Опубликовано Март 22nd, 2009 admin
Находится в рубрике : Логическое программирование
Фильтрующий маршрутизатор представляет собой маршрутизатор или работающую на сервере программу, сконфигурированные таким образом, чтобы фильтровать входящее и исходящие пакеты. Фильтрация пакетов осуществляется на основе информации, содержащейся в TCP – и IP – заголовках пакетов .
Читать дальше…
Опубликовано Март 21st, 2009 admin
Находится в рубрике : Логическое программирование
В практическом программировании на Прологе необходимо обращать внимание на эффективность программ. Установим критерии оценки программ. Основной оцениваемый параметр – число выполняемых унификаций и число попыток унификации в процессе вычисления. Этот параметр связан с временем работы программы. Ещё один параметр – глубина вложенной рекурсии. Если в процессе вычислений глубина станет больше максимально допустимой, то вычисления прервутся. На практике эта проблема является основной. Третий параметр – число порождённых структур данных. Рассмотрим последовательно эти параметры.
Читать дальше…
Опубликовано Март 21st, 2009 admin
Находится в рубрике : Логическое программирование
Порядок целей более существен, чем порядок предложений. Порядок целей имеет решающее значение при определении последовательности действий в программе на Прологе.
Причина, по которой порядок целей в предложении влияет на порядок решений, отличается от причины, по которой порядок правил в процедуре влияет на порядок решений. Изменение порядка правил не изменяет дерево поиска, которое используется при решении данной цели. Просто обход дерева производится в ином порядке. Изменение порядка целей приводит к изменению дерева поиска.
Читать дальше…
Опубликовано Март 21st, 2009 admin
Находится в рубрике : Логическое программирование