Bidarra, RafaelTeixeira, José CarlosFernando Nunes FerreiraJoão CunhaMári Rui GomesMário MartinsManuel João PrósperoLima SerafimJosé Carlos Teixeira2023-01-302023-01-302023978-3-03868-199-1https://doi.org/10.2312/pt.19931468https://diglib.eg.org:443/handle/10.2312/pt19931468A modelação baseada em características tem adquirido uma importância crescente no desenvolvimento de sistemas CAD, devido ao seu poder expressivo dos aspectos morfológicos contidos na intenção do projectista. O problema da integridade dum modelo baseado em características agrava-se quando a especificação de formas mais complexas requer a sobreposição ou interacção de várias características. Nesta comunicação são abordados alguns problemas relativos à validação destas características no decorrer de operações de manipulação que estabelecem ou eliminam tais imeracções. É apresentado um enquadramento semântico baseado na expressão semântica do comportamento pretendido para cada classe de características, a fim de estabelecer condições de validade que se suportem um grau arbitrário de imeracções. Exemplificam-se alguns mecanismos de raciocínio para realizar a validação automática de características, realçando a sua fácil integração com uma representação celular adequada para captar a morfologia local de um modelo baseado em características de forma.Attribution 4.0 International License10.2312/pt.1993146827-4519 pages