Реализующая система
Cтраница 1
Реализующая система УТОПИСТ содержит все возможные последовательности операторов, достаточные для вычисления семантики по заданному в описании тексту. [1]
Найденные модели это подпрограммы, реализующие системы уравнений (8.164), и параметры V) хранятся также в долговременной памяти Они используются для определения параметров алгоритмов управления, которые реали-вуются на нижнем уровне системы машинами СМ-1, или для предсказания выходных переменных объекта, что важно для предотвращения аварийных ситуаций. [2]
Формализованный и определенным образом представленный алгоритм отражает структуру реализующей системы. Здесь системой является экспериментальный стенд-станок и используемые средства получения и обработки информации. [3]
Как уже упоминалось, язык УТОПИСТ является входным для реализующей системы. [4]
Следует только подчеркнуть, что предложенная система экономико-математических моделей САПР АСУП и машинная реализующая система в полной мере могут быть использованы и в автоматизированном управлении проектированием. Кроме того, необходимо отметить еще одну специфическую особенность, связанную с вычислением точек контроля, уровня и глубины управления: тщательное продумывание работ и событий на всем технологическом графе проектирования АСУП. [5]
 |
Простейшая модель рынка. [6] |
Модель рынка представляет собой соединение четырех подсистем: а) покупателя, б) продавца, в) комиссии по ценам, г) реализующей системы. [7]
Система УТОПИСТ прошла проверку на ЭВМ Минок-32, реализуется на ЕС ЭВМ ic операционной системой ОС и проходит проверку на других типах машин. Независимая от машины часть реализующей системы выполнена на Фортране, что обеспечивает сравнительно простой перенос этой части на новый тип ЭВМ. [8]
Многообразие средств вычислительной техники, областей применения, методов вычислений и направлений в алгоритмических языках1 приводит к огромному числу различных моделей вычислений, отражающих тот или иной аспект обработки информации. Это в свою очередь обуславливает трудности в понимании логических основ обработки вычислительной информации, порождает различные частные методы для решения задач одного и того же типа и в конечном итоге приводит к неэффективному использованию вычислительной техники и ресурсов человека. Таким образом, прикладное направление в теории алгоритмов, с одной стороны, существенно обогащает понятие алгоритма и, с другой стороны, перегружает это понятие описаниями алгоритмических языков или реализующих систем. Возникает необходимость в выделении фундаментальных основных общих понятий, характерных для обработки вычислительной информации, и в построении математической теории, базируемой на выделенных концепциях. Особое значение приобретают вопросы, связанные с исследованием выразительных и вычислительных свойств алгоритмических систем, построенных из некоторых базовых преобразователей и характеризующихся сложным динамическим взаимодействием между ними. Подобная организация вычислений повсеместно применяется в разнообразных разделах кибернетики и является мощным средством повышения производительности систем. Примерами являются сложные пакеты прикладных программ, системы моделирования и программирования, сети ЭВМ и различные управляющие системы. [9]
В разделе 3 методы работы [13] применяются для получения нашей новой нижней оценки. Определяется мера сложности, которая учитывает только элементы Л, причем в схемах допускается свободное вхождение некоторых функций. Для получения нижних оценок для монотонной сложности достаточно нахождения нижних оценок для указанной новой меры сложности. Поскольку допускается свободное вхождение некоторых функций и элементов V, становится возможным преобразовывать минимальную монотонную схему, реализующую систему млм ез увеличения ее сложности в смысле рассматриваемой новой меры. В результате этих преобразований получается схема, реализующая / лш о строении которой многое известно. [10]
Имя набора служит для поиска набора по каталогу. С помощью других модулей может быть реализована другая структура набора. Легко заметить сходство между реляционной моделью и моделями, описываемыми на языке УТОПИСТ. Покажем, каким образом основные операционные потребности управления базой данных - описание данных и манипулирование данными - могут обеспечиваться реализующей системой языка УТОПИСТ. [11]
Страницы: 1