Subject | Russian | English |
Gruzovik | абстрактно-формализованный | abstract-formalized (формализованный при посредстве какой-либо абстракции) |
avia. | Заявка подаётся в формализованном виде по каналам связи АФТН, SITA или факсу с указанием следующих основных данных | Request should be given in formalized AFTN communication lines or facsimile including following main data (tina.uchevatkina) |
media. | метод принятия решения на основе формализованных знаний | knowledge-based method (при кодировании изображений) |
progr. | многократно интерпретируемое представление информации, пригодное для передачи, интерпретации или обработки формализованным образом | re-interpretable representation of information in a formalized manner suitable for communication, interpretation, or processing (определение данных в ISO 2382-1:1993, статья 01.01.02 ssn) |
avia. | организация и подача формализованных сообщений в органы организации воздушного движения | organization and delivery of formalized messages to ATM authorities (tina.uchevatkina) |
scient. | полное формализованное определение | full formal definition (Alex_Odeychuk) |
math. | полностью формализованный язык | completely formalized language |
mil. | предварительно формализованное сообщение | preformatted message |
progr. | пригодный для передачи, интерпретации или обработки формализованным образом | in a formalized manner suitable for communication, interpretation, or processing (ssn) |
progr. | Разработанные принципы инженерии систем формализованы в математических моделях | the discovered principles of systems engineering are formalized in mathematical models (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
psychol. | условное высказывание или его формализованный аналог | implication |
math. | формализованная грамматика | formalized grammar |
el. | формализованная задача | formalized problem |
sec.sys. | формализованная информация | formalized information |
automat. | формализованная классификация | organized classification |
math. | формализованная металогика | formalized metalogic |
math. | формализованная модель | formalized model |
IT | формализованная оценка | explicit evaluation |
law | формализованная процедура | formal procedure (не формальная Andrew052) |
math. | формализованная реализуемость | formalized realizability |
math. | формализованная система | formalized system |
busin. | формализованная система планирования | formalized planning system |
data.prot. | формализованная спецификация | formal specification |
math. | формализованная схема | formalized scheme |
math. | формализованная теория | formalized theory |
psychol. | формализованное интервью | structured interview |
psychol. | формализованное интервью | patterned interview |
gen. | формализованное обозначение | formalized notation (Alex Lilo) |
progr. | формализованное описание | formalization (ssn) |
progr. | формализованное описание | formalized description (ssn) |
tech. | формализованное описание | formal description |
AI. | формализованное описание знаний | formalization of knowledge (Alex_Odeychuk) |
progr. | формализованное описание синтаксиса | syntax specification (ssn) |
progr. | формализованное описание системы типов программных объектов | formalization of software object type system (ssn) |
progr. | формализованное описание системы типов программных объектов | formalized description of software object type system (ssn) |
progr. | формализованное определение | formal definition (ssn) |
progr. | формализованное определение типов данных удалённых операций | formal definition of remote operations data types (ssn) |
ling. | формализованное представление предложения | formal representation of the sentence |
data.prot. | формализованное сообщение | formal message |
IT | формализованное сообщение | formalized message |
mil. | формализованное сообщение | formatted message |
mil. | формализованное сообщение | format message |
mil., navy | формализованное текстовое сообщение | formatted message text (алешаBG) |
gen. | формализованные сведения | checklist information (Alexander Demidov) |
energ.ind. | формализованные теоретические знания | deep knowledge (напр., база данных для диагностики газотурбинных двигателей) |
ed. | формализованный анализ содержания | content analysis (текста) |
progr. | формализованный встроенный механизм событий | formalized built-in event mechanism (ssn) |
pharma. | формализованный дизайн экспериментов | formal experimental designs (Проект ОФС "Валидация биологических методов"; ICH Q8: A structured, organized method for determining the relationship between factors affecting a process and the output of that process. Also known as "Design of Experiments". Wakeful dormouse) |
tech. | формализованный метод | formal approach |
el. | формализованный метод разработки программного обеспечения на основе использования понятия об абстрактной машине | B-method |
media. | формализованный набор программно управляемых вызовов и подпрограмм, которые могут быть описаны прикладной программой для служб сетевого доступа | application programming interface |
media. | формализованный набор программно управляемых вызовов и подпрограмм, которые могут быть описаны прикладной программой для служб сетевого доступа | application program interface |
account. | формализованный прогноз | formal forecast |
law | формализованный процесс | formulated process (Daily Mail Alex_Odeychuk) |
IT | формализованный язык | formalized language |
Makarov. | формализованный язык | formal language |
el. | формализованный язык первого порядка | elementary formalized language |
math. | формализованный язык первого порядка | elementary formalized language |
progr. | формализованным способом | in a formalized manner (ssn) |
AI. | формализовать мышление | mechanize reasoning (Alex_Odeychuk) |
Makarov. | формализовать язык | formalize language |
Makarov., IT | формализовать язык | formalize a language |
el. | элементарный формализованный язык | elementary formalized language |
math. | элементарный формализованный язык | elementary formalized language |