OPGAVEN

12.3 Hypothese-iscriminatie

Opgave 12.3.1

Maak opgave 4 van pagina 701 uit Stefik.

> Uitwerking 12.3.1

Opgave 12.3.2

Maak opgave 6 van pagina 705 uit Stefik.

> Uitwerking 12.3.2

Opgave 12.3.3

Maak opgave 11 van pagina 709 uit Stefik.

> Uitwerking 12.3.3

Opgave 12.3.4

(Deze opgave test de kennis van zowel paragraaf 12.2 als 12.3.)

De volgende schakeling (zie figuur 12.3.1) moest worden geconstrueerd, met componenten die de invoeren die links binnenkomen verwerken tot een uitvoer. In een MAX-component is de uitvoer het maximum van de twee invoeren, in een MIN-component is de uitvoer het minimum. De afzonderlijke componenten zijn allemaal foutloos, maar bij het samenstellen van de schakeling kunnen MAX- en MIN-componenten onderling zijn verwisseld.

f120301.gif (1729 bytes)

FIGUUR  12.1 Schakeling

a – Met de MAX- en MIN-componenten wordt de schakeling gerealiseerd. Mogelijk zijn daarbij componenten verwisseld (dat wil zeggen: op de plaats waar een MIN-component geplaatst had moeten worden, is een MAX-component geplaatst, of andersom).
Bij de invoeren A = 3, B = 8, C = 5 en D = 6 resulteren uitvoeren E = 5 en F = 8.
Laat zien dat de schakeling niet correct functioneert.
b – Welke componenten zijn mogelijk fout, gegeven dat alleen componenten verdacht zijn die stroomopwaarts van de fout liggen, en dat niet iedere invoerwaarde de uitvoerwaarde beïnvloedt?
c – Beperk de verzameling bij onderdeel b gevonden hypothesen door per verdachte component te veronderstellen dat deze verwisseld is, en dan na te gaan of de gegeven invoeren de geconstateerde uitvoeren leveren.
d – Als de invieren veranderd worden in A = 8, B = 4, C = 9 en D = 7, dan zijn de uitvoeren E = 7 en F = 8. Welke component is verwisseld?

> Uitwerking 12.3.4