ГОСТ Р ИСО 10303-52—2015
Неформальные положения:
IP1. Каждый элемент набора cells, представленный объектом element_ representation должен
принадлежать конечно-элементной модели, представленной объектом, играющим роль атрибута
explicit_model.
4.3.7 Объект extraction_of_structured_submesh
Объект extraction_of_structured_submesh является подтипом объекта extraction_of_mesh и
представляетотношениемеждудвумяпредставленнымиобъектамиstructured_mesh
структурированными сетками, показывающее, что одна сетка является частью другой.
EXPRESS-слсцификация.
*)
ENTITY extraction_of_structured_submesh
SUBTYPE OF(extraction_of_submesh);
lower_vertex : ARRAY [1:wholeJndices] OF INTEGER:
usedjndices : ARRAY [1:part_indices] OF INTEGER:
used_senses : ARRAY [1:part_indices] OF BOOLEAN;
DERIVE
wholejndices : INTEGER := SELRextraction_of_submesh.whole\mesh.index_count:
partjndices : INTEGER := SELRextraction_of_submesh.part\mesh.index_count
WHERE
WR1: (’MESH_TOPOLOGY_SCHEMA.STRUCTURED_MESH’ IN TYPEOF(
SELF\extraction_of_submesh.whole));
WR2: fMESH_TOPOLOGY_SCHEMA.STRUCTURED_MESH’ IN TYPEOF(
SELF\extraction_of_submesh.part));
END_ENTITY;
(‘
Определение атрибутов:
part — объект structured_mesh, представляющий структурированную сетку, являющуюся
частью целого;
whole — объект structured_mesh, представляющий структурированную сетку, являющуюся
целым;
lower_vertex — положение вершины сетки в целом, которая является началом части (выборки).
Положение задается относительно всех индексов, используемых в сетке в целом:
usedjndices — индексы сетки в целом, которые также используются в части в том порядке, в
котором они используются в части сетки;
used_senses — согласованность для каждого используемого в части (выборке) индекса,
задаваемая следующим образом:
— TRUE (истина), если в части сетки индекс используется в том же направлении, что и в сетке в
целом;
— FALSE (ложь), если в части сетки индекс используется в обратном направлении;
wholejndices — число индексов, требуемых для однозначной идентификации вершины или
ячейки в сетке в целом;
partjndices — число индексов, требуемых для однозначной идентификации вершины или
ячейки в части сетке.
Формальные положения:
WR1. Сетка, рассматриваемая как сетка в целом, должна быть представлена объектом
structured_mesh.
WR2. Сетка, рассматриваемая как часть сетки, должна быть представлена объектом
structured_mesh.
4.3.8 Объект extracrtion_of_submesh
Объект extracrtion_of_submesh представляет отношение между сеткой и подсеткой,
устанавливающее то. что подсетка является частью сетки.
EXPRESS-слецификация:
*)
ENTITY extraction_of_submesh;
whole: mesh;
part: submesh; END_ENTITY;
(*
12