Translation of "software de elementos finitos" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| 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. |
| Então há alguns elementos, principalmente políticas sociais e alguns elementos do software. | So there's a few elements, mostly social policies and some elements of the software. |
| Aplicações de Software Os seguintes conceitos são comumente usados para construir aplicações de software com máquinas de estados finitos Programação baseada em autômatos FSM orientada a eventos FSM Virtual (VFSM) Referências Timothy Kam, Synthesis of Finite State Machines Functional Optimization . | Software applications The following concepts are commonly used to build software applications with finite state machines Automata based programming Event driven FSM Virtual FSM (VFSM) State design pattern Finite automata and compilers Finite automata are often used in the frontend of programming language compilers. |
| 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. |
| Em ciência da computação, máquinas de estados finitos são amplamente utilizados na modelagem do comportamento do aplicativo, design de sistemas digitais de hardware, engenharia de software, compiladores, protocolos de rede, e o estudo da computação e linguagens. | In computer science, finite state machines are widely used in modeling of application behavior, design of hardware digital systems, software engineering, compilers, network protocols, and the study of computation and languages. |
| 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. |
| Essa influência viria a viajar para a Europa com alastrando épico de Adeline Software Little Big Aventura , que misturou RPG, aventura e elementos de plataformas isométricos. | This influence would later travel to Europe with Adeline Software's sprawling epic Little Big Adventure , which blended RPG, adventure, and isometric platforming elements. |
| Ver também Software livre Free Software Foundation Compatibilidade de licenças | Free software that depends on proprietary software is considered trapped by the Free Software Foundation. |
| 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. |
| Instalação de Software | Software Install |
| Software de Astrologia | Astrology Software |
| Centro de Software | Software Center |
| Repositórios de software | Software Sources |
| Sinal de Software | Software Token |
| Atualizador de Software | Software Updater |
| 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. |
| Antivírus ou software antivírus (muitas vezes abreviado comoAV), também conhecido como software anti malware, é um software de computadorusado para prevenir, detectar e remover software malicioso. | Antivirus or anti virus software (often abbreviated as AV), sometimes known as anti malware software, is computer software used to prevent, detect and remove malicious software. |
| 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 |
| Licenças A maioria do software é publicado sob uma licença de software . | an algorithm) on how to implement a piece of software, or a component of a piece of software. |
| 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 . |
| Ações Escrever e espalhar o software livre O trabalho do núcleo no movimento software livre focado em desenvolvimento de software. | Actions Writing and spreading free software The core work of the free software movement focused on software development. |
| Software de introdução algorítmico | Algorithmics introduction software |
| Software Visualizador de Logs | Software Log Viewer |
| Centro de Software Lubuntu | Lubuntu Software Center |
| Centro de Software Muon | Muon Software Center |
| Centro de Software Ubuntu | Ubuntu Software Center |
| Software Visualização de Dados | Data Visualization software |
| Entusiasta de software livre? | Open software enthusiast? |
| Avaliação de software educacional. | Combining Software Games with Education Evaluation of its Educational Effectiveness. |
| Software As primeiras versões da Usenet usaram o software de Duke, A News. | Software Early versions of Usenet used Duke's A News software, designed for one or two articles a day. |
| O movimento software livre também rejeita o software proprietário, se recusando a instalar software que não dar lhes as liberdades do software livre. | The free software movement also rejects proprietary software, refusing to install software that does not give them the freedoms of free software. |
| Software de comunicação de lan | Lan communication software |
| 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. |
