checking practice

checking practice
ведение (доменной печи) с периодическим снижением дутья

Англо-русский словарь технических терминов. 2005.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "checking practice" в других словарях:

  • Checking whether a coin is fair — In statistics, the question of checking whether a coin is fair is one whose importance lies, firstly, in providing a simple problem on which to illustrate basic ideas of statistical inference and, secondly, in providing a simple problem that can… …   Wikipedia

  • 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

  • Bounds-checking elimination — In computer science, bounds checking elimination is a compiler optimization useful in programming languages or runtimes that enforce bounds checking, the practice of consistently checking every index into an array to verify that the index is… …   Wikipedia

  • Dead checking — is U.S. military jargon for the practice of verifying the death of Iraqi insurgents and the subsequent killing of those who remain alive when U.S. Armed Forces enter an insurgent house in hot battle as part of Operation Iraqi Freedom. The term… …   Wikipedia

  • Negative checking — is a process by which producers of film, television and radio programs will attempt to ensure that the names of fictional characters cannot be confused with real life people. For instance, during the making of the series Inspector Morse, the… …   Wikipedia

  • Microburst — Illustration of a microburst. Note the downward motion of the air until it hits ground level. It then spreads outward in all directions. The wind regime in a microburst is opposite to that of a tornado …   Wikipedia

  • 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

  • Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or …   Wikipedia

  • Money supply — Finance Financial markets Bond market …   Wikipedia

  • Penalty (ice hockey) — A penalty in ice hockey is a punishment for inappropriate behavior. Most penalties are enforced by detaining the offending player within a penalty box for a set number of minutes, during which, the player can not participate in play. The… …   Wikipedia

  • Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»