-
21 checking sequence
Большой англо-русский и русско-английский словарь > checking sequence
-
22 checking sequence
1) Вычислительная техника: порядок проверки, проверочная последовательность2) Безопасность: контрольная последовательность -
23 checking sequence
контрольная (проверочная) последовательностьАнгло-русский словарь по компьютерной безопасности > checking sequence
-
24 checking sequence
English-Russian dictionary of computer science and programming > checking sequence
-
25 checking sequence
-
26 checking [checkout] sequence
последовательность операций при проверке; проверочная последовательностьThe English-Russian dictionary on reliability and quality control > checking [checkout] sequence
-
27 self-checking
самоконтроль (знака символа штрихового кода)
Свойство символики, при котором алгоритм контроля применяется по отношению к каждому знаку символа штрихового кода.
Примечания
1. Искажение знака при самоконтроле может быть выявлено только при появлении двух и более дефектов печати внутри одного знака.
2 Коды без самоконтроля обычно включают контрольный знак символа, добавляемый к закодированным данным.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
04.02.27 долговременная маркировка [ permanent marking]: Изображение, полученное с помощью интрузивного или неинтрузивного маркирования, которое должно оставаться различимым, как минимум, в течение установленного срока службы изделия.
Сравнить с терминологической статьей «соединение» по ИСО/МЭК19762-11).
______________
1)Терминологическая статья 04.02.27 не связана с указанной терминологической статьей.
<2>4 Сокращения
ECI интерпретация в расширенном канале [extended channel interpretation]
DPM прямое маркирование изделий [direct part marking]
BWA коррекция ширины штриха [bar width adjustment]
BWC компенсация ширины штриха [barwidth compensation]
CPI число знаков на дюйм [characters per inch]
PCS сигнал контраста печати [print contrast signal]
ORM оптический носитель данных [optically readable medium]
FoV поле обзора [field of view]
Алфавитный указатель терминов на английском языке
(n, k)symbology
04.02.13
add-on symbol
03.02.29
alignment pattern
04.02.07
aperture
02.04.09
auto discrimination
02.04.33
auxiliary character/pattern
03.01.04
background
02.02.05
bar
02.01.05
bar code character
02.01.09
bar code density
03.02.14
barcode master
03.02.19
barcode reader
02.04.05
barcode symbol
02.01.03
bar height
02.01.16
bar-space sequence
02.01.20
barwidth
02.01.17
barwidth adjustment
03.02.21
barwidth compensation
03.02.22
barwidth gain/loss
03.02.23
barwidth increase
03.02.24
barwidth reduction
03.02.25
bearer bar
03.02.11
binary symbology
03.01.10
characters per inch
03.02.15
charge-coupled device
02.04.13
coded character set
02.01.08
column
04.02.11
compaction mode
04.02.15
composite symbol
04.02.14
contact scanner
02.04.07
continuous code
03.01.12
corner marks
03.02.20
data codeword
04.02.18
data region
04.02.17
decodability
02.02.28
decode algorithm
02.02.01
defect
02.02.22
delineator
03.02.30
densitometer
02.02.18
depth of field (1)
02.04.30
depth of field (2)
02.04.31
diffuse reflection
02.02.09
direct part marking
04.02.24
discrete code
03.01.13
dot code
04.02.05
effective aperture
02.04.10
element
02.01.14
erasure
04.02.21
error correction codeword
04.02.19
error correction level
04.02.20
even parity
03.02.08
field of view
02.04.32
film master
03.02.18
finder pattern
04.02.08
fixed beam scanner
02.04.16
fixed parity
03.02.10
fixed pattern
04.02.03
flat-bed scanner
02.04.21
gloss
02.02.13
guard pattern
03.02.04
helium neon laser
02.04.14
integrated artwork
03.02.28
intercharacter gap
03.01.08
intrusive marking
04.02.25
label printing machine
02.04.34
ladder orientation
03.02.05
laser engraver
02.04.35
latch character
02.01.24
linear bar code symbol
03.01.01
magnification factor
03.02.27
matrix symbology
04.02.04
modular symbology
03.01.11
module (1)
02.01.13
module (2)
04.02.06
modulo
03.02.03
moving beam scanner
02.04.15
multi-row symbology
04.02.09
non-intrusive marking
04.02.26
odd parity
03.02.07
omnidirectional
03.01.14
omnidirectional scanner
02.04.20
opacity
02.02.16
optically readable medium
02.01.01
optical throw
02.04.27
orientation
02.04.23
orientation pattern
02.01.22
oscillating mirror scanner
02.04.19
overhead
03.01.03
overprinting
02.04.36
pad character
04.02.22
pad codeword
04.02.23
permanent marking
04.02.27
photometer
02.02.19
picket fence orientation
03.02.06
pitch
02.04.26
pixel
02.04.37
print contrast signal
02.02.20
printability gauge
03.02.26
printability test
02.02.21
print quality
02.02.02
quiet zone
02.01.06
raster
02.04.18
raster scanner
02.04.17
reading angle
02.04.22
reading distance
02.04.29
read rate
02.04.06
redundancy
03.01.05
reference decode algorithm
02.02.26
reference threshold
02.02.27
reflectance
02.02.07
reflectance difference
02.02.11
regular reflection
02.02.08
resolution
02.01.15
row
04.02.10
scanner
02.04.04
scanning window
02.04.28
scan, noun (1)
02.04.01
scan, noun (2)
02.04.03
scan reflectance profile
02.02.17
scan, verb
02.04.02
self-checking
02.01.21
shift character
02.01.23
short read
03.02.12
show through
02.02.12
single line (beam) scanner
02.04.11
skew
02.04.25
slot reader
02.04.12
speck
02.02.24
spectral response
02.02.10
spot
02.02.25
stacked symbology
04.02.12
stop character/pattern
03.01.02
structured append
04.02.16
substitution error
03.02.01
substrate
02.02.06
symbol architecture
02.01.04
symbol aspect ratio
02.01.19
symbol character
02.01.07
symbol check character
03.02.02
symbol density
03.02.16
symbology
02.01.02
symbol width
02.01.18
tilt
02.04.24
transmittance (l)
02.02.14
transmittance (2)
02.02.15
truncation
03.02.13
two-dimensional symbol (1)
04.02.01
two-dimensional symbol (2)
04.02.02
two-width symbology
03.01.09
variable parity encodation
03.02.09
verification
02.02.03
verifier
02.02.04
vertical redundancy
03.01.06
void
02.02.23
wand
02.04.08
wide: narrow ratio
03.01.07
X dimension
02.01.10
Y dimension
02.01.11
Z dimension
02.01.12
zero-suppression
03.02.17
<2>Приложение ДА1)
______________
1)
Источник: ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа
Англо-русский словарь нормативно-технической терминологии > self-checking
-
28 block checking sequence
контрольная последовательность блоков данных
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > block checking sequence
-
29 control rod sequence
последовательность управляющих стержней; последовательность стержней СУЗEnglish-Russian dictionary on nuclear energy > control rod sequence
-
30 bar-space sequence
04.02.27 долговременная маркировка [ permanent marking]: Изображение, полученное с помощью интрузивного или неинтрузивного маркирования, которое должно оставаться различимым, как минимум, в течение установленного срока службы изделия.
Сравнить с терминологической статьей «соединение» по ИСО/МЭК19762-11).
______________
1)Терминологическая статья 04.02.27 не связана с указанной терминологической статьей.
<2>4 Сокращения
ECI интерпретация в расширенном канале [extended channel interpretation]
DPM прямое маркирование изделий [direct part marking]
BWA коррекция ширины штриха [bar width adjustment]
BWC компенсация ширины штриха [barwidth compensation]
CPI число знаков на дюйм [characters per inch]
PCS сигнал контраста печати [print contrast signal]
ORM оптический носитель данных [optically readable medium]
FoV поле обзора [field of view]
Алфавитный указатель терминов на английском языке
(n, k)symbology
04.02.13
add-on symbol
03.02.29
alignment pattern
04.02.07
aperture
02.04.09
auto discrimination
02.04.33
auxiliary character/pattern
03.01.04
background
02.02.05
bar
02.01.05
bar code character
02.01.09
bar code density
03.02.14
barcode master
03.02.19
barcode reader
02.04.05
barcode symbol
02.01.03
bar height
02.01.16
bar-space sequence
02.01.20
barwidth
02.01.17
barwidth adjustment
03.02.21
barwidth compensation
03.02.22
barwidth gain/loss
03.02.23
barwidth increase
03.02.24
barwidth reduction
03.02.25
bearer bar
03.02.11
binary symbology
03.01.10
characters per inch
03.02.15
charge-coupled device
02.04.13
coded character set
02.01.08
column
04.02.11
compaction mode
04.02.15
composite symbol
04.02.14
contact scanner
02.04.07
continuous code
03.01.12
corner marks
03.02.20
data codeword
04.02.18
data region
04.02.17
decodability
02.02.28
decode algorithm
02.02.01
defect
02.02.22
delineator
03.02.30
densitometer
02.02.18
depth of field (1)
02.04.30
depth of field (2)
02.04.31
diffuse reflection
02.02.09
direct part marking
04.02.24
discrete code
03.01.13
dot code
04.02.05
effective aperture
02.04.10
element
02.01.14
erasure
04.02.21
error correction codeword
04.02.19
error correction level
04.02.20
even parity
03.02.08
field of view
02.04.32
film master
03.02.18
finder pattern
04.02.08
fixed beam scanner
02.04.16
fixed parity
03.02.10
fixed pattern
04.02.03
flat-bed scanner
02.04.21
gloss
02.02.13
guard pattern
03.02.04
helium neon laser
02.04.14
integrated artwork
03.02.28
intercharacter gap
03.01.08
intrusive marking
04.02.25
label printing machine
02.04.34
ladder orientation
03.02.05
laser engraver
02.04.35
latch character
02.01.24
linear bar code symbol
03.01.01
magnification factor
03.02.27
matrix symbology
04.02.04
modular symbology
03.01.11
module (1)
02.01.13
module (2)
04.02.06
modulo
03.02.03
moving beam scanner
02.04.15
multi-row symbology
04.02.09
non-intrusive marking
04.02.26
odd parity
03.02.07
omnidirectional
03.01.14
omnidirectional scanner
02.04.20
opacity
02.02.16
optically readable medium
02.01.01
optical throw
02.04.27
orientation
02.04.23
orientation pattern
02.01.22
oscillating mirror scanner
02.04.19
overhead
03.01.03
overprinting
02.04.36
pad character
04.02.22
pad codeword
04.02.23
permanent marking
04.02.27
photometer
02.02.19
picket fence orientation
03.02.06
pitch
02.04.26
pixel
02.04.37
print contrast signal
02.02.20
printability gauge
03.02.26
printability test
02.02.21
print quality
02.02.02
quiet zone
02.01.06
raster
02.04.18
raster scanner
02.04.17
reading angle
02.04.22
reading distance
02.04.29
read rate
02.04.06
redundancy
03.01.05
reference decode algorithm
02.02.26
reference threshold
02.02.27
reflectance
02.02.07
reflectance difference
02.02.11
regular reflection
02.02.08
resolution
02.01.15
row
04.02.10
scanner
02.04.04
scanning window
02.04.28
scan, noun (1)
02.04.01
scan, noun (2)
02.04.03
scan reflectance profile
02.02.17
scan, verb
02.04.02
self-checking
02.01.21
shift character
02.01.23
short read
03.02.12
show through
02.02.12
single line (beam) scanner
02.04.11
skew
02.04.25
slot reader
02.04.12
speck
02.02.24
spectral response
02.02.10
spot
02.02.25
stacked symbology
04.02.12
stop character/pattern
03.01.02
structured append
04.02.16
substitution error
03.02.01
substrate
02.02.06
symbol architecture
02.01.04
symbol aspect ratio
02.01.19
symbol character
02.01.07
symbol check character
03.02.02
symbol density
03.02.16
symbology
02.01.02
symbol width
02.01.18
tilt
02.04.24
transmittance (l)
02.02.14
transmittance (2)
02.02.15
truncation
03.02.13
two-dimensional symbol (1)
04.02.01
two-dimensional symbol (2)
04.02.02
two-width symbology
03.01.09
variable parity encodation
03.02.09
verification
02.02.03
verifier
02.02.04
vertical redundancy
03.01.06
void
02.02.23
wand
02.04.08
wide: narrow ratio
03.01.07
X dimension
02.01.10
Y dimension
02.01.11
Z dimension
02.01.12
zero-suppression
03.02.17
<2>Приложение ДА1)
______________
1)
Источник: ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа
Англо-русский словарь нормативно-технической терминологии > bar-space sequence
-
31 block checking sequence
Сетевые технологии: контрольная последовательность блока данныхУниверсальный англо-русский словарь > block checking sequence
-
32 Block Checking Sequence (BCS)
базовая структура каталогаEnglish-Russian dictionary of modern telecommunications > Block Checking Sequence (BCS)
-
33 block checking sequence
Англо-русский словарь компьютерных и интернет терминов > block checking sequence
-
34 block checking sequence
English-Russian information technology > block checking sequence
-
35 программа контроля последовательности
Большой англо-русский и русско-английский словарь > программа контроля последовательности
-
36 program
1) программаа) план действий; графикб) последовательность действий, выполняемых компьютером для достижения определённой целив) описание выполняемых компьютером действий на языке программирования или в машинном коде2) разрабатывать программу; планировать; составлять график3) вчт программировать•- absolute program
- accounting program
- activity program
- activity-based program
- add-in program
- AI program
- antivirus program
- application program
- artificial intellect program
- assembler program
- assembly program
- author program
- authoring program
- authorized program
- autostart program
- background program
- batch program
- batch circuit design program
- benchmark program
- blue-ribbon program
- bootstrap program
- brain-damaged program
- brittle program
- broadcast program
- broadcasting program
- broken program
- brute-force program
- byte-code program
- cache program
- CAD program
- calendar program
- CGI program
- channel program
- character-based program
- check program
- checking program
- chip planning program
- closed program
- command control program
- command-driven program
- commercial program
- communications program
- compiler program
- compiling program
- compressor program
- computer program
- computer-aided design program
- control program
- consulting program
- conversational program
- copy program
- core program - cuspy program
- data acquisition program
- debugging program
- decision program
- default output program
- despooling program
- diagnostic program
- dialer program
- dictionary program
- distance-learning program
- dongle-protected program
- draw program
- drawing program
- drill-and-practice program
- dummy program
- edit program - event-driven program
- executable program
- execute-only program
- executive program
- fax program
- fetch program
- file handling program
- file management program
- flamage-generating program
- flexible program
- floating-point program
- foreground program
- form letter program
- froggy program
- function program
- generalized program
- goal-driven program
- graphics program
- grundy program
- hard disk backup program
- hardware program
- hard-wired program
- helper program
- heuristic program
- high-end program
- high frequency active auroral research program
- inference program
- information program
- install program
- input/output program
- input/output limited program
- interactive program
- interpretive program
- LAN backup program
- language translator program
- LAN-ignorant program
- LAN memory management program
- layout-versus-layout program
- learning program
- library program
- linear program
- looping program
- macro program
- mailing list program
- mail-merging program
- main program
- main-line program
- master program
- memory management program
- memory resident program
- menu-driven program
- merge-print program
- MIDI program
- monitor program
- music program
- native program
- network control program
- object program
- one-shot program
- overlay program
- packaged programs
- page composition program
- page layout program
- page makeup program
- paint program
- paintbrush program
- painting program
- peripheral limited program - piped program
- plugged program
- postmortem program
- preemptible program
- preemptive program
- presentation graphics program - program-aid program
- project management program
- quiz program
- radio program
- RAM-resident program
- record-oriented database management program
- reenterable program
- relocatable program
- remote control program
- reusable program
- robot program
- robust program
- routing program
- security program
- self-replicating program
- sequence checking program
- service program
- setup program
- simulation program with integrated circuit emphasis
- simulator program
- snapshot program
- snapshot trace program
- sort program
- sort/merge program
- source program
- spelling-check program
- spreadsheet program
- stand-alone program
- star program
- supervisor program
- supervisory program
- support program
- sustaining program
- symbol manipulation program
- symbolic math program
- system program
- table-oriented database management program
- tailor-made program
- target program
- task interrupt control program
- television program
- terminal interface program
- test program
- thesaurus program
- time-sharing program
- tracing program
- transient program
- transistor analysis program
- trojan-horse program
- tutorial program - user program
- utility program
- vector-to-raster conversion program
- videotape program
- Windows program
- word processing program -
37 routine
1) программа; подпрограмма2) алгоритм3) рутина; работа, выполняемая механически; стандартная процедура || рутинный; выполняемый механически; стандартный•- bootstrap routine
- check routine
- checking routine
- closed routine
- compiler routine
- compiling routine
- default output routine
- diagnostic routine
- dummy routine
- edit routine
- executable routine
- executive routine
- file handling routine
- file management routine
- floating-point routine
- foreground routine
- generalized routine
- hardware routine
- hard-wired routine
- interpretive routine
- library routine
- main routine
- main-line routine
- master routine
- postmortem routine
- program-aid routine
- reenterable routine
- sequence checking routine
- service routine
- skeleton routine
- snapshot routine
- specific routine
- synchronous routine
- test routine
- tracing routine -
38 program
1) программаа) план действий; графикб) последовательность действий, выполняемых компьютером для достижения определённой целив) описание выполняемых компьютером действий на языке программирования или в машинном коде2) разрабатывать программу; планировать; составлять график3) вчт. программировать•- accounting program
- activity program
- activity-based program
- add-in program
- AI program
- antivirus program
- application program
- artificial intellect program
- assembler program
- assembly program
- author program
- authoring program
- authorized program
- autostart program
- background program
- batch circuit design program
- batch program
- benchmark program
- blue-ribbon program
- bootstrap program
- brain-damaged program
- brittle program
- broadcast program
- broadcasting program
- broken program
- brute-force program
- byte-code program
- cache program
- CAD program
- calendar program
- CGI program
- channel program
- character-based program
- check program
- checking program
- chip planning program
- closed program
- command control program
- command-driven program
- commercial program
- communications program
- compiler program
- compiling program
- compressor program
- computer program
- computer-aided design program
- consulting program
- control program
- conversational program
- copy program
- core program
- coresident programs
- crafty program
- cuspy program
- data acquisition program
- debugging program
- decision program
- default output program
- despooling program
- diagnostic program
- dialer program
- dictionary program
- distance-learning program
- dongle-protected program
- draw program
- drawing program
- drill-and-practice program
- dummy program
- edit program
- electronic circuit analysis program
- entertainment program
- event-driven program
- executable program
- execute-only program
- executive program
- fax program
- fetch program
- file handling program
- file management program
- flamage-generating program
- flexible program
- floating-point program
- foreground program
- form letter program
- froggy program
- function program
- generalized program
- goal-driven program
- graphics program
- grundy program
- hard disk backup program
- hardware program
- hard-wired program
- helper program
- heuristic program
- high frequency active auroral research program
- high-end program
- inference program
- information program
- input/output limited program
- input/output program
- install program
- interactive program
- interpretive program
- LAN backup program
- LAN memory management program
- language translator program
- LAN-ignorant program
- layout-versus-layout program
- learning program
- library program
- linear program
- looping program
- macro program
- mailing list program
- mail-merging program
- main program
- main-line program
- master program
- memory management program
- memory resident program
- menu-driven program
- merge-print program
- MIDI program
- monitor program
- music program
- native program
- network control program
- object program
- one-shot program
- overlay program
- packaged programs
- page composition program
- page layout program
- page makeup program
- paint program
- paintbrush program
- painting program
- peripheral limited program
- personal computer LAN program
- pilot program
- piped program
- plugged program
- postmortem program
- preemptible program
- preemptive program
- presentation graphics program
- primary control program
- problem program
- program for integrated shipboard electronics
- program-aid program
- project management program
- quiz program
- radio program
- RAM-resident program
- record-oriented database management program
- reenterable program
- relocatable program
- remote control program
- reusable program
- robot program
- robust program
- routing program
- security program
- self-replicating program
- sequence checking program
- service program
- setup program
- simulation program with integrated circuit emphasis
- simulator program
- snapshot program
- snapshot trace program
- sort program
- sort/merge program
- source program
- spelling-check program
- spreadsheet program
- stand-alone program
- star program
- supervisor program
- supervisory program
- support program
- sustaining program
- symbol manipulation program
- symbolic math program
- system program
- table-oriented database management program
- tailor-made program
- target program
- task interrupt control program
- television program
- terminal interface program
- test program
- thesaurus program
- time-sharing program
- tracing program
- transient program
- transistor analysis program
- trojan-horse program
- tutorial program
- UNIX-to-UNIX copy program
- unsupported program
- user program
- utility program
- vector-to-raster conversion program
- videotape program
- Windows program
- word processing programThe New English-Russian Dictionary of Radio-electronics > program
-
39 routine
1) программа; подпрограмма2) алгоритм3) рутина; работа, выполняемая механически; стандартная процедура || рутинный; выполняемый механически; стандартный•- bootstrap routine
- check routine
- checking routine
- closed routine
- compiler routine
- compiling routine
- default output routine
- diagnostic routine
- dummy routine
- edit routine
- executable routine
- executive routine
- file handling routine
- file management routine
- floating-point routine
- foreground routine
- generalized routine
- hardware routine
- hard-wired routine
- interpretive routine
- library routine
- main routine
- main-line routine
- master routine
- postmortem routine
- program-aid routine
- reenterable routine
- sequence checking routine
- service routine
- skeleton routine
- snapshot routine
- specific routine
- synchronous routine
- test routine
- tracing routineThe New English-Russian Dictionary of Radio-electronics > routine
-
40 routine
1) (рутинная) операция, (рутинная) процедура2) уст. стандартная программа (см. тж program), процедура, подпрограмма3) редк. алгоритм•- alternate routine
- automatic routine
- automonitor routine
- auxiliary routine
- benchmark routine
- block address interrupt routine
- bootstrap routine
- channel error routine
- channel status routine
- check routine
- checking routine
- checkout routine
- checkpoint routine
- closed routine
- compiler routine
- compiling routine
- contoured path routine
- coordinator routine
- damage assessment routine
- dating routine
- decision routine
- direct-insert routine
- direct-inserted routine
- dump routine
- end-of-file routine
- end-of-run routine
- end-of-tape routine
- error-control routine
- error-correction routine
- error-detection routine
- error-handling routine
- error-recovery routine
- executive routine
- extracode routine
- extremity routine
- file management routine
- file organization routine
- floating routine
- floating-point routine
- function-evaluation routine
- general routine
- generalized routine
- generating routine
- generative routine
- graphics routine
- housekeeping routine
- incomplete routine
- initial input routine
- initial test routine
- initialization routine
- input routine
- input/output routine
- interpreter routine
- interpretive routine
- interrogation routine
- interrupt handling routine
- interrupt routine
- interrupt service routine
- iterative routine
- library maintenance routine
- library routine
- linked routine
- loading routine
- maintenance routine
- malfunction routine
- master routine
- match routine
- microcode routine
- monitor routine
- nonresident routine
- nonreusable routine
- object routine
- open routine
- operator routine
- output routine
- patch routine
- primarily computational routine
- print routine
- priority routine
- program loading routine
- quick-and-dirty routine
- readdressing routine
- recursive routine
- reenterable routine
- reentrant routine
- repetitive routine
- rerun routine
- resident routine
- restart routine
- retrieval routine
- reusable routine
- rollback routine
- run location routine
- search routine
- selective tracing routine
- self-relative routine
- sequence checking routine
- service routine
- shut-down routine
- simulation routine
- simulator routine
- software routine
- status-saving routine
- supervisor call routine
- supervisory routine
- suspect routine
- tape bootstrap routine
- task assignment routine
- termination routine
- test routine
- testing routine
- trace routine
- tracing routine
- transient routine
- trap routine
- untrustworthy routine
- user-supplied routineEnglish-Russian dictionary of computer science and programming > routine
См. также в других словарях:
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
The Simpsons opening sequence — The Simpsons title screen as of 2009. The Simpsons opening sequence is an element that begins almost every episode of the American animated television series The Simpsons. Starting with the season 20 episode Take My Life, Please , the opening… … Wikipedia
Message Transfer Part — SS7 protocol suite OSI layer SS7 protocols Application INAP, MAP, IS 41... TCAP, CAP, ISUP, ... Network MTP Level 3 + SCCP Data link MTP … Wikipedia
проверка последовательности — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN sequence checking … Справочник технического переводчика
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Controlled grammar — Controlled grammars[1] are a class of grammars that extend, usually, the context free grammars with additional controls on the derivations of a sentence in the language. A number of different kinds of controlled grammars exist, the four main… … Wikipedia
Divisibility rule — A divisibility rule is a shorthand way of discovering whether a given number is divisible by a fixed divisor without performing the division, usually by examining its digits. Although there are divisibility tests for numbers in any radix, and… … Wikipedia
Mandelbrot set — Initial image of a Mandelbrot set zoom sequence with a continuously coloured environment … Wikipedia
Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 … Wikipedia
