Формальный метод

Cтраница 2

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

Возможно несколько формальных методов определения состав а таких автономных групп элементов. Одним из простейших является матричный. [17]

Рассмотрим некоторые из формальных методов, связанных с выбором опорного плана и способов его улучшения. [18]

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

В работах [54, 55] предложен формальный метод синтеза граф-схем алгоритмов широкого класса логических задач, известных под названием тактических. Формальным языком для постановки тактической задачи является характеристическая таблица. [20]

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

Трудности в развитии этого формального метода в настоящее время вызваны неопределенностью, связанной с уравнением состояния для испарения. [22]

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

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

Видимо, не существует формального метода определения полноты набора критериев; но каждый на собственном опыте мог убедиться, что неучет какого-либо фактора или группы факторов приводил к неуспеху проводимого мероприятия. [25]

Схема ПЛМ 8 Б. М. Каган. [26]

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

Таким образом, мы получим формальный метод интегрирования уравнений помощью рядов типа ( 2); вопрос о сходимости этих рядов, а также вопрос о том, удовлетворяют лн они диференциальным уравнениям, подлежит конечно особому рассмотрению. Сам собой напрашивается также вопрос об однозначности решений типа ( 2); можно определенно утверждать, что для достаточно малых значений X однозначность имеет место. В общем виде ее заведомо не существует, кгк это видно из простого примера, который в то же время поясняет физическое значение случаев наличия в решениях точки разветвления. [28]

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

Отсюда вытекает необходимость в разработке формальных методов построения алгоритмов диагноза технического состояния объектов. Это особенно важно для сложных объектов, когда на обнаружение и поиск неисправностей интуитивными способами затрачивается много времени. Применение формальных методов позволяет кроме того автоматизировать процессы построения алгоритмов диагноза при помощи вычислительных средств. [30]

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