Cтраница 2
Структурные компоненты, общие для всех типов значений, хранятся в вершине ЗНАЧЕНИЕ-СХЕМА. Следует отметить, что иерархия схем и механизм наследования свойств могут рассматриваться как средства представления уровней абстракции. На каждом уровне запоминаются только те детали, которые релевантны данному уровню абстракции. [16]
Теперь у вас уже, вероятно, сложилось впечатление, что ошибки в программном обеспечении - целиком и полностью следствие несовершенства человеческого разума и единственное возможное решение этой проблемы - разведение породы лучших сегодняшних программистов чисто генетическим путем. Однако для большинства проблем перевода существуют более реалистические решения. Средства представления проекта на различных уровнях ( например, языки описаний и программирования) влияют на процесс перевода. Процессы проектирования и свойства самого проекта ( например, его сложность) также существенно влияют на ошибки. [17]
Хорошая схема должна быть удовлетворяема. Иногда важно иметь возможность замещать одни ограничения другими, эквивалентными им, но более понятными и обеспечивающими эффективную реализацию процедур контроля. В связи с этим средства представления ограничений должны обеспечивать возможность точной спецификации и верификации. [18]
Алгоритм контроля состояния УВС предусматривает автоматическую сигнализацию нарушений технологического режима, работоспособности каждого контура САУ и работы УВМ в системе управления. По каждому контуру индицируется режим работы ( АУ, ДУ) и выход системы на ограничение по управляющему воздействию. По работе УВМ выводятся на средства представления следующие сигналы: сбой в управляющей программе, отключение управляющей программы, останов процессора. [19]
Данные получают в результате наблюдений за некоторым процессом или объектом. Наиболее распространенным типом данных являются числовые данные - последовательность чисел какой-либо системы счисления. Однако данные можно представлять и в виде ряда символов, причем система нечисловых символов также получила довольно широкое распространение. Преимущества чисел как средства представления данных определяются их способностью отражать величину отношений между базовыми объектами, которые они описывают. Информация, таким образом, представляет собой более ценный продукт, чем то, на основе чего ее получают. Ценность информации вытекает из ее роли при принятии решений. Действительно, в понятие информация обычно входит и нечто, что дает возможность принимать решение. [20]
На рис. IX.2 представлена структура системы автоматического управления технологическим процессом. Рассмотрим назначение отдельных узлов АСУ ТП. УСД предназначено для связи диспетчера с аппаратурой управления. В него входят средства представления и регистрации информации и пульты управления аппаратурой связи сВК и УСО. В ВК проводятся все необходимые расчеты по алгоритмам СМО, организуется хранение массивов информации, программ расчетов, выдача результатов счета в УСО, УСД. Таким образом СМО включает алгоритмические и программные средства, необходимые для нормального функционирования АСУ ТП. [21]
Знания могут быть представлены в форме данных. Из этого свойства следует, что знание есть некоторая более высокая степень организации данных, которая допускает специальную интерпретацию. В то же время ответ на вопрос, имеем ли мы в данном случае дело с некоторыми знаниями или просто со структурными данными, зависит от точки зрения интерпретатора ( что он способен извлечь из данной совокупности данных. Что же требуется от языка программирования ( или языка описания данных) - это обеспечить такие средства представления данных, чтобы интерпретатор мог рассматривать данную совокупность данных как знание. [22]
Основным управляющим звеном на первом этапе внедрения АСУТП является диспетчер производства. Общая структура АСУТП представлена на рис. IX-5. Назначение устройства АСУТП следующее. УСО служит для обеспечения сбора, передачи и первичной обработки информации для представления ее диспетчеру, использования при расчетах по алгоритмам СМО, а также для передачи управляющей информации на объект. УСД предназначено для связи диспетчера с аппаратурой управления. В него входят средства представления и регистрации информации и пульты управления аппаратурной связи с ВК и УСО. В ВК проводятся все необходимые расчеты по алгоритмам СМО, организуется хранение массивов информации, программ расчетов, выдача результате расчета в УСО, УСД. СМО включает в себя алгоритмические и программные средства, необходимые для разработки, нормального функционирования и развития АСУТП. [23]
Модальные логики первоначально предназначались для формализации языковых модальностей, но в последнее время это понятие стало включать любые расширения классической логики дополнительными операциями, играющими роль логических связок. Для таких логик в первую очередь решаются задачи построения моделей, проблема разрешимости и другие внутренние задачи. Однако, кроме этих задач, большой интерес представляет вопрос о выразительных возможностях пропозициональных модальных логик. Разумеется, в любом бесконечном языке можно выразить сколь угодно сложные понятия и отношения, но для этого может потребоваться сложная и неестественная интерпретация. Поэтому, когда мы говорим о выразительных возможностях пропозициональных языков, то мы имеем в виду только содержательно естественные интерпретации. Начало этой проблематики восходит к Геделю, который использовал модальную логику как модель интуиционистской логики, а также для представления предиката доказуемости в арифметике. Представление арифметических предикатов в пропозициональных модальных логиках основано на том, что некоторые характеристические свойства предикатов могут быть сформулированы в пропозициональном языке. В работе [2] рассмотрен один из возможных способов представления систем предикатов в пропозициональных модальных логиках. Формулы таких логик мы назвали свойствами, поскольку они описывают определенные характеристики представляемых предикатов. Эти свойства не обязательно определяют нужные предикаты однозначно, как например, неоднозначно представлен в логике Геделя-Леба предикат доказуемости. В модальных логиках, описанных в [2], отсутствуют средства представления термов и кванторов, без чего трудно рассчитывать на полноту описания предикатов в достаточно богатых теориях. Прежде чем говорить об описании свойств термов в пропозициональных модальных логиках, необходимо уточнить, какие языки и логики мы можем называть пропозициональными. По-видимому, главным признаком пропозициональности языка является отсутствие других переменных, кроме пропозициональных, имеющих двуэле-ментную ( в общем случае - конечную) область значений. [24]