Cтраница 2
Данная работа является продолжением работы [1], посвященной описанию преобразований множества X слов в алфавите X, не размножающих искажений типа замены букв и пропуска букв в словах. Представляет интерес описание отображений множества Хц всех бесконечных периодических последовательностей в алфавите X во множество УП всех бесконечных периодических последовательностей алфавита Y, не размножающих искажений типа замены букв в последовательностях. Описанные в работе [1] преобразования, не размножающие искажений типа замены букв в словах, можно рассматривать как отображения, не увеличивающие значения расстояния Хемминга между словами. Понятие отображение не размножает искажения типа замены букв в последовательностях трактуется в работе как отображение, не увеличивающее значение вводимой в работе метрики на множестве бесконечных периодических последовательностей элементов конечного алфавита. Метрика вводится с помощью расстояния Хемминга между словами конечной одинаковой длины, и в этом смысле ее можно понимать как расстояние Хемминга между бесконечными периодическими последовательностями элементов алфавита. Основной результат состоит в описании класса автоматных отображений Хц в УП, не увеличивающих или не изменяющих указанного расстояния Хемминга между периодическими последовательностями. При этом под автоматным отображением понимается отображение, осуществляемое подходящим конечным автоматом при некотором фиксированном начальном состоянии. [16]
Из приведенного уравнения измерений следует, что при описании гра-дуировочного преобразования оно представлено линейной функцией. [17]
Матрица когерентности в сочетании с матрицами Джонсе служит для описания преобразования частично поляризованного света, распространяющегося через линейную недеполяризующую среду. Для описания распространения света через деполяризующие среды используются матрицы Мюллера. [18]
В последние годы все более широкое распространение получают матричные модели описания преобразования гранулометрического состава сыпучих материалов при их механической переработке. Однако при описании только процесса классификации порошка в одном аппарате ( особенно, без обратных связей) они не имеют преимуществ перед приведенными выше формулами. [19]
Временная группа определена только в пределах текущего оператора и объединяет с целью описания одинаковых преобразований несколько логических переменных или других групп. Фактически, выполняется операция конкатенации компонентов. [20]
Существует два подхода к разрешению структурных конфликтов: использование предопределенных правил преобразования или языка высокого уровня для описания преобразований. [21]
Таким образом, можно выделить три аспекта формального описания языка: описание строения языковых объектов различных уровней; описание нек-рых специальных отношений и классификаций на множествах: этих объектов; описание преобразований одних объектов в другие, а также строения множеств правильных объектов. [22]
Всякую седловую функцию / С, эквивалентную нижней и верхней сопряженным данной седловой функции К, мы будем просто называть сопряженной с К - Таким образом, следствие 37.1.1 содержит описание преобразования сопряжения для седловых функций, симметричное и взаимно однозначное с точностью до эквивалентности. Постоянные седловые функции и - с замкнуты и сопряжены друг с другом. Поскольку не существует отличных от них замкнутых несобственных седловых функций, седловая функция, сопряженная с замкнутой собственной седловой функцией, обязана быть собственной. [23]
Для описания преобразований сигналов, осуществляемых нестационарными системами, используют те же приемы, что и для стационарных систем. Отметим три класса нестационарных систем, которые представляют наибольший интерес для решения практических задач. [24]
Однако для определения многих неметрических свойств геометрических фигур предварительно устанавливать связь между Р и г не требуется. Кроме преимуществ, обусловленных унификацией описания преобразований координат, применение однородных координат дает возможность избежать многих аномальных случаев, возникающих при работе с декартовыми координатами, таких, например, как непересечение параллельных прямых, а также устраняет необходимость устанавливать различие между центральными и нецентральными коническими сечениями. [25]
Набор средств языка не позволяет описывать приемы машинной реализации задачи, чем достаточно определенно ограничивает глубину проработки алгоритмов постановщиками. Это замечание относится как к описанию преобразований информации, так и к описанию данных. В то же время описание на АЛТОП языке обеспечивает программиста всей необходимой информацией для построения эффективных программ. [26]
Складывая амплитуды этих волн и учитывая их фазовые набеги, можно вычислить амплитуду поля в любой интересующей нас точке пространства. Раздел физической оптики, в котором для описания преобразований структуры светового поля используется двумерный анализ Фурье, называется фурье-оптикой. Особенно удобно использовать аппарат фурье-оптики для характеристики дифракции Фраунгофера. [27]
Логика формирования выходной величины арифметического узла может представляться в программе как с помощью логических выражений, так и в арифметической форме. С точки зрения представления поведения варианты эквивалентны, но описание преобразований в арифметической форме интерпретируется в реальном устройстве типовыми узлами библиотеки системы проектирования, а запись в логической форме обеспечивает большую степень вмешательства разработчика в создание технической реализации. Часто форма представления определяется удобствами описания сложных структур, содержащих арифметические узлы. [28]
На этом заканчивается описание основных компонентов FP-системы. В следующем разделе мы коротко обсудим стиль программирования на языке FP. Этот вопрос представляет здесь скорее академический интерес, поскольку мы будем использовать FP в основном как инструмент описания преобразований, а не как инструмент разработки программного обеспечения. Однако, как мы увидим далее, FP хорошо иллюстрирует мощность функциональной нотации, и в особенности выразительную силу функций высшего порядка. [29]
Все процедуры по своей функциональной природе делятся на две группы. К первой группе относятся процедуры семантических преобразований данных, которые изменяют содержание преобразуемой информации. Ко второй группе относятся процедуры переразмещений, которые меняют только размещение информации на носителе. Средства описания преобразований позволяют описать процедуры каждой группы и связи между этими процедурами. [30]