Academic literature on the topic 'Geração de Forças'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Geração de Forças.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Geração de Forças"
Hermenegildo, Tahiana F. C., Ana Carla S. Silva, Edwar A. Torres, Tiago F. A. Santos, and Antonio J. Ramirez. "Desenvolvimento dos Parâmetros do Processo de Soldagem por Atrito com Pino Não Consumível para o Aço de Alta Resistência e Baixa Liga ISO 3183 X80M." Soldagem & Inspeção 22, no. 2 (June 2017): 129–38. http://dx.doi.org/10.1590/0104-9224/si2202.03.
Full textMatias, Glauber Rabelo. "Na Trincheira da Resistência: As Lutas pelo Teatro de Bolso nas “Estruturas de Sentimento” do Movimento Teatral dos Anos de 1980 em Campos dos Goytacazes/RJ." Revista TOMO, no. 35 (July 29, 2019): 115–50. http://dx.doi.org/10.21669/tomo.v0i35.11039.
Full textAfonso, Luis Felipe Fernandes. "“PRO BRASIL NASCER FELIZ"." Revista Hydra: Revista Discente de História da UNIFESP 3, no. 6 (August 1, 2019): 9–35. http://dx.doi.org/10.34024/hydra.2019.v3.9587.
Full textDiefenthaeler, Fernando, and Marco Aurélio Vaz. "Aspectos relacionados à fadiga durante o ciclismo: uma abordagem biomecânica." Revista Brasileira de Medicina do Esporte 14, no. 5 (October 2008): 472–77. http://dx.doi.org/10.1590/s1517-86922008000500014.
Full textMaset, Angelo L., José R. C. Pinto, José R. Andrade, and Victor E. F. Xavier. "Considerações hidrodinâmicas sobre a derivação liquórica. Parte IV: Tecnologia de válvulas — Primeira geração." Arquivos Brasileiros de Neurocirurgia: Brazilian Neurosurgery 28, no. 03 (September 2009): 87–96. http://dx.doi.org/10.1055/s-0038-1625563.
Full textBarros, Felipe Araújo, Renata Alves da Costa, and Rodrigo Tavares Ferreira. "Construindo a paz: a engenharia do exército como elemento de smart power do Brasil na MINUSTAH." Conjuntura Austral 10, no. 51 (September 30, 2019): 61–81. http://dx.doi.org/10.22456/2178-8839.92891.
Full textMaldonado, Diogo Correa, Márcio Cantuário Ferreira, Renata Patrícia Pudo Ribeiro, and Adriana Ferreira Grosso. "Registros eletromiográficos para ilustrar as aulas de fisiologia neuromuscular." ConScientiae Saúde 4 (January 14, 2008): 79–86. http://dx.doi.org/10.5585/conssaude.v4i0.398.
Full textSeffner, Fernando, and Amilton Gustavo da Silva Passos. "Uma galeria para travestis, gays e seus maridos: Forças discursivas na geração de um acontecimento prisional." Sexualidad, Salud y Sociedad (Rio de Janeiro), no. 23 (August 2016): 140–61. http://dx.doi.org/10.1590/1984-6487.sess.2016.23.06.a.
Full textPinto, Maria da Graça Lisboa Castro. "A escrita académica: um jogo de forças entre a geração de ideias e a sua concretização." Signo 1, no. 1 (March 16, 2016): 53. http://dx.doi.org/10.17058/signo.v1i1.7325.
Full textMarconi, Nádia Fernanda. "O movimento e as forças que agem em nosso corpo." Fisioterapia Brasil 10, no. 5 (December 16, 2017): 371. http://dx.doi.org/10.33233/fb.v10i5.1572.
Full textDissertations / Theses on the topic "Geração de Forças"
Verzoni, André. "Formas de subjetivação da Geração Y." Pontifícia Universidade Católica do Rio Grande do Sul, 2014. http://hdl.handle.net/10923/7024.
Full textThis master thesis consists of two articles. The first article is a theoretical study, while the second is an empirical article. The primary objective of this thesis was to investigate and understand the subjectivity of the Generation Y. The theoretical paper, structured as a nonsystematic review, proposes a discussion of the subjectivity established by the Generation Y considering their integrants agents and subjects of the contemporary time. The empirical article is the result of a qualitative, exploratory and cross-sectional research, which goal is the description and understanding of the subjectivity presented by the Generation Y. To achieve this purpose, semi-structured interviews with open exploratory axis were made. The themes of the interview were: work, interpersonal and virtual relationships, self and others image, time (routine), ethical ideals, idols (celebrities), violence, consumption, goals and critical about contemporary society. The method used to analyze the content of the interviews was the Interpretative Analysis proposed by Frederick Erickson. The conclusions were that the Generation Y present ambivalence, idealism and the persistence of adolescent traits; propose various critics and demands towards the context where they live and have high expectations about themselves; consider the collective and creative work the key to professional achievement; maintain that experience other cultures is vital for personal development and classify the lack of respect for individuality one of the most reprehensible forms of violence.
Esta dissertação de mestrado é composta por dois artigos. O primeiro artigo é um trabalho teórico, enquanto que o segundo é um artigo empírico. O objetivo geral da dissertação foi investigar e compreender as formas de subjetivação dos jovens da Geração Y. O artigo teórico, estruturado como uma revisão narrativa, propõe uma discussão a respeito das formas de subjetivação dos indivíduos da Geração Y, considerando-os agentes e sujeitos do tempo contemporâneo. O artigo empírico é fruto de uma pesquisa qualitativa, transversal e exploratória que estabeleceu como objetivo a investigação, descrição e compreensão das formas de subjetivação dos jovens da Geração Y. Para atingir este propósito, foram realizadas entrevistas abertas semi-estruturadas com os seguintes eixos exploratórios: trabalho, relações interpessoais e virtuais, imagem de si e dos outros, tempo (rotina), valores éticos, ídolos (celebridades), violência, consumo, objetivos e críticas sobre a sociedade contemporânea.O método utilizado para a análise dos dados obtidos através das entrevistas foi a Análise Interpretativa proposto por Frederick Erickson. A partir do conteúdo das entrevistas, concluise que os jovens da Geração Y apresentam ambivalência, idealismo e a persistência de traços da adolescência; propõem diversas críticas e exigências em relação ao contexto em que vivem e altas expectativas em relação a si mesmos; consideram o trabalho coletivo e criativo a via principal para a realização profissional; sustentam que vivenciar outras culturas é fundamental para o crescimento pessoal e classificam a falta de respeito pela individualidade como uma das mais reprováveis manifestações de violência.
Vizotto, Isaias 1955. "Geração computacional de formas livres de estruturas em casca." [s.n.], 1993. http://repositorio.unicamp.br/jspui/handle/REPOSIP/264277.
Full textTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-07-18T16:11:51Z (GMT). No. of bitstreams: 1 Vizotto_Isaias_D.pdf: 6706804 bytes, checksum: 305850a294e6ba7eb7343b8c74b9aad6 (MD5) Previous issue date: 1993
Resumo: Para estruturas em casca, as formas geométricas são importantes para se obter comportamentos estruturais adequados. O estado de tensão que ocorre numa casca depende diretamente da sua forma geométrica. O estado de tensão ideal para estas estruturas é o de compressão pura. Neste trabalho, é apresentado um processo relativamente simples para geração de formas de estruturas em casca por meio de técnicas de programação matemática combinadas com a técnica de elementos finitos. Como resultado da aplicação desta formulação, é possível a definição de formas geométricas para estruturas em casca em que as cargas aplicadas são equilibradas, principalmente, por esforços internos de membrana. Entretanto, isto não exclui a possível existência de outros carregamentos que podem causar estados de tensão diferentes da compressão pura. Por meio do modelo proposto é possível simular computacionalmente uma membrana flexível, de qualquer formato, sobre a,qual podem atuar vários carregamentos, incluindo o efeito de pressão. Sob a influência e a atuação destes carregamentos, a membrana é deformada até uma das suas configurações de equilíbrio, que define uma superfície média para a estrutura em casca fina a ser construída. No caso do carregamento de pressão pode ser mostrado, no caso geral, que o sistema de forças não é conservativo. No modelo para geração de formas de estruturas em casca é utilizado um elemento finito triangular plano de membrana, com a hipótese de tensão-deformação constante, modificado para permitir a consideração de deslocamentos normais ao seu plano. A equação constitutiva adotada para descrever o comportamento do material é uma relação linear entre as tensões e deformações. A definição de deformação utilizada é a de Green, sendo considerados grandes deslocamentos e grandes deformações de modo exato. No modelo computacional existe a possibilidade de se impor um deslocamento de valor conhecido à membrana, obtendo-se assim formas geométricas simplesmente pela distorção da geometria plana inicial. Deste modo é possível projetar formas livres e esbeltas de estruturas em casca para coberturas, com quaisquer formatos na projeção horizontal e que, em essência, possuam aproximadamente um comportamento de acordo com a Teoria de Membrana
Abstract: In shell structures, geometrical shapes are important for the determination of their correct behavior. The stress state is strongly dependent on the geometrical shape. The ideal stress state for these structures is the pure compression state. In this work a relati vely simple process to generate free form shells by means of mathematical programming combined with the finite element technique is presented. As a result of the application of such formulation it is possible to define geometrical shapes for the shells where the applied loadings are equilibrated mainly by membrane action. This doesn't however preclude the existence of loadings which cause noncompressive stress. With the proposed model it is possible to simulate automatically a flexible membrane, with any shape, able to carry a larger number of loading conditions, including pressure loads. Under the action of these loads the membrane is deformed reaching one of its equilibrium configurations, which will define the midle surface of the shell to be built. For pressure loadings it can be shown that, generally, the system of forces is nonconservative. The finite element used to generate free form shells is the constant stress-strain triangle modified to consider out of plane displacements. The constitutive equation to model corresponds to linear elasticity. Exact displacements and strains are used for the membrane, using Green's strains. In the computational model it is possible to impose a known displacement to the membrane and to obtain geometrical shapes just distorting the initial configuration. In this way it is possible to design free form thin shells working as membranes with generic projection in plant the material behavior formulation for large
Doutorado
Doutor em Engenharia Mecânica
Guena, Ana Maria de Oliveira. ""Avaliação ambiental de diferentes formas de geração de energia elétrica"." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14052007-224500/.
Full textElectric energy has an important function in the modern world; it is fundamental for progress and development. The electricity discovery allowed improvements in several areas: health, water and food supply, quality of life and sanitary conditions, and contributed also to the establishment of the capitalist and consumption society. The use of oil as an energy generation source was the impulse for the industrial revolution and machines, motors and generators were developed contributing to the progress. This also brought the pollutant gases emission (CO2, CO, SOX and NOX) and other substances that had contributed to the greenhouse effect, the ozone hole and the acid rain, modifying the balance of the planet. The development and implementation of other forms of energy generation caused local changes, where they were installed, giving rise to environmental impacts. This work presents an evaluation about different forms of electrical energy generation and the environmental impacts relative to each one of them. Five forms of electric energy generation were considered: thermoelectric, nuclear, hydroelectric, wind and solar energy. The implementation and the development of the petroleum industry in the world and in Brazil are presented. The geology of the oil, its extraction and quality improvement, besides details of the functioning of three types of thermoelectric power plants - coal, gas and oil - are also discussed. The specific as well as the environmental impacts they have in common are highlighted. The impacts originated from the deactivation of each one of them are also pointed out. The discovery and the development of nuclear energy in Brazil and in the world as well as the functioning of a nuclear power plant, the impacts generated by its operation and decommissioning are presented. The history, functioning and development of hydroelectric energy generation in Brazil, characterized by the great plants, are related to environmental aspects The environmental impacts due to its implantation, operation and deactivation are also evinced. The wind power plant implantation and functioning and the environmental impacts involved in the process of electric energy generation and its deactivation are analyzed. The functioning of the solar panels, the implantation of the power plant and the environmental impacts related to the use of solar energy are discussed. The impacts resulting from the deactivation are also presented. Once outlined the environmental impacts from each form of electric energy generation, they were correlated and compared considering the area of the power plant implantation, the generation capacity, the efficiency, the power and the cost per kW. There is no totally clean form of electric energy generation. There is, however, generation without emission of gases responsible for the green house effect. Therefore, all forms of energy generation are important for a country; in other words, the best situation is the diversity of the energy matrix.
GUENA, ANA M. de O. "Avaliação ambiental de diferentes formas de geração de energia elétrica." reponame:Repositório Institucional do IPEN, 2007. http://repositorio.ipen.br:8080/xmlui/handle/123456789/11501.
Full textMade available in DSpace on 2014-10-09T14:01:39Z (GMT). No. of bitstreams: 0
Dissertação (Mestrado)
IPEN/D
Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP
Santos, Fernando Junqueira. "Planejamento de redes de distribuição considerando geração distribuída." reponame:Repositório Institucional da UnB, 2013. http://repositorio.unb.br/handle/10482/14736.
Full textSubmitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2013-11-28T15:10:56Z No. of bitstreams: 1 2013_FernandoJunqueiraSantos.pdf: 2924262 bytes, checksum: 0021f0500c816873282f3c0f57adc50f (MD5)
Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-11-29T11:14:19Z (GMT) No. of bitstreams: 1 2013_FernandoJunqueiraSantos.pdf: 2924262 bytes, checksum: 0021f0500c816873282f3c0f57adc50f (MD5)
Made available in DSpace on 2013-11-29T11:14:19Z (GMT). No. of bitstreams: 1 2013_FernandoJunqueiraSantos.pdf: 2924262 bytes, checksum: 0021f0500c816873282f3c0f57adc50f (MD5)
Tradicionalmente, a geração de energia elétrica brasileira sempre se baseou em geradores de grande porte, principalmente hidrelétricas, instaladas distantes dos centros de carga, e interligadas a esses por meio de linhas de transmissão com grandes extensões. Devido ao encarecimento dos recursos não renováveis, principalmente o petróleo, e às exigências crescentes de produção de energia elétrica através de fontes não poluentes, existe uma tendência de instalação de pequenos geradores baseados em fontes renováveis, tipicamente geração eólica e solar. Essas novas alternativas de geração proporcionam disponibilidade de energia próxima ao local de consumo, reduzindo os impactos ambientais provocados pela geração tradicional. Possuem ainda tempos de implantação inferiores quando comparadas à construção de grandes usinas e reforços nas respectivas linhas de transmissão. A interligação da geração distribuída ao sistema de distribuição causa impactos nas redes de distribuição de energia elétrica, tais como alterações nos níveis de perdas elétricas, parâmetros de qualidade da energia, estabilidade do sistema, regulação de tensão, corrente de curto-circuito, carregamento de condutores e, principalmente, carregamento dos transformadores de distribuição. Em virtude desses geradores se localizarem ao longo de toda a rede de distribuição, cria-se o desafio de se planejar, projetar, operar e manter o sistema elétrico. Nesse sentido, deve ser dada atenção especial aos impactos provocados nas redes de distribuição pela entrada desses geradores, tanto impactos técnicos quanto econômicos, devendo ser considerada, inclusive, a possibilidade de alterações em normas técnicas. É importante que seja analisado o que cada impacto representa, tanto tecnicamente quanto em relação aos seus custos, para que as redes de distribuição não sejam empecilho ao crescimento da geração distribuída. ______________________________________________________________________________ ABSTRACT
Electric power in Brazil has traditionally been generated by large generators, mainly hydroelectric power plants which are distant from load centers and are interconnected by extensive transmission lines. Due to the current high cost of non-renewable resources, mainly oil, and the increasing demands for electric power production by non-polluting sources, there has been a tendency towards the use of small generators based on renewable sources, typically wind and solar generation. These new generation alternatives provide energy close to where it is consumed, reducing the environmental impacts of traditional forms of generation. They also take less time to be implemented in comparison with large power plants and reinforcements in the respective transmission lines. The connecting of distributed generation to the distribution system causes impacts on the distribution grids, such as variation of power losses, power quality parameters, electric system stability, voltage regulation standards, short-circuit current, conductor loads and, principally in distribution transformer loads. Since these generators are located throughout the entire distribution grid, the planning, designing, operation and maintenance of the electric power system has become a challenge. Therefore, special attention must be given to both the technical and economic impacts caused by the inclusion of these generators on distribution grids, and should be considered, including the possibility of changes in technical standards. It is important that assessments of each impact be made, both in technical terms and with regard to costs, so that the distributed grids do not be a barrier to the increasing of distributed generation.
da, Fonseca Limaverde Cabral Gustavo. "Geração de especificação formal de sistemas a partir de documento de requisitos." Universidade Federal de Pernambuco, 2007. https://repositorio.ufpe.br/handle/123456789/2605.
Full textA escrita de requisitos, dentro do processo de desenvolvimento de sistemas, está sujeita a falhas, uma vez que os requisitos são escritos em Linguagem Natural, como Inglês, que pode conter definições ambíguas ou de difícil entendimento. Por outro lado, Linguagem Natural é a opção mais simples e flexível para se especificar um sistema, e é a linguagem de entendimento comum entre clientes e contratados. Desta forma, para minimizar a existência de erros nos documentos de requisitos, técnicas de validação com inspeção ou revisão de documentos são utilizadas. Entretanto, o custo de se realizar este tipo de validação é alto e sua eficácia é questionável; erros podem persistir. Além disso, requisitos escritos usando de linguagem natural são de difícil processamento, dificultando a geração de outros artefatos a partir do mesmo. Esta dissertação define uma estratégia que utiliza templates de especificação de casos de use e uma Linguagem Natural Controlada (LNC) para descrever requisitos. Os templates de casos de uso asseguram a estruturação correta do documento de requisitos e a LNC garante a exatidão da gramática do texto que especifica o comportamento do sistema. Foram criados dois templates de casos de uso, cada um com uma visão diferente do sistema. A visão mais abstrata se chama visão do usuário e a visão mais detalhada se chama visão de componentes. A partir dessa estruturação dos requisitos torna-se, possível definir uma estratégia de geração automática de uma especificação formal da aplicação em questão. A geração automática de especificação formal de sistemas reduz custo e necessidade de mão de obra especializada em projetos de desenvolvimento de software. Ou seja, uma vez que é possível realizar a geração automática do modelo formal de sistemas podemos fazer uso do mesmo na validação de propriedades do sistema. Além disso, artefatos como casos de teste e diagramas UML podem ser gerados a partir deste. Em particular, esta dissertação define uma estratégia para gerar modelos formais na álgebra de processo CSP a partir das duas visões de caso de uso, mantendo a consistência entre os artefatos. Também foi definida uma relação de refinamento entre os modelos gerados garantindo a consistência entre as visões. Finalmente, todo o processo foi automatizado através de ferramentas. Estas foram vali- dadas através de experimentos realizados no contexto de aplicação para celulares da Motorola, empresa parceira e financiadora do projeto de pesquisa com o CIn/UFPE
Rebiha, Rachid 1977. "Métodos formais algébricos para geração de invariantes." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275741.
Full textTese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-19T00:11:05Z (GMT). No. of bitstreams: 1 Rebiha_Rachid_D.pdf: 1451665 bytes, checksum: abe6fc4e72cf43113c7c93064ab11ed8 (MD5) Previous issue date: 2011
Resumo: É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se verifica a cada execução de um sistema. Apesar dos progressos enormes ao longo dos anos, o problema da geração de invariantes ainda está em aberto para tanto programas não-lineares discretos, como para sistemas não-lineares híbridos. Nesta tese, primeiramente, apresentamos novos métodos computacionais que podem automatizar a descoberta e o fortalecimento de relações não-lineares entre as variáveis de um programa que contém laços não-lineares, ou seja, programas que exibem relações polinomiais multivariadas e manipulações fracionarias. Além disso, a maioria dos sistemas de segurança críticos, tais como aviões, automóveis, produtos químicos, usinas de energia e sistemas biológicos, operam semanticamente como sistemas híbridos não-lineares. Nesse trabalho, apresentamos poderosos métodos computacionais que são capazes de gerar bases de ideais polinomiais de invariantes não-lineares para sistemas híbridos não-lineares. Em segundo lugar, apresentamos métodos pioneiros de verificação que automaticamente gerem bases de invariantes expressas por séries de potências multi-variáveis e por funções transcendentais. Discutimos, também, a sua convergência em sistemas híbridos que exibem modelos não lineares. Verificamos que as séries de potência geradas para invariantes são, muitas vezes, compostas pela expansão de algumas funções transcendentais bem conhecidas, tais como "log" e "exp". Assim, apresentam uma forma analisável fechada que facilita o uso de invariantes na verificação de propriedades de segurança. Para cada problema de geração de invariantes estabelecemos condições suficientes, muito gerais, que garantem a existência e permitem o cálculo dos ideais polinomiais para situações que não podem ser tratadas pelas abordagens de geração invariantes hoje conhecidas. Finalmente, estendemos o domínio de aplicações, acessíveis através de métodos de geração de invariantes, para a área de segurança. Mais precisamente, fornecemos uma plataforma extensível baseada em invariantes pré-computadas que seriam usadas como assinaturas semânticas para análise de intrusos ("malwares") e deteção dos ataques de intrusões mais virulentos. Seguindo a concepção de tais plataformas, propomos sistemas de detecção de intrusão, usando modelos gerados automaticamente, onde as chamadas de sistema e de funções são vigiados pela avaliação de invariantes, pré-calculadas para denunciar qualquer desvio observado durante a execução da aplicação. De modo abrangente, nesta tese, propomos a redução de problemas de geração de invariantes para problemas algébricos lineares. Ao reduzir os problemas de geração de invariante não-triviais de sistemas híbridos não-lineares para problemas algébricos lineares relacionados, somos capazes de ultrapassar as deficiências dos mais modernos métodos de geração de invariante hoje conhecidos permitindo, assim, a geração automática e eficiente de invariantes para programas e sistemas híbridos não lineares complexos. Tais métodos algébricos lineares apresentam complexidades computacionais significativamente inferiores àquelas exigidas pelos os fundamentos matemáticos das abordagens usadas hoje, tais como a computação de bases de Gröbner, a eliminação de quantificadores e decomposições cilíndricas algébricas
Abstract: It is well-known that the automation and effectiveness of formal software verification of embedded or hybrid systems depends to the ease with which precise invariants can be automatically generated from source specifications. An invariant is a property that holds true at a specific location in the specification code, whenever an execution reaches that location. Despite tremendous progress over the years, the problem of invariant generation remains very challenging for both non-linear discrete programs, as well as for non-linear hybrid systems. In this thesis, we first present new computational methods that can automate the discovery and can strengthen interrelationships among the variables of a program that contains non-linear loops, that is, programs that display multivariate polynomial and fractional manipulations. Moreover, most of safety-critical systems such as aircraft, cars, chemicals, power plants and biological systems operate semantically as non-linear hybrid systems. In this work, we demonstrate powerful computational methods that can generate basis for non-linear invariant ideals of non-linear hybrid systems. Secondly, we present the first verification methods that automatically generate basis for invariants expressed by multivariate formal power series and transcendental functions. We also discuss their convergence over hybrid systems that exhibit non linear models. The formal power series invariants generated are often composed by the expansion of some well-known transcendental functions e.g. log and exp. They also have an analysable closed-form which facilitates the use of the invariants when verifying safety properties. For each invariant generation problem, we establish very general sufficient conditions that guarantee the existence and allow for the computation of invariant ideals for situations that can not be treated in the presently known invariant generation approaches. Finally, we extend the domain of applications for invariant generation methods to encompass security problems. More precisely, we provide an extensible invariant-based platform for malware analysis and show how we can detect the most virulent intrusions attacks using these invariants. We propose to automatically generate invariants directly from the specified malware code in order to use them as semantic aware signatures, i.e. malware invariant, that would remain unchanged by most obfuscated techniques. Folix lowing the design of such platforms, we propose host-based intrusion detection systems, using automatically generated models where system calls are guarded by pre-computed invariants in order to report any deviation observed during the execution of the application. In a broad sense, in this thesis, we propose to reduce the verification problem of invariant generation to algebraic problems. By reducing the problems of non-trivial nonlinear invariant generation for programs and hybrid systems to related linear algebraic problems we are able to address various deficiencies of other state-of-the-art invariant generation methods, including the efficient treatment of complicated non-linear loop programs and non-linear hybrid systems. Such linear algebraic methods have much lower computational complexities than the mathematical foundations of previous approaches know today, which use techniques such as as Gröbner basis computation, quantifier elimination and cylindrical algebraic decomposition
Doutorado
Ciência da Computação
Doutor em Ciência da Computação
Pedrosa, Lehilton Lelis Chaves 1985. "Geração automática de casos de testes para máquinas de estados finitos." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275792.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-16T21:26:35Z (GMT). No. of bitstreams: 1 Pedrosa_LehiltonLelisChaves_M.pdf: 884292 bytes, checksum: e39efddad6809b28790b661469a5cfd2 (MD5) Previous issue date: 2010
Resumo: Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetivo de um método de geração automática de casos de testes é obter um conjunto de casos de testes, com o qual é possível verificar se uma dada implementação contém falhas. Um problema importante em métodos de geração de casos de teste com cobertura completa de falhas é o tamanho dos conjuntos de testes, que normalmente é exponencial no número de estados da MEF que está sendo testada. Para minimizar esse problema, diversas abordagens são adotadas, envolvendo melhorias nos métodos existentes, restrições do modelo de falhas e o uso de novas estratégias de teste. Esta dissertação estuda métodos automáticos para geração de casos de testes com cobertura completa de falhas e propõe dois novos métodos, que permitem reduzir o tamanho dos conjuntos de testes gerados. Primeiro, combinamos ideias do método Wp e do método G, visando usufruir as vantagens de ambos e obtendo um novo método, denominado Gp. Em seguida, descrevemos um novo modelo de falhas para sistemas compostos de vários subsistemas, possivelmente com um número alto de estados. Formalizamos tais sistemas, introduzindo o conceito de MEFs combinadas, e apresentamos um novo método de testes, denominado método C. Além disso, propomos uma abordagem de testes incremental, baseada no método C, que torna possível o teste de MEFs com um número arbitrário de estados. Estabelecemos comparações com abordagens tradicionais e mostramos que o uso da estratégia incremental pode gerar conjuntos de testes exponencialmente mais eficientes
Mestrado
Teoria da Computação
Mestre em Ciência da Computação
Sabino, Éder Murilo Parizzoto 1989. "Geração de estruturas em cascas de formas livres e analíticas de plantas poligonais regulares." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/258665.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo
Made available in DSpace on 2018-08-23T22:41:02Z (GMT). No. of bitstreams: 1 Sabino_EderMuriloParizzoto_M.pdf: 7896923 bytes, checksum: 2e32d4c45ba75ad01db9a7b23cb8cb93 (MD5) Previous issue date: 2013
Resumo: Esse trabalho foi inspirado principalmente em obras projetadas por Heinz Isler e Félix Candela, e apresenta uma contribuição ao pré-processamento e geração computacional de cascas otimizadas de formas livres e cascas de formas analíticas. São abordados dois modelos de concepção de estruturas para cobertura: as cascas de formas livres, geradas a partir da simulação computacional de modelos físicos experimentais em que as superfícies médias não podem ser descritas por meio de funções matemáticas; e as definidas por formas analíticas ou geométricas, em que as superfícies médias podem ser determinadas por funções analíticas através de modelos de geração por processos de translação ou revolução. O objetivo principal é a concepção de estruturas em cascas em concreto por meio de modelo computacional de geração otimizada de formas com a aplicação do Método dos Elementos Finitos e técnicas de programação matemática, com a proposição de metodologias computacionais de pré-processamento para geração da malha inicial de elementos finitos e a posterior obtenção de estruturas em cascas de formas livres e analíticas. São propostos modelos para geração de malhas de estruturas em cascas de formas livres com projeções poligonais regulares e quadriláteras com arestas retas e/ou parabólicas. As malhas planas que constituem membranas finas e flexíveis, através da ação do peso próprio da membrana ou da aplicação de pressão sobre as superfícies com quaisquer configurações de apoios, são utilizadas para geração de cascas de formas livres por meio de um programa computacional desenvolvido por Vizotto (1993), e que também podem ser geradas por meio do software ANSYS. A geração das formas analíticas tridimensionais das estruturas em cascas é realizada através de curvas diretrizes e geratrizes a partir das malhas planas. Variando-se alguns parâmetros obtêm-se composições de paraboloides hiperbólicos, paraboloides elípticos, cilindros parabólicos, etc. Após a geração das formas tridimensionais, são realizadas análises estruturais de algumas estruturas em cascas de concreto armado observando os estados de tensão das estruturas. Diversas estruturas são geradas e os resultados obtidos apresentados
Abstract: This work was mainly inspired in structures designed by Heinz Isler and Félix Candela, and it presents a contribution to preprocessing and computational generation of optimized free-form shells and the analytical shells. Two models of conceptions of roofs structures are discussed: the free-form shells, generated by computational simulation of the experimental physical models, and the structures defined by analytical functions. The middle surfaces of the first model cannot be determined by analytical equations. On the second model, however, they can be generated by translational and revolution processes. The main objective is the conception of concrete shell structures using a computational model to generate optimized shapes with the application of the Finite Element Method and mathematical programming techniques. Computational methodologies for the generation of the finite elements initial mesh and the obtention of the freeform shells and analytical shells structures are proposed. Models are proposed for the meshing of the free-form shells structures with either regular polygonal projections or quadrilateral with straight and / or parabolic edges. Properties of thin and flexible membranes are attributed to the planar meshes with any support configuration. Free form shells are generated using a software developed by Vizotto (1993) which is able to generate free-form shells by applying pressure on the surfaces or by the action of the membrane's own weight. Free form shells can also be generated using the software ANSYS. As a result, the three-dimensional shapes of the shells are obtained. From the plane meshes obtained the three-dimensional shapes of the analytical form shells are determined through guidelines and generatrices curves. By varying some parameters compositions of hyperbolic paraboloids, elliptic paraboloids, cylinders parabolic, etc, are obtained. After the generation of three-dimensional shapes, structural analyses of some reinforced concrete shell structures are performed and the tension states of the structures are observed. Several structures are generated and the results obtained are presented
Mestrado
Estruturas e Geotécnica
Mestre em Engenharia Civil
Hanazumi, Simone. "Geração de propriedades sobre programas Java a partir de objetivos de teste." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/.
Full textThe task of guaranteeing that computational systems do not fail and work correctly has become extremely important with the growing presence of new technologies in people\'s lives. Therefore, it is essential to ensure that such systems work properly to confirm their high-quality and to avoid financial and even life losses. One of the techniques used to this purpose is called formal verification of programs. From the system specification, which should be described in a formal language, we define properties that must be satisfied during system execution to guarantee the software quality. Then, these properties are checked using a verifier, which is the tool responsible for running the verification and for notifying whether the property was satisfied by the program; if the property was violated, it indicates to software developers the possible location of faults in the system. The disadvantages of using formal verification are the high cost to apply this technique in practice, and the necessity of having people with experience in formal methods to derive the properties from system specification and define them in a formal representation that can be read by a program verifier. This particular task of deriving a property from system specification and defining it to be checked by a verifier is complex, time-consuming and error-prone, since it is usually done by hand. To help software developers in the application of formal verification in Java programs, we propose in this work the generation of properties formal representation for direct use in a verifier. The generated properties are test purposes, which are derived from system formal specification and present the desirable system behavior that must be observed during the system execution. Establishing that the universe of properties correspond to the universe of test purposes of a program, we guarantee that the generated properties describe the expected program behavior through execution traces that lead to either an accept state or a refuse state. Thus, when the verifier checks the test purpose, it can give a success/fail verdict for the property, and provide traces coverage data that can be used to analyze the program behavior that led to that verdict.
Books on the topic "Geração de Forças"
Dickmann, Ivo, ed. Pedagogia da reinvenção: cartas pedagógicas a Paulo Freire. Livrologia, 2021. http://dx.doi.org/10.52139/livrologia9786586218633.
Full textFarret, Felix Alberto. Aproveitamento de Pequenas Fontes de Energia Elétrica. 3rd ed. Editora da Universidade Federal de Santa Maria, 2013. http://dx.doi.org/10.32379/9788573912593.
Full textPaiva, Paulo. Um presente para você: Felicidade - empodere-se | sinta-se | mergulhe. Brazil Publishing, 2020. http://dx.doi.org/10.31012/978-65-5861-099-1.
Full textPaolinelli, Alysson, Durval Dourado Neto, and Everardo Chartuni Mantovani, eds. Diferentes abordagens sobre agricultura irrigada no Brasil: técnica e cultura. Universidade de São Paulo. Escola Superior de Agricultura Luiz de Queiroz, 2021. http://dx.doi.org/10.11606/9786587391120.
Full textMatos, Juliana Martins de Mesquita. Tecnologias Sustentáveis para a produção, transformação e comercialização de produtos da agricultura familiar. Editora Universidade de Brasília, 2021. http://dx.doi.org/10.26512/9786558461470.
Full textPenteado, Maurício Cintra do Prado de Salles. Identificação dos gargalos e estabelecimento de um plano de ação para o sucesso do programa brasileiro do biodiesel. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-373-2.
Full textJúnior, José Roberto Zaffalon, Adriano Marin de Abreu, Ricardo Bueno Lunelli, and Pedro Bruno Lobato Cordovil. SISTEMA NERVOSO AUTÔNOMO DE MULHERES PRATICANTES DE GINÁSTICA AERÓBICA E HISTÓRICO FAMILIAR DE HIPERTENSÃO. Bookerfield Editora, 2021. http://dx.doi.org/10.53268/bkf21060101.
Full textBaquero Valdés, Fabio, ed. El poder aéreo integral del Estado nación en el siglo XXI. Escuela Superior de Guerra, 2020. http://dx.doi.org/10.25062/9789584289018.
Full textSousa, Ana Paula Gaspar de, Carlos Augusto Pereira dos Santos, Patrícia de Fátima Melo Rodrigues Sena, and Ronaldo Moreira Andrade. Escritos sobre a estação Ipueiras. Editora SertãoCult, 2020. http://dx.doi.org/10.35260/87429298-2020.
Full textda Silva Coêlho Mendonça, Eliana. NÍVEL DE DESEMPENHO MOTOR E SUA RELAÇÃO COM APTIDÃO FÍSICA, ESTADO NUTRICIONAL E ESTADO MATURACIONAL DE ADOLESCENTES. Edited by Ricardo Figueiredo Pinto. Conhecimento e ciência, 2020. http://dx.doi.org/10.20872/niveldedesempenhomotor.
Full textBook chapters on the topic "Geração de Forças"
Roberto, Rosemary Aparecida Martins, Sirlei Moletta, Carlos Ubiratan da Costa Scheir, and Silas Guimarães Moro. "ANÁLISE DAS ESTRATÉGIAS DE SUCESSÃO EM GRANDES EMPRESAS FAMILIARES DO SETOR DE TRANSPORTES NA REGIÃO DOS CAMPOS GERAIS." In Administração Contemporânea Vol 4, 130–43. 4th ed. Editora ZH4, 2021. http://dx.doi.org/10.51360/zh4.20218-8-p130-143.
Full textFelipe O, Giacomelli, Pinton Mariana B, Silva Sarah B S da, Thiel Suslin R, and Campagnol Paulo C B. "INOVAÇÕES EM PROTEÍNAS ALTERNATIVAS: UMA REVISÃOSOBRE ALIMENTOSPLANT-BASED." In CIÊNCIA, TECNOLOGIA E INOVAÇÃO: DO CAMPO À MESA, 313–31. Instituto Internacional Despertando Vocações, 2020. http://dx.doi.org/10.31692/978-65-88970-00-3.v.2.313-331.
Full textRodrigues, Renata V. S. "TRADIÇÃO, A CRIAÇÃO DA MEMÓRIA GUSTATIVA E AFETIVA." In Ciência e Tecnologia de Alimentos: Pesquisas e Avanços. Agron Food Academy, 2021. http://dx.doi.org/10.53934/9786599539626.31.
Full textDE QUEIROZ RIBEIRO MOURA, LYA, ELLEN LARISSA MATOS COSTA, EUGENIO PACELLI NUNES BRASIL DE MATOS, NATALICIA BATISTA DE SOUSA, TAINÁ EUGÊNIO GOMES, and JOSÉ LUIS FAUSTINO DE SOUSA. "O ESTUDO DE PLANTAS MEDICINAIS NO ENSINO FUNDAMENTAL." In Itinerários de resistência: pluralidade e laicidade no Ensino de Ciências e Biologia. Editora Realize, 2021. http://dx.doi.org/10.46943/viii.enebio.2021.01.384.
Full textLUIZ SILVA DE LEMOS, JORGE, CRISTIANA ROSA VALENÇA, LUCIANA LIMA DE ALBUQUERQUE DA VEIGA, and LEANDRO DOS SANTOS LIMA HOHL. "REPRODUÇÃO E SEXUALIDADE: AS CONTRIBUIÇÕES DA PARCERIA UNIVERSIDADE-ESCOLA PARA O DESENVOLVIMENTO DO ENSINO DOS TEMAS." In Itinerários de resistência: pluralidade e laicidade no Ensino de Ciências e Biologia. Editora Realize, 2021. http://dx.doi.org/10.46943/viii.enebio.2021.01.504.
Full textNobre, Graziella Estácio, and Deyse Rocha de Freitas Gray. "PERFIL NUTRICIONAL DE PACIENTES ONCOLÓGICOS INTERNADOS NO HOSPITAL DE FORÇA AÉREA DO GALEÃO." In Ações de Saúde e Geração de Conhecimento nas Ciências Médicas 7, 54–56. Atena Editora, 2020. http://dx.doi.org/10.22533/at.ed.0292023077.
Full textAntunes, Diego Severo, Letícia Fleck Fadel Miguel, Juliana Favero, Ney Francisco Ferreira, and Patric Daniel Neis. "PREDIÇÃO DE RUÍDO DE FREIO DO TIPO SQUEAL BASEADO EM ANÁLISE DE AUTOVALORES COMPLEXOS." In Aplicações Avançadas de Simulação Computacional, 84–99. Bookerfield Editora, 2021. http://dx.doi.org/10.53268/bkf21060406.
Full textFramesche, Leticia, Juliana Biluca, and Leilane Talita Fatoreto Schwind. "O PAPEL DA EDUCAÇÃO AMBIENTAL NA GESTÃO DOS RESÍDUOS SÓLIDOS URBANOS." In AVALIAÇÃO PRELIMINAR DA QUALIDADE DA ÁGUA SUBTERRÂNEA DA REGIÃO DE FEIRA DE SANTANA E MUNICÍPIOS LIMÍTROFES, 149–64. Bookerfield Editora, 2021. http://dx.doi.org/10.53268/bkf21060711.
Full textPereira, Angelo Rodrigo, Bruno Leonardo Eiglmeier, and Luciana Rosenau. "A ubiquidade no ensino: um estudo sobre a Universidade Corporativa do Banco do Brasil." In Gestão Pública, 150–65. Editora ZH4, 2021. http://dx.doi.org/10.51360/zh4.20214-5-p150-165.
Full textSpolidorio, Samira. "Entre a técnica e a acessibilidade: uma introdução teórico-prática à legendagem." In E por falar em tradução, 113–30. Canal 6 Editora, 2021. http://dx.doi.org/10.52050/9786586030600.c7.
Full textConference papers on the topic "Geração de Forças"
Fantoni Primo, Henrique, João Inácio Coelho, and Rafael Tenáglia Mariani. "Estabilidade Transitória em uma Geração Distribuída – Estudo de Caso Real." In Simpósio Brasileiro de Sistemas Elétricos - SBSE2020. sbabra, 2020. http://dx.doi.org/10.48011/sbse.v1i1.2458.
Full textFranchi, Diogo, Maicon Miotto, Émerson Isaias Da Silva, Frank Gonzatti, and Felix A. Farret. "Influência do passo de atuação dos rastreadores solares em um eixo na geração de energia elétrica em módulos fotovoltaicos." In Simpósio Brasileiro de Sistemas Elétricos - SBSE2020. sbabra, 2020. http://dx.doi.org/10.48011/sbse.v1i1.2432.
Full textFiirst, Wilian G., Roger Resmini, and Aura Conci. "Desenvolvimento e comparação de métodos para geração de séries temporais para imagens térmicas da tireoide." In Anais Estendidos do Simpósio Brasileiro de Computação Aplicada à Saúde. Sociedade Brasileira de Computação (SBC), 2019. http://dx.doi.org/10.5753/sbcas.2019.6282.
Full textP. Cremasco, Nicole, Renan De O. A. Takeuchi, Jorge A. Leludak, and Jair Urbanetz Jr. "Análise Comparativa de Diferentes Metodologias de Cálculo de Taxa de Desempenho em Sistemas Fotovoltaicos Instalados em Ponta Grossa-PR." In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1579.
Full textDe Carli, Daniel Michelon, Lisandra Manzoni Fontoura, Liane Santiago Cafarate, and Graziele Camargo Kemmerich. "Geração Y e a indústria de software do Brasil." In VII Simpósio Brasileiro de Sistemas de Informação. Sociedade Brasileira de Computação, 2011. http://dx.doi.org/10.5753/sbsi.2011.14589.
Full textS. Buss., Beatriz, and Leonardo E. Bremermann. "Avaliação da confiabilidade de sistemas com diferentes níveis de inserção da fonte Solar Fotovoltaica." In Simpósio Brasileiro de Sistemas Elétricos - SBSE2020. sbabra, 2020. http://dx.doi.org/10.48011/sbse.v1i1.2428.
Full textH. S. Leão, Gustavo, Rafael A. Shayani, and Sergio O. Frontin. "Análise da Sensibilidade das Perdas Técnicas em um Alimentador de Distribuição em Função da Localização da Microgeração Fotovoltaica." In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1467.
Full textAlbuquerque, Andréa, José Dos Santos, and Alberto Castro Júnior. "Elicitação e Estruturação de Conhecimento: Um Arcabouço Conceitual Aplicado à Biodiversidade." In IX Brazilian e-Science Workshop. Sociedade Brasileira de Computação - SBC, 2015. http://dx.doi.org/10.5753/bresci.2015.7210.
Full textOliveira Queiroz, Luann Georgy, Mariana Altoé Mendes, Murillo Cobe Vargas, Luiz G. Riva Tonini, Amanda S. Fernandes Rocha, Maeva R. S. Soares Araujo, and Oureste Elias Batista. "Variação de Tensão em Rede de Distribuição de Energia Elétrica com Alta Penetração de Geração Distribuída Fotovoltaica." In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1698.
Full textM. de Lima, Caroline, Mariana Altoé Mendes, and Oureste Elias Batista. "Estudo da Estabilidade de Tensão em Sistemas de Distribuição com Alta Penetração de Geração Distribuída." In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1132.
Full textReports on the topic "Geração de Forças"
Pareja, Alejandro, Cecilia Fernández, and Flora Tawata. Simplificando vidas: qualidade e satisfação com os serviços públicos: estados do Brasil 2018. Inter-American Development Bank, June 2021. http://dx.doi.org/10.18235/0003359.
Full text