[ITS] IT terministandardi sõnastik


Päring: osas

Leitud 11 artiklit


[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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat 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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat Püsilink: 


© Eesti Keele Instituut    a-ü sõnastike koondleht     veebiliides    @ veebihaldur