Структурная эквивалентность
Cтраница 1
Структурная эквивалентность КС-грамматик разрешима. [1]
Информационное моделирование предусматривает установление структурной эквивалентности между реальным объектом и моделью. Прямой перенос этой идеи на учебный процесс приводит к возникновению установки на доминирование в нем деятельности по задаваемому образцу. У студентов появляется интерференция навыков бессмысленного копирования внешних, наиболее бросающихся в глаза признаков объектов. [2]
Аналогично можно доказать разрешимость структурной эквивалентности других объектов, связанных с порождением структур типа дерево, например, рекурсивных структур данных составных объектоВ ( ETOL - систем, моделирующих растущие биологические объекты, и ряд им подобных. При рассмотрении автоматов на деревьях свойство распознаваемости дерева формулируется в терминах параллельного пробега недетерминированного автомата по дереву. [3]
В любой информационной модели устанавливается структурная эквивалентность с реальным объектом только по некоторым, отвечающим целям моделирования, характеристикам. Машиностроительный чертеж является примером максимально полной графической модели технологического плана. В отличие от него в поисковом конструировании при моделировании возникает потребность в сохранении небольшой части информации, связанной с объемно-пространственным строением формы. [4]
Рациональная эквивалентность вообще отличается от структурной эквивалентности, но может и совпадать с ней. [5]
При этом должно удовлетворяться условие структурной эквивалентности, которое заключается в том, чтобы заменяющий механизм имел прежнюю степень свободы и чтобы характер мгновенного относительного движения всех его звеньев не изменился. [6]
 |
Примеры классификации структурных групп по И. И. Артоболевскому. [7] |
При замене высших пар должно быть соблюдено условие структурной эквивалентности - число условий связи заменяющей кинематической цепи должно равняться числу связей заменяемой высшей пары. С этой точки зрения каждая высшая пара эквивалентна одному звену, входящему в две низшие пары. [8]
Модельная система, первоначально рассмотренная Шером и Монтрол-лом, представляет собой регулярную решетку с ячейками, каждая из которых содержит случайный набор узлов, по которым прыгают носители. Химическая и структурная эквивалентность элементов означают отсутствие ловушек. В качестве основного флуктуирующего параметра была взята вероятность того события, что носитель останется на своем месте, примерно равная ехр [ - W ( r) t, где Щг) - скорость перескока между узлами. [10]
Очевидно, это свойство является локально-конечным. В силу следствия 9.2 получаем разрешимость проблемы структурной эквивалентности для КС-я зыков. [11]
В заметке [1] указана структурная характеристика квазисвободных классов алгебр. В конце показывается, что с точностью до структурной эквивалентности единственными аксиоматизируемыми гомоморфно замкнутыми классами моделей, допускающими теорию определяющих соотношений в смысле [3], являются квазипримитивные классы алгебраических систем. [12]
Категории К и К2 называются изоморфными [4], если возможно установить взаимно однозначное соответствие гр между элементами ( гомоморфизмами) Кг и К2, являющееся изоморфизмом при рассмотрении K и К2 в качестве частичных полугрупп. Для нас будет важным следующее более жесткое понятие структурной эквивалентности категорий. К - структуру 95 будет [ гомоморфизмом 9 ( ф в 95Ф и если существует обратное правило с соответствующими свойствами. Из теоремы 4 теперь непосредственно получается такое следствие. [13]
В структурной классификации и при решении некоторых задач кинематического анализа механизмов с высшими парами пользуются условной заменой высших пар низшими. Каждую высшую пару условно заменяют одним добавочным звеном, входящим в две низшие пары. При этом соблюдается условие структурной эквивалентности; число степеней свободы механизма не изменяется. [14]
Возникает вопрос о том, принадлежат ли переменные VI, V2 и V3 одному типу. Ответ не так прост, как может показаться на первый взгляд. Он зависит от трактовки эквивалентности типов в конкретном языке программирования. Обычно рассматривают два вида эквивалентности: структурную и именную. При структурной эквивалентности типов все три переменные VI, V2 и V3 будут принадлежать одному типу, поскольку их структуры ( число компонентов и их тип) абсолютно идентичны. При именной эквивалентности переменные VI и V2 принадлежат одному типу, а переменная V3 - другому. Имена типов различны, поэтому отличаются и переменные, описанные с их использованием. [15]
Страницы: 1