Glossary entry (derived from question below)
English term or phrase:
Guard & Affectation
Russian translation:
охранный предикат (предусловие) & предикат постусловия
- The asker opted for community grading. The question was closed on 2009-12-05 13:54:08 based on peer agreement (or, if there were too few peer comments, asker preference.)
Dec 1, 2009 10:49
14 yrs ago
English term
Guard & Affectation
English to Russian
Science
Mathematics & Statistics
Предикаты, исчисление предикатов
Контекст (см.). Имеются определения. Не нашел, что есть GUARD и AFFECTATION по-русски.
Predicates: They are equalities or inequalities which can include variables, parameters, basic operators and functions. Their rule is just before (Guard) and/or just after (Affectation) the transitions:
→ Guard: It is a predicate which can be TRUE or FALSE (i.e. equality or inequality). The corresponding transition can be fired only if all the guards are TRUE.
→ Affectation: It is an equality which permits to change the value of the different variables of the model just after the transition firing. Affectations participate to the dynamic aspect of the simulation.
Predicates: They are equalities or inequalities which can include variables, parameters, basic operators and functions. Their rule is just before (Guard) and/or just after (Affectation) the transitions:
→ Guard: It is a predicate which can be TRUE or FALSE (i.e. equality or inequality). The corresponding transition can be fired only if all the guards are TRUE.
→ Affectation: It is an equality which permits to change the value of the different variables of the model just after the transition firing. Affectations participate to the dynamic aspect of the simulation.
Proposed translations
(Russian)
4 +1 | охранный предикат (предусловие) & предикат постусловия | mk_lab |
3 +1 | предикаты guard и affectation | Dmitriy Vysotskyy |
3 | условия до и после срабатывания перехода | sas_proz |
Proposed translations
+1
1 hr
Selected
охранный предикат (предусловие) & предикат постусловия
Российская академия наук Институт системного программирования Спецификация каждой стадии включает охранный предикат стадии и постусловие стадии. Охранный предикат стадии определяется на основе состояния управления. ...
www.ispras.ru/ru/news/downloads/Kamkin.pdf
... Предикат Q называется предусловием оператора S, а предикат R - постусловием ... взаимосвязь пред и постусловий для оператора присваивания. ...
www.bestreferat.ru/referat-93911.html
--------------------------------------------------
Note added at 4 hrs (2009-12-01 14:51:40 GMT)
--------------------------------------------------
вообще-то, эти Guard & Affectation явно заимствованы из теоретической лингвистики и в математике применяются редко (встречается и предикат аффектации). Рекомендую писать просто: входной предикат (предусловие) и выходной предикат (постусловие)
... а входу оператора STOP приписывается выходной предикат (постусловие) Q(x,y), определяющий целевую функцию программы (связь между входными и выходными ...
www.studfiles.ru/dir/cat32/.../page7.html
www.ispras.ru/ru/news/downloads/Kamkin.pdf
... Предикат Q называется предусловием оператора S, а предикат R - постусловием ... взаимосвязь пред и постусловий для оператора присваивания. ...
www.bestreferat.ru/referat-93911.html
--------------------------------------------------
Note added at 4 hrs (2009-12-01 14:51:40 GMT)
--------------------------------------------------
вообще-то, эти Guard & Affectation явно заимствованы из теоретической лингвистики и в математике применяются редко (встречается и предикат аффектации). Рекомендую писать просто: входной предикат (предусловие) и выходной предикат (постусловие)
... а входу оператора STOP приписывается выходной предикат (постусловие) Q(x,y), определяющий целевую функцию программы (связь между входными и выходными ...
www.studfiles.ru/dir/cat32/.../page7.html
4 KudoZ points awarded for this answer.
Comment: "Спасибо! "
44 mins
условия до и после срабатывания перехода
Здесь guard и affectation - просто локальная терминология, для которой можно придумать локальный эквивалент (сторожевое условие, условие изменения), а можно этого и не делать. Твердо устоявшихся переводов для данного контекста нет.
+1
26 mins
предикаты guard и affectation
Предикат guard(v) определяет наличие охранного символа в конце стро-
ки v и его отсутствие внутри v. Как следствие, v ≠ nil. Использование ох-
ранного символа существенно упрощает алгоритм. (с. 18)
Думаю с affectation должно быть также
--------------------------------------------------
Note added at 33 mins (2009-12-01 11:22:41 GMT)
--------------------------------------------------
Охранное условие или условие перехода (для guard) - еще 1 вариант.
T — множество переходов автомата; каждый переход t включает начальное управляющее состояние s1, стимул i, охранное условие или условие перехода gt (guard condition) — предикат на множестве Vn×XnI, реакцию o, отображение параметров реакции Vn×XnI в множество YnO, определяющее правила вычисления данных реакции по текущим значениям переменных и параметрам стимула, конечное управляющее состояние s2, и действие at — некоторое отображение Vn×XnI в множество Vn, определяющее новые значения переменных.
http://panda.ispras.ru/~kuliamin/lectures-mbt/Lecture04.pdf
--------------------------------------------------
Note added at 1 hr (2009-12-01 12:39:54 GMT)
--------------------------------------------------
Да я вроде бы и не писал, что это название.
ки v и его отсутствие внутри v. Как следствие, v ≠ nil. Использование ох-
ранного символа существенно упрощает алгоритм. (с. 18)
Думаю с affectation должно быть также
--------------------------------------------------
Note added at 33 mins (2009-12-01 11:22:41 GMT)
--------------------------------------------------
Охранное условие или условие перехода (для guard) - еще 1 вариант.
T — множество переходов автомата; каждый переход t включает начальное управляющее состояние s1, стимул i, охранное условие или условие перехода gt (guard condition) — предикат на множестве Vn×XnI, реакцию o, отображение параметров реакции Vn×XnI в множество YnO, определяющее правила вычисления данных реакции по текущим значениям переменных и параметрам стимула, конечное управляющее состояние s2, и действие at — некоторое отображение Vn×XnI в множество Vn, определяющее новые значения переменных.
http://panda.ispras.ru/~kuliamin/lectures-mbt/Lecture04.pdf
--------------------------------------------------
Note added at 1 hr (2009-12-01 12:39:54 GMT)
--------------------------------------------------
Да я вроде бы и не писал, что это название.
Reference:
Note from asker:
Это не название предиката. Это один из используемых типов предикатов. |
Something went wrong...