-
81 разрешающая способность трафарета
негативный трафарет; негативная маска — negative mask
Русско-английский большой базовый словарь > разрешающая способность трафарета
-
82 щелевой трафарет
негативный трафарет; негативная маска — negative mask
Русско-английский большой базовый словарь > щелевой трафарет
-
83 метод сканирования
Русско-английский новый политехнический словарь > метод сканирования
-
84 кодирующий трафарет
негативный трафарет; негативная маска — negative mask
Русско-английский словарь по информационным технологиям > кодирующий трафарет
-
85 принятый
Авиация и космонавтика. Русско-английский словарь > принятый
-
86 different pressure measuring
English-Russian big medical dictionary > different pressure measuring
-
87 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
88 redundancy
- физическое резервирование
- резервные компоненты
- резервирование источника бесперебойного питания
- резервирование (дублирование)
- резервирование
- избыточность резервирование
- избыточность (кодирования)
- избыточность
- избыток
- долговременная маркировка
избыточность
Существование средств в дополнение к средствам, которые могут быть достаточны функциональному блоку для выполнения требуемой операции, данным для представления информации.
Пример
Примерами избыточности являются дублирование функциональных компонентов и добавление битов четности.
Примечания
1. Избыточность используется в первую очередь для повышения надежности или работоспособности.
2. Определение в МЭС 191-15-01 является менее полным [ИСО/МЭК 2382-14-01-12].
[ ГОСТ Р МЭК 61508-4-2007]Тематики
EN
избыточность (кодирования)
Характеристика кодирования информации, обеспечивающая повышение вероятности безошибочного считывания штрихового кода или передачи информации.
Примечание
В символе штрихового кода высота штрихов обеспечивает вертикальную избыточность, допуская существование множества возможных путей поперечного сканирования символа, из которых теоретически достаточно лишь одного для полного декодирования символа.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
избыточность резервирование
Наличие в объекте более чем одного средства, необходимого для выполнения требуемой функции.
[Разработка типовых структурных схем микропроцессорных устройств РЗА на объектах ОАО "ФКС ЕЭС". Пояснительная записка. Новосибирск 2006 г.]EN
redundancy
in an item, the existence of more than one means for performing a required function
[SOURCE: 191-15-01]
[IEV ref 448-12-08]FR
redondance
existence, dans une entité, de plus d'un moyen pour accomplir une fonction requise
[SOURCE: 191-15-01]
[IEV ref 448-12-08]Тематики
EN
DE
- Redundanz, f
FR
резервирование
Применение дополнительных устройств и систем или элементов устройств и систем оборудования для того, чтобы в случае отказа одного из них выполнять требуемую функцию в распоряжении имелось другое устройство (или элемент устройства), готовое выполнять эту функцию.
[ГОСТ ЕН 1070-2003]
резервирование
Способ обеспечения надежности объекта за счет использования дополнительных средств и (или) возможностей, избыточных по отношению к минимально необходимым для выполнения требуемых функции.
[ ГОСТ 27.002-89]
[ОСТ 45.153-99]
[СО 34.21.307-2005]
резервирование
Использование более чем одного устройства или системы, или одной части (узла) устройства или системы для того, чтобы в случае возможного отказа одного из них в ходе выполнения своей функции в распоряжении находился другой, для обеспечения продолжения вышеупомянутой функции.
[ ГОСТ Р МЭК 60204-1-2007]В первый период эксплуатации при постепенном росте нагрузки допускается установка одного трансформатора при условии обеспечения резервирования питания потребителей по сетям низшего напряжения.
Однотрансформаторные подстанции могут быть также применены для питания электроприемников II категории, если обеспечивается требуемая степень резервирования питания по стороне низшего напряжения при отключении трансформатора
[НТП ЭПП-94]Тематики
- безопасность в целом
- безопасность гидротехнических сооружений
- надежность средств электросвязи
- надежность, основные понятия
- электробезопасность
Действия
Сопутствующие термины
- 100 %-ное резервирование
- взаимное резервирование
- объем резервирования
- степень резервирования
EN
DE
FR
резервирование (дублирование)
(ITIL Service Design)
Использование одной или нескольких конфигурационных едениц для обеспечения отказоустойчивости.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
redundancy
(ITIL Service Design)
Use of one or more additional configuration items to provide fault tolerance. The term also has a generic meaning of obsolescence, or no longer needed.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
резервирование ИБП
Методы построения системы бесперебойного питания, направленные на обеспечение бесперебойного электроснабжения нагрузки даже при возникновении неисправности ИБП или какой-либо его функциональной части. ИБП может иметь резервированные внутренние блоки (модульный ИБП) или резервирование достигается благодаря использованию нескольких ИБП, включаемых параллельно или последовательно
[ http://www.radistr.ru/misc/document423.phtml с изменениями]EN
redundancy
A method based on using one or more extra backup modules, which enable normal system performance even in case of system failures. For example, redundancy is achieved by feeding a consumer of 1KVA by means of two 1KVA rated UPS systems connected in parallel, hence single unit failure does not affect load performance.
[ http://www.upsonnet.com/UPS-Glossary/]Тематики
Синонимы
EN
резервные компоненты
Резервные компоненты, используемые для обеспечения бесперебойной работы устройства или системы. При выходе из строя основного модуля, его функции автоматически берет на себя резервный.
[ http://www.lexikon.ru/dict/net/index.html]Тематики
EN
физическое резервирование
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
3.4 избыточность (redundancy): Наличие средств в дополнение к средствам, которые могут быть достаточны функциональному блоку, для выполнения требуемой операции или данным для представления информации.
ПРИМЕР - Примерами избыточности являются дублирование функциональных компонентов и добавление битов четности.
Источник: ГОСТ Р 53195.4-2010: Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 4. Требования к программному обеспечению оригинал документа
7.1. Резервирование
Redundancy
Способ обеспечения надежности объекта за счет использования дополнительных средств и (или) возможностей, избыточных по отношению к минимально необходимым для выполнения требуемых функции
Источник: ГОСТ 27.002-89: Надежность в технике. Основные понятия. Термины и определения оригинал документа
3.15 резервирование (redundancy): Использование альтернативных (одинаковых или неодинаковых) конструкций, систем и элементов таким образом, чтобы все они могли выполнять требующуюся функцию независимо от эксплуатационного состояния или отказа любого из них.
(Глоссарий МАГАТЭ по вопросам безопасности:2007)
Источник: ГОСТ Р МЭК 61226-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Классификация функций контроля и управления оригинал документа
3.7 резервирование (redundancy): Использование альтернативных (одинаковых или неодинаковых) конструкций, систем или элементов таким образом, чтобы все они могли выполнять требующуюся функцию независимо от эксплуатационного состояния или отказа любого из них.
(МАГАТЭ NS-G-1.3)
Источник: ГОСТ Р МЭК 60709-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Разделение оригинал документа
3.29 резервирование (redundancy): Использование альтернативных (одинаковых или неодинаковых) конструкций, систем или компонентов таким образом, чтобы все они могли выполнять требующуюся функцию независимо от эксплуатационного состояния или выхода из строя любого из них.
[Глоссарий МАГАТЭ NS-G-1.3]
Источник: ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа
3.3.10 избыточность (redundancy): Существование средств в дополнение к средствам, которые могут быть достаточны функциональному блоку для выполнения требуемой операции, данным для представления информации.
ПРИМЕР - Примерами избыточности являются дублирование функциональных компонентов и добавление битов четности.
Примечания
1. Избыточность используется в первую очередь для повышения надежности или работоспособности.
2. Определение в МЭС 191-15-01 является менее полным [ИСО/МЭК 2382-14-01-12].
Источник: ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа
3.49 резервирование (redundancy): Способ обеспечения надежности объекта за счет использования дополнительных средств и/или возможностей, избыточных по отношению к минимально необходимым для выполнения требуемых функций.
[МАГАТЭ 50-SG-D8]
Источник: ГОСТ Р МЭК 61513-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Общие требования оригинал документа
3.15 резервирование (redundancy): Использование альтернативных (одинаковых или неодинаковых) конструкций, систем и элементов таким образом, чтобы все они могли выполнять требующуюся функцию независимо от эксплуатационного состояния или отказа (выхода из строя) любого из них.
[Глоссарий безопасности МАГАТЭ, Версия 2.0,2006]
Источник: ГОСТ Р МЭК 62385-2012: Атомные станции. Контроль и управление, важные для безопасности. Методы оценки рабочих характеристик измерительных каналов систем безопасности оригинал документа
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. Оптические носители данных (ОНД) оригинал документа
Англо-русский словарь нормативно-технической терминологии > redundancy
См. также в других словарях:
Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… … Wikipedia
resolution — res·o·lu·tion /ˌre zə lü shən/ n 1: a formal expression of opinion, will, or intention voted by an official body (as a legislature) or assembled group see also concurrent resolution, joint resolution 2: an expressio … Law dictionary
Method overriding — Method overriding, in object oriented programming, is a language feature that allows a subclass or child class to provide a specific implementation of a method that is already provided by one of its superclasses or parent classes. The… … Wikipedia
Resolution copper — is a joint venture underground copper mine project owned by both Rio Tinto, and BHP. the project is located in Superior, Arizona. The project targets a deep seated porphyry copper deposit located under the past producing Magma Mine. The mining… … Wikipedia
resolution — /rez euh looh sheuhn/, n. 1. a formal expression of opinion or intention made, usually after voting, by a formal organization, a legislature, a club, or other group. Cf. concurrent resolution, joint resolution. 2. a resolve or determination: to… … Universalium
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia
Resolution (mass spectrometry) — This article is about the quantity used in mass spectrometry. For other uses, see Resolution (disambiguation). In mass spectrometry, resolution measures of the ability to distinguish two peaks of slightly different mass to charge ratios ΔM, in a… … Wikipedia
Method of lines — The method of lines (MOL, NMOL, NUMOL) (Schiesser, 1991; Hamdi, et al., 2007; Schiesser, 2009 ) is a technique for solving partial differential equations (PDEs) in which all but one dimension is discretized. MOL allows standard, general purpose… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Resolution (policy debate) — In policy debate, a resolution or topic is a normative statement which the affirmative team affirms and the negative team negates. Resolutions are selected annually by affiliated schools. At the college level, a number of topics are proposed and… … Wikipedia
resolution — res•o•lu•tion [[t]ˌrɛz əˈlu ʃən[/t]] n. 1) gov a formal expression of opinion or intention made, usu. after voting, by a formal organization, a legislature, or other group 2) a resolve or determination 3) the act of resolving or determining upon… … From formal English to slang