Capítulo 1 — Raciocínio matemático

Mapa da aula

Aula 01 publicada. Mapa, exemplo, EX001.

flowchart TD
  N0["1.1 Por que um estudante de TO precisa de hábitos de"]
  N1["1.2 Unidades e verificações dimensionais"]
  N2["1.3 Implicação, contrapositiva e contraexemplo"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX001"]

Desenho lógico

flowchart LR
  N0["1.1 Por que um estudante de TO precisa de hábitos de"]
  N1["1.2 Unidades e verificações dimensionais"]
  N2["1.3 Implicação, contrapositiva e contraexemplo"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX001"]

[1.1 Por que um estudante de TO precisa de hábitos de]
    |
    v
[1.2 Unidades e verificações dimensionais]
    |
    v
[1.3 Implicação, contrapositiva e contraexemplo]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX001]

Objetivos de aprendizagem

Ao final deste capítulo você será capaz de (1) transformar uma frase sobre a planta numa grandeza com unidades; (2) estimar uma ordem de grandeza antes de calcular; (3) enunciar a hipótese que torna um cálculo válido; e (4) reconhecer quando um número de aparência precisa esconde um palpite. O caso recorrente é a Lakeside District Heating Plant (LDHP), uma planta sintética de aquecimento distrital.

1.1 Por que um estudante de TO precisa de hábitos de prova

Afirmações de segurança sobre uma planta de aquecimento são quantitativas, admitamos isso ou não. "A mudança na rede é de baixo risco" quer dizer, na verdade, "a probabilidade de perder o controle da temperatura de ida, multiplicada pelo dano às residências, está abaixo de um limiar que aceitamos". O raciocínio matemático torna visíveis os termos ocultos. O hábito é simples: escreva toda grandeza com a sua unidade, nomeie a hipótese que a liga à grandeza seguinte e confira o resultado com uma estimativa grosseira feita antes de tocar em qualquer calculadora.

1.2 Unidades e verificações dimensionais

O aquecimento distrital mistura quilowatts, metros cúbicos por hora, graus Celsius e segundos. A potência térmica entregue é aproximadamente P = ρ · c · Q · ΔT, com densidade da água ρ ≈ 1000 kg/m³ e calor específico c ≈ 4,19 kJ/(kg·K). Se você escrever Q em m³/h, precisa dividir por 3600 para obter kg/s. Uma verificação dimensional pega esse deslize antes que ele vire um argumento errado de dimensionamento de caldeira num registro de riscos. O primeiro memorando de Maya precisava exatamente dessa verificação: um erro de 5 K no setpoint é um ΔT, de modo que o déficit escala com a vazão, e uma vazão expressa em m³/h dá um número 3600 vezes grande demais se não for convertida antes para kg/s.

1.3 Implicação, contrapositiva e contraexemplo

"Se o SIS é independente, então um comprometimento do SCADA não consegue desabilitar o trip." A contrapositiva — "se um comprometimento do SCADA consegue desabilitar o trip, o SIS não é independente" — é logicamente equivalente e muitas vezes mais fácil de testar. A recíproca não é equivalente: um trip que sobrevive a um teste não prova independência. Um único contraexemplo documentado, como uma estação de engenharia compartilhada que consegue fazer download para os dois controladores, refuta uma afirmação universal. Na LDHP, o contraexemplo a procurar é a EWS-1: se uma única estação de engenharia consegue baixar lógica tanto para o PLC-H quanto para o SIS-H, a afirmação de que o SIS-H é independente de um comprometimento da zona de controle é falsa, por mais testes de trip que o SIS-H tenha passado.

Exemplo resolvido (LDHP sintética)

A LDHP bombeia Q = 180 m³/h com ΔT = 30 K. Primeiro, estime: 0,05 m³/s × 1000 kg/m³ × 4,19 kJ/(kg·K) × 30 K ≈ 6.300 kW. Cálculo exato: 180/3600 = 0,05 m³/s, logo P = 50 kg/s × 4,19 × 30 = 6.285 kW ≈ 6,3 MW. Se um atacante só conseguisse alterar o setpoint de ida em 5 K, o ΔT cairia para 25 K e o calor entregue cairia para 5.237,5 kW, um déficit de 1.047,5 kW. Esse déficit, e não o pacote, é a consequência que um dono de risco consegue pesar.

Caso sintético — Lakeside District Heating Plant. A estudante Maya Chen entra no escritório de engenharia da LDHP. O seu primeiro memorando precisa expressar em quilowatts o déficit de calor causado por um erro de 5 K no setpoint, com todas as hipóteses listadas.

Erros e limites

A fórmula do calor ignora as perdas na tubulação e o fato de que a densidade e a capacidade térmica variam com a temperatura. Uma resposta com dois algarismos significativos é honesta; seis dígitos sugerem um conhecimento que você não tem.

Exercícios

• EX001 — Calor com vazão reduzida. A vazão da LDHP cai para 150 m³/h enquanto o ΔT continua em 30 K. Calcule a potência entregue e mostre a conversão de unidades.
  Mostrar critérios de avaliação

  Rubrica: 3 = 5.237,5 kW com a conversão m³/h→kg/s mostrada; 2 = valor correto, sem conversão; 1 = esqueceu o /3600; 0 = nenhuma tentativa.
• EX002 — Contrapositiva de uma afirmação de zoneamento. Escreva a contrapositiva de "se o gateway de medidores não tem rota para a zona de controle, ele não consegue escrever no PLC-H".
  Mostrar critérios de avaliação

  Rubrica: 3 = contrapositiva correta e por que ela é testável; 2 = apenas a forma correta; 1 = dá a recíproca; 0 = nada.
• EX003 — Estimar antes de calcular. Dê, numa linha, uma estimativa de ordem de grandeza do calor diário entregue a 6,3 MW.
  Mostrar critérios de avaliação

  Rubrica: 3 = ≈150 MWh/dia com o método; 2 = ordem correta; 1 = erro de unidade; 0 = nada.

Síntese

Grandezas com unidades, hipóteses ditas em voz alta e contraexemplos procurados: esses três hábitos transformam uma opinião de segurança sobre uma planta num argumento que outra pessoa consegue conferir.