теоретические основы оценки семантической  эквивалентности, модели распознавания  




Скачать 285.05 Kb.
PDF просмотр
Название            теоретические основы оценки семантической  эквивалентности, модели распознавания  
страница5/21
Дата конвертации03.10.2012
Размер285.05 Kb.
ТипДокументы
1   2   3   4   5   6   7   8   9   ...   21

10 
 
Представим
R
  вход  правила  π ∈ Π
i
  как  описание  поддерева,  заменяемого 
правилом. Тогда определение возможности применения преобразований из  R
Π  
к
R
 заданному дереву есть анализ применимости каждого  π ∈ Π
i
, с выделением 
ключевого слова ЛСК и представлением результата в виде списка пар:  
({π ,C
K
0 (i)
R
: = ,
1
, Π
i
i
}.                                            (2) 
В работе некоторого правила 
R
π∈Π  в общем случае следует выделить два 
π
состояния: соответствующее заменяемому дереву  1
 и соответствующее заме-
няющему
π
  дереву  2
.  Иными  словами,  мы  имеем  простейший  случай  задачи 
достижимости ЛСК с заданными свойствами на информационном пространст-
ве
R
, заданном входами и выходами правил  π ∈ Π . Условие  r(π)  представляет 
π
π
собой формальное описание допустимости перехода из состояния T
T
1  в  2 . 
В
R
  общем  случае  для  каждого  π ∈ Π   следует  рассматривать  множество 
Rπ  условий применимости, из которых для срабатывания правила должно вы-
полниться минимум одно  r

(π )
π
. Правило  π  может быть применено к дере-
π
ву
m
 
r


=
π
1
, если выполняется некоторое 
( ) π

r
=
=
π
( )
true , где 
π
R

Обозначим
m
  ∨
(π)
r
r
=1 j
 далее как  12 . Условие  12  следует интерпретировать как 
π
π
“определение события, разрешающего переход от  T
T
1  к 
”. Применение прави-
2
ла
R
  π ∈ Π  сводится к выполнению перехода:  
π (
1
2

 →
1
2 )
π
π ( )
π
T
T
1
2 .                                            (3) 
Отдельному правилу соответствует элементарная сеть Петри вида  
= {P,F0}.                                              (4) 
При  этом  множество  состояний  правила  есть  множество    позиций  сети: 
= {p
π
π
,  где  ⇔ ,  а  ⇔ .  Множество  возможных  переходов   
1
2 }
1
1
2
2
представлено
π
π
t
 единственным переходом из   в  :  = (
π

 →
1
2 ) : p
. Ком-
1
2
1
2
поненты   и   есть отображения  ×→ { }
1
,
0
 и  × → { }
1
,
0
, соот-
ветственно.  Для  сети  (4)  (t
1
)= 1,  F(t
2
)= 0,  H(t, 1p) = 0,  H(tp2)= 1, а 
число  допустимых  разметок  сети,  отождествляемых  со  сценариями,  здесь  равно 
двум.  Начальной  маркировке  соответствует  вектор  = ( 0
,
1
0
),  второй  из  до-
пустимых маркировок – вектор  = ( )
1
,
0
.  
Множество правил ∆-грамматики, представленных элементарными сетями 
Петри,  можно  рассматривать  как  множество  исходных  объектов-примитивов 
для построения в терминах ограниченных сетей Петри модели системы правил 

11 
 
некоторого  подмножества  множества 
R
Π   рассматриваемой  ∆-грамматики  с 
определением структурных взаимосвязей между ними. При этом сама система 
формируется  следующим  образом:  для  каждой  пары  правил  {π1,π2}
R
⊂ Π , 
π ≠ π
1
2 , входящих в систему, обязательным является выполнение следующего 
условия: либо вход правила  π
π
2  является выходом для  1 , либо наоборот, вход 
у  π
π
1  является выходом для  2 .   
Пусть  Ni   –  сеть  Петри,  построенная  из  примитивов,  каждый  из  которых 
моделирует  работу  правила  из  некоторого  подмножества  правил  заданной  ∆-
грамматики,  образующих  систему.  Состоянию  системы  соответствует  активи-
зация входа/выхода некоторого правила.  
Теорема  1.  Сеть    является  безопасной  в  течение  всего  времени  функ-
i
ционирования системы. 
Доказательство  следует  из  наложенного  на  структуру  сети  ограничения 
относительно числа позиций, инцидентных переходу.  
Последовательность применяемых правил моделируется последовательно-
стью τ = ( 1 2
k
t
K
ti ,
ti )
 
 срабатываний переходов:  
π
π r
r
r
1 ( 12 )
π
π 2 ( )
π
π
π
k k 1
23
+ )
π
T



 →T



 →→ K → T

  
 →T
,                (5) 
1
2
3
k
+1
где
2
k
t
π

k
r k +1)
  1
⇔ π
⇔ π
i
1( 1
2 ) ,  ti
2 ( 2
3 ) ,  …  , 
.  При  этом  происходит  по-
следовательная смена разметок:  
t1
2
1
t
k
i
i
2
−1
ti
k
M
K
0

 →

 →
→ →

 →
i
M i
M i
M i
M i ,                     (6) 
где
π
1
π
−1
π
k
π
  M


M i 
0
T
i
M
T
M

T
1 , 
i
2 , … , 
i
Tk 
1
+ .  
При этом множество достижимости  R(Ni ) сети   находится в зависимости 
i
от задания начальной разметки  . Функционирование системы описывается в 
0i
терминах
1
2
1

k
  последовательностей  срабатываний  переходов  t
K
ti ,
ti
,ti ,  каж-
дая из которых есть слово τ  в языке  L(Ni ).  
Задача
π
π
 приведения деревьев  T
T
1  и 
 к виду с одинаковой ЛСК фактически 
1
+
включает в себя три задачи:  
k
1)  определение достижимости разметки  M i  из начальной разметки  
0i
*
τ
Данная
k
*
 задача есть поиск слова τ ∈
0

 →
i
T M i
M i , где  i
 – множество всех 
слов в алфавите  i
;  
*
τ
k
2)  задача обратимости слова  τ : если  τ ∈
0

 →
i
T M i
M i , то сущест-
вует
'
τ = ( k' (k− )1'
2'
'
1
t
,K, ,
i
i
i
ti )
 ли слово 
:  
'
1
1
2'
'
i
i
2
−1
ti
k
M
K
0

← 

← 



← 
i
M i
M i
M i
M i ,                     (7) 
1   2   3   4   5   6   7   8   9   ...   21

Похожие:

            теоретические основы оценки семантической  эквивалентности, модели распознавания   icon“Распознавание образов/(по выбору)”
Целью курса является ознакомление студентов с современным состоянием проблемы распознавания и основными методами решения задачи распознавания...
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconРасписание учебных занятий для студентов 
...
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconО. В. Волощенко Отражение семиотических смыслов нарратива  в семантической структуре глагола 
Проблема рассматривается на материале глаголов со значением знания  и отсутствия знания, у которых под влиянием фольклорной концептосферы...
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconРабочая программа по дисциплине «Теоретические основы реструктуризации» для специальности 351000 (080503) «Антикризисное управление»
«Теоретические основы реструктуризации» для специальности 351000 (080503) «Антикризисное управление»
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconВ. В. Гура Теоретические основы педагогического проектирования личностно-ориентированных электронных образовательных ресурсов и сред
Гура В. В. Теоретические основы педагогического проектирования личностно-ориентированных электронных образовательных ресурсов и сред....
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconНой приводятся теоретические основы по конкретной теме, вопросы для подготов
Введение   4 
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconВ учебнике сформулированы теоретические основы ноксологии 
Класс   (М.  :  Просвещение)  /  Е.  М.  Тихомирова.  —  Изд.  7-е,  перераб.  и  
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconВзфэи 91 2008 3500
Теоретические основы бухгалтерского учета и анализа доходов и расходов предприятия 5
            теоретические основы оценки семантической  эквивалентности, модели распознавания   icon  Диссертация на соискание ученой степени кандидата 
    Теоретические  основы  изучения  речевого  жанра  «портрет  человека» в средствах массовой информации
            теоретические основы оценки семантической  эквивалентности, модели распознавания   iconОсновы психологии   и педагогики здоровья Лекции 5-8 Москва Педагогический университет
Психологические принципы и модели изменения  поведения, ориентированного на здоровье человека. 
Разместите кнопку на своём сайте:
TopReferat


База данных защищена авторским правом ©topreferat.znate.ru 2012
обратиться к администрации
ТопРеферат
Главная страница