FORMALISMS на Русском - Русский перевод

• формализмы
• формализмов

Примеры использования Formalisms на Английском языке и их переводы на Русский язык

Each year brings new formalisms proven to be WSTS systems.
Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов.

A New Model Test in High Energy Physics in Frequentist and Bayesian Statistical Formalisms eng, 35 Kb.
Проверка новой модели в физике высоких энергий в рамках частотного и байесовского статистических формализмов англ, 35 Kb.

For more expressive formalisms, this problem can be harder, or even undecidable.
Для более выразительных формализмов эта проблема может быть сложной или даже неразрешимой.

The systematic treatment of the dynamic behavior of interconnected bodies has led to a large number of important multibody formalisms in the field of mechanics.
Систематическое изучение динамики поведения взаимосвязанных тел привело к возникновению в механике большого количества важных« многотельных» формализмов.

Obtained mathematical formalisms allowed to develop new approach on portfolio management.
Полученные математические формализмы позволили выработать принципиально новый подход к портфолио- менеджменту.

The developed tool can be useful for incorporating and testing analysis methods to formalisms that occur to be well-structuredness transition systems.
Разработанный инструмент может быть полезным при внедрении и тестировании методов анализа формализмов, которые оказываются вполне структурированными системами переходов.

Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets as tokens.
Вложенные сети Петри- это расширение формализма раскрашенных сетей Петри, которые используют сети Петри в качестве фишек.

The Functional Mock-up Interface describes a tool-independent standard for constituent components participating in such a co-simulation and can support different formalisms.
Интерфейс FMI( Functional Mock- up Interface) описывает стандартный интерфейс взаимодействия с составляющими компонентами, участвующими в такой косимуляции, и может поддерживать различные формализмы.

The final stage uses various formalisms to assess whether or not an error actually has occurred.
На заключительном этапе используются различные формализмы для оценки того, действительно ли произошла ошибка.

The only way to maintain an attitude of healthy self-doubt and the consequent sanity checks is to jealously guard the connection between the patterns of reality and the formalisms in mathematics.
Единственный способ сохранить отношения здорового неуверенности в себе и последующие проверки вменяемости является ревностно охраняют связь между моделями реальности и формализма в математике.

However, it is a frequent situation when advanced formalisms and methods are not needed, because an executable model of the system is available.
Однако частой является ситуация, когда сложные формализмы и методы не нужны, так как доступна исполнимая модель системы.

A variety of formalisms have been used, including propositional and predicate calculi; deontic, temporal and non-monotonic logics; and state transition diagrams.
Использовались различные формализмы, в том числе пропозициональные и предикатные исчисления; деонтические, темпоральные( временные) и немонотонные логики; и диаграммы перехода состояний.

In linguistics, type-logical grammar, categorial grammar and Montague grammar apply formalisms based on structural proof theory to give a formal natural language semantics.
В лингвистике, логико- типовой грамматике, категорной грамматике и грамматике Монтегю применяют формализм, основанный на структурной теории доказательства, с целью дать формальную семантику естественному языку.

Later, a series of formalisms were derived, only to mention Lagrange's formalisms based on minimal coordinates and a second formulation that introduces constraints.
Позднее была введена серия формализмов, например, формализмы Лагранжа, основанный на минимальных координатах и второй формулировке, которая вводит напряженное состояние.

Some attempts have been made to model these temporal logics using both computational formalisms such as the Event Calculus and temporal logics such as defeasible temporal logic.
Были предприняты некоторые попытки смоделировать эти аспекты в рамках темпоральной логики, используя одновременно вычислительные формализмы, такие как логический язык Event Calculus, и темпоральные логики, такие как допустимая темпоральная логика.

This course covers basic mathematical formalisms which are used in the hardware design(functional elements schemes, abstract and structural automatons), and how these formalisms are presented in the language Verilog.
В курсе рассматриваются основные математические формализмы, используемые при проектировании аппаратуры, и то, как эти формализмы представляются на языке Verilog.

We obtain that in the first order approximation in a weak scalar field regime the effective Energy-momentum tensors coincide in the 1st and 2nd order formalisms, but in general they can differ and higher derivatives appear in the equations of motion.
Получено, что в первом порядке разложения по слабому скалярному полю эффективные ТЭИ совпадают в формализмах 1- го и 2- го порядков, но в общем случае они могут отличаться и в уравнениях движения появляются высшие производные.

Formal language theory mostly studies formalisms to describe sets of strings, such as context-free grammars and regular expressions.
Теория формальных языков в основном изучает формализмы для описания множеств строк, таких как контекстно- свободные грамматики и регулярные выражения.

Against all formalisms, subtleties and cultural distinctions, existentially unemployed, nothing has value except the writings sprung from life's tensions, from the organic obsessions, from the loneliness' and night's intuitions.
Вопреки всем формальностям, тонкостям и культурным различиям, не затрагивающим экзистенцию, имеет значение лишь то, что написано, исходя из жизненных напряжений, из физических одержимостей, из интуитивного сознания одиночества и ночи.

Since the beginning of the century, these approaches have been extended to the problem of inference of context-free grammars and richer formalisms, such as multiple context-free grammars and parallel multiple context-free grammars.
С начала столетия эти подходы были распространены на задачу вывода контекстно- свободных грамматик и более богатые формализмы, такие как множественные контекстно- свободные грамматики и параллельные множественные контекстно- свободные грамматики.

F-logic is considered as one of the formalisms for ontologies, but description logic(DL) is more popular and accepted, as is the DL-based OWL.
F- логику рассматривают как один из формализмов для онтологий, хотя дескриптивная логика более популярна и принята как основная для языка онтологий OWL.

Therefore, it is easy to introduce and modify new formalisms as well as conduct analysis of the behavioural properties without much programming efforts.
Таким образом упрощается создание и изменение новых формализмов, а также осуществление анализа поведенческих свойств без большого объема программистских усилий.

Similar considerations apply to formalisms that describe not sets of strings, but sets of trees(e.g. XML schema languages), of graphs, or other structures.
Аналогичные соображения применимы к формализмам, которые описывают не множество строк, а множество деревьев( например, язык разметки XML), графов или других структур данных.

It may involve consensus, social capital and formalisms such as voting systems, social media and other means of quantifying mass activity.
Понятие коллективного интеллекта может затрагивать консенсус, социальный капитал, и такие понятия, как избирательные системы, социальные медиа и другие методы учета общественной деятельности.

However, Markov hypothesis does not allow us to set up formalisms and mechanisms of development in such systems, due to the complex cause-effect relations, the aim to describe the entire retrospective of such development and its influence on current and future states of a developing SES.
Однако гипотеза Маркова не позволяет сформировать формализмы и механизмы развития в таких системах, в силу сложных причинно-следственных зависимостей, желания описать всю ретроспективу такого развития и его влияние на текущее и будущее состояние развивающейся СЭС.

Adapting the formalism[22] the biological system, We describe the leaking intracellular processes.
Адаптируя формализм[ 22] к биологической системе, опишем протекающие внутриклеточные процессы.

NMR theory product operator formalism.
Теория ЯМР формализм матрицы плотности.

It is this auteur style that concerns formalism.
Таким образом, формализм исследует этот авторский стиль.

Matrix formalism of intertype relations.
Матричный формализм интертипных отношений.

Axiomatic method and formalism.
Аксиоматичный метод и формализм.