Приложение А (обязательное). Дополнительные геометрические элементы

Приложение А
(обязательное)

Дополнительные геометрические элементы

А.1 Общие принципы

В настоящем приложении описаны параметризуемые геометрические элементы, необходимые для представления компонентов инженерно-технического обеспечения, которые не стандартизированы в ГОСТ Р 10.0.02.

Определения этих примитивов перечислены как спецификации EXPRESS в форме настоящего стандарта и как спецификации EXPRESS (ГОСТ Р ИСО 10303-11) и XSD.

А.2 Однородная многогранная призма

Примечания

1 Рисунки А.1-А.22 нецелесообразно приводить в соответствии с требованиями стандартов Единой системы конструкторской документации и Системы проектной документации для строительства в части применения и расшифровки условных обозначений, использованных на рисунках, в связи с тем, что использованные на рисунках условные обозначения ang, angle, an1, an2, ch1, ch2, depth, hei, he1, he2, len, le1, le2, lof, lo1, lo2, Imx, Imy, rad, ram, ra1, ra2, ra3, rof, wid, wi1, wi2, wi3, wth, а также обозначения осей x, у, z именно в таком виде приведены в подразделах "Спецификация EXPRESS", "Спецификация XSD (IFC)", "Спецификация EXPRESS (IFC)" А.2-А.23 настоящего приложения, содержащих описания примитивов на языке EXPRESS.

2 Расшифровку условных обозначений, использованных на рисунках А.1-А.22, см. в подразделах "Определение атрибутов" А.2-А.23 настоящего приложения.

Рисунок А.1 - Однородная многогранная призма

Идентификатор примитива: "uniform_polyhedral_prism"

Однородная многогранная призма - тип обычного призматического примитива КБГ с однородным многогранным основанием. Все боковые грани представляют собой прямоугольники одинаковых длины и ширины.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для равномерной многогранной призмы. Основание uniform_polyhedral_prism имеет свой центр в position.location, а нижняя сторона (минимум z) многогранника параллельна плоскости x-y.
len:	Длина основного размера вдоль оси х (position.р[1]).
rad:	Радиус окружности, касательной ко всем ребрам базовой грани (совпадает с радиусом окружности, касательной ко всем ребрам торцевой грани),
num:	Количество ребер и соответствующих им вершин базовой грани (совпадает с количеством ребер и соответствующих им вершин торцевой грани).

Формальные утверждения:

WR1: Длина len должна быть больше 0.

WR2: Радиус rad должен быть больше 0.

WR3: Число ребер num должно быть больше 2.

Спецификация в IFC:

Однородная многогранная призма определяется с помощью существующего примитива IFC: IfcExtrudedAreaSolid

Базовая грань определяется как параметризуемый 2D-профиль.

XSD Спецификация 2D-профиля:

EXPRESS-спецификация 2D-профиля (IFC):

А.3 Тороидальный изогнутый переходник

Рисунок А.2 - Тороидальный изогнутый переходник

Идентификатор примитива: "toroidal_bend_transition"

Тороидальный изогнутый переходник - это тип примитива КБГ с круглой базовой гранью и круглой торцевой гранью. Направляющая представляет собой сегмент окружности, лежащий в плоскости x-y с центром на положительном направлении оси y.

Поперечное сечение плоскости, перпендикулярной плоскости направляющей и ее центральной точке, всегда является окружностью. Радиусы всех этих окружностей - конусы на развернутой длине направляющей.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для тороидального изогнутого переходника. position определяет расположение системы координат для toroidal_bend_transition. Центр базовой круглой грани toroidal_bend_transition находится в position.location, а центр направляющей - на оси y.
ram:	Радиус (основной радиус) направляющей.
ra1:	Радиус базовой грани, параллельный плоскости y-z.
ra2:	Радиус торцевой грани.
ang:	Угол поворота между плоскостями двух круглых граней твердого тела, измеренный в секторе, содержащем твердое тело.

Формальные утверждения:

WR1: Радиус ram должен быть больше или равен максимуму из ra1 и ra2.

WR2: Радиус ra1 должен быть больше или равен 0.

WR3: Радиус ra2 должен быть больше или равен 0.

WR4: Радиус ra1 должен быть больше 0, если ra2 равен 0.

WR5: Радиус ra2 должен быть больше 0, если ra1 равен 0.

WR6: Угол ang должен быть больше 0.

WR7: Угол ang должен быть меньше или равен 360°.

Неформальные утверждения:

IP1: Toroidal_bend_transition может стать изогнутым тором, если начальный и конечный радиусы равны.

IP2: Изогнутый тор с углом поворота 360° является замкнутым тором.

Спецификация в IFC:

Тороидальные изогнутые переходники определяются с помощью существующих определений IFC.

toroidal_bend_transition определяется как:	IfcRevolvedAreaSolid
Базовая грань - это параметризованный 2D-профиль:	IfcCircleProfileDef
Базовая грань будет преобразована с помощью:	IfcDerivedProfileDef lfcCartesianTransformationOperator2D

А.4 Прямоугольный короб

Рисунок А.3 - Прямоугольный короб

Идентификатор примитива: "rectanqular_duct"

Прямоугольный короб - тип правильного призматического примитива КБГ с прямоугольным основанием. Его поведение при логических операциях такое же, как и у блока. Основание и торцевая поверхность являются открытыми, поэтому они могут отображаться как невидимые для представления короба из листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Расположение и ориентация системы координатных осей прямоугольного короба. rectangular_duct имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки листа металла, образующего короб (position.р[1]).
len:	Длина прямоугольного короба по оси х (position.р[1]).
wid:	Ширина прямоугольного короба по оси y (position.р[2]).
hei:	Высота прямоугольного короба по оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина wid должна быть больше 2*wth.

WR4: Высота hei должна быть больше 2*wth.

Спецификация в IFC:

Прямоугольный короб определяется с помощью существующих определений IFC.

rectangular_duct определяется как: IfcExtrudedAreaSolid

Базовая грань - это параметризованный 2D-профиль: IfcRectangleHollowProfileDef

А.5 Переходник прямоугольного короба

Рисунок А.4 - Переходник прямоугольного короба

Идентификатор примитива: "rectangular_duct_transition"

Переходник прямоугольного короба - тип обычного примитива КБГ с прямоугольными основной и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основная и торцевая грани могут отображаться как невидимые для изготовления переходника короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для переходника прямоугольного короба. rectangular_duct_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки листа металла, образующего переходник короба (position.р[1]).
len:	Длина переходника прямоугольного короба по оси х (position.р[1]).
wi1:	Ширина основной грани переходника прямоугольного короба вдоль оси y (position.р[2]).
wi2:	Ширина торцевой грани переходника прямоугольного короба вдоль оси y (position.р[2]).
he1:	Высота основной грани переходника прямоугольного короба вдоль оси z (position.р[3]).
he2:	Высота торцевой грани переходника прямоугольного короба вдоль оси z (position.р[3]).
lof:	Поперечное смещение торцевой грани переходника прямоугольного короба вдоль оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани переходника прямоугольного короба вдоль оси z (position.р[3]).
ra1:	Радиус закругления на нижней стороне основной грани по оси y.
ra2:	Радиус закругления на верхней стороне основной грани по оси y.
ch1:	Глубина выемки под 45° на нижней стороне основной грани по оси y.
ch2:	Глубина выемки под 45° на верхней стороне основной грани по оси y.

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина wi1 должна быть больше 2*wth.

WR4: Ширина wi2 должна быть больше 2*wth.

WR5: Высота he1 должна быть больше 2*wth.

WR6: Высота he2 должна быть больше 2*wth.

WR7: Радиус ra1 должен быть больше или равен 0.

WR8: Радиус ra2 должен быть больше или равен 0.

WR9: Глубина выемки ch1 должна быть больше или равна 0.

WR10: Глубина выемки ch2 должна быть больше или равна 0.

WR11: Радиус ra1 должен быть равен 0, если глубина выемки ch1 больше 0.

WR12: Радиус ra2 должен быть равен 0, если глубина выемки ch2 больше 0.

WR13: Глубина выемки ch1 должна быть равна 0, если радиус ra1 больше 0.

WR14: Глубина выемки ch2 должна быть равна 0, если радиус ra2 больше 0.

Неформальные утверждения:

IP1: Вертикальные и поперечные смещения могут быть введены как положительные или отрицательные значения, отраженные на оси y или z.

IP2: Радиусы входных отверстий или выемок могут быть указаны для одной или обеих сторон. Значения выемок входных отверстий определяют глубину выемок под 45°. В то же время для радиуса входного отверстия и выемки значения могут не указываться - указывается значение либо для радиуса, либо для выемки.

Спецификация в IFC:

Переходники коробов без радиусов и выемок определяются с помощью существующих определений IFC.

rectangular_duct_transition определяется как:	IfcExtrudedAreaSolid
Базовая грань - это параметризованный 2D-профиль:	IfcRectangleHollowProfileDef
Включено преобразование стартовой грани с помощью:	IfcDerivedProfileDef lfcCartesianTransformationOperator2D

Переходники коробов с радиусами и выемками определяются с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.6 Изгиб прямоугольного короба

Рисунок A.5 - Изгиб прямоугольного короба

Идентификатор примитива: "rectanqular_duct_bend"

Изгиб прямоугольного короба - тип обычного примитива КБГ с прямоугольными основной и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основная и торцевая грани могут отображаться как невидимые для изготовления изгиба короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей изгиба прямоугольного короба. rectangular_duct_bend имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки листа металла, образующего изгиб короба (position.р[1]).
len:	Длина изгиба прямоугольного короба по оси х (position.р[1]).
ang:	Размер изгиба прямоугольного короба вдоль оси х (position.р[1]).
wi1:	Размер основной грани изгиба прямоугольного короба вдоль оси y (position.р[2]).
wi2:	Размер торцевой грани изгиба прямоугольного короба в плоскости х-y.
hei:	Размер основной грани изгиба прямоугольного короба по оси z (position.р[3]).
ra1:	Радиус закругления на внутренней стороне изгиба короба.
ra2:	Радиус закругления на внешней стороне изгиба короба.
ch1:	Глубина симметричной выемки на внутренней стороне изгиба короба.
ch2:	Глубина симметричной выемки на внешней стороне изгиба короба.

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Угол ang должен быть больше 0.

WR3: Угол ang должен быть меньше или равен 360.

WR4: Ширина wi1 должна быть больше 2*wth.

WR5: Ширина wi2 должна быть больше 2*wth.

WR6: Высота hei должна быть больше 2*wth.

WR7: Радиус ra1 должен быть больше или равен 0.

WR8: Радиус ra2 должен быть больше или равен 0.

WR9: Глубина выемки ch1 должна быть больше или равна 0.

WR10: Глубина выемки ch2 должна быть больше или равна 0.

WR11: Радиус ra1 должен быть равен 0, если глубина выемки ch1 больше 0.

WR12: Радиус ra2 должен быть равен 0, если глубина выемки ch2 больше 0.

WR13: Глубина выемки ch1 должна быть равна 0, если радиус ra1 больше 0.

WR14: Глубина выемки ch2 должна быть равна 0, если радиус ra2 больше 0.

Неформальные утверждения:

IP1: Все общие формы изгибов и углов стен описываются путем ввода положительных значений (изгиб), отрицательных значений (выемки) или значением в градусах (угол) для радиусов. Радиусы или выемки могут быть указаны для одной или обеих сторон.

IP2: Выемки симметричны. Следовательно, для общего угла, например, 90°, угол выемки равен 45°. Сечение wi2 hei находится на торцевой грани изгиба, имеющей радиус ra1 или ra2, или на конце соответствующих выемок ch1 или ch2.

IP3: Нельзя одновременно указывать значения радиусов и выемок на одной стороне, указывают либо радиус, либо выемку. На рисунке А.5 приведены внутренний радиус ra1 и внешняя выемка ch2 (ra2 и ch1 не указаны).

IP4: Выемки невозможны при углах от 180° до 360°. В этом случае игнорируется любое значение, данное для ra2. Затем ra2 вычисляется как наименьшая возможная касательная окружность на внешних стенках изгиба короба.

Спецификация в IFC:

Изгиб прямоугольного короба определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.7 Тройник прямоугольного короба

Рисунок A.6 - Тройник прямоугольного короба

Идентификатор примитива: "rectangular_duct_tee"

Тройник прямоугольного короба - тип обычного примитива КБГ с одним прямоугольным основанием и двумя прямоугольными торцевыми гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевые поверхности могут отображаться как невидимые для выполнения тройника короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей тройника прямоугольного короба. rectangular_duct_tee имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей координат.
wth:	Размер толщины стенки тонкого листового металла, образующего тройник короба (position.р[1]).
wi1:	Размер базовой грани тройника прямоугольного короба по оси y (position.р[2]).
wi2:	Размер торцевой грани тройника прямоугольного короба вдоль оси х (position.р[1]) ниже оси y.
wi3:	Размер торцевой грани тройника прямоугольного короба вдоль оси х (position.р[1]) выше оси y.
hei:	Размер базовой грани тройника прямоугольного короба вдоль оси z (position.р[3]).
ra1:	Радиус скругления ниже оси y.
ra2:	Радиус скругления выше оси y.
ch1:	Глубина симметричной выемки ниже оси y.
ch2:	Глубина симметричной выемки выше оси y.
lo1:	Поперечное смещение радиуса или выемки ниже оси y вдоль оси х (position.р[1]).
lo2:	Поперечное смещение радиуса или выемки выше оси y вдоль оси х (position.р[1]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Ширина wi1 должна быть больше 2*wth.

WR3: Ширина wi2 должна быть больше 2*wth.

WR4: Ширина wi3 должна быть больше 2*wth.

WR5: Высота hei должна быть больше 2*wth.

WR6: Радиус ra1 должен быть больше или равен 0.

WR7: Радиус ra2 должен быть больше или равен 0.

WR8: Глубина выемки ch1 должна быть больше или равна 0.

WR9: Глубина выемки ch2 должна быть больше или равна 0.

WR10: Радиус ra1 должен быть равен 0, если глубина выемки ch1 больше 0.

WR11: Радиус ra2 должен быть равен 0, если глубина выемки ch2 больше 0.

WR12: Глубина выемки ch1 должна быть равна 0, если радиус ra1 больше 0.

WR13: Глубина выемки ch2 должна быть равна 0, если радиус ra2 больше 0.

WR14: Поперечное смещение lo1 должно быть больше или равно 0.

WR15: Поперечное смещение lo2 должно быть больше или равно 0.

WR16: Поперечное смещение lo1 должно быть равно 0, если поперечное смещение lo2 больше 0.

WR17: Поперечное смещение lo2 должно быть равно 0, если поперечное смещение lo1 больше 0.

Неформальные утверждения:

IP1: Радиусы или выемки могут быть указаны для одной или обеих сторон. Значения входных выемок определяют глубину выемок под 45°. Нельзя одновременно указывать значения для радиусов и выемок на одной стороне, указывают либо радиус, либо выемку.

IP2: Либо lo1 = 0, либо lo2 = 0. Сечения и лежат на конце радиусов или выемок под 45°.

Спецификация в IFC:

Тройники коробов определяются с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.8 Y-тройник прямоугольного короба

Рисунок A.7 - Y-тройник прямоугольного короба

Идентификатор примитива: "rectanqular_duct_wye"

Y-тройник прямоугольного короба - тип обычного примитива КБГ с одной прямоугольной базовой гранью и двумя прямоугольными торцевыми гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевые поверхности могут отображаться как невидимые для выполнения Y-тройника короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей Y-тройника прямоугольного короба. rectangular_duct_wye имеет одну вершину в position.location, а его ребра сонаправлены с положительными направлениями осей.
wth:	Величина толщины стенки тонкого листового металла, образующего Y-тройник короба (position.р[1]).
wi1:	Размер базовой грани Y-тройника прямоугольного короба вдоль оси y (position.р[2]).
wi2:	Размер торцевой грани Y-тройника прямоугольного короба вдоль оси х (position.р[1]) ниже оси y.
wi3:	Размер торцевой грани Y-тройника прямоугольного короба вдоль оси х (position.р[1]) выше оси y.
hei:	Размер базовой грани Y-тройника прямоугольного короба вдоль оси z (position.р[3]).
len	Длина Y-тройника прямоугольного короба по оси х (position.р[1]).
lmx:	Поперечное смещение Y-ветвления ребра по оси х (position.р[1]).
lmy:	Поперечное смещение Y-ветвления ребра по оси y (position.р[2]).
lo1:	Поперечное смещение Y-ветвления ребра ниже и вдоль оси y (position.р[2]).
lo2:	Поперечное смещение Y-ветвления ребра выше и вдоль оси y (position.р[2]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Длина lmx должна быть меньше или равна len.

WR4: Длина lmy должна быть меньше или равна wi1+lmx/len*lo2-wth.

WR5: Длина lmy должна быть больше или равна lmx/len*lo1+wth.

WR6: Ширина wi1 должна быть больше 2*wth.

WR7: Ширина wi2 должна быть больше 2*wth.

WR8: Ширина wi3 должна быть больше 2*wth.

WR9: Высота hei должна быть больше 2*wth.

Неформальные утверждения:

IP1: Смещения могут иметь положительные или отрицательные значения по оси y.

IP2: Y-тройники с ножками разной длины можно создать с помощью примитива rectangle_duct_transition.

Спецификация в IFC:

Y-тройник прямоугольного короба определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.9 Прямоугольный/овальный переходник

Рисунок A.8 - Прямоугольный/овальный переходник

Идентификатор примитива: "rectangle_oval_transition"

Прямоугольный овальный переходник - тип обычного примитива КБГ с прямоугольной базовой гранью и овальной торцевой гранью. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения прямоугольного/овального переходника из тонкого металлического листа.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для прямоугольного овального переходника. rectangle_oval_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительными направлениями осей.
wth:	Размер толщины стенки тонкого листового металла, образующего прямоугольный овальный переходник (position.р[1]).
len:	Размер длины прямоугольного овального переходника по оси х (position.р[1]).
wi1:	Ширина базовой грани прямоугольного овального переходника основания по оси y (position.р[2]).
wi2:	Ширина торцевой грани прямоугольника овального переходника по оси y (position.р[2]).
he1:	Высота базовой грани прямоугольного овального переходника основания вдоль оси z (position.р[3]).
he2:	Высота торцевой грани прямоугольника овального переходника по оси z (position.р[3]).
lof:	Боковое смещение торцевой грани прямоугольного овального переходника вдоль оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани прямоугольного овального переходника по оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина wi1 должна быть больше 2*wth.

WR4: Ширина wi2 должна быть больше 2*wth.

WR5: Высота he1 должна быть больше 2*wth.

WR6: Высота he2 должна быть больше 2*wth.

Неформальные утверждения:

IP1: Вертикальные и боковые смещения могут быть заданы положительными или отрицательными значениями по оси y или z.

IP2: Расположение круглых стенок овального сечения зависит от того, какой из двух размеров поперечного сечения меньше (hei2 или wi2).

Спецификация в IFC:

Прямоугольный овальный переходник определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.10 Прямоугольный/круглый переходник

Рисунок A.9 - прямоугольный/круглый переходник

Идентификатор примитива: "rectangle_round_transition"

Прямоугольный/круглый переходник - тип обычного примитива КБГ с прямоугольной базовой гранью и круглой торцевой гранью. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения прямоугольного/круглого переходника из тонкого металлического листа.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для прямоугольного круглого переходника. rectangle_round_transition имеет одну вершину в position.location, а его грани сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего прямоугольный круглый переходник (position. р[1]).
len:	Длина прямоугольного круглого переходника вдоль оси х (position.р[1]).
wid:	Ширина базовой грани прямоугольного переходника по оси y (position.р[2]).
hei:	Высота базовой грани прямоугольного переходника по оси z (position.р[3]).
rad:	Радиус торцевой грани круглого переходника по оси y (position.р[2]).
lof:	Поперечное смещение торцевой грани круглого переходника по оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани круглого переходника по оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина должна быть больше 2*wth.

WR4: Высота hei должна быть больше 2*wth.

WR5: Радиус rad должен быть больше wth.

Неформальные утверждения:

IP1: Вертикальные и боковые смещения могут быть определены положительными или отрицательными значениями по оси y или оси z.

Спецификация в IFC:

Прямоугольный круглый переходник определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.11 Трапециевидный короб

Рисунок A.10 - Трапециевидный короб

Идентификатор примитива: "trapezoidal_duct"

Трапециевидный короб - тип обычного призматического примитива КБГ с трапециевидными базовой и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей трапециевидного короба. trapezoidal_duct имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего короб (position.р[1]).
len:	Длина трапециевидного короба по оси х (position.р[1]).
wi1:	Ширина трапециевидного короба ниже оси z вдоль оси y (position.р[2]).
wi2:	Ширина трапециевидного короба выше оси z вдоль оси y (position.р[2]).
hei:	Высота трапециевидного короба по оси z (position.р[3]).
tof:	Поперечное смещение трапециевидного короба выше оси z вдоль оси y (position.р[2]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина wi1 должна быть больше 2*wth.

WR4: Ширина wi2 должна быть больше или равна 0.

WR5: Высота hei должна быть больше 2*wth.

Неформальные утверждения:

IP1: Смещение tof может быть определено как положительными, так и отрицательными значениями по оси y.

IP2: Значение ширины wi2 также может стать нулевым, и в этом случае трапециевидный короб является треугольным.

Спецификация в IFC:

Трапециевидный короб определяется с помощью существующего определения: IfcExtrudedAreaSolid.

Базовая грань определяется как параметризуемый 2D-профиль.

Спецификация XSD 2D-профиля (IFC):

Спецификация XSD:

Спецификация EXPRESS:

А.12 Переходник трапециевидного короба

Рисунок А.11 - Переходник трапециевидного короба

Идентификатор примитива: "trapezoidal_duct_transition"

Переходник трапециевидного короба - тип обычного примитива КБГ с трапециевидными базовой и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения переходника короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для переходника трапециевидного короба. trapezoidal_duct_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего переходник трапециевидного короба (position. р[1]).
len:	Длина переходника трапециевидного короба по оси х (position.р[1]).
wi1:	Ширина базовой грани переходника трапециевидного короба ниже оси z вдоль оси y (position.р[2]).
wi2:	Ширина базовой грани переходника трапециевидного короба выше оси z вдоль оси y (position.р[2]).
wi3:	Ширина торцевой грани переходника трапециевидного короба ниже оси z вдоль оси y (position.р[2]).
he1:	Высота базовой грани переходника трапециевидного короба вдоль оси z (position.р[3]).
he2:	Высота торцевой грани переходника трапециевидного короба вдоль оси z (position.р[3]).
tof:	Поперечное смещение трапециевидного переходника выше оси z вдоль оси y (position.р[2]).
lof:	Поперечное смещение торцевой грани переходника трапециевидного короба вдоль оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани переходника трапециевидного короба вдоль оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина wi1 должна быть больше 2*wth.

WR4: Ширина wi2 должна быть больше или равна 0.

WR5: Ширина wi3 должна быть больше 2*wth.

WR6-WR10: Неравенства в WR6-WR10 представляют собой преобразования одного единственного неравенства, которое показывает, что две боковые поверхности не пересекаются.

WR11: Высота he1 должна быть больше 2*wth.

WR12: Высота he2 должна быть больше 2*wth.

Неформальные утверждения:

IP1: Вертикальные и поперечные смещения могут быть определены как положительными, так и отрицательными значениями по оси y или z.

Спецификация в IFC:

Переходник трапециевидного короба определяется с помощью существующих определений IFC.

trapezoidal_duct_transition определяется как:	IfcExtrudedAreaSolid
Базовая грань - это параметризованный 2D-профиль:	IfcTrapeziumHollowProfileDef (см. А.10)
Включено преобразование начальной грани с помощью:	IfcDerivedProfileDef lfcCartesianTransformationOperator2D

А.13 Овальный короб

Рисунок А.12 - Овальный короб

Идентификатор примитива: "oval_duct"

Овальный короб - тип обычного призматического примитива КБГ с овальной базовой гранью. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей овального короба. Oval_duct имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего овальный короб (position.р[1]).
len:	Длина овального короба по оси х (position.р[1]).
wid:	Ширина овального короба по оси y (position.р[2]).
hei:	Высота овального короба по оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина должна быть больше 2*wth.

WR4: Высота hei должна быть больше 2*wth.

Неформальные утверждения:

IP1: Ориентация овала определяется размером hei или wid, в зависимости от того, какое абсолютное значение больше.

|hei| > |wid| вертикальный овал

|hei| < |wid| горизонтальный овал

Спецификация в IFC:

Oval_duct определяется с помощью существующего определения: IfcExtrudedAreaSolid.

Базовая грань определяется как параметризуемый 2D-профиль.

Спецификация XSD 2D-профиля (IFC):

Спецификация XSD:

Спецификация EXPRESS:

A.14 Переходник овального короба

Рисунок A.13 - Переходник овального короба

Идентификатор примитива: "oval_duct_transition"

Переходник овального короба - тип обычного примитива КБГ с овальными базовой и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения переходника короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для переходника овального короба. Oval_duct_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего переходник короба (position.р[1]).
len:	Длина переходника овального короба вдоль оси х (position.р[1]).
wi1:	Ширина базовой грани переходника овального короба вдоль оси y (position.р[2]).
wi2:	Ширина торцевой грани переходника овального короба вдоль оси y (position.р[2]).
he1:	Высоты базовой грани переходника овального короба вдоль оси z (position.р[3]).
he2:	Высоты торцевой грани переходника овального короба вдоль оси z (position.р[3]).
lof:	Поперечное смещение торцевой грани переходника овального короба вдоль оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани переходника овального короба вдоль оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина wi1 должна быть больше 2*wth.

WR4: Ширина wi2 должна быть больше 2*wth.

WR5: Высота he1 должна быть больше 2*wth.

WR6: Высота he2 должна быть больше 2*wth.

Неформальные утверждения:

IP1: Вертикальные и поперечные смещения могут быть определены как положительными, так и отрицательными значениями по оси y или z.

IP2: Ориентации овалов определяются в зависимости от наибольшего абсолютного значения размеров he1 или wi1 и he2 или wi2 соответственно.

Спецификация в IFC:

Переходник трапециевидного короба определяется с помощью существующих определений IFC.

Oval_duct_transition определяется как:	IfcExtrudedAreaSolid
Базовая грань - это параметризованный 2D-профиль:	IfcOvalHollowProfileDef (см. А.12)
Включено преобразование начальной грани с помощью:	IfcDerivedProfileDef lfcCartesianTransformationOperator2D

А.15 Изгиб овального короба

Рисунок А.14 - Изгиб овального короба

Идентификатор примитива: "oval_duct_bend"

Изгиб овального короба - тип обычного примитива КБГ с овальными базовой и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения изгиба короба из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для изгиба овального короба. Oval_duct_bend имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего изгиб короба (position.р[1]).
ang:	Угол поворота между плоскостями двух овальных граней твердого тела, измеренный в секторе, содержащем твердое тело.
wi1:	Размер базовой грани изгиба овального короба вдоль оси y (position.р[2]).
wi2:	Размер торцевой грани изгиба овального короба в плоскости x-y.
hei:	Размер базовой грани изгиба овального короба вдоль оси z (position.р[3]).
ra1:	Радиус закругления на внутренней стороне изгиба воздуховода.
ra2:	Радиус закругления на внешней стороне изгиба воздуховода.

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Угол ang должен быть больше 0.

WR3: Угол ang должен быть меньше или равен 360.

WR4: Ширина wi1 должна быть больше 2*wth.

WR5: Ширина wi2 должна быть больше 2*wth.

WR6: Высота hei должна быть больше 2*wth.

WR7: Радиус ra1 должен быть больше 0.

WR8: Радиус ra2 должен быть больше ra1+2*wth.

Неформальные утверждения:

IP1: При углах поворота от 180° до 360° любое значение, указанное для ra2, будет игнорироваться. ra2 рассчитывается как наименьшая касательная окружность на внешних стенках изгиба короба.

IP2: Сечение wi2 x hei расположено в конце изгиба круга, имеющего радиус ra2 или ra1.

IP3: Ориентации овалов определяются в зависимости от наибольшего абсолютного значения размеров hei или wi1 и hei или wi2 соответственно.

Спецификация в IFC:

Oval_duct_bend определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.16 Овальный/круглый переходник

Рисунок A.15 - Овальный/круглый переходник

Идентификатор примитива: "oval_round_transition"

Овальный/круглый переходник - тип обычного примитива КБГ с прямоугольной базовой гранью и круглой торцевой гранью. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения прямоугольного/круглого переходника из тонкого металлического листа.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для овального/круглого переходника. Oval_round_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего овальный/круглый переходник (position.р[1]).
len:	Длины овального/круглого переходника по оси х (position.р[1]).
wid:	Ширина базовой грани овального/круглого переходника по оси y (position.р[2]).
hei:	Высота базовой грани овального/круглого переходника вдоль оси z (position.р[3]).
rad:	Радиус торцевой грани круглого переходника по оси y (position.р[2]).
lof:	Поперечное смещение торцевой грани круглого переходника по оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани круглого переходника по оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше или равна 0.

WR2: Длина len должна быть больше 0.

WR3: Ширина должна быть больше 2*wth.

WR4: Высота hei должна быть больше 2*wth.

WR5: Радиус rad должен быть больше wth.

Неформальные утверждения:

IP1: Вертикальные и поперечные смещения могут быть определены как положительными, так и отрицательными значениями по оси y или z.

IP2: Ориентации овалов определяются в зависимости от наибольшего абсолютного значения размеров hei или wid.

Спецификация в IFC:

Oval_round_transition определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

A.17 Круглая труба

Рисунок A.16 - Круглая труба

Идентификатор примитива: "round_pipe"

Круглая труба - тип обычного призматического примитива КБГ с круглой базовой гранью. Его поведение при логических операциях такое же, как и у правильного круглого цилиндра. Основание и торцевая поверхность могут отображаться как невидимые для выполнения труб из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей круглой трубы. round_pipe имеет одну вершина в position.location, а его ребра сонаправлены с положительным направлением осей. Центральной осью трубы является ось x.
wth:	Толщина стенки тонкого листового металла, образующего круглую трубу (position.р[1]).
len:	Длина круглой трубы по оси х (position.р[1]).
rad:	Радиус круглой трубы по оси y (position.р[2]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Радиус rad должен быть больше wth.

Спецификация в IFC:

round_pipe определяется с помощью существующих определений IFC.

round_pipe определяется как: IfcExtrudedAreaSolid

Базовая грань - это параметризованный 2D-профиль: IfcCircleHollowProfileDef

А.18 Переходник круглой трубы

Рисунок А.17 - Переходник круглой трубы

Идентификатор примитива: "round_pipe_transition"

Переходник круглой трубы - тип обычного примитива КБГ с круглыми базовой и торцевой гранями. Его поведение при логических операциях такое же, как и у эксцентричного конуса. Основание и торцевая поверхность могут отображаться как невидимые для выполнения переходника круглой трубы из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей переходника круглой трубы. round_pipe_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего переходник круглой трубы (position.р[1]).
len:	Длина переходника круглой трубы по оси х (position.р[1]).
ra1:	Высота базовой грани переходника круглой трубы вдоль оси y (position.р[2]).
ra2:	Радиус торцевой грани круглого переходника по оси y (position.р[2]).
lof:	Поперечное смещение торцевой грани круглого переходника вдоль оси y (position.р[2]).
vof:	Вертикальное смещение торцевой грани круглого переходника вдоль оси z (position.р[3]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Радиус ra1 должен быть больше wth.

WR4: Радиус ra2 должен быть больше wth.

Неформальные утверждения:

IP1: Вертикальные и поперечные смещения могут быть определены как положительными, так и отрицательными значениями по оси y или z.

Спецификация в IFC:

Переходник круглой трубы определяется с помощью существующих определений IFC.

Round_pipe_transition определяется как:	IfcExtrudedAreaSolid
Базовая грань - это параметризованный 2D-профиль:	IfcCircleHollowProfileDef
Включено преобразование начальной грани с помощью:	IfcDerivedProfileDef lfcCartesianTransformationOperator2D

А.19 Радиальный переходник круглой трубы

Рисунок А.18 - Радиальный переходник круглой трубы

Идентификатор примитива: "round_pipe_radius_transition"

Радиальный переходник круглой трубы - это тип обычного примитива КБГ с круглыми базовой и торцевой гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевая поверхность могут отображаться как невидимые для выполнения переходника круглой трубы из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для переходника круглой трубы. round_pipe_radius_transition имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего радиальный переходник круглой трубы (position.р[1]).
len:	Длина радиального переходника круглой трубы вдоль оси х (position.р[1]).
ra1:	Высота базовой грани радиального переходника круглой трубы вдоль оси z (position.р[3]).
ra2:	Радиус торцевой грани радиального переходника круглой трубы по оси y (position.р[2]).
ra3:	Радиус между базовой и торцевой гранями радиального переходника круглой трубы вдоль оси y (position.р[2]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Длина len должна быть больше 0.

WR3: Радиус ra1 должен быть больше wth.

WR4: Радиус ra2 должен быть больше wth.

WR5: Радиус ra3 строится как положительная (вогнутая) или отрицательная (выпуклая) дуга окружности между точками, определенными ra1, ra2 и len (основная геометрическая задача: заданы две точки и радиус окружности).

Следовательно, абсолютное значение ra3 не должно быть меньше половины расстояния между точками:

.

Спецификация в IFC:

round_pipe_radius_transition определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

А.20 Изогнутый переходник круглой трубы

Рисунок А.19 - Изогнутый переходник круглой трубы

Идентификатор примитива: "round_pipe_bend_transition"

Изогнутый переходник круглой трубы - тип примитива КБГ с круглыми базовой и торцевой гранями. Направляющая - отрезок окружности, лежащий в плоскости x-y, с центром на положительной оси y.

Поперечное сечение плоскости, перпендикулярной плоскости, проходящей через направляющую и ее центральную точку, всегда является окружностью. Радиусы всех этих окружностей - это конусы на развернутой длине направляющей.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей для изогнутого переходника круглой трубы. Базовая круглая грань round_pipe_bend_transition имеет центр в position.location, а центр направляющей лежит на оси y.
wth:	Толщина стенки тонкого листового металла, образующего изогнутый переходник круглой трубы (position.р[1]).
ram:	Радиус (главный радиус) направляющей.
ra1:	Радиус стартовой грани, параллельной плоскости y-z.
ra2:	Радиус торцевой грани.
ang:	Угол поворота между плоскостями двух круглых граней твердого тела, измеренный в секторе, содержащем твердое тело.

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Радиус ram должен быть больше или равен максимуму из ra1 и ra2.

WR3: Радиус ra1 должен быть больше или равен wth.

WR4: Радиус ra2 должен быть больше или равен wth.

WR5: Угол ang должен быть больше 0.

WR6: Угол наклона должен быть меньше или равен 360°.

Неформальные утверждения:

IP1: Изогнутый переходник круглой трубы может стать изгибом тора, если радиусы базовой и торцевой граней равны.

IP2: Изгиб тора с углом поворота 360° является замкнутым тором.

Спецификация в IFC:

round_pipe_bend_transition определяются с помощью существующих определений IFC.

round_pipe_bend_transition определяется как:	IfcRevolvedAreaSolid
Базовая грань - это параметризованный 2D-профиль:	IfcHollowCircleProfileDef
Базовая грань преобразовывается с помощью:	IfcDerivedProfileDef lfcCartesianTransformationOperator2D

А.21 Y-тройник круглой трубы

Рисунок А.20 - Y-тройник круглой трубы

Идентификатор примитива: "round_pipe_wye"

Y-тройник круглой трубы - тип обычного примитива КБГ с одной круглой базовой гранью и двумя круглыми торцевыми гранями. Его поведение при логических операциях такое же, как и у твердотельного примитива. Основание и торцевые поверхности могут отображаться как невидимые для выполнения Y-тройника круглой трубы из тонкого листового металла.

Спецификация EXPRESS:

Определения атрибутов:

position:	Положение и ориентация системы координатных осей Y-тройника круглой трубы. round_pipe_wye имеет одну вершину в position.location, а его ребра сонаправлены с положительным направлением осей.
wth:	Толщина стенки тонкого листового металла, образующего Y-тройник круглой трубы (position.р[1]).
ra1:	Радиус базовой грани Y-тройника круглой трубы по оси y (position.р[2]).
ra2:	Радиус торцевой грани Y-тройника круглой трубы по оси х (position.р[1]) ниже оси y.
ra3:	Радиус торцевой грани Y-тройника круглой трубы по оси х (position.р[1]) выше оси y.
le1:	Длина торцевой грани Y-тройника круглой трубы по оси х (position.р[1]) ниже оси y.
le2:	Длина торцевой грани Y-тройника круглой трубы по оси х (position.р[1]) выше оси y.
an1:	Угол между ветвью Y-тройника круглой трубы ниже оси y и осью х (position.р[1]).
an2:	Угол между ветвью Y-тройника круглой трубы выше оси y и осью х (position.р[1]).

Формальные утверждения:

WR1: Толщина стенки wth должна быть больше 0.

WR2: Радиус ra1 должен быть больше или равен 0.

WR3: Радиус ra2 должен быть больше или равен 0.

WR4: Радиус ra3 должен быть больше или равен 0.

WR5: Длина le1 должна быть больше 0.

WR6: Длина le2 должна быть больше 0.

WR7: Угол an1 должен быть больше -90.

WR8: Угол an1 должен быть меньше 90.

WR9: Угол an2 должен быть больше -90.

WR10: Угол an2 должен быть меньше 90.

Неформальные утверждения:

IP1: Смещения могут быть определены положительными или отрицательными значениями по оси y. Y-тройники с ветвями разной длины можно создать с помощью примитива round_pipe_transition.

IP2: Углы к осям конических ветвей начинают строиться от оси х вправо и влево соответственно. Они также могут быть введены как отрицательные значения.

Спецификация в IFC:

round_pipe_wye определяется с помощью следующих определений IFC.

Спецификация XSD (IFC):

Спецификация EXPRESS (IFC):

А.22 Выдавленная грань короба

1 - направление выдавливания

Рисунок А.21 - Выдавленная грань короба

Идентификатор примитива: "extruded_face_duct"

Выдавленная грань короба - твердое тело, определяемое с помощью выдавливания плоской грани. Направление выдавливания определяется вектором выдавливания, а расстояние выдавливания определяется глубиной. Плоская грань может не иметь никаких отверстий.

Спецификация EXPRESS:

Определения атрибутов:

SELF\swept_face_solid.swept_face: Грань, которая будет выдавлена для создания твердого тела.

wth: Толщина стенки тонкого листового металла, образующего выдавленную грань короба (position.р[1]).

extruded_direction: Направление, в котором должна быть выдавлена грань.

depth: Расстояние, на которое должна быть выдавлена грань.

Неформальные утверждения:

IP1: Направление выдавливания не должно быть перпендикулярно нормали к плоскости выдавливаемой грани.

А.23 Вращение грани короба

1 - ось вращения

Рисунок А.22 - Вращение грани короба

Идентификатор примитива: "revolved_face_duct"

Вращение грани короба - это тело вращения, образованное поворотом плоской грани вокруг оси. Ось должна находиться в плоскости грани и не должна пересекать внутреннюю часть грани. Плоская грань может не иметь никаких отверстий. Направление вращения по часовой стрелке, если смотреть вдоль положительного направления оси. Точнее, если А - это местоположение оси, а d - это направление оси, а С - это дуга на поверхности вращения, созданная произвольной точкой р на границе грани, то С оставляет р в направлении d х (р - А), как повернутую грань.

Спецификация EXPRESS:

Определения атрибутов:

SELF\swept_face_solid.swept_face: Грань, которая будет вращаться для создания твердого тела.

wth: Толщина стенки тонкого листового металла, образующего duct_wye (position.р[1]).

axis_line: Ось, вокруг которой произойдет вращение.

angle: Угол, через который будет проходить выдавливание. Этот угол отмеряется от плоскости swept_face.

axis_line: Ось вращения.

Неформальные утверждения:

IP1: axis_line должна лежать в плоскости атрибута swept_face супертипа swept_face_solid.

IP2: axis_line не должна пересекать внутреннюю часть Swept_face.

IP3: angle должен лежать в диапазоне 0° < angle 360°.

IP4: Если угол поворота равен 0°, вращение грани короба считается геометрически несуществующим.