Cтраница 4
При этом предполагалось, что алгоритмы функционируют в одной и той же вычислительной среде. [46]
Модельная БД и модель приложений, построенные средствами DBANALAYZER, прогоняются в реальной вычислительной среде с использованием исполнительного механизма реальной СУБД на фоне других вычислительных работ, что позволяет, в частности, оценить взаимное влияние на время выполнения этих работ и процессов, взаимодействующих с БД. [47]
Так как базовые дискретные преобразователи в своем задании имеют явное разделение управления и вычислительной среды, то естественным образом в классе 8J ( 910) выделяются два основных изучаемых типа рекурсии, которые называют рекурсией по управлению и рекурсией по данным, соответствующих разным способам взаимодействия базовых преобразователей F моменты вызовов - передачи результата. Кроме того, многие функциональные свойства преобразователей выражаются через синтаксические характеристики. Поэтому значительное внимание будет уделено изучению рекурсии по управлению над синтаксической средой. Рекурсия по данным является одним из основных методов организации рекурсивных программ в алгоритмических языках высокого уровня. [48]
Для проведения исследований при построении программной модели необходимы методы оптимального ее размещения в вычислительной среде, обеспечивающего заданную оперативность выработки решений при управлении. [49]
Представленные примеры показывают, что здесь достигается независимость описания данных и манипулирования ими от вычислительной среды. Не рассмотренные в данном описании функции обеспечения секретности и целостности данных должны обеспечиваться программными модулями. Соответствующие параметры могут передаваться непосредственно модулям или входить как компоненты в шаблонные объекты, описывающие наборы и фильтры. [50]
Обогащение потоковых моделей такими свойствами, как не детерминизм и распределенность процессов программы в вычислительной среде, а также обмен разнородными сообщениями ставит ряд серьезных проблем, связанных с исследованием разрешимости как самих моделей, так и задач их анализа. [51]