Функция - приведение
Cтраница 1
Функция приведения к четкости ( дефазификации) defuzz позволяет по заданной функции принадлежности определить соответствующее четкое значение. [1]
Функции приведения должны быть положительно однородными, не убывающими по каждому виду продукта, непрерывными и вогнутыми. [2]
Рассмотрим конкретный вид функций приведения и разметки для М - сети. Пусть г [ ] обозначает наименьшее общее кратное. [3]
В М - сети функции приведения определяют глубину буферов, с учетом которой функции разметки переносят свойства выходов на входы или наоборот. Через приведение свойств дуг учитывается взаимное влияние вершин, находящихся в отношениях прямого или обратного транзитивного замыкания с вершиной v ( /), но не находящихся в этих отношениях друг с другом, что обеспечивает глобальный анализ сети. [4]
Иногда ее называют масштабной функцией редукции, или функцией приведения. [6]
Будем считать, что если в одном из типов Тг, Т2 определена функция приведения ц: Т2 - ТХ, где IT I, Т2 - множества значений типов Тх и Т2 соответственно, или она может быть построена посредством некоторых формальных правил, то тип Т2 аппроксимирует тип Тх. Наличие функции приведения целых значений к вещественным позволяет сказать, что целый тип аппроксимирует вещественный тип. Теперь предстоит выяснить, в каких случаях и каким образом могут определяться функции приведения в различных типах. Рассмотрим сначала отношения между конструируемым и представляющим типами. [7]
Будем считать, что если в одном из типов Тг, Т2 определена функция приведения ц: Т2 - ТХ, где IT I, Т2 - множества значений типов Тх и Т2 соответственно, или она может быть построена посредством некоторых формальных правил, то тип Т2 аппроксимирует тип Тх. Наличие функции приведения целых значений к вещественным позволяет сказать, что целый тип аппроксимирует вещественный тип. Теперь предстоит выяснить, в каких случаях и каким образом могут определяться функции приведения в различных типах. Рассмотрим сначала отношения между конструируемым и представляющим типами. [8]
Иерархическое расширение подразумевает, что на каждом шаге расширения алгебры А представление значений нового типа и реализация его операций осуществляются в терминах алгебры А. При одиночном расширении единицей приращения алгебры является один тип данных. Этот механизм обеспечивает полную инкапсуляцию типов данных и позволяет введение функций приведения значений конструируемого типа лишь к значениям представляющего типа. При групповом расширении единицей приращения алгебры является группа типов. В пределах группы каждому типу известно представление других типов. Такой механизм обеспечивает частичную инкапсуляцию типов данных ( представление типа неизвестно вне группы и известно внутри ее) и благодаря этому дает возможность построения необходимых функций приведения между типами одной группы. [9]
Будем считать, что если в одном из типов Тг, Т2 определена функция приведения ц: Т2 - ТХ, где IT I, Т2 - множества значений типов Тх и Т2 соответственно, или она может быть построена посредством некоторых формальных правил, то тип Т2 аппроксимирует тип Тх. Наличие функции приведения целых значений к вещественным позволяет сказать, что целый тип аппроксимирует вещественный тип. Теперь предстоит выяснить, в каких случаях и каким образом могут определяться функции приведения в различных типах. Рассмотрим сначала отношения между конструируемым и представляющим типами. [10]
Параметрический полиморфизм связывается с родовыми типами и функциями, рассмотренными выше. Он действительно универсален, поскольку дает возможность составлять любое количество родовых конструкций, необходимых в данной программе или базе данных. Полиморфизм включения связывается с наследованием подтипом операций соответствующего образующего типа. В соответствии с трактовками подтипа, приведенными в разд. По этой причине полиморфизм включения следует считать частным случаем полиморфизма совмещения или полиморфизма приведения. Полиморфизм совмещения обеспечивается рассмотренным механизмом совмещения имен. Учитывая, что совмещать имена можно у операций неограниченного количества типов данных, этот вид полиморфизма следует, на наш взгляд, отнести к классу универсальных полиморфизмов. И наконец, полиморфизм приведения связан с неявным преобразованием значения одного типа в значение другого типа, когда это необходимо ( и возможно) для выполнения данной операции. Здесь также нет повода говорить о каком-либо полиморфизме, так как всегда выбирается определенная операция, которая исполняется над данными указанных в ее спецификации типов. Факт неявного ( не указанного в тексте программы) использования функции приведения свидетельствует лишь о наличии в языке программирования некоего сервиса для пользователя, облегчающего программирование стандартных ситуаций. [11]
Страницы: 1