[ITS] IT terministandardi sõnastik

[et]
20.01.04

formaalne spetsifikatsioon

formaalne spetsifitseerimine (synonym)

‣ Spetsifikatsioon, mida kasutatakse teostuse nõuetekohasuse matemaatiliseks tõestamiseks või teostuse matemaatiliseks tuletamiseks.
EVS-ISO/IEC 2382-20:1998 (kehtiv)

[en]
20.01.04

formal specification

‣ A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.
EVS-ISO/IEC 2382-20:1998 (kehtiv)

Püsilink

[et]
07.07.29

formaalne spetsifikatsioon

‣ Formaalses notatsioonis kirjutatud spetsifikatsioon, sageli õigsuse tõestamise tarbeks.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.29

formal specification

‣ A specification written in a formal notation, often for use in correctness proving.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink

[et]
15.03.15

formaalparameeter

tühi argument (synonym)

‣ Teatud moodulite * deklaratsioonis defineeritud parameeter, mis kutses või geneerilisel isendusel seotakse tegeliku parameetriga.
EVS-ISO/IEC 2382-15:2001 (kehtiv)

[en]
15.03.15

formal parameter

dummy argument (synonym)

‣ A parameter, defined in the declaration of certain module s, that is associated with an actual parameter in a call or generic instantiation.
EVS-ISO/IEC 2382-15:2001 (kehtiv)

Püsilink

[et]
15.06.20

formaalparameetri laad

‣ Karakteristik, mis näitab, kas formaalparameetrit saab väärtustada teda muutmata, kas talle saab anda uue väärtuse või kas teda saab väärtustada ja muuta.
EVS-ISO/IEC 2382-15:2001 (kehtiv)

[en]
15.06.20

formal parameter mode

‣ A characteristic that indicates whether a formal parameter may be evaluated without changing it, may be given a new value, or may be evaluated and changed.
EVS-ISO/IEC 2382-15:2001 (kehtiv)

Püsilink

[et]
29.01.21

formant

‣ Inimese kõnetraktis asetleidva resonantsi tõttu esiletõusev ala kõnesageduste ribas.
EVS-ISO/IEC 2382-29:2001 (kehtiv)

[en]
29.01.21

formant

‣ A region of frequency prominence in the speech frequency band due to resonance in the human vocal tract.
EVS-ISO/IEC 2382-29:2001 (kehtiv)

Püsilink

[et]
29.03.06

formantsüntees

‣ Tehiskõne genereerimine inimese kõnetrakti formante modelleerivate filtrite abil
EVS-ISO/IEC 2382-29:2001 (kehtiv)

[en]
29.03.06

formant synthesis

‣ The generation of artificial speech by means of filters that model the formants of the human vocal tract.
EVS-ISO/IEC 2382-29:2001 (kehtiv)

Püsilink

[et]
33.07.19

foto-CD

laser-fotoketas (synonym)

‣ Optilise mälu vorm digiteeritud fotode salvestuseks nende töötluse või kuvamise otstarbel.
EVS 2382-33:2003 (kehtiv)

[en]
33.07.19

photo CD

‣ A form of optical storage for storing digitized photographs for manipulation or display.
EVS 2382-33:2003 (kehtiv)

Püsilink

[et]
30.01.33

Fourier' töötlus

‣ Matemaatiline meetod ruumsageduslike komponentidega esitatud pildi * töötluseks.
EVS 2382-30:2003 (kehtiv)

[en]
30.01.33

Fourier processing

‣ A mathematical technique of processing the image (30.01.08) represented by its spatial frequency components.
EVS 2382-30:2003 (kehtiv)

Püsilink

[et]
33.10.25

fraktaalkujundid

fraktaalid (synonym)

‣ Lihtsate matemaatiliste valemitega loodavad korrapäratud loomutruud maastikud ja hargvormid raalgraafikas.
EVS 2382-33:2003 (kehtiv)

[en]
33.10.25

fractals

‣ In computer graphics, irregular, lifelike landscapes and branching forms produced through simple mathematical formulas.
EVS 2382-33:2003 (kehtiv)

Püsilink

[et]
28.02.13

freim

kaader (synonym)

‣ Andme keskne teadmuse esitus, mis seostab objekti mingi tunnusomaduste kogumiga, kusjuures iga selline omadus salvestatakse teatud organiseeritud lahtris.
EVS-ISO/IEC 2382-28:1998 (kehtiv)

[en]
28.02.13

frame

‣ A data-oriented knowledge representation that associates an object with a collection of features, each of which is stored in a dedicated compartment.
EVS-ISO/IEC 2382-28:1998 (kehtiv)

Püsilink

[et]
35.AA.09

FTP

‣ Ühe hosti * kasutajal teise hosti poole pöörduda ja võrgu kaudu nende hostide vahel faile * edastada võimaldava protokolli nimi.
Märkus:
▫FTP on lühend nimetusest „File Transfer Protocol„ (failiedastusprotokoll).
EVS 2382-35:2003 (kehtiv)

[en]
35.AA.09

FTP

‣ Name of a protocol that allows a user on one host to access and transfer * files to and from another host over a network.
Märkus:
▫FTP is an acronym for „File Transfer Protocol„.
EVS 2382-35:2003 (kehtiv)

Püsilink