Resultats de la cerca
Es mostren 4 resultats
infraestructura de clau pública
Electrònica i informàtica
Conjunt de protocols, serveis i estàndards que suporten aplicacions basades en criptografia de clau pública.
Les ICP proporcionen serveis com ara l’emissió, distribució, revocació i avaluació de la validesa de certificats digitals que permeten l’autenticació de les claus públiques Les autoritats de certificació són els components de les ICP que actuen com a terceres part de confiança i duen a terme aquestes tasques En alguns casos, també hi intervenen les autoritats de registre, que són entitats de confiança que s’encarreguen de verificar la identitat dels usuaris que solliciten un certificat digital
metallenguatge
Lògica
Electrònica i informàtica
Lingüística i sociolingüística
Llenguatge emprat per a descriure un altre llenguatge.
L’instrumental lingüístic que utilitza el metallenguatge procedeix d’un llenguatge natural determinat i serveix per a descriure aquest mateix llenguatge o un altre de qualsevol El lingüista que escriu la gramàtica d’una llengua, el lexicògraf que redacta un diccionari, l’informàtic que descriu un llenguatge de programació, o el lògic que estudia la validesa o correctesa formal d’un enunciat, tots ho fan en metallenguatge El metallenguatge es manifesta també en el llenguatge colloquial frases tals com “Què vol dir llibertat en basc", “Per a vosaltres "'mestre’ i “mestra' sonen…
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 validesa…
teoria de control
Tecnologia
Electrònica i informàtica
Branca de la teoria dels sistemes que tracta de la manera d’aconseguir el canvi de comportament d’un sistema per mitjà d’accions externes.
Constitueix un cos coherent de coneixements que fa de pont entre l’abstracció matemàtica i la realitat física i els principis del qual són aplicables a àmbits tan diversos com l’enginyeria, l’economia i la biologia Pot ésser subdividida en dues grans parts teoria clàssica i teoria moderna Dins la solució del problema del control, hom pot distingir diverses fases modelació o formulació matemàtica del sistema o planta que cal controlar, dels senyals que l’afecten entrades, sortides i pertorbacions, i de l’objectiu de control criteri de qualitat avaluació , o aplicació dels mètodes d’anàlisi per…