Cтраница 1
Машинное решение задачи гораздо удобнее, если интервал Т фиксирован. Предлагаемая модификация заключается в разделении возможного интервала TI на фиксированное число m точек ( например, m - 10) и решении m вариационных задач, каждая из которых имеет уже фиксированный интервал. [1]
Для машинного решения задач и доказательства теорем нужно, чтобы в соответствующей форме был представлены знания как исходные, так и получаемые машиной в ходе решения или доказательства. При составлении программы действий машины производится описание логической системы и правил, по которым выполняются логические преобразования. [2]
Для машинного решения задач с помощью предложенных алгоритмов необходимо от обычного задания ребер графа парой вершин, которым данное ребро инцидентно, перейти к заданию ребра номерами граней, к которым это ребро принадлежит. [3]
При машинном решении архитектурно-строительных задач наиболее распространенным является ручной метод преобразования и табличный способ кодирования исходной графической информации. Указанный способ, как известно, отличается большой трудоемкостью и продолжительностью. [4]
При машинном решении задач случайного баланса целесообразнее сравнение по / - критерию остаточных дисперсий, а не дисперсий, характеризующих рассеяние наблюдений относительно их среднего значения. [5]
Приведем пример машинного решения задачи, из которого виден ход процесса приближения. [6]
В отношении машинного решения игровых задач, о которых уже упоминалось, дело обстоит так. Были разработаны программы игры в шашки, при которых машина играет на уровне сильнейших игроков-людей. [7]
Общий план машинного решения задачи синтеза кулачкового механизма мфкет быть разбит на ряд этапов. [8]
Появились новые статистические методы машинного решения задач математической физики, стало возможным экспериментальное решение логических задач и многое другое. [9]
В сочетании с другими процедурами машинного решения задач широко применяются специальные процедуры поиска решения. Вопрос этот занимает большое место среди других, возникающих при решении задач. Дело в том, что одна и та же задача часто может быть решена различными способами. Одни из них быстро приводят к конечному результату, применение других менее эффективно: решение оказывается более сложным и длительным. Третьи же могут быть совсем неподходящими. Наконец, может быть и так, что задача вообще неразрешима. В последнем случае бывает важным своевременно это обнаружить. В различных случаях по-разному могут использоваться знания, начальные и приобретаемые в ходе решения. В различной мере могут быть эффективными и эвристические подходы к поиску решений. [10]
В результате этого появилась статья Алгоритмы и машинное решение задач ( Математика в школе, 1956, № 4 - 5); ее расширенные варианты были изданы дважды ( Гос-техиздат, 1957 г.; Физматгиз, 1960 г.) в виде одноименной книги, переведенной и на ряд иностранных языков. [11]
Исчисление высказываний и исчисление предикатов используются при машинном решении задач и доказательстве теорем. [12]
Как видно из этого описания, все этапы машинного решения задачи выполняет человек и лишь на последнем ( счетном) этапе вступает в действие машина. [13]
Алгоритмизация и программирование, относящиеся к подготовительным операциям машинного решения задач, весьма трудоемки. Составление отдельных программ требует нескольких человеко-месяцев, а иногда и человеко-лет труда. Особенно трудоемки алгоритмизация и программирование экономич. Отсюда вытекает настоятельная необходимость поиска таких методов алгоритмизации и программирования, к-рые позволили бы существенно сократить затраты на эти работы и ускорили подготовку задач к решению на ЭЦВМ. Большое значение здесь имеет составление единых ( стандартных) программ для однотипных задач, решаемых многократно на протяжении длительного времени на одном и том же или многих предприятиях. [14]
АСУЖТ имеет системы информационного обеспечения с дистанционной передачей данных, а также комплекс программ машинного решения задач. [15]