Cтраница 2
Карату ев, Козлов Р.И., Суменков Е.А., Ядыкин С.А. Алгоритмы вывода теорем метода векторных функций Ляпунова. [16]
По сравнению с другими алгоритмами стоит отметить, что алгоритм DCDP-параллельного вывода не является самым эффективным ни по одному из параметров, но и не находится в конце списка. [18]
В этой книге рассмотрены прямолинейные биметаллические стержни постоянного сечения, но алгоритм вывода основных соотношений можно обобщить и на случай криволинейных стержней переменного сечения. [19]
Таким образом, приведенная статистика является лишь приблизительным инструментом для сравнения алгоритмов вывода. Некоторое отставание процедур вывода, реализованных в программе, от лучших алгоритмов других авторов не позволяет говорить о неэффективности разработанных алгоритмов. Наоборот, показанные результаты свидетельствуют о достаточно высокой эффективности процедур параллельного вывода, так как они сопоставимы по производительности с лучшими разработками в плане создания эффективных процедур дедуктивного вывода. [20]
Выводом на предикатах, имеющим смысл утверждения, являются формулы, выводимые из системы предикатов с помощью их эквивалентного ( в смысле системы аксиом) преобразования с помощью правил вывода. Алгоритм вывода является полным в том случае, если формула выводится из аксиом за конечное число шагов. [21]
Некоторые части границ раздела слоев диэлектрика металлизированы - на них нанесены металлические слои с исчезающе малой толщиной и обладающие идеальной проводимостью. Для начала рассмотрим алгоритм вывода интегральных уравнений для направляющей структуры общего типа ( рис. 1.19), а затем осуществим переход к собственно НЩЛ. [22]
Когда через мультиплексный канал с ЭВМ взаимодействуют не только дисплеи, находящиеся в непосредственной близости от нее, но и дисплеи удаленных абонентов, обычно оказываются целесообразными некоторые изменения описанного выше алгоритма. Так, например, алгоритм вывода - ввода информации, представленный на рис. 5, позволяет несколько упростить устройство сопряжения с ЭВМ ( УСВМ), поскольку дает ему возможность пользоваться для формирования сообщений ( блоков) и для проведения некоторых процедур восстановления памятью машины. [23]
Получим выражение для динамических нагрузок, появляющихся при колебаниях стержня. Для этого рассмотрим рис. 1 и напомним алгоритм вывода ускорения материальной точки, учитывающий вращение системы координат. [24]
Поскольку ни одно из приращений не равно 1, все еще есть возможность вывода некоторых точек дважды. Для исключения повторного вывода точек нужно несколько усложнить алгоритм вывода для выполнения проверки. [25]
На плоскости эта теория построена чисто топологически на основе известной теоремы Шубникова - Лавеса; были выведены все 46 сортов разбиения плоскости на планигоны. В трехмерном пространстве полная теория стереоэдров Дирихле ( соответствующих первым зонам Бриллюэпа) была доведена до задания алгоритма вывода стереоэдров для любой наперед заданной федоровской группы. [26]
Алгоритм дедуктивного вывода на раскрашенных С-графах является наиболее эффективным для решения задачи Стимроллер, что определяется ее представлением в виде графа дизъюнктов, который имеет множество независимых вершин. При работе алгоритма происходит стяжка сети, на каждом шаге резольвирование идет по нескольким вершинам, что повышает эффективность алгоритма вывода. [27]
Все перечисленные требования определяют базовую структуру графических регистрирующих устройств. Для создания более полной структуры необходимо учитывать особенности сопряжения с промежуточными носителями информации ( перфолентой, магнитной лентой) и алгоритмом вывода данных из ЭВМ. Как уже отмечалось, при формировании конструкторских чертежей, помимо контурных линий, необходимо наносить или вычерчивать текст, а также выполнять оцифровку. Необходимая для этого информация передается из ЭВМ или вводится в графическое устройство с промежуточных носителей. [28]
Наиболее простые и дешевые рисованные мнемосхемы ( в том числе отображаемые посредством диапроекции) позволяют воспроизводить и исследовать в лаборатории психофизические характеристики не только большинства существующих технических средств графического отображения информации, но и имитировать с хорошим приближением многие перспективные средства и таким образом заблаговременно разрабатывать инженерно-психологические требования к ним. Эксперименты с мнемосхемами позволили отработать принципы комбинированного графического и буквенно-цифрового отображения оперативной информации в компактной форме, которые были использованы в дальнейшем при проектировании справочных и графических дисплеев ( знакогенерирующих ЭЛТ) и разработке алгоритмов вывода данных на их экраны. Недостатки в зрительной дифференцировке графической информации на экранах черно-белых дисплеев по сравнению с мнемосхемами стимулируют разработку и внедрение более приближенных к мнемосхемам по качеству отображения многоцветных ЭЛТ и телевизионных приемников для систем оперативного управления. [29]
Этот простой механизм управления весьма удобен для описания многих алгоритмов. Хотя ПРОЛОГ является неполным в том смысле, что доказуемые утверждения не могут быть вводимыми в ПРОЛОГе, эффективность и алгоритмическая природа делают ПРОЛОГ весьма привлекательным для решения тех задач, в которых ясно очерчен процесс вывода и известен алгоритм вывода. [30]