모형 이론 oor Engels

모형 이론

Vertalings in die woordeboek Koreaans - Engels

model theory

en
study of classes of mathematical structures from the perspective of mathematical logic
wikidata

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
만약 어떠한 글(sentence) 또는 그 집합인 이론(theory)을 만족시키는 언어의 모형적 구조가 있다면 그것은 그 글 또는 이론모형이라고 불린다.
If a model for a language moreover satisfies a particular sentence or theory (set of sentences), it is called a model of the sentence or theory.WikiMatrix WikiMatrix
모형은 현재 이론적으로 매우 잘 이해되고 있으며, WMAP과 같은 매우 정밀한 관측 결과들에 의해 뒷받침되고 있다.
This model is well understood theoretically and strongly supported by recent high-precision astronomical observations such as WMAP.WikiMatrix WikiMatrix
이렇게 곡예에 가까운 동작의 핵심은 수학 모형과 제어 이론의 도움으로 설계된 알고리즘입니다.
The key to these acrobatic maneuvers is algorithms, designed with the help of mathematical models and control theory.ted2019 ted2019
경쟁은 로버트 맥아서와 E. O. 윌슨의 섬생물지리학 저작에 기반한 r/K 선택 이론으로 모형화되어 있다.
Competition is modelled by r/K selection theory, which is based on Robert MacArthur and E. O. Wilson's work on island biogeography.WikiMatrix WikiMatrix
충돌모형(衝突模型) 또는 충돌이론(衝突理論, collision theory)이란, 독일의 화학자인 Max Trautz와 William Lewis가 1916년과 1918년에 제안한 이론이다.
One example comes from the collision theory of chemical reactions, developed by Max Trautz and William Lewis in the years 1916–18.WikiMatrix WikiMatrix
이전에 출판되었던 허블 우주 망원경 응용 논문 및 이론모형을 조합한 결과 바먼은 행성 대기 내 물의 흡수선이 있다는 유력한 증거를 찾아냈다.
Using a combination of previously published Hubble Space Telescope measurements and new theoretical models, Barman found strong evidence for water absorption in the planet's atmosphere.WikiMatrix WikiMatrix
그것을 게임 이론상 급료 지불 모형이라는 용어라고 생각해 볼수 있겠죠.
And you can think of it in terms of a game-theoretic payoff matrix.ted2019 ted2019
바먼은 넛슨의 HD 209458 b에 대한 허블 망원경 자료를 넘겨 받았고 이 값들을 그의 이론모형에 적용했고, 그 결과 행성 대기 중 물 흡수선이 있다는 주장을 내세웠다.
Barman took Knutson's Hubble data on HD 209458 b, applied to his theoretical model, and allegedly identified water absorption in the planet's atmosphere.WikiMatrix WikiMatrix
그것에 대한 모형이 잇는데, 나는 이것을 이론적으로 만들었어. "
Well, that has some testable predictions.QED QED
이제 당신은 모형과 그 사실에 맞는 이론이 필요합니다. 그리고 나는 분명한 것에 대해 계속 이야기 할 겁니다. 그 분명한 것은 언제나 모든 것에 중립에 있습니다. 명백한 이론은 어떻게든 이런 사람들이 서로 부합될 것이고 아마 38의 사람이 44에 팔 겁니다.
Now you need a model and a theory that fits the facts, and I'm belaboring the obvious, but the obvious is always central to everything, the obvious theory would go something like, well, somehow these people are going to get matched up and maybe thirty- eight will sell to forty- four and all eight things will be sold.QED QED
1960년에 에이브러햄 로빈슨 은 모형 이론 을 이용하여 라이프니츠의 무한소의 엄밀한 정의를 설립하기 위해 노력했다. 위상기하학 [ 편집 ]
Beginning in 1960, Abraham Robinson worked out a rigorous foundation for Leibniz's infinitesimals, using model theory , in the context of a field of hyperreal numbers .ParaCrawl Corpus ParaCrawl Corpus
이에 더해 이 발견들은 이론 물리학자들이 표준 모형이라고 불리는 가장 기본적인 단계에서 자연을 묘사하려는 그들의 노력이 바른 길이라는 강력한 증거를 제공했다.
Together, these discoveries provide strong evidence that theoretical physicists are on the right track in their efforts to describe Nature at its most basic level through the so-called "Standard Model".WikiMatrix WikiMatrix
이론적 경제학은 실제 세계를 설명하기 위해 모형을 만든는 과정에 대한 것입니다.
Theoretical economics is the process of building models to explain the world.QED QED
그의 이론적 연구는 다양한 단일 가구를 위한 주택 모형들로 발전했다.
His theoretical studies soon advanced into several different single-family house models.WikiMatrix WikiMatrix
사업을 어디에서 할 것인가를 결정하는데는 고려해야 할 것들이 여러가지 있겠지만, 비숫한 회사들이 한군데 모여있는 것은 "공간 경쟁에 대한 호텔링의 모형"이라는 아주 간단한 이론으로 설명할 수 있어요. * 호텔링의 법칙(Hotelling's Law): Harold Hotelling이라는 수리경제학자가 만든 법칙으로 생산자들은 가능한 유사한 제품을 만들려고하는 경향이 있다는 이론.
While there are several factors that might go into deciding where to place your business, clusters of similar companies can be explained by a very simple story called Hotelling's Model of Spatial Competition.ted2019 ted2019
초기의 다이달로스 계획 모형이론적 연구를 한층 심화시켰다.
The initial Project Daedalus model sparked further theoretical research.ParaCrawl Corpus ParaCrawl Corpus
그래서 기본적으로, 이론적 경제학의 목적은 핵심적으로 실험가능한 예측들을 가지고 잇는 모형을 만드는 것입니다.
And so basically, the goal of theoretical economics is essentially to build a model that has some testable predictions.QED QED
후일 착수된 여러 관측에서는 예측된 여러 모형과는 다르게 고작 20에서 30 태양질량 밖에 되지 않는 블랙홀이 이론보다 더 빠른 속도로 (포획한 항성풍까지 포함한)물질을 흡수하고 있다고 한다.
Further observations showed that the system deviated from expected models - the black hole is just 20 to 30 solar masses, and consumes material (including captured stellar wind) at a higher rate than theory suggests.WikiMatrix WikiMatrix
대신, 이 이론 모형은 사용하기 쉽고 강력한 소프트웨어, 그리고 이 책 쇼로 위로 독자 전진된 적용을 시작하는 방법 암호로 하 기술을 거의 즉각 만든.
Instead, these theoretical models have been coded up into user-friendly and powerful software, and this book shows the reader how to start applying advanced modeling techniques almost immediately.ParaCrawl Corpus ParaCrawl Corpus
즉 이 책은 진짜 사업 세계에서 암호문을 해독하고 적용하기 극단적으로 단단한 수학적 모형 및 모든 이론적인 면담으로 분배한다.
In other words, this book dispenses with all the theoretical discussions and mathematical models that are extremely hard to decipher and apply in the real business world.ParaCrawl Corpus ParaCrawl Corpus
그는 동질 우주 모형이론에 동적 시스템과 같은 애플 리케이션의 다양한 수학 공부, solitons의 이론, 선형 연산자의 스펙트럼 이론, 양자 이론 분야 이론 및 문자열.
He studied a wide variety of applications of mathematics such as dynamical systems in the theory of homogeneous cosmological models, the theory of solitons, the spectral theory of linear operators, quantum field theory and string theory.ParaCrawl Corpus ParaCrawl Corpus
현대 과학사학자 데이비드 린드버그는 "우리는 그들의 연구에서 (1)별에서 행성 문제로의 이동, (2)별과 행성들의 현상을 나타내기 위한 ‘두 구 모형(two-sphere model)’이라는 기하학적 모형의 개발, 행성의 관측을 설명하기 위해 고안된 이론을 관리하는 기준의 수립을 발견할 수 있다."라고 말하였다.
According to a modern historian of science, David Lindberg: "In their work we find (1) a shift from stellar to planetary concerns, (2) the creation of a geometrical model, the "two-sphere model," for the representation of stellar and planetary phenomena, and (3) the establishment of criteria governing theories designed to account for planetary observations".WikiMatrix WikiMatrix
이러한 이론불일치는 표준모형 과 입자물리학 에서의 이론적 전환을 이끌고 있다.
This discrepancy forced a change in some values in the standard model for particle physics .ParaCrawl Corpus ParaCrawl Corpus
응집물질물리학을 연구하기 위해서는 여러 실험적인 방법으로 물질의 특성을 측정하기도 하고, 이론물리학 기법을 이용하여 물리적인 성질을 이해하는 데 도움이 될 만한 수학적인 모형을 개발하기도 한다.
The study of condensed matter physics involves measuring various material properties via experimental probes along with using methods of theoretical physics to develop mathematical models that help in understanding physical behavior.WikiMatrix WikiMatrix
여러 이론 모형들은 목성이 현재보다 훨씬 더 무거웠다면 그 크기가 줄어들었을 것임을 시사한다.[20] 질량의 작은 변화에 대해서 반지름은 눈에 띄게 변화하지 않지만, 약 500 M ⊕ (1.6 목성질량) 이상에서는[20] 압력 의 증가에 따라 내부가 매우 크게 압축되면서 질량의 크기는 증가한데 비해 행성의 부피는 감소 하게 된다.
Theoretical models indicate that if Jupiter had much more mass than it does at present, it would shrink.[37] For small changes in mass, the radius would not change appreciably, and above about 500 M ⊕ (1.6 Jupiter masses)[37] the interior would become so much more compressed under the increased pressure that its volume would decrease despite the increasing amount of matter.ParaCrawl Corpus ParaCrawl Corpus
37 sinne gevind in 13 ms. Hulle kom uit baie bronne en word nie nagegaan nie.