Cтраница 2
Для каждого уровня семантической модели определяются формализованная семиотическая система, наборы операций и / или функций над элементами системы. Наборы операций и / или функций определяются для всех уровней, кроме последнего. [16]
На примере анализа семантической модели ПП СГ ( см. рис. 5.2) проектировщик должен выполнять следующие функции: 1) составление и ввод исходной информации; 2) формирование множества рассматриваемых вариантов активной части; 3) выбор расчетных моделей СГ; 4) контроль и корректировку процессов оптимизации; 5) анализ расчетных вариантов и выбор конечного варианта ( вариантов) СГ. [17]
У, существует такая семантическая модель R мощности т, что а, выполнима в К. [18]
На рис. 5.2 приведена семантическая модель расчетного проектирования СГ с принудительным охлаждением. [19]
На рис. 5.2 приведена семантическая модель расчетного проек-тиррвания СГ с принудительным охлаждением. [20]
Дальнейшая детализация и реализация семантической модели в САПР на рис. 6.3 требует изучения и обобщения неформальных процедур конструкторско-технологического проектирования. Включение в САПР полного арсенала эвристических алгоритмов и приемов дает возможность сохранить преемственность с традиционными ПП ЭМП и полностью использовать методы ручного проектирования там, где нет формальных методов. Следует иметь в виду, что сохранение в САПР полного объема неформальных процедур не позволяет существенно улучшить качество проектов, так как сохраняются большинство ограничений, присущих ручному проектированию. Поэтому при автоматизации конструкторско-тех-нологического проектирования следует по возможности на научной основе формализовать как можно больше этапов и процедур, используя для этого современные методы математического моделирования и принятия оптимальных решений, изложенные в предыдущих главах. [21]
Дальнейшая детализация и реализация семантической модели в САПР на рис. 6.3 требует изучения и обобщения неформальных процедур конструкторско-технологического проектирования. Включение в САПР полного арсенала эвристических алгоритмов и приемов дает возможность сохранить преемственность с традиционными ПП ЭМП и полностью использовать методы ручного проектирования там, где нет формальных методов. Следует иметь в виду, что сохранение в САПР полного объема неформальных процедур не позволяет существенно улучшить качество проектов, так как сохраняются большинство ограничений, присущих ручному проектированию. Поэтому при автоматизации конструкторско-тех-нологического проектирования следует по возможности на научной основе формализовать как можно больше этапов и процедур, используя для этого современные методы математического моделирования и принятия оптимальных решений, изложенные в предыдущих главах. [22]
Таким образом, формирование семантической модели является сущностью стадии ТЭО, где на семантическом языке устанавливается соответствие между целями и ресурсами. [23]
Предлагаемая система принципов построения многоуровневой семантической модели является концептуально новой, так как эта модель позволяет рассматривать геообъекты и с детерминированными границами, и с недетерминированными границами. По отдельным направлениям эта модель развивает именно те возможности ряда моделей ( georelational, OpenGIS open geodata и semantic geodata), которые существенны для поиска геообъектов по их пространственным признакам и содержательным аспектам. [24]
Примечание: Особый подтип данной семантической модели составляет группа терми-ноэпементов с обобщенным категориальным значением вещество, материал для категории понятий некоторых специальных областей знания ( химия, физика, геология, биология, медицина), представляющих спещфшсу образования: и употребления терминов. [25]
Имеется тесная связь между семантическими моделями и ординарными семантическими моделями. [26]
Такие модели были названы семантическими моделями. [27]
При реализации предлагаемых идей построения семантической модели число уровней может измениться. [28]
Предположим, что R является семантической моделью для У. [29]
Существует естественное взаимно-однозначное соответствие между каноническими семантическими моделями и Q-фильтрами в Q-алгебре 51 ( 5) ( см. § 1, стр. [30]