Основы формально-эвристического проектирования вакуумного оборудования электронной техники

• Автор: Львов, Борис Глебович
• Шифр специальности: 05.27.06
• Научная степень: Докторская
• Год защиты: 2001
• Место защиты: Москва
• Количество страниц: 435 с. : ил + Прил. (110 c.: ил. )

ГЛАВА 1. Особенности ВО ЭТ и его проектирования. Выводы. ГЛАВА 2. Системная модель деталей ВО ЭТ. Ситуации и стратегии проектирования ВО ЭТ. Выводы. ГЛАВА 3. Базовые отношения и утверждения. Обобщенные концептуальные эвристические модели описания объектов, действий и свойств. Системная модель формирования эвристических зависимостей проектирования. Методика формальноэвристического формирования моделей функционирования ВО ЭТ и его элементов. ГЛАВА 4. Системная модель и логическая структура параметрического выбора. Рис. Классификация абстрактных отношений
Отношения принадлежности устанавливают связь типа иметь имя идентифицирующие отношения и иметь свойство, иметь значение параметра или признака отношения принадлежности. Предикат Рх,ц означает, что объект х имеет параметр Р со значением ц. Отношения влияния имеют абстрактный смысл зависит без раскрытия сути связи. Эти отношения важны при построении графов связей между параметрами ТО и окружения. Предикат РНЦ,ц2 означает, что параметр Р1 влияет на параметр Р2.


Системная модель и логическая структура параметрического выбора. Рис. Классификация абстрактных отношений
Отношения принадлежности устанавливают связь типа иметь имя идентифицирующие отношения и иметь свойство, иметь значение параметра или признака отношения принадлежности. Предикат Рх,ц означает, что объект х имеет параметр Р со значением ц. Отношения влияния имеют абстрактный смысл зависит без раскрытия сути связи. Эти отношения важны при построении графов связей между параметрами ТО и окружения. Предикат РНЦ,ц2 означает, что параметр Р1 влияет на параметр Р2. Отношения эквивалентности вводятся изза того, что отношение равенства или идентичности для сравнения ТО практически неприменимо. Они означают неразличимость объектов Х1 и х2 по какомулибо признаку или критерию. Отношение эквивалентности предикат РЯ2х,х2 определяет разбиение класса ТО. Видами отношения эквивалентности являются широко применяемые в проектировании аналогия т. ТО и подобие т. ТО, определяемое некоторыми общими свойствами, например, одинаковость формы детали. Основными видами строгого порядка ВТО являются отношения иерархии, описываемые отношениями объект х включает объект у или объект х состоит из объектов у. Будем описывать эти отношения предикатами РСМ. Уи РБх,у1,. Любой технический объект описывается сложной системой подчиненных и независимых признаков. Предикат РСЧУ, означает тот факт, что признак П, подчинен признаку П,. Предикат ,означая, что пртнакиЦ иП, незаыкимые. К отношениям частичного нестрогого порядка относятся отношения предпочтения предикат РЛХьХг.