Формализованная запись

Cтраница 2

Нелинейные алгебраические неравенства и простые ограничения на управляемые переменные представляют собой формализованные записи технологических, эксплуатационных, экологических, конструктивных и иных ограничений, строгое выполнение которых обеспечивает промышленную безопасность энергетических объектов. [16]

При такой формализации формула Ар ( /) сама являлась бы формализованной записью результата доказательства1), то есть того, что Ар ( /) недоказуема. По теореме 28, такое доказательство не может существовать, если система непротиворечива. [17]

Исходные данные для оценки надежности деятельности оператора в АСУП выбираются для кажого блока, представленного в формализованной записи алгоритма деятельности. [18]

Пример граф-схемы программы. [19]

При различных преобразованиях и анализе граф-схем G ( X, U) удобно иметь дело с формализованной записью их структур. [20]

Первым этапом расчета надежности во всех этих методах является нахождение по качественному описанию системы и условиям ее работы ( отказа) формализованной записи этих условий через состояние элементов системы. Найденные условия, являющиеся функциями работоспособности ( неработоспособности) системы, записываются в аналитической или графической форме. [21]

МУЛЬТИПЛИКАТИВНАЯ ФОРМА ПРЕДСТАВЛЕНИЯ ФУНКЦИИ [ - multiplicative function ] - представление функции нескольких переменных в виде их произведения; используется для формализованной записи, напр. Производственная функция), где отсутствие любого из них обращает функцию выпуска в нуль, а также в некоторых моделях управления, где воздействие ошибок не взаимопогашается ( элиминируется), а усиливается. [22]

Программу ПК составляют на языке релейно-контактных символов или булевых функций. Программа представляет собой формализованную запись условной электрической ( или логической) схемы управления. [23]

Математическое обеспечение подразделяется на внешнее и внутреннее. Внешнее обеспечение представляет собой формализованную запись экономико-математических моделей и алгоритмов, реализующих отдельные подсистемы, на универсальных языках или на языке конкретной вычислительной машины. К нему, пожалуй, можно отнести также диалоговый язык, позволяющий осуществлять оперативную связь людей с вычислительной техникой. [24]

При проектировании новых бесконтактных схем не следует интуитивно составлять релейно-контактный вариант схемы, который при сложной схеме не гарантирует оптимального решения и не исключает ошибок. В этом случае рекомендуется использовать инженерные методы формализованной записи условий работы технологической установки и логический синтез схемы. При небольшом числе входных переменных применяется метод синтеза с использованием таблиц переходов и карт Карно. Для разработки схем управления механизмов циклического действия предпочтение отдают использованию циклограмм. При большом числе переменных в схеме, изменяющихся во времени, применяют метод синтеза с использованием операторов алгебры состояний и событий. [25]

Изложены правила построения принципиальных и структурных формул и указаны методы их синтеза и преобразования. На первом этапе на основе исходных параметров, данных в виде формализованной записи технологического процесса и ряда линейных равенств-неравенств, получают оптимальные принципиальные схемы, на втором этапе - оптимальные структурные схемы. [26]

Они оперируют фактическими сведениями, представленными в виде специальным образом организованных совокупностей формализованных записей данных. Фактографические системы используются не только для реализации справочных функций, но и для решения задач обработки данных. [27]

В неравенстве ( 4 - 4.10) первый член представляет собой скорость возрастания энергии в рассматриваемом элементе материала. Член, заключенный в квадратные скобки, можно рассматривать как скорость возрастания энтропии внешней среды, окружающей элемент материала; действительно, V - ( q / T) есть поток энтропии из элемента вследствие теплопроводности, а - QIT есть отток энтропии вследствие радиации. Неравенство ( 4 - 4.10) можно рассматривать как формализованную запись утверждения, что для любого процесса полная скорость возрастания энтропии неотрицательна. [28]

В 1954 г. в США был начат проект Фортран, а немного позже в Европе - Алгол. Алгол, хотя и происходит от английских слов Algorithmic Language, т.е. язык, используемый для формализованной записи алгоритмов, также является проблемно-ориентированным для выполнения вычислений. [29]

С ( 1) С 71 означает произвольной ( ненулевой) длины цепочку из углеродных атомов, соединенных неизменяющимися простыми связями, будет характеризовать совмещенные структурные уравнения любых реакций избирательного восстановления алифатических динитро-соединений. Аналогично могут быть выражены и более сложные виды запросов о классах реакций. Запросы о классах реакций, характеризуемых определенной скелетной или типовой схемой, соответствуют наличию этой схемы в качестве конкретного структурного фрагмента в совмещенных структурных уравнениях реакции. Разумеется, что для единообразной формализованной записи всевозможных, в том числе и более общего вида, запросов о реакциях должен быть разработан специальный информационный язык, позволяющий выразить приведенные выше более общего вида структурные особенности совмещенных структурных уравнений реакций, аналогично тому, как при помощи языка, описанного в § 7.3, могут быть охарактеризованы более общего вида структурные особенности соединений, чем наличие определенного конкретного фрагмента в структурной формуле. [30]

Страницы: 1 2 3