• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 63
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 63
  • 25
  • 22
  • 12
  • 12
  • 12
  • 12
  • 12
  • 11
  • 11
  • 10
  • 9
  • 9
  • 9
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Automatic generation of the cases derived from algebraic specifications

Andrade, Francisco Xavier Richardson Rebello de January 2010 (has links)
Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010
2

Geração automática de testes a partir de especificações algébricas

Silva, Francisco Ricardo Pinto da January 2012 (has links)
Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012
3

Acessibilidade em edifícios de múltiplos usos : uma abordagem da arquitetura mediada pela ergonomia

Vieira, Juliane Calvet de Morais 06 December 2016 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Arquitetura e Urbanismo, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-04-04T18:09:06Z No. of bitstreams: 1 2016_JulianeCalvetdeMorais.pdf: 22067260 bytes, checksum: 6779df879d01bebce7b79fd4ae4090b6 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-04-13T18:52:18Z (GMT) No. of bitstreams: 1 2016_JulianeCalvetdeMorais.pdf: 22067260 bytes, checksum: 6779df879d01bebce7b79fd4ae4090b6 (MD5) / Made available in DSpace on 2017-04-13T18:52:18Z (GMT). No. of bitstreams: 1 2016_JulianeCalvetdeMorais.pdf: 22067260 bytes, checksum: 6779df879d01bebce7b79fd4ae4090b6 (MD5) / O presente estudo analisa os problemas decorrentes das inadequações dos edifícios de múltiplos usos relacionados à acessibilidade. Serão integrados ao escopo deste estudo conceitos de Ergonomia, considerando que um de seus objetivos é a contribuição no planejamento e avaliação de produtos e ambientes de modo a torná-los compatíveis com as necessidades e limitações de pessoas. Nesta perspectiva, pode-se afirmar que a ergonomia está estreitamente relacionada ao espaço, apresentando soluções de projeto e adaptações de acordo com o conforto e os limites do ser humano. Segundo o IBGE, o Censo de 2010 apontou que 23,9% da população no Brasil é portadora de algum tipo de incapacidade e assegurar a inclusão dessas pessoas é responder a uma demanda social importante. Edifícios de múltiplos usos tem sido um dos principais produtos do mercado imobiliário. No entanto, à medida que estes empreendimentos se multiplicam, nem sempre consideram as necessidades reais do usuário portador de deficiência. A discussão do tema tem sua importância ao articular duas abordagens de análise: Ergonomia e Acessibilidade, considerando a funcionalidade espacial e o comportamento dos espaços integrando as pessoas com mobilidade reduzida. Ao mesmo tempo avalia-se o atendimento à norma técnica da Associação Brasileira de Normas Técnicas (ABNT) quanto aos critérios estabelecidos pela NBR 9050. Adotamos para análise da acessibilidade a simulação gráfica nas plantas arquitetônicas e a visita guiada com usuário cadeirante. Os resultados apontam barreiras em acessos importantes e mesmo quando os padrões normativos são contemplados, nem sempre o conforto é assegurado. Outra contribuição deste estudo foi a compreensão de como os espaços previstos no projeto determinarão a atividade dos usuários, apontando as dificuldades de locomoção e as adaptações necessárias, contribuindo para a reflexão dos projetos futuros. / This study analyzes the problems resulting from the inadequacies of the multiple use buildings related to accessibility. It will be integrated to the scope of this study the Ergonomics concepts, considering that one of aims is the contribution to planning, appreciation of products and environments in order to make them compatible with the needs and limitations of people. From this perspective, we can assert that ergonomics is closely related to space, presenting design solutions and adaptations according to the comfort and limits of the human being. According to the IBGE, the 2010 Census pointed out that 23.9% of the population in Brazil have a kind of disability and to assure the inclusion of these people is essential to reply an important social demand. Multi-purpose buildings have been one of the main products of the real estate market. However, as these enterprises increases, they do not always consider the real needs of the disabled user. The discussion of the theme has its importance when combine two approaches of analysis: Ergonomics and Accessibility, considering the spatial functionality and the operation of the spaces integrating people with reduced mobility. At the same time, we evaluate the compliance with the technical standard of the Brazilian Association of Technical Standards (ABNT) regarding the criteria established by NBR 9050. We adopted for accessibility analysis, the graphic simulation in the architectural plans and the guided visit with a wheelchair user. The results point to barriers in important accesses, and even when normative standards are contemplated, comfort is not always guaranteed. Another contribution of this study is the understanding of how the spaces provided in the architectural project will determine the activity of the users, pointing out the difficulties of locomotion and the necessary adaptations contributing to the reflection of future projects.
4

Verificando a corretude de geradores automáticos de código

SOUSA, Thiers Garretti Ramos 31 January 2011 (has links)
Made available in DSpace on 2014-06-12T15:57:28Z (GMT). No. of bitstreams: 2 arquivo3199_1.pdf: 729356 bytes, checksum: 6c269a282f3e408a30566d12c64fac0e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Os contratos (modelos que descrevem mais detalhadamente a arquitetura e os componentes) podem ser utilizados para a construção de softwares corretos. Esta construção pode ser realizada através do (1) cálculo de refinamento, (2) refinamento da estratégia e (3) fazendo a geração automática de código. Embora (1) e (2) são soluções corretamente comprovadas, eles requerem bastante esforço. Por outro lado, (3) é uma solução mais simples para derivação do código. No entanto, esta solução não pode fornecer um código confiável em relação aos seus contratos (ao menos que se comprove que o gerador de código é correto). Este trabalho propõe uma estratégia de testes baseados em modelos para verificar se determinado gerador de código é correto. A estratégia inicia-se com JML (linguagem baseada em contrato utilizada no Java) usando como estudo de caso o JavaCard, JMLe (um gerador de código baseado em JML) e o Jartege (gerador de testes baseados em modelos). Além disso, através deste trabalho é realizado um experimento onde é investigado o número de erros encontrados no jmle variando os valores do parâmetros do Jartege no nosso estudo de caso
5

Contribuição à análise de especificações de componentes de rodovias e melhoria de qualidade de viagens / Contribution to the analysis of highways components specifications and ride quality improvement

Padula, Flávio Renato de Góes 11 January 2002 (has links)
Esta tese relata e discute informações obtidas em ações para tentar mostrar que o uso de conceitos sobre auditoria de qualidade e análise de correlação canônica pode contribuir para identificar itens que facilitem classificar tópicos para verificação de conformidade de especificações para construção ou controle de componentes de rodovias. O nível para qualidade de viagens pode ser analisado através da busca de uma expressão de necessidades e expectativas de motoristas e passageiros. Estudos sobre especificações de componentes de rodovias deveriam conter recomendações que contribuam para a qualidade de viagem, por entrosar conseqüências de uso de determinações técnicas com ações para atender às expectativas e necessidades dos que julgam a viagem. O uso da técnica e dos conceitos sobre auditoria, em conjunto com a análise de correlação canônica pode contribuir para classificar medidas ou contagens sobre variáveis que descrevem características físicas de rodovias do ponto de vista de melhoria de conforto e segurança a motoristas e passageiros. / This thesis reports and discusses information obtained from actions trying to show that the use of concepts on quality auditing and canonical correlation analysis can contribute to identify items to facilitate the classification of topics for verification on specifications conformity for the construction or the control of highways components. The level for ride quality can be analyzed through the search of an expression of needs and expectations of drivers and passengers. Studies about highway components specifications should contain recommendations to contribute for improving the ride quality, for gearing consequences of using technical determinations with actions to assist the expectations and needs of the ride judgers. The use of the auditing technique and concepts, together with the canonical correlation analysis can contribute to classify measures on variables that describe physical characteristics of highways on the point of view of comfort and safety improvement to drivers and passengers.
6

Avaliação dos ganhos em competências geradas por programas de especialização em gerência de projetos: o caso da Embraer.

Claudinete Salvato Lima 00 December 2003 (has links)
A importância dos recursos intangíveis na economia cresceu significativamente de modo que as competências tanto individuais quanto organizacionais têm sido cruciais para o crescimento das empresas. Desta forma, cada vez mais as organizações competem em função de competências e capacitações, que são acumuladas ao longo do tempo. Um conjunto de competências bem fortalecidas permite que a organização atinja suas metas e objetivos, conservando uma posição sustentável no ambiente de negócios. Sob uma ótica mais específica, as competências também fornecem o suporte necessário às atividades e processos da empresa. Nesse sentido, as empresas são induzidas a investir em programas de treinamento e especialização para desenvolver as competências necessárias a sobrevivência no mercado competitivo.No setor aeronáutico, a necessidade de aprimorar a gestão de programas e projetos motivou a Embraer a investir no desenvolvimento de competências. A empresa vem estimulando o aperfeiçoamento de seus funcionários através de investimentos em Programas de Especialização em Gestão de Projetos. O Objetivo deste trabalho é propor a adaptação de uma metodologia capaz de fornecer uma visão geral e sistêmica dos impactos das competências geradas através do Programa de Especialização em Gestão de Projetos. Esta metodologia é utilizada para analisar o impacto no desenvolvimento de competências decorrente dos investimentos da Diretoria de Programas de Defesa da Embraer em Cursos de Gestão de Projetos.
7

Contribuição à análise de especificações de componentes de rodovias e melhoria de qualidade de viagens / Contribution to the analysis of highways components specifications and ride quality improvement

Flávio Renato de Góes Padula 11 January 2002 (has links)
Esta tese relata e discute informações obtidas em ações para tentar mostrar que o uso de conceitos sobre auditoria de qualidade e análise de correlação canônica pode contribuir para identificar itens que facilitem classificar tópicos para verificação de conformidade de especificações para construção ou controle de componentes de rodovias. O nível para qualidade de viagens pode ser analisado através da busca de uma expressão de necessidades e expectativas de motoristas e passageiros. Estudos sobre especificações de componentes de rodovias deveriam conter recomendações que contribuam para a qualidade de viagem, por entrosar conseqüências de uso de determinações técnicas com ações para atender às expectativas e necessidades dos que julgam a viagem. O uso da técnica e dos conceitos sobre auditoria, em conjunto com a análise de correlação canônica pode contribuir para classificar medidas ou contagens sobre variáveis que descrevem características físicas de rodovias do ponto de vista de melhoria de conforto e segurança a motoristas e passageiros. / This thesis reports and discusses information obtained from actions trying to show that the use of concepts on quality auditing and canonical correlation analysis can contribute to identify items to facilitate the classification of topics for verification on specifications conformity for the construction or the control of highways components. The level for ride quality can be analyzed through the search of an expression of needs and expectations of drivers and passengers. Studies about highway components specifications should contain recommendations to contribute for improving the ride quality, for gearing consequences of using technical determinations with actions to assist the expectations and needs of the ride judgers. The use of the auditing technique and concepts, together with the canonical correlation analysis can contribute to classify measures on variables that describe physical characteristics of highways on the point of view of comfort and safety improvement to drivers and passengers.
8

Preocupações de sustentabilidade e especificações técnicas de obras

Duarte, Bruno Manuel Andrade January 2009 (has links)
Tese de mestrado integrado. Engenharia Civil (Especialização em Construções). Faculdade de Engenharia. Universidade do Porto. 2009
9

Metodologia para especificação de telecontrole em subestações de energia elétrica

Grandi, Gilberto January 2000 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T15:24:11Z (GMT). No. of bitstreams: 1 176470.pdf: 1256060 bytes, checksum: a01f0924df69cf2c6274c8979007e394 (MD5) / Este trabalho apresenta uma metodologia para a especificação de telecontrole em subestações de energia elétrica a qual pode ser utilizada como instrumento de planejamento e execução de um projeto de telecontrole e automação de subestações. O trabalho faz uma revisão bibliográfica descrevendo o que é automação de uma subestação e como ela deve ser efetuada. São caracterizadas as etapas e ferramentas que devem fazer parte de um projeto de automação. O trabalho metodológico é divido em duas partes: Planejamento da Metodologia e Especificação Técnica. O planejamento da metodologia descreve a seqüência das etapas que devem ser seguidas para a execução do projeto como um todo. A Especificação Técnica das características do hardware e software, necessárias para a implantação deste projeto, é um dos pontos relevantes do trabalho. Nele são caracterizadas as funções que o sistema deverá possuir para realizar o telecontrole de uma subestação.
10

Método apoiado para escolha de sensores orbitais para aplicações em gestão ambiental

Mello, Emanuele Teles Ouriques de 23 October 2012 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-23T22:52:19Z (GMT). No. of bitstreams: 1 270191.pdf: 2523634 bytes, checksum: 5b1a3985b5b72c20bd3b5e8ebd70def4 (MD5) / A gestão ambiental necessita dispor de informações do espaço físico, biológico e antrópico, para tornar possíveis orientações em nível de planos, estratégias e ações no cenário, desde uma visão geral até o detalhe do alvo. O ponto central desta proposta de pesquisa é a sua contribuição para o saber fundamentado no desenvolvimento e adaptação das metodologias de sistematização de dados espaciais, com base em tecnologias de sensoriamento remoto, possibilitando desta forma, referendar instrumentos eficazes no monitoramento e na gestão ambiental das áreas das mais diversas atividades. Esta tese tem como objetivo disponibilizar aos tomadores de decisão embasamento que os permita, sem conhecimento específico, escolher o sensor adequado a fim de atender da forma mais completa possível suas necessidades imediatas. Sua metodologia consiste na definição da aplicação do método validado, o relacionamento das orientações para que se desenvolva a aplicação do método diretamente vinculada aos parâmetros da demanda em função os paradigmas e gestão ambiental, baseados no princípio a proporcionalidade do trabalho. São estes paradigmas: área, escala e tempo: O método consiste em critérios de comparação simples, baseados na metodologia de árvore de decisão, utilizando-se função "Se-então", baseada em lógica binária. Após a aplicação do método e determinados os resultados realizou-se uma validação dos resultados que comprovam a eficácia do método. Como resultado, apresenta-se uma ferramenta simples e eficaz para escolha do sensor mais adequado para aplicações em gestão ambiental quando avaliada, neste caso, hidrografia e os cursos d'água. / The environment management needs to use information of the biological and human space, to become possible directions on plans, strategies and actions. The central idea of this dissertation is its contribution to the development and the adaptation of the methodologies of data space systematization based on remote sensing technologies, making it possible to authenticate efficient instruments in environment management. This dissertation has as goal to turn available to the users basement that allows them, without specific knowledge, to choose the adequate sensor in order to take care of the possible form most complete its immediate necessities. Its methodology consists of the definition of the application of the validated method, the relationship of the orientation so that if it develops the application of the method directly tied with the parameters of the demand in function the paradigms and ambient management, based in the principle the proportionality of the work. They are these paradigms: area, scales and time: The method consists of criteria of simple comparison, based in the methodology of decision tree, using itself function "If-then", based in binary logic. After the application of the method and determined the results became fullfilled a validation of the results that prove the effectiveness of the method. As result, a simple and efficient tool for choice of the adjusted sensor for applications in ambient management when evaluated is presented more, in this in case that, hydrography and watercourses.

Page generated in 0.0555 seconds