What is the translation of " FORMAL MODEL " in Russian?

• формальная модель
• формальную модель

Examples of using Formal model in English and their translations into Russian

Let's consider the following formal model.
Рассмотрим следующую формальную модель.

We use formal models to specify components and their composition.
Мы используем формальные модели для описания компонентов и их взаимодействия.

Semantics, logic and formal models of programs.
Семантика, логика и формальные модели программ;

Formal Models and Verification of Properties of Programs Using Object-Oriented Languages.
Формальные модели и верификация свойств программ с использованием предметно-ориентированных языков.

Theoretical computer science: formal models and semantics.
Теория программирования: формальные модели и семантика.

Formal model of description of time instants and time periods considering possible knowledge uncertainty is represented.
Представлена формальная модель описания моментов и промежутков времени с учетом возможной неопределенности знаний о них.

Conformance theory development: semantics, formal models, algorithms.
Развитие теории конформности: семантики, формальные модели, алгоритмы.

There are many formal models available, including the World Intellectual Property Organization(WIPO) Arbitration and Mediation Centre.
Существует много официальных моделей, включая Центр Всемирной организации интеллектуальной собственности( ВОИС) по арбитражу и по посредничеству.

Gallini(1992) introduced this idea into a formal model for the first time.
Эта идея была впервые введена в формальную модель Галлини 1992 год.

The formal model of national committee set out in the United Nations guidelines has, however, been replaced by other, more informal, entities.
Однако формальная модель национального комитета, изложенная в Руководящих принципах Организации Объединенных Наций, была заменена другими, более неформальными структурами.

On the basis of object analysis, a formal model of computational mathematics is constructed.
На основе проводимого объектного анализа строится формальная модель вычислительной математики.

A formal model of test interaction of the most general type and reduction-type conformance are proposed for which there is hardly any dependence between errors.
Предлагается формальная модель тестового взаимодействия самого общего вида и конформность типа редукции, для которых зависимость между ошибками практически отсутствует.

We use finite state transducers over semigroups as formal models of reactive systems.
В качестве формальных моделей для реагирующих систем мы используем конечные автоматы- преобразователи, работающие над полугруппами.

The most general formal model of test interaction and the reduction type of conformance are suggested, for which dependency between errors is almost absent.
Предлагается формальная модель тестового взаимодействия самого общего вида и конформность типа редукции, для которых зависимость между ошибками практически отсутствует.

This explanation, termed the Kuznets process, was developed into a formal model by Anand and Kanbur(1993b);
Эта гипотеза, получившая название" процесса Кузнеца", была преобразована в формальную модель Анандом и Канбуром( 1993b);

The formal model demonstrating how the accumulation of reserves can spur growth, as well as the empirical evidence, is presented in the cited paper by Polterovich and Popov 2004.
Формальная модель, демонстрирующая, как накопление запасов может стимулировать рост, вместе с эмпирическими данными представлена в цитируемой работе Полтеровича и Попова Polterovich, Popov, 2004.

Finite state transducers over semigroups can be regarded as a formal model of sequential reactive programs.
Конечные автоматы- преобразователи( трансдьюсеры) над полугруппами могут служить формальными моделями последовательных реагирующих программ.

Among these applications are verification and testing of software and hardware systems, network exploration including Internet and GRID basing on formal models.
К таким приложениям относятся верификация и тестирование программных и аппаратных систем, а также исследование сетей, в том числе сети интернета и GRID на основе формальных моделей.

In 2001, Tadeusz(Tad) Szuba from the AGH University in Poland proposed a formal model for the phenomenon of collective intelligence.
В 2001 году, Тадеуш Шуба( Tadeusz( Ted) Szuba) из польской Академии Горного Дела и Металлургии предложил формальную модель феномена коллективного интеллекта.

The previously created formal model was extended and modified to incorporate functions that will now define the creation, editing and printing of multidirectional, multilingual documents.
Разработанная ранее формальная модель была расширена и изменена с целью включения в нее функций, которые будут теперь позволять создавать, редактировать и издавать многопрофильные, многоязычные документы.

But for full-blown execution of those steps one needs apriori formal model, which causes specific statistical tests and various constraints.
Но для полноценного прохождения этих шагов нам необходима априорная формальная модель, на которой основываются те или иные статистические критерии+ учет большого числа ограничений.

The conceptual, informational, functional models of the system, as well as a meta-model, which allows to realize control while using various formal models(RBAC, DAC, MAC), are described.
Описаны концептуальная, информационная, функциональная модели системы, а также метамодель, которая позволяет реализовать возможность управления в условиях использования различных формальных моделей RBAC, DAC, MAC.

The automatic classification of linguistic and music knowledge; formal models of linguistic and music knowledge; musical information retrieval vs.
Автоматическая классификация языкового и музыкального знаний; формальные модели языкового и музыкального знаний; особенности организации музыкального и лингвистического автоматизированного поиска.

In the late 1930s, Waddington produced formal models about how gene regulatory products could generate developmental phenomena, showed how the mechanisms underpinning Drosophila development could be studied through a systematic analysis of mutations that affected the development of the Drosophila wing.
В конце 1930- х годов Уоддингтон построил формальные модели того, как регуляторные продукты генов могут влиять на пути эмбрионального развития, продемонстрировал на примере крыльев мушки- дрозофилы как это влияние может быть изучено на путем систематического анализа мутаций.

In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world.
В информатике, язык действий- это язык для определения моделей состояний и переходов, и обычно используется для создания формальных моделей результатов действий в природе.

Another delegation described its more formal model of business registration, which was accomplished through a notary who carefully verified the information, which could then be relied upon to provide transparency for all third parties in their dealings with the business.
Другая делегация дала описание своей более формальной модели регистрации предприятий, осуществляемой через нотариуса, который тщательно проверяет предоставленную информацию, чтобы ее можно было бы затем использовать в целях обеспечения прозрачности для всех третьих сторон, ведущих дела с данным предприятием.

Many of its activities were related to risk, but only recently the Directorate had decided to implement a formal model of risk management based on those proposed by the GRM of UNECE and ISO 31.000.
Хотя многие виды его деятельности относятся к риску, Управление лишь недавно приняло решение внедрить формальную модель управления рисками на основе модели, предложенной ГРМ ЕЭК ООН и ISO 31. 000.

The School also conducts research on various contemporary scientific areas: the analysis and modelling of business processes; the architecture of computational systems; databases; mathematical logic; mathematical modelling; machine learning and artificial intelligence; fuzzy logic; process-oriented information systems; Petri nets; system programming; formal models of distributed systems; and others.
В департаменте ведутся исследования по различным современным научным направлениям, в число которых входят: анализ и моделирование бизнес процессов, архитектуры вычислительных систем, базы данных, математическая логика, математическое моделирование, машинное обучение и искусственный интеллект, нечеткая логика, процессно- ориентированные информационные системы, сети Петри, системное программирование, формальные модели распределенных систем и др.

Annotation: We outline an approach to analysis of information security aspects basing on formal models of company's business processes that are described in terms of standard business-modeling notations.
Аннотация: Представлен подход к анализу аспектов информационной безопасности на основе формальных моделей процессов организации, разработанных в стандартных нотациях бизнес- моделирования.

The most elegant analysis of these trade offs has been set out in Blanchard(1997), which develops a nice formal model of the interactions between state-owned and private sectors- through privatisation and new firm formation; between restructuring and growth- through the implied tax rate on business sector activity; and of the path of unemployment along alternative transition paths.
Наиболее элегантный анализ этих компромиссов описывается в работе Бланшара( Blanchard( 1997)), который разработал красивую формальную модель взаимодействия государственного и частного секторов в рамках процесса приватизации и создания новых предприятий; связи между реструктуризацией и ростом через налогообложение хозяйственной деятельности; и динамики безработицы при различных стратегиях переходных преобразований.