Subject | English | Russian |
progr. | A timed automaton is a finite automaton augmented with a finite set of real-valued clocks | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
mil. | augment with | придать (в знач. "усилить" (каким-либо подразделнием) |
mil. | augment with | придать (в знач. "усилить (каким-либо подразделнием)") |
progr. | to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
progr. | finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
mil. | Maritime Augmented Guidance with Integrated Controls for Carrier Approach and Recovery Precision Enabling Technologies | усовершенствованная система автоматического ведения самолётов корабельного базирования MAGIC CARPET с технологией интегрированного управления параметрами полёта при заходе на посадку и посадке на авианосец (Киселев) |
Makarov. | restricted step method coupled with the augmented Hessian | метод ограниченного шага, связанного с дополненным гессианом |
IT | with an emphasis on 3D and augmented reality | с упором на трёхмерную графику и дополненную реальность (Alex_Odeychuk) |