Overleg:Beweren en bewijzen/supplement/oefenpagina/bedrading 2009
Uit Werkplaats
Elektrische luchtverfrisser
domeinmodel | opmerkingen |
---|---|
EL_stroom
EL_aan
'EL_geur
EL_verfrist
|
|
definition Elektrische luchtverfrisser := (EL_stroom ∧ EL_aan ∧ EL_geur) → EL_verfrist Wanneer er stroom staat op de stekker van de luchtverfrisser, de luchtverfrisser aan staat en er een container met parfum geplaatst is dan verfrist de elektrische luchtverfrisser de lucht. |
Drie vrgen:
|
||
Hanno Wupper → BenB | Remove this comment when resolved! |
Gloeilamp
Ik vraag me af of de gloeilamp een goede specificatie van een gloeilamp is. Ik zou eerder denken aan iets als: L_spanning: er staat spanning over de contacten van de gloeilamp L_brand: de gloeilamp brand. Definition Gloeilamp1 := L_spanning -> L_brand |
||
Tim Cooijmans → Beweren en bewijzen | Remove this comment when resolved! |
Stroom vs Spanning
Ik zie op diversie plekken staan dat er stroom over op een stopcontact of stekker staat. Dit is echter elektrotechnisch onmogelijk. Over de aansluitingspunten van een stopcontact staat ongeveer 230V wisselspanning. Als je er dan apparaat op aansluit gaat er stroom lopen (van de fase-draad naar de 0-draad) welke afhankelijk is van de impedantie van het apparaat. Er loopt dan dus een wisselstroom door het apparaat. | ||
Tim Cooijmans → Beweren en bewijzen | Remove this comment when resolved! |