Resultats de la cerca
Es mostren 3 resultats
asserció
Electrònica i informàtica
Proposició que assegura que en un determinat punt d’un programa es compleix certa condició.
Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva…
protocol
Electrònica i informàtica
En una xarxa de comunicació de dades, conjunt d’especificacions i de regles que permeten d’intercanviar la informació i de controlar aquest procés.
Un protocol sol anar associat a una capa o nivell de la 2 a la 7 del model OSI, tot i que contingui especificacions que afecten altres nivells Pel que fa al nivell 2 o d’enllaç, hi ha uns protocols, anomenats d’accés, orientats al bit o bé al caràcter Els primers fan ús d’uns indicadors que delimiten els camps de dades per permetre'n el control Pertanyen a aquesta classe els protocols SDLC, HDLC, LAPB per a xarxes X25 o el LAPD En els protocols orientats al caràcter, les funcions de control recauen sobre uns bytes caràcters que cal interpretar i distingir dels altres que formen…
extracció d’informació
Electrònica i informàtica
Tractament d’un o diversos documents per a extreure’n una determinada informació i generar un nou document o una altra estructura informativa (per exemple, una plantilla) que contingui només aquesta informació rellevant.