Автоматизация - проверка
Cтраница 1
Автоматизация проверки дает возможность уменьшить стоимость проверки до достижения заданной степени полноты и увеличить полноту проверки, что существенно уменьшает число ошибок при использовании системы. [1]
Автоматизация проверки данных по счетам ностро повышает степень аккуратности, ускоряет обработку данных и выявление ошибок, облегчает труд банковских служащих. В переходный период ( 1990 - 1993 гг.) параллельно функционировали обе системы. [2]
К решению вопроса об автоматизации проверок технических устройств необходимо подходить осторожно. Многие функции человек выполняет легко и хорошо, а для выполнения их автоматами потребовалась бы разработка и использование очень сложных систем. В данном случае основное преимущество человека заключается в умении импровизировать и приспосабливаться к изменяющимся требованиям. Одним из существенных недостатков автоматической проверочной аппаратуры является относительно большой износ по сравнению с аппаратурой ручного контроля. [3]
Выигрыш происходит за счет автоматизации проверки работ обучаемых. [4]
 |
Структурная схема поиска неисправностей. [5] |
Однако к решению вопроса об автоматизации проверок и отысканию неисправностей в средствах и системах автоматизации необходимо подходить осторожно, так как многие функции человек выполняет более легко и качественно. [6]
Рассмотрим методологию, реализованную в системе RXVP-1 [ 7 - 15J, предназначенную для автоматизации проверки больших систем матобеспечения, написанных на языке ФОРТРАН. [7]
Применение преобразователей ИПД или цифровых комплексов ИПДЦ позволяет решить вопросы автоматизации измерений давлений при экспериментальных исследованиях, а также вопросы автоматизации проверки приборов давления. Преобразователи ИПД успешно могут заменять ртутные приборы, применяемые в настоящее время в лабораторной практике для измерения давлений, и соответственно улучшить условия и безопасность труда. [8]
Вопросу создания комплексов программ для автоматизации проектирования процесса ректификации в настоящее время уделяется большое внимание [1-16, 46], однако достаточно полное решение этой сложной проблемы невозможно без издания комплекса программ для автоматизации проверки, описания и ( расчета различных случаев равновесия жидкость - пар. Создание такого комплекса программ, с одной стороны, осложняется теоретическими трудностями описания неидеального многокомпонентного равновесия жидкость - пар ( вследствие чего большинство уравнений, предложенных до сих пор для этой цели, имеют эмпирический или полуэмпирический характер), а с другой - тем, что этот комплекс должен быть увязан с программами для расчета ректификации, составляя с ними единый комплекс более высокого порядка. [9]
Учитывая то обстоятельство, что количество сердечников, используемых в ЗУ, логических схемах и прочих элементах вычислительных устройств, измеряется тысячами, а иногда десятками и сотнями тысяч на устройство, большую актуальность приобретает вопрос автоматизации проверки и разбраковки сердечников. [10]
Средства автоматизации проверки правописания включают средства проверки орфографии и грамматики. Текстовый процессор позволяет реализовать два режима проверки правописания - автоматический и командный. [11]
Разработанные в настоящее время системы автоматизации отладки позволяют повысить ее качество за счет более полного и целенаправленного проведения тестирования, однако малоисследованной остается проблема составления тестов. Составление тестов и выбор оптимального набора тестов - вот те задачи, от которых во многом зависит решение задач автоматизации проверки программ. [12]
Следует заметить, что первый метод возвращает к необходимости проверки текстовой документации, а второй метод связан с необходимостью получения калек-копий каждой перфокарты. При втором методе размножение копий, учет и хранение производится обычным способом, а прошивка по копиям-калькам перфокарт вручную не отличается от прошивки по перфокарте. В то же время автоматизация проверки или прошивки по копиям более сложна, так как требует наличия специального считывающего устройства. Поэтому правильным решением, исключающим промежуточные документы, является объявление перфокарты документом, внесение в ЕСКД соответствующих правил оформления перфокарт, их учета и размножения. [13]
Независимость ПП друг от друга - основное достоинство продукционного представления знаний, позволяющее легко пополнять и модифицировать БЗ, но не обеспечивающее возможности контроля ее внутренней согласованности. Источником ошибок в БЗ могут быть ошибки ввода, упрощенное описание экспертом истинных правил вывода, противоречия человеческих знаний о данной ПО. Таким образом, последовательное погружение в ГЭС знаний различных экспертов в виде совокупностей не связанных между собой ПП приводит к тому, что проверка правильности рекомендаций ЭС невозможна даже с помощью подсистемы объяснений. Поэтому на уровне представления знаний необходимы средства автоматизации проверки непротиворечивости продукционных БЗ. [14]
Страницы: 1