Questões de Concurso sobre Modelo de Métodos Formais

Modelos de PLN como transformers eliminam a necessidade de pré-processamento do texto, pois operam diretamente sobre o texto original.

Um professor do IFCE desafia seus alunos a refletirem sobre os limites da formalização matemática. Ele propõe a seguinte situação: Um matemático desenvolve um sistema formal consistente e suficientemente poderoso para expressar toda a aritmética básica. Apesar de definir axiomas claros e as regras de inferência rigorosas, ele percebe que existem proposições dentro desse sistema que, embora sejam verdadeiras, não podem ser demonstradas apenas com os axiomas e regras definidas. Além disso, o matemático tenta provar que o próprio sistema não contém contradições, mas descobre que isso não é possível apenas com os recursos internos do sistema.

Com base nessa situação, assinale a alternativa que indica corretamente o teorema que formaliza essas limitações de sistemas matemáticos.

O storytelling é uma técnica utilizada para comunicar informações de forma envolvente e memorável. Dependendo do objetivo e do contexto, diferentes tipos de storytelling podem ser aplicados.

Com base nesse conceito, assinale a alternativa correta.

Modelos transformer superam, devido ao mecanismo de autoatenção, as redes neurais recorrentes tradicionais na captura de dependências de longo alcance em documentos jurídicos extensos, sendo esta a principal razão para a adoção dos transformers em tarefas como sumarização e busca semântica no campo jurídico.

A modelagem funcional prioriza a descrição detalhada das classes, seus atributos e métodos, com vistas à implementação orientada a objetos.

No Brasil, as patentes encontram duas modalidades, sendo elas:

O modelo “Como [usuário, persona ou sistema], eu quero [ação] para que [valor, motivo ou necessidade por trás].” é utilizado no gerenciamento do backlog para descrever

No contexto de UX, metodologias de pesquisa com usuários podem ser classificadas como quantitativas ou qualitativas, cada uma com características distintas. Metodologias quantitativas focam em dados numéricos e em estatísticas para medir comportamentos ou tendências. Por sua vez, metodologias qualitativas exploram percepções, motivações e contextos por meio de dados descritivos e interpretativos. Diante do exposto, assinale a alternativa que apresenta apenas exemplos de metologias qualitativas.

Na modelagem da metodologia CRISP-DM, métodos como validação cruzada e métricas de desempenho são empregados para se avaliar o quão bem os modelos se saem em dados não vistos.

Ocorre sobreajuste quando um modelo de dados é incapaz de capturar o relacionamento entre as variáveis de entrada e saída com precisão, o que gera uma alta taxa de erro tanto no conjunto de treinamento quanto nos dados não exibidos.

Segundo Fernandes (2014), assinale a opção correta que apresenta somente modelos para processos de software.

A existência de diferentes modelos de processos de software busca organizar e dar método à atividade de construção de um software. A complexidade de um software é dependente de diversos fatores. Entretanto, requisitos de software são dinâmicos – demandando, por conseguinte, que suas mudanças se reflitam de alguma forma ao longo do processo de desenvolvimento. Diferentes abordagens propostas na literatura procuram combinar a necessidade de organização do processo em si e a absorção dessas adaptações referentes aos requisitos.

Assinale a que indica um modelo de processo de desenvolvimento classificado como especializado.