- •FLIDE
- •Московский институт радиотехники, электроники и автоматики (МИРЭА ТУ)
- •Направленные отношения.
- •Свойства НО и представимые семантические объекты.
- •Сетевое представление НО
- •Сетевое представление семантических объектов
- •Программа
- •Вычисление
- •Подстановка
- •Редукция сетей
- •Вычисление в базисе конструкторов
- •Вычисление с разметкой
- •Вычисление с разметкой
- •Стратегии вычисления
- •Маски вычислимости
- •Маски вычислимости (продолжение)
- •Логический вывод
- •Реализация
- •Внутреннее представление КССГ
- •Внутреннее представление сети
- •Внутреннее представление сети (продолжение)
- •Оптимизация вычислений
- •Редукция «по фронту»
- •Редукция «по фронту» (продолжение)
- •Кольцевая подстановка
- •Кольцевая подстановка (докопирование контекста)
- •Системные типы данных и системные НО
- •Отладка программ
- •Импорт программ языка Пролог
- •Схема вычисления запроса в СФЛП
- •Интерфейсные
- •Технология графического построения программ (ТГПП)
- •Формирование сетей
- •Вид окна графического редактора
- •Автоматическая расстановка сетей
- •Автоматическая расстановка сетей
- •Основные результаты работы
- •Спасибо за внимание!
Вычисление в базисе конструкторов
|
|
|
S3 |
|
G Bт , Bн , , R , где |
A |
|
|
S1 A |
S2 |
||
N |
S |
|
|
|
B {N (0,1) , S (1,1)}, |
|
|
S |
|
|
N |
|
|
|
|
т |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
B {A(2,1) |
, Q }, |
|
|
|
|
|
|
|
N |
|
|
|
н |
|
|
|
|
A |
S |
|
|
|
|
|
Q, |
|
|
|
|
|
|||
|
|
e |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
R {A S1, A S2 |
,Q S3}. |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||||
|
[S1 / eA ]S3 |
|
|
|
|
|
|
|
|
|
|
|
|
N |
S |
|
|
S4 |
|
N |
A |
S4 |
|
|
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
A |
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[S1 / eA ]S4 |
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
[S2 / eA ]S3 |
|
|
|
|
|
|
N |
|
|
S6 |
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
S5 |
|
|
|
|
|
|
|
|
|
N |
S |
|
|
|
|
|
A |
|
|
||
|
|
|
|
|
|
|
|
|
S |
S |
|
|
|
|
N |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
N |
|
|
|
|
||
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[S2 / eA ]S4 |
|
|
|
|
|
|
|
|
|
|
|
|
N |
S7 |
|
S7 |
|
|
|
|
|
|
|
|
|
|
|
N |
S |
|
|
|
|
|
|
|
|
|
N |
S |
|
|
|
Вычисление с разметкой
Введенное понятие размеченной сети и предложенные правила редукции по разметке положены в основу режима вычисления с разметкой.
Использование разметки позволяет:
упростить структуру сети,
снизить требования к объему доступной оперативной памяти,
упростить взаимодействие с внешними процедурами вычисления,
повысить скорость вычисления за счет простой обработки разметки,
использовать системные типы данных и системные НО,
реализовать Data - Flow подход,
повысить читаемость результатов вычисления.
Недостатки использования разметки:
отсутствие поддержки неполных структур данных,
необходимость использования смешанной редукции.
Вычисление с разметкой
|
S3 |
G Bт , Bн , , R , где |
A |
|
|
|
S1 A |
N |
S2 |
|||
S(N ) |
B {N (0,1) , S (1,1) |
}, |
|
|
|
S |
|
|
|
|||
|
|
|
|
|
|
|
|
|||||
|
|
т |
|
|
|
|
|
|
|
|
|
|
A |
|
B {A(2,1) |
, Q }, |
|
|
|
|
|
|
|
|
|
N |
|
н |
|
|
|
|
|
|
A |
S |
|
|
|
Q, |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|||
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
R {A S1, A S2 |
,Q S3}. |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|||||
[S1 / eA ]S3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S4 |
|
|
N |
A |
|
S4 |
|
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
||
|
S(N ) |
|
|
|
|
|
|
|
|
|
|
|
S |
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
A |
S |
|
|
|
[S1 / eA ]S4 |
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S6 |
|
|
[S2 / eA ]S3 |
|
|
|
|
|
|
S |
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
S5 |
|
|
|
|
|
A |
|
|
|
|
S(N) N |
S2 |
|
|
|
|
|
|
S |
|
|
||
|
|
|
|
|
|
N |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
N
[S2 / eA ]S4
|
S7 |
S7 |
N |
S |
S(N ) |
|
|
Стратегии вычисления
В СФЛП реализованы следующие стратегии: |
|
|
1 |
|
|
|
|
|
|
поиск в ширину, |
|
2 |
|
3 |
|
|
|
|
|
+ гарантированное получение результата |
4 |
5 |
6 |
7 |
|
|
|
|
|
- высокие требования к вычислительным ресурсам |
|
|
|
|
поиск в глубину,
+высокая эффективность выполнения программ - возможность «зацикливания»
смешанная стратегия.
8 |
9 |
10 |
11 |
12 |
1
2 |
8 |
+сохранение преимуществ чистых стратегий и ослабление их недостатков
- необходимость учета специфики задачи
Реализация смешанной стратегии основана на использовании масок вычислимости.
3 |
4 |
9 |
10 |
5 |
6 |
7 |
11 |
12 |
Маски вычислимости
Маски вычислимости позволяют задавать требования к наличию разметки точек входов и выходов элементов для выполнения подстановки.
Пример: Вычисление без использования масок.
|
|
S5 |
L1 |
|
S3 |
App |
|
App |
|
e1 |
|
A |
Cn |
|
|
S1 |
S2 |
||
|
|
|
|
|
Cn |
|
|||
L1 |
App |
|
Nil |
|
|
|
|
Cn |
Nil |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
||
L2 |
|
|
L2 |
|
|
|
|
|
|
e2 |
e3 |
|
|
S4 |
|
|
App |
|
|
|
|
|
|
|
|
|
|||
|
? |
|
Nil |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[S1 / e3 ]S5 |
|
|
|
|
|
|
|
|
|
L1 |
|
|
S6 |
[S / e ]S |
7 |
|
|
|
|
|
|
Cn |
|
1 |
3 |
|
|
|
|
e1 |
|
|
|
L1 |
|
|
S1 |
|
|
Cn |
|
|
|
|
|
|||
|
|
|
e5 |
|
|
|
|
Cn |
|
|
|
e4 |
e3 |
|
|
|
Cn |
||
|
|
|
|
|
|
|
|||
|
e2 |
|
App |
|
|
|
|
|
|
|
L2 |
|
|
|
|
|
|
|
Cn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cn |
|
|
|
|
|
|
|
|
|
App |
|
|
|
|
|
|
|
|
|
L2 |
|
Маски вычислимости (продолжение)
Пусть для сорта App заданы маски {(1,1,1), (1,0,0), (0,0,1)}, тогда элемент сорта App может быть выбран для подстановки в следующих случаях:
(1,1,1) |
(1,0,0) |
(0,0,1) |
App |
App |
App |
Пример: Вычисление НО App с использованием масок.
|
|
L1 |
|
App |
|
S1 |
|
|
|
S3 |
Cn |
|
|
e1 |
|
S5 |
|
|
||
|
|
|
|
Cn |
|
|
L1 |
App |
|
Cn(A, Nil) |
|
||
|
|
|
|
|||
L2 |
|
L2 |
|
|
|
|
e |
e3 |
Nil |
S4 |
App |
|
|
|
|
|
||||
2 |
|
|
|
|
|
|
|
? |
|
|
|
|
|
|
[S1 / e3 ]S5 |
|
|
|
|
|
|
|
S5 |
|
S6 |
A |
S6 |
|
Cn(A, Nil) |
|
Cn |
Cn |
||
|
|
|
|
|||
|
|
App |
Cn |
Cn( A, Nil) |
|
|
|
L2 |
|
|
|
Nil |
|
|
|
e3 |
|
|
|
|
|
e2 |
|
App |
App |
|
|
|
|
L2 |
|
L2 |
|
|
|
? |
|
|
|
||
|
|
|
|
|
|
App
S2
N
|
S6 |
A |
Cn |
|
|
L2 |
|
Логический вывод
Теория НО позволяет производить доказательство общезначимости формул логики предикатов первого порядка.
Особенности процедуры доказательства:
логические формулы представляются сетями арности (0, 0),
проводится прямое доказательство общезначимости,
используется двойственная форма сколемизации,
используется сетевая резолюция (реализована через подстановку).
Для повышения удобства построения программ и увеличения эффективности вычисления введено понятие мультиправила.
Пример: зададим формулу z y(E(z) & V (z) & S(z, y))
мультиправило обычные правила
Ax |
E |
E |
V |
S |
|
|
|
E |
|
|
|
|
V |
|
|
V |
|
z |
|
|
|
z |
||
|
|
S |
||
|
z |
|
S |
|
|
S |
Y |
||
|
|
|
||
|
|
|
Y |
|
|
Y |
|
|
|
|
|
|
|
E
z
V
Y
Реализация
Подсистема исполнения запросов (ПСИЗ)
|
Абстрактная машина вычисления НО |
|
|||
Реализация ПСИЗ СФЛП основана на |
начало |
|
|
||
предложенной абстрактной машине |
выбрать для подстановки: |
|
|||
вычисления НО (АМНО). |
|
||||
исходную сеть S, |
|
||||
|
|
замещаемый элемент e, |
|
||
Команды АМНО: |
правило r. |
|
|
||
|
нет |
||||
параметры подстановки |
S, e, r |
||||
|
конец |
||||
найдены? |
|
||||
FindNet |
поиск исходной сети |
да |
|
||
FindElm |
поиск замещаемого элем. |
копировать S' S |
|
||
определить e' в |
S' |
|
|||
FindRule поиск правила |
выполнить [Sr / e' ] S' |
|
|||
|
|
|
|||
подстановка |
подстановка |
нет |
|||
Subst |
выполнение подстановки |
успешна? |
|
||
|
|
|
|||
редукция |
|
выполнить редукцию S' |
|
||
Normalize редукция сети |
редукция |
|
нет |
||
вспомогательные |
успешна? |
|
|||
нет |
|
|
|||
DelNet |
удаление сети |
|
|
||
CopyNet |
копирование сети |
S' - результат? |
|
||
|
|
|
|||
MoveNet |
перемещение сети |
переместить S' в СРВ |
удалить S' |
||
IsResult |
проверка на результат |
|
|
|
Внутреннее представление КССГ
Структура внутреннего представления сети является избыточной, но позволяет реализовать эффективные алгоритмы выполнения основных вычислительных операций.
Элементы сети |
Сорта грамматики |
Сети сорта |
Входные элементные связи |
Выходные элементные связи |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Входные точечные связи |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Выходные точечные связи |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Точки сети |
|
Значения разметки точек сети (куча) |
||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|