Verificação estática versus dinâmica (TI)

O código G, formalmente conhecido como RS-274, é a linguagem de programação mais utilizada para controlar máquinas CNC. Consiste em comandos sequenciais que instruem a máquina sobre posicionamento, velocidade e ações específicas. Os comandos começam com uma letra; 'G' indica comandos preparatórios para movimento (por exemplo, G01 para avanço linear), enquanto 'M' significa funções diversas (por exemplo, M03 para partida do fuso).

A demonstração automática de teoremas (ATP, na sigla em inglês) é um subcampo da ciência da computação e da lógica matemática dedicado à demonstração de teoremas matemáticos por meio de programas de computador. Os sistemas ATP, ou demonstradores, utilizam o raciocínio lógico para deduzir novos teoremas a partir de um conjunto de axiomas e hipóteses. Eles se distinguem dos assistentes de demonstração, que requerem maior intervenção humana, embora os campos se sobreponham significativamente.

O Número de Prioridade de Risco (NPR) é uma medida quantitativa usada na FMEA para priorizar riscos. É calculado como o produto de três fatores classificados: Severidade (S), Ocorrência (O) e Detecção (D). A fórmula é NPR = S × O × D. Cada fator é normalmente avaliado em uma escala de 1 a 10, permitindo que as equipes se concentrem primeiro nos riscos com maior pontuação.

Os sistemas de tempo real são classificados como "rígidos" ou "flexíveis" com base nas consequências do não cumprimento de um prazo. Em um sistema de tempo real rígido, o não cumprimento de um prazo resulta em falha total do sistema, como em um sistema de freios ABS. Em um sistema de tempo real flexível, o não cumprimento de um prazo leva à degradação do desempenho, mas não a uma falha catastrófica, como em transmissões ao vivo de áudio e vídeo.

Um conjunto de quatro regras de decisão para detectar padrões não aleatórios em cartas de controle de Shewhart, indicando um processo fora de controle mesmo que nenhum ponto esteja fora dos limites de 3 sigmas. Essas regras identificam sequências anormais, tendências ou agrupamentos de pontos de dados que sinalizam a presença de uma causa especial de variação. Elas aumentam a sensibilidade das cartas de controle.

Um modelo de regressão para uma variável dependente categórica, tipicamente binária. Em vez de modelar o resultado diretamente, ele modela a probabilidade do resultado usando a função logística (sigmoide). O modelo prevê o logaritmo das chances do evento como uma combinação linear das variáveis ​​independentes: [latex]ln(frac{p}{1-p}) = beta_0 + beta_1 x_1 + dots + beta_p x_p[/latex], onde p é a probabilidade do evento.

O algoritmo de Metropolis-Hastings é um método MCMC proeminente para obter uma sequência de amostras aleatórias de uma distribuição de probabilidade para a qual a amostragem direta é difícil. A cada iteração, ele gera um candidato para a próxima amostra com base na amostra atual. Esse candidato é então aceito ou rejeitado com uma certa probabilidade, garantindo que a cadeia resultante convirja para a distribuição desejada.

Em Programação Orientada a Objetos (POO), a abstração consiste em ocultar detalhes complexos de implementação, mostrando apenas as características essenciais do objeto. Ela se concentra no que um objeto faz, em vez de como ele o faz. Isso é alcançado por meio de classes abstratas e interfaces, que definem um modelo para outras classes sem fornecer uma implementação completa, simplificando sistemas complexos.

As Sete Ferramentas Básicas da Qualidade são um conjunto de técnicas gráficas identificadas por Kaoru Ishikawa para a resolução de problemas relacionados à qualidade. Essas ferramentas são: Diagrama de causa e efeito (espinha de peixe), Folha de verificação, Gráfico de controle, Histograma, Diagrama de Pareto, Diagrama de dispersão e Estratificação (frequentemente apresentada como um fluxograma). Elas são consideradas "básicas" porque são simples de usar e exigem pouco treinamento formal em estatística.

O Modelo Cascata é um processo de desenvolvimento de software sequencial e não iterativo, onde o progresso flui de forma constante para baixo (como uma cascata) através de fases distintas: concepção, iniciação, análise, projeto, construção, teste, implantação e manutenção. Cada fase deve ser totalmente concluída antes de se passar para a próxima. Ele é frequentemente contrastado com modelos iterativos para destacar sua flexibilidade.