| 摘要 |
1. Способ построения условно-зависимого вычислительного плана (102) для сети (100) информационно-зависимых ограничений, представленной двудольным графом (106), содержащим входные узлы-переменные (120), выходные, узлы-переменные (128) и узлы-отношения (114), причем входные узлы-переменные (120) и узлы-отношения (114) соединены дугами (110), при этом способ содержит следующие шаги:задание, посредством спецификатора узла-переменной (120), по меньшей мере одного выходного узла-переменной (128), для которого необходим план (102); ипостроение плана (102), посредством планировщика плана (102), от входных узлов-переменных (120) до выходного узла-переменной (128) посредством обратного поиска по ветвям двудольного графа (106).2. Способ по п.1, дополнительно содержащий следующие шаги:задание входных узлов-переменных (120), от которых необходимо построить вычислительные шаги плана (102) для вычисления значений выходного узла-переменной (128); ипостроение плана (102) от всех входных узлов-переменных (120) в сети (100) ограничений, влияющих на значение выходного узла-переменной (128), если входные узлы-переменной (120) не заданы.3. Способ по п.1, дополнительно содержащий следующие шаги:задание, посредством спецификатора набора (140) пространств, набора (140) пространств, в котором необходим вычислительный план (102); ипостроение набора (140) пространств, в котором выходной узел-переменная (128) находится в определенном состоянии, если набор (140) пространств не задан.4. Способ по п.1, в котором шаг построения плана (102) включает:создание входного списка (220), выходного списка (218), очереди заглушки и очереди плана (102), при этомвходной список (220) содержит связь входной (122) переменной с набором (140) простр� |
