Примеры использования The formalism на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
The formalism has been a valuable tool in tests of general relativity.
Gessen and the attempt of the latter to overcome the formalism of Kant's moral teaching.
The formalism specifies a library behavior using a system of extended finite state machines EFSM.
Данный формализм предлагает описывать поведение библиотек с помощью системы расширенных конечных автоматов.Consistency: a proof that no contradiction can be obtained in the formalism of mathematics.
Последовательность: доказательство того, что в формализме математики не может быть получено никакого противоречия.Adapting the formalism[22] the biological system, We describe the leaking intracellular processes.
Адаптируя формализм[ 22] к биологической системе, опишем протекающие внутриклеточные процессы.But this latest finding oneself coincided with the start of the campaign while fighting with the formalism.
Но это позднее обретение себя совпало с начавшейся тогда кампанией борьбы с формализмом.Much of the formalism(e.g., number of required meetings) has been removed in favor of a less rigid process.
Большая часть формальностей( например, обязательное количество встреч) была удалена в целях обеспечения менее жесткой процедуры.От лагранжева формализма можно перейти к гамильтоновому по аналогии с лагранжевой и гамильтоновой механикой.However, the formalism in this dichotomy tends to obscure the nature of the dynamic relationship that seems to exist.
Однако формализм в этой дихотомии склонен затушевать природу динамичной связи, которая, по всей видимости, существует.Unlike Newton, Leibniz paid a lot of attention to the formalism, often spending days determining appropriate symbols for concepts.
В отличие от Ньютона, Лейбниц уделял большое внимание формализму, часто затрачивая многие дни для выбора подходящих символов для конкретных понятий.The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying and analyzing them in a formal and rigorous way.
Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне.According to the Gospels, Jesus of Nazareth continually criticised the taboos and the formalism of antique Judaïsm, although he never criticised Roman paganism.
Согласно Евангелию, Иисус из Назарета всегда выступал против запретов и формализма в Иудаизме, но никогда не осуждал греко-римское многобожие.Поставленная задача решается в формализме спиновой плотности на основе уравнений Ландау- Лифшица при отсутствии диссипации в системе.Outside of string theory, mirror symmetry is used to understand aspects of quantum field theory, the formalism that physicists use to describe elementary particles.
За рамками теории струн зеркальная симметрия используется для понимания аспектов квантовой теории поля, формализма, с помощью которого физики объясняют распространение и взаимодействие элементарных частиц.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.When exploring social structures, one should diminish the contribution of each successive recursion step, oralternatively reduce the formalism of its semantics, e.g., by avoiding coding unilateral relationships.
При изучении социальных структур необходимо уменьшать размер каждого последующего рекурсивного шага или, в качестве альтернативы,снижать степень формализма его семантики, например, исключая кодировку односторонних отношений.The formalism of auxiliary tensor(bispinor) fields in U(1) self-dual nonlinear models of abelian gauge fields to the case of Sp(2,R) self-duality was generalized.
Формализм со вспомогательными тензорными( биспинорными) полями в U( 1) самодуальных нелинейных моделях абелевых калибровочных полей обобщен на случай Sр( 2, R)- самодуальности.Shaikhet himself later recalled:‘While opposing the methods ofthe October group, who paid tribute to the formalism sofashionable atthat time, Istill found much that was interesting and useful intheir work'.
Сам А. Шайхет впоследствии вспоминал:« Борясь против методов„ октябревцев“,отдавших щедрую дань модному тогда формализму, ятем неменее нашел вихработах немало для себя интересного иполезного».The formalism was invented by Adriaan van Wijngaarden to define rigorously some syntactic restrictions which previously had to be formulated in natural language, despite their essentially syntactical content.
Формализм был изобретен Адрианом ван Вейнгаарденом для определения некоторых синтаксических ограничений, которые ранее должны были формулироваться на естественных языках, несмотря на свою принципиально синтаксическую сущность.Mirror symmetry is also a fundamental tool for doing calculations in string theory, andit has been used to understand aspects of quantum field theory, the formalism that physicists use to describe elementary particles.
Кроме того, зеркальная симметрия является основным инструментом вычислений в теории струн;также она использовалась для понимания деталей квантовой теории поля, формализма, с помощью которого физики описывают элементарные частицы.Фраза" в соответствии с законом" выходит за рамки формализма наличия юридических оснований во внутригосударственном праве, она требует, чтобы юридические основания были" доступны" и" предсказуемы.When it was subjected to the close scrutiny of formalism, it was found to have weaknesses and it is interesting to observe that, this time,it was the close scrutiny of the formalism that led to the discovery(some would say invention) of non-Eucidean geometry.
Когда она подверглась пристальному анализу, обнаружилось, что она имеет слабые стороны, иинтересно заметить, что именно этот тщательный формальный анализ привел к обнаружению( кто-то сказал бы, к открытию) неевклидовой геометрии.The formalism supposes that spacetime is foliated into a family of spacelike surfaces Σ t{\displaystyle\Sigma_{t}}, labeled by their time coordinate t{\displaystyle t}, and with coordinates on each slice given by x i{\displaystyle x^{i.
Формализм предполагает, что пространство- время можно расслоить на совокупность пространственноподобных 3- мерных гиперповерхностей Σ t{\ displaystyle\ Sigma_{ t}}, которые нумеруются при помощи временной координаты t{\ displaystyle t}, а на каждой гиперповерхности вводятся пространственные координаты x i{\ displaystyle x^{ i.Like the many-worlds interpretation(MWI), TI is a"pure" interpretation in that it does not add anything ad hoc butprovides a physical referent for a part of the formalism that has lacked one the advanced states implicitly appearing in the Born rule.
Как и многомировая интерпретация, ТИ является" чистой" интерпретацией в том, что она не добавляет ничего специального, нообеспечивает физический референт для части формализма, которой не хватало одного расширенных состояний, неявно входящих в правило Борна.In the formalism of particle theories, charge-like quantum numbers can sometimes be inverted by means of a charge conjugation operator called C. Charge conjugation simply means that a given symmetry group occurs in two inequivalent(but still isomorphic) group representations.
В формализме теории элементарных частиц заряды типа квантовых чисел иногда могут быть обращены посредством оператора зарядового сопряжения, называемого С. Зарядовое сопряжение просто означает, что данная группа симметрий имеет место в двух неэквивалентных( но все еще изоморфных) представлениях группы.Quantum mechanics in phase space is often favored in certain quantum optics applications(see optical phase space), or in the study of decoherence anda range of specialized technical problems, though otherwise the formalism is less commonly employed in practical situations.
Квантовая механика в фазовом пространстве часто выступает в определенных приложениях квантовой оптики( см. оптическое фазовое пространство),при изучении декогеренции и целом ряде специальных технических проблем, хотя этот формализм редко используется на практике.Calculations within the formalism of the crystal field are shown to give an adequate description of magnetic and magnetoelastic anomalies and critical parameters of the crossover of the investigated crystals when using known interaction parameters, under the assumption of an adiabatic magnetization process in pulsed fields.
Показано, что расчеты в формализме кристаллического поля с использованием известных параметров взаимодействия и в предположении адиабатичности процесса намагничивания в импульсных полях дают адекватное описание магнитных и магнитоупругих аномалий и критических параметров кроссовера исследованных кристаллов.Since the angular momentum operator is given by J A+ B, the highest spin in quantum mechanics of the rotation sub-representation will be(m+ n)ℏ andthe"usual" rules of addition of angular momenta and the formalism of 3-j symbols, 6-j symbols, etc. applies.
Поскольку оператор момента импульса задается равенством J A+ B{\ displaystyle\ mathbf{ J}=\ mathbf{ A}+\ mathbf{ B}}, наибольший спин в квантовой механике вращательного подпредставления будет равен( m+ n) ℏ{\ displaystyle( m+ n)\ hbar} и применимо« обычное»правило сложения угловых моментов и формализм 3j- символов, 6j- символов, и т. д.However, if the Commission wished to retain the draft article,his delegation would endorse variant B. Variant A introduced the formalism of a diplomatic conference, which was not in line with the Commission's traditional practice, as well as strict voting procedures that tended to politicize the proceedings.
В то же время если Комиссия пожелает сохранить этот проект ста- тьи, тоего делегация будет поддерживать вариант В. Вариант А привносит формализм, присущий дипло- матическим конференциям, что не согласуется с тра- диционной практикой Комиссии, и предусматривает строгую процедуру голосования, которая будет поли- тизировать работу.Омбудсмен Республики обеспечивает и поддерживает постоянный диалог между государственной администрацией и гражданами, между коммунальными службами и пользователями их услуг с тем, чтобы преодолеть закостенелость или инертность административных структур и органов,а также формализм судебных процедур.
