|
|
|
|
|
|
|
|
|
Синтез программ трансформационный
| Глоссарий по искусственному интеллекту |
Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. с.п.т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.
|
|
Автоматический, русский
- ~ key management автоматическое управление ключами
- Self-acting discharge valve
Конструирование, русский
Трансформация, русский
- Основа большинства приемов перевода. заключается в изменении формальных или семантических компонентов исходного текста при сохранении информации, предназначенной для передачи.
- (лат. trans-formatio - преобразование, превращение) - одна из существующих в правоведении точек зрения, согласно которой принципы и нормы международного права, сами по себе якобы не способные регулировать внутриобщественные отношения, чтобы приобрести такую способность, должны войти в систему права конкретного государства в установленном им порядке, т.е. претерпеть процедуру т. - преобразования в нормы национального законодательства. данная точка зрения не согласуется с преобладающей нормативной практикой многих стран, базирующейся на признании основных принципов международного права и норм ратифицированных международных договоров в качестве составной части внутригосударственных правовых систем, как это установлено, в частности, ч. 4 ст. 15 конституции рф, другими законодательными актами рф, которые исходят из возможности прямого (без какой-либо т.) действия конвенционных норм в отношении.субъектов российского права(например,п. 2 ст.7 гк рф гласит: "международные договоры российской федерации применяются к отношениям... (гражданско-правового характера)... непосредственно, кроме случаев, когда из международного договора следует, что для его применения требуется издание внутригосударственного акта. если международным договором... установлены иные правила, чем те, которые предусмотрены гражданским законодательством, применяются правила международного договора").
- (от позднелат . transformatio - превращение), в театре, цирке и на эстраде сценический прием. основана на умении артиста быстро изменять внешность при помощи грима, парика, костюма.
- Один из способов превращения, преобразования норм международного права в нормы внутригосударственного права.
|
Синтез программ автоматический, русский
Автоматическое построение программ по исходным условиям задачи. формально задача с.п.а. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату р (х), вычислить значение у, удовлетворяющее предикату r (х, у). здесь х, у - конечные множества входных и выходных переменных программы. отображение q = < p (x), r(x, y) > должно при этом содержать достаточно информации для синтеза нужной программы. различают три подхода: индуктивный синтез программ, дедуктивный синтез программ или трансформационный синтез программ.
Синтез программ индуктивный, русский
Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. с.п.и. может осуществляться на синтаксическом уровне, когда используются внешние признаки программ, или на семантическом уровне, когда в основе лежит семантика модели программы.
|
|
|
|
|
|
|
