|
|
|
|
|
|
|
|
|
Mechanical verifier
| Глоссарий терминов по информационной безопасности |
Автоматический верификатор
|
Автоматический верификатор, русский
Схема обеспечения автоматического доказательства правильности программ. включает генератор условий верификаций и блок доказательства теорем. 2 автоматический контроль (встроенный контроль) [automatic check (builtin check)] - контроль, выполняемый автоматически аппаратными средствами. автономное /инженерное/ средство защиты информации - специальное защитное сооружение, устройство или приспособление, не входящее в комплект технического средства обработки информации, а также устройство общего назначения, используемое для целей защиты.
|
Mechanical, английский
Mechanical (road) sweeper, английский
Mechanical accumulator, английский
Гидроаккумулятор механический в отл. от пневматического, использующего энергию сжатого газа
Mechanical adhesion, английский
Adhesion between surfaces in which the adhesive holds the parts together by interlocking action.
Mechanical advantage, английский
- Передаточное отношение (механизма)
- The ratio of the output force exerted by a mechanism to the input force applied to it.
Mechanical aerated system, английский
Mechanical aeration, английский
Mechanical aeration device, английский
Mechanical aerator, английский
Mechanical agitation process, английский
Mechanical air machine, английский
Mechanical alloying, английский
Mechanical analysis, английский
Mechanical analysis., английский
Mechanical and process engineering part of design, английский
Mechanical application, английский
The application of plaster or mortar by pumping and spraying, rather than by hand with a trowel. mechanical bond 1. the keying of a plaster coat: (a) with another coat or a plaster base below or (b) as a result of plaster which is partially troweled through metal lath. 2. in reinforced concrete construction, a bond between concrete and specially shaped steel reinforcing bars or rods.
Mechanical back focal distance, английский
Mechanical breakaway bands, английский
A closure with a portion or section of the skirt perforated or weakened in some manner so when the closure is opened, the section is designed to break apart and either remain on the container or attach to the closure to indicate the package has been opened.
Mechanical bridge (aka “crutch,” “rake,” or simply “bridge”):, английский
A special stick with an end attachment that helps guide the cue, in place of a hand bridge. a mechanical bridge is used when the cue ball cannot be reached comfortably with a hand bridge.
Mechanical cad, английский
- Сапр-механика; система автоматизированного проектирования в механике и машиностроении
- Автоматизация механического проектирования. механические сапр (см. cad) отличаются от прочих своими областями приложения, которые включают в себя
Mechanical calculator, английский
Механический вычислитель; механическое вычислительное устройство
Автоматический, русский
- ~ key management автоматическое управление ключами
- Self-acting discharge valve
Верификатор, русский
|
Авторизация данных, русский
Определение и установление степени приватности данных в базе данных.
Автоматический верификатор, русский
Схема обеспечения автоматического доказательства правильности программ. включает генератор условий верификаций и блок доказательства теорем. 2 автоматический контроль (встроенный контроль) [automatic check (builtin check)] - контроль, выполняемый автоматически аппаратными средствами. автономное /инженерное/ средство защиты информации - специальное защитное сооружение, устройство или приспособление, не входящее в комплект технического средства обработки информации, а также устройство общего назначения, используемое для целей защиты.
|
|
|
|
|
|
|
