Tradução de "programa de elementos finitos" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| Programa de Análise de Elementos Finitos | Finite Element Analysis Program |
| Gerador de mescla de elementos finitos em 3D | 3 D finite element mesh generator |
| Para conjuntos finitos isso é fácil uma simples conta acha o número de elementos de um conjunto. | For finite sets this is easy one simply counts the number of elements a set has. |
| Bem como a métrica discreta há mais gerais discretos ou finitos espaços métricos e finitos espaços topológicos . | As well as the discrete metric there are more general discrete or finite metric spaces and finite topological spaces. |
| Os ordinais finitos (e cardinais finitos) são os números naturais 0, 1, 2..., já que quaisquer duas ordens de um conjunto finito são isomórficas de ordem. | The finite ordinals (and the finite cardinals) are the natural numbers 0, 1, 2, , since any two total orderings of a finite set are order isomorphic. |
| Claramente, o teorema é verdadeiro para conjuntos finitos. | Obviously, the theorem is true for finite sets. |
| A definição introdutória apenas descreve autômatos com números finitos de estados. | The above introductory definition describes automata with finite numbers of states. |
| Em particular, uma teoria ricamente desenvolvida é a dos grupos finitos, que culminou com a monumental classificação dos grupos simples finitos, completada em 1983. | A theory has been developed for finite groups, which culminated with the classification of finite simple groups announced in 1983. |
| Grupos abelianos finitos O teorema fundamental dos grupos abelianos finitos estabelece que todo grupo abeliano finito G pode ser expresso como a soma direta de subgrupos cíclicos de ordem prima. | Classification The fundamental theorem of finite abelian groups states that every finite abelian group G can be expressed as the direct sum of cyclic subgroups of prime power order. |
| Autômatos finitos são usados em processamento de texto, compiladores e projeto de hardware. | Finite automata are used in text processing, compilers, and hardware design. |
| Equivalentemente, um conjunto gerador de um grupo é um subconjunto, tal que todo elemento do grupo pode ser expresso como a combinação (sob a operação do grupo) de elementos finitos do subconjunto e seus inversos. | In abstract algebra, a generating set of a group is a subset such that every element of the group can be expressed as the combination (under the group operation) of finitely many elements of the subset and their inverses. |
| Estados Estados finitos Um autômato que contém apenas um número finito de estados. | Such an automaton is called an infinite tree automaton States Finite states An automaton that contains only a finite number of states. |
| Teorema O conjunto de todos os subconjuntos finitos dos números naturais é contável. | Theorem The set of all finite subsets of the natural numbers is countable. |
| Até então nós mencionamos somente ordinais finitos, que são os números naturais. | So far we have mentioned only finite ordinals, which are the natural numbers. |
| Na matemática discreta, conjuntos contáveis (incluindo conjuntos finitos) são o foco principal. | In discrete mathematics, countable sets (including finite sets) are the main focus. |
| Esta prova de consistência deve preferencialmente usar somente o raciocínio finitista sobre objetos matemáticos finitos. | This consistency proof should preferably use only finitistic reasoning about finite mathematical objects. |
| Dívida ( não consolidada ) Elementos de consolidação Elementos de consolidação numerário e depósitos Elementos de consolidação títulos de curto prazo Elementos de consolidação títulos de longo prazo Elementos de consolidação empréstimos | Debt ( non consolidated ) Consolidating elements Consolidating elements currency and deposits Consolidating elements short term securities Consolidating elements long term securities Consolidating elements loans |
| Por outro lado, Gödel sugeriu a possibilidade de dar consistentes provas finitasusando métodos finitos que não podem ser formalizados na aritmética de Peano, então ele parece ter tido uma visão mais liberal de quais métodos finitos podem ser permitidos. | On the other hand Gödel himself suggested the possibility of giving finitary consistency proofs using finitary methods that cannot be formalized in Peano arithmetic, so he seems to have had a more liberal view of what finitary methods might be allowed. |
| O exemplo da figura 3 mostra uma máquina de estados finitos que aceita a palavra nice . | The example in figure 4 shows a finite state machine which accepts the string nice . |
| Máquinas de estados finitos são uma classe de autômatos estudada na teoria dos autômatos e teoria da computação. | Finite state machines are a class of automata studied in automata theory and the theory of computation. |
| Existe apenas um sistema finito de sequências finitas, como também existe apenas um sistema finito de subconjuntos finitos. | There are only countably many finite sequences, so also there are only countably many finite subsets. |
| Os números de contagem são exatamente o que pode ser definido formalmente como os números cardinais finitos. | The counting numbers are exactly what can be defined formally as the finite cardinal numbers. |
| O conceito é concebido como uma máquina abstrata que deve estar em um de seus finitos estados. | It is conceived as an abstract machine that can be in one of a finite number of states . |
| Elementos do Desenho Os vários elementos visuais, conhecidos como Elementos do Design , Elementos Formais ou Elementos de Arte , são o vocabulário que os artistas visuais usam para compor. | Elements of design The various visual elements, known as elements of design , formal elements , or elements of art, are the vocabulary with which the visual artist composes. |
| A figura ao lado ilustra uma máquina de estados finitos, que pertence a uma variedade bem conhecida de autômato. | The figure at right illustrates a finite state machine, which belongs to one well known variety of automaton. |
| Elementos de segurança | Security features |
| Os elementos básicos para avaliar a sua qualidade foram enunciados na Declaração de Qualidade do Sistema Estatístico Europeu , adoptado pelo Comité do Programa Estatístico em Setembro de 2001 . | Core elements to evaluate the quality are laid down in the Quality Declaration of the European Statistical System , adopted by the Statistical Programme Committee in September 2001 . |
| Este produto permite que os usuários a manter um volume constante durante a mudança por meio de canais ou elementos do programa (ou seja, comerciais de TV alto). | It enables users to maintain a steady volume while switching through channels or program elements (i.e., loud TV commercials). |
| Para conjuntos finitos X , o Axioma da Escolha segue dos outros axiomas da teoria dos conjuntos. | For finite sets X , the axiom of choice follows from the other axioms of set theory. |
| No contexto de grupos finitos, a exponenciação é dada pela multiplicação repetida de um elemento b do grupo com ele mesmo. | In the context of finite groups exponentiation is given by repeatedly multiplying one group element b with itself. |
| Como conseqüência, elas são fechadas sob arbitrária estados finitos transduções, como quociente formula_9 com uma linguagem regular. | As a consequence they are closed under arbitrary finite state transductions, like quotient formula_9 with a regular language. |
| Adição de elementos decorativos | Adding decorative elements |
| Elementos de consolidação 3B . | Consolidating elements 3B . |
| Os elementos de segurança | Security features |
| Há um fundo de verdade nisso no sentido que nossos recursos são finitos. E um maior crescimento vai levar ao esgotamento. | And there is some truth to this, in the sense that we have something of a finite resource, and increased growth is going to push up demand for that. |
| O programa de português A universidade tem um programa de português. | It was identified as one of 50 college or university 'works of art' by T.A. |
| ), do programa de cooperação transfronteiriça no âmbito do programa PHARE( | ), the Phare cross border cooperation programme ( |
| Elementos de segurança das notas | Security features |
| Identifica os elementos de segurança | Find the security features ! |
| Elementos em fase de liquidação | Net position between forward and spot , at the foreign exchange market rate |
| Elementos em fase de liquidação | Items in course of settlement |
| Elementos em fase de liquidação | Items in the course of settlement |
| Elementos de consolidação empréstimos 3B . | Consolidating elements loans 3B . |
| Elementos de segurança das notas | Security features of banknotes |
| Elementos em fase de liquidação | 10 Items in course of settlement |
Pesquisas relacionadas : Modelo De Elementos Finitos - Simulação De Elementos Finitos - Malha De Elementos Finitos - Software De Elementos Finitos - Cálculo De Elementos Finitos - Método Dos Elementos Finitos - Elementos Do Programa - Volumes Finitos - Estados Finitos - Recursos Finitos - Recursos Finitos - Elementos - Máquina De Estados Finitos - Elementos De
