Este trabalho propõe um modelo de teste para programas concorrentes que utilizam memória compartilhada. O modelo é inovador em três aspectos principais: (1) tratar a sincronização e a comunicação de threads de forma separada, (2) considerar a sincronização decorrente da inicialização/finalização de threads, e (3) apresenta um método baseado em timestamps para determinar as comunicações exercitadas em uma dada execução do programa. Os critérios de cobertura existentes para programas concorrentes foram adaptados ao contexto de programas baseados no paradigma de memória compartilhada. A ferramenta chamada ValiPThread foi implementada neste trabalho para apoiar a aplicação do modelo e dos critérios definidos. Com essa ferramenta é possível criar sessões de teste que podem ser salvas, interrompidas e retomadas a qualquer momento. Também é possível adicionar e executar casos de teste, avaliando a cobertura do código fonte em relação aos critérios de teste. A implementação da ferramenta mostra que é possível instanciar o modelo proposto em um software que auxilie a atividade de teste no contexto de programas com memória compartilhada. O trabalho apresenta soluções significativas para os principais desafios impostos pela programação concorrente para a atividade de teste, destacando-se dentre eles: (1) desenvolvimento de novas técnicas de análise estática para analisar programas concorrentes no contexto de memória compartilhada; (2) testar aspectos cruciais à programação concorrente como: sincronização, comunicação e fluxo de dados; (3) reproduzir uma execução de maneira controlada; (4) mapeamento de critérios de teste já existentes para programas concorrentes com passagem de mensagem para o contexto de memória compartilhada; (5) projetar critérios de fluxo de dados para programas concorrentes, considerando variáveis compartilhadas e (6) desenvolvimento de uma ferramenta de apoio a essas atividades / This work presents a novel test model for shared memory concurrent programs. Some important new features in this model are: (1) analysis the communication and synchronization in an isolated manner, (2) examines the synchronization due the start and the finish of threads, and (3) employs a method based on timestamps to check the communication exercised for an execution of the program. The coverage criteria set defined for concurrent programs was adjusted to the shared memory programs. In this work, the tool ValiPThread was implemented to support the application of the test model and of the coverage criteria. This tool allows to create a test session that can be saved, stopped and resumed at any time. In this tool is also possible to add and to execute test cases, analyzing the source code coverage with respect to the coverage criteria. The new tool shows that is possible instance the proposed model in a software that supports the test activity in context of shared memory. This work presents solutions for the major challenges related to task of to test concurrent programs, such as: (1) develop new techniques to do static analyzes of shared memory programs; (2) test important aspects to concurrent programs such as like: synchronization, communication and data flow; (3) replay and deterministic re-execution; (4) adjust coverage criteria from the context of message passing concurrent programs to shared memory context; (5) design data flow criteria based on shared variables and (6) build a tool to support these activities

Trabalho realizado na Adclick, orientado pela Sónia Neto / Dissertação de mestrado integrado. Mestrado Integrado em Engenharia Industrial e Gestão. Faculdade de Engenharia. Universidade do Porto. 2012

Tese de mestrado. Engenharia de Minas e Geo-Ambiente. Faculdade de Engenharia. Universidade do Porto. 2012

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T06:56:43Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:18:48Z : No. of bitstreams: 1 142450.pdf: 105897234 bytes, checksum: 281625b6cf2714723c8f10f40fffe79a (MD5)

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-02T18:48:21Z No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-04T13:18:52Z (GMT) No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) / Made available in DSpace on 2018-07-04T13:18:53Z (GMT). No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) Previous issue date: 2018-02-05 / Softwares precisam ser seguros e corretos. Partindo desse pressuposto, novas tecnologias e técnicas são desenvolvidas para comprovar as competências de um programa. Essa necessidade de segurança se torna mais relevante ao tratar de softwares que atuam em sistemas críticos, como os sistemas ferroviário e aeroviário. A utilização de métodos formais na construção de software busca solucionar o problema. Ao utilizar o método formal B através da plataforma Atelier-B, e após provar os componentes de um projeto é necessária a tradução para a linguagem desejada. Essa tradução ocorre por meio de tradutores e compiladores B. Habitualmente, o processo de compilação em compiladores maduros é seguro, porém não estão completamente livres de falhas e eventualmente erros são encontrados. Ao expandir essa afirmação para tradutores B é necessário cautela, uma vez que esses não são tão comuns e utilizados quanto compiladores que circulam há mais tempo no mercado. Testes de software podem ser utilizados para realizar a análise da tradução. Através de critérios de cobertura é possível inferir o nível de qualidade do software e facilitar a detecção de falhas. Realizar a checagem da cobertura e testes em software pode exigir bastante esforço e tempo, principalmente ao serem realizados manualmente. Para sanar essa demanda, a ferramenta BTestBox visa analisar, de maneira automática, a cobertura atingida por implementações B desenvolvidas através do Atelier-B. BTestBox também testa automaticamente as traduções feitas a partir de implementações B. Para isso, BTestBox utiliza os casos de teste gerados para a verificação de cobertura e compara os valores esperados de saída com os encontrados após a tradução. O processo feito por BTestBox é todo automático e pode ser utilizado a partir do Atelier-B via instalação de plugin com uma interface simples. Essa dissertação apresenta a ferramenta BTestBox. BTestBox foi testado através de pequenas implementações B com os elementos gramaticais possíveis da linguagem B. BTestBox apresenta funcionalidade e vantagens para programadores que utilizam o método formal B. / Software needs to be safe and run smoothly. From that assumption, new technologies and techniques are developed to test the quality of a program. This is more relevant when developing critical systems, such as railways and avionics control systems. Formal methods try to adress this need. When using B in Atelier-B, after proving the components of a project is necessary to translate to the desired language, a translation is made by using B translators and compilers. Usually, the process of compilation is safe when perfomed by mature compilers although they are not free of errors and bugs often crop up. The same reliability is not always observed in B translators since they have been on the market for less time. Software testing may solve and be used to perform the analyses of the translated code. From coverage criteria, it is possible to infer quality of a piece of software and detect bugs. This process is hard and time-consuming, mainly if it is perfomed manually. To address this problem, the BTestBox tool aims to analyze automatically the coverage of B implementations built through Atelier-B. BTestBox also automatically tests the translation from B implementations. For this, BTestBox uses the same test case generated to verify the coverage and compare the output expected values with the values found in the translation. This process is fully automatic and may be started from Atelier-B with a plugin. This thesis presents the tool BTestBox. The tool is a solution to the problems exposed in the previous paragraph. BTestBox was tested with small B implementations and all gramatical elements from B language. It offers various functionalities and advantages to developers that use the B-Method.

Orientador: Marcos Valério Ribeiro / Resumo: Apesar de ser amplamente utilizado em componentes aeroespaciais, o Inconel 718 apresenta algumas características que dificultam a sua usinagem: dureza elevada, resistência em altas temperaturas, forte afinidade para reagir com materiais de ferramentas e baixa condutividade térmica. Além do mais, esta liga possui tendência para a formação da aresta postiça de corte, endurecimento por deformação, assim como efeito abrasivo de carbonetos e fases intermetálicas, que resultam em tensões mecânicas e térmicas elevadas na aresta de corte. A qualidade de acabamento exigido pela indústria, para este material, é de 1,6 µm de rugosidade média (Ra) e 6 µm de rugosidade total (Rt). Sabendo da importância do Inconel 718, assim como da necessidade de conciliar os desafios de usinagem com a qualidade exigida, o objetivo deste trabalho foi encontrar a condição experimental que resulte em melhores resultados de usinagem. Para encontrar a condição ótima, a liga foi usinada utilizando duas ferramentas: experimental de cerâmica – Al2O3 + MgO (perfil S) e comercial de metal duro revestido (perfil C). Com a metodologia de Taguchi foram planejadas duas matrizes experimentais. Para a ferramenta cerâmica, a usinagem ocorreu a seco e nas seguintes condições: avanços de 0,10–0,20–0,30 mm/rev; velocidades de corte de 300–400–500 m/min; profundidades de usinagem de 0,20–0,35–0,50 mm. A ferramenta de metal duro revestido foi utilizada em profundidade fixa de 0,5 mm, nas seguintes condições experimentais: av... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Despite being widely used in aerospace components, the Inconel 718 presents some characteristics that make difficult its machining: high hardness, resistance at high temperatures, strong affinity to react with tools materials and low thermal conductivity. Moreover, this alloy has a tendency to form the built up edge, hardening by deformation, as well as the abrasive effect of carbides and intermetallic phases, which result in high mechanical and thermal tensions in the cutting edge. The surface finishing quality required by the industry, for this material, is 1.6 μm of average roughness (Ra) and 6 μm of total roughness (Rt). Knowing the importance of Inconel 718, as well as the need to combine the machining challenges with the required quality, the objective of this work was to find the experimental condition that results in better machining results. To find the optimal condition, the alloy was machined using two tools: experimental ceramic – Al2O3 + MgO (profile S) and commercial coated tungsten carbide (profile C). With Taguchi methodology, two experimental matrices were planned. For the ceramic tool, the machining occurred in the dry and under the following conditions: feed rates of 0.10–0.20–0.30 mm/rev; cutting speeds of 300–400–500 m/min; machining depths of 0.20–0.35–0.50 mm. The coated carbide tool was employed at a fixed machining depth of 0.5 mm, under the following experimental conditions: feed rates of 0.10–0.15–0.20–0.25 mm/rev; cutting speeds of 55–70–85–100 m/m... (Complete abstract click electronic access below) / Doutor

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-23T15:08:44Z No. of bitstreams: 1 JOSÉ MARIA RODRIGUES SANTOS JÚNIOR - DISSERTAÇÃO PGCC 2002..pdf: 2728104 bytes, checksum: d8484065ff9bf584156c0fd52b7c3221 (MD5) / Made available in DSpace on 2018-08-23T15:08:44Z (GMT). No. of bitstreams: 1 JOSÉ MARIA RODRIGUES SANTOS JÚNIOR - DISSERTAÇÃO PGCC 2002..pdf: 2728104 bytes, checksum: d8484065ff9bf584156c0fd52b7c3221 (MD5) Previous issue date: 2002-08-28 / Este trabalho discute a necessidade de estratégias e ferramentas para o desenvolvimento mais produtivo e menos complexo de aplicações Web sobre a plataforma Java 2 Enterprise Edition (J2EE). Inicialmente foi feito um estudo da plataforma J2EE, principalmente da tecnologia Enterprise Java Beans (EJB). Uma aplicação Web foi implementada utilizando diretamente os recursos da plataforma J2EE, permitindo identificar aspectos a serem explorados para alcançar os objetivos propostos. Em seguida foi desenvolvida uma ferramenta, denominada de EasyNet, visando explorar esses aspectos. O EasyNet foi utilizado para a re-implementação da aplicação, permitindo que o aumento da produtividade e a redução da complexidade fossem comparados aos da implementação sem a sua utilização. Foi possível identificar que o EasyNet forneceu um aumento significativo da produtividade e reduziu a complexidade no desenvolvimento de aplicações Web sobre a plataforma J2EE. / This work discusses the need of strategies and tools for a more productive and less complex development of Web applications on Java 2 Enterprise Edition (J2EE). A study on the J2EE platform was initially made, especially on the Enterprise Java Beans (EJB) technology. A Web application was implemented using directly the sources from the J2EE platform, allowing the identification of aspects to be explored in order to reach the desired results. After, a tool denominated EasyNet was developed aiming the exploration of such aspects. The EasyNet was used for the re-implementation of the application, allowing the productivity growth and the decrease of the complexity to be compared to the ones of the implementation made without its use. It was possible to identify that the EasyNet provided a significant increase of the productivity and reduced the complexity of the development of the Web applications on the J2EE platform.

Submitted by Felicitas Kemm (felicitas.kemm@gmx.de) on 2017-05-24T20:13:57Z No. of bitstreams: 1 Master Thesis - Felicitas Kemm.pdf: 1392022 bytes, checksum: 6518cce8abc7fb844ba77cef97cc26af (MD5) / Approved for entry into archive by Leiliane Silva (leiliane.silva@fgv.br) on 2017-05-25T12:35:25Z (GMT) No. of bitstreams: 1 Master Thesis - Felicitas Kemm.pdf: 1392022 bytes, checksum: 6518cce8abc7fb844ba77cef97cc26af (MD5) / Made available in DSpace on 2017-05-31T12:27:18Z (GMT). No. of bitstreams: 1 Master Thesis - Felicitas Kemm.pdf: 1392022 bytes, checksum: 6518cce8abc7fb844ba77cef97cc26af (MD5) Previous issue date: 2017-04-05 / The present study aims to gain a better understanding of the reasons influencing the use of AR applied in marketing. Besides its promising success in the literature, there is still a risk that Augmented Reality does not add value to the company. Marketers must decide whether and how the technology can be applied in favor of the company. A case study research with three companies using or used Augmented Reality in their business was applied. The data were collected via semi-structured interviews with marketing experts’ from each company. Based on the findings of the interviews, the reasons why companies applied Augmented Reality are: the belief that there is a need for it, a better communication with their customers, the need to appear innovative, and a decrease in the return- and increase in the conversion rate. In fact, this research revealed that after the implementation of Augmented Reality two out of three companies had a better market performance in terms of an increase in the demand, or a better conversion rate, more time spent on the product page with the Augmented Reality tool, and a decrease in their return rate. However, one case also demonstrated that even though an increasing market performance, Augmented Reality can still fail due to reasons such as technical issues. / O presente estudo visa adquirir um melhor conhecimento das razões por detrás da utilização de AR em marketing. Para além do sucesso promissor sugerido pela literatura, existe ainda o risco de que Realidade Aumentada não adiciona valor à empresa. Marketers têm de decidir se e como a tecnologia pode ser utlizada em prol da empresa. Um estudo caso com três empresas diferentes que utilizam ou utilizaram Realidade Aumentada no seu negócio foi desenvolvido. Os dados foram recolhidos através de entrevistas semi-estruturadas com especialistas de marketing de cada empresa. Com base nos resultados das entrevistas, as razões pelas quais as empresas usam Realidade Aumentada são: a crença de que existe a necessidade dessa tecnologia, uma melhor comunicação com os seus clientes, a necessidade de transparecer inovação, e uma diminuição da taxa de devolução – e um aumento na taxa de conversão. De facto, este estudo demonstra que, após a implementação de Realidade Aumentada, duas das três empresas registaram um melhor desempenho no mercado em termos de um aumento da procura, ou de uma taxa de conversão superior, mais tempo dispendido na página do produto com a ferramenta de Realidade Aumentada, e uma diminuição da taxa de devolução. Contudo, um caso demonstrou também que, apesar de um melhor desempenho no mercado, a Realidade Aumentada pode contudo falhar devido a razões como problemas técnicos.

Submitted by Sara Ribeiro (sara.ribeiro@ucb.br) on 2018-11-19T13:39:09Z No. of bitstreams: 1 CristinadeJesusSousaDissertacaoParcial2018.pdf: 780979 bytes, checksum: d8b80ee196a8840b1efaee7d6dcb18f5 (MD5) / Approved for entry into archive by Sara Ribeiro (sara.ribeiro@ucb.br) on 2018-11-19T13:39:46Z (GMT) No. of bitstreams: 1 CristinadeJesusSousaDissertacaoParcial2018.pdf: 780979 bytes, checksum: d8b80ee196a8840b1efaee7d6dcb18f5 (MD5) / Made available in DSpace on 2018-11-19T13:39:46Z (GMT). No. of bitstreams: 1 CristinadeJesusSousaDissertacaoParcial2018.pdf: 780979 bytes, checksum: d8b80ee196a8840b1efaee7d6dcb18f5 (MD5) Previous issue date: 2018-07-30 / This is a quantitative, cross-sectional and descriptive study whose general objective was to evaluate the bone quality of elderly women with more than 60 years of age attending a general gynecology clinic in the Distrito Federal, through the application of the FRAX Tool. The study site was a private general gynecological clinic and the sample consisted of 147 were elderly women (60 to 90 years). For the data collection, three instruments were used: a sociodemographic questionnaire, the FRAX tool and the FRAQ-Brazil instrument. Comparisons of proportions between two independent groups were performed using Fisher's exact test. Categorical variables were described with counts and proportions. Quantitative variables of normal and asymmetric distribution were described as mean ? standard deviation and median (interquartile range) respectively. Normality was assessed by visual inspection of histograms. The R software was used in the statistical analysis of data. All probabilities of significance are bilateral and values less than 0.05 are considered statistically significant. The results obtained are found in articles 1 and 2. The research allowed an intense literature review to contribute to an understanding of which factors limit the use of the FRAX Tool, and which groups of older people should be better and more carefully analyzed for orientation. We found a mean and high risk of osteoporotic fractures assessed by applying the FRAX tool in non-elderly patients by 0.3%, in elderly patients up to 79 years old was found in 3,7% and in 45,5% of the elderly women above of 80 years. It can be concluded that the FRAX tool, despite some limitations, is important for the early identification and screening of individuals at risk of fractures due to its simplicity of application, allowing early and safe therapeutic decision making. It was also concluded that there is a significant increase in the risk of osteoporotic fractures with advancing age. / Trata-se de um estudo quantitativo, transversal e descritivo cujo objetivo geral foi avaliar a qualidade da massa ?ssea de idosas com mais de 60 anos frequentadoras de uma cl?nica de ginecologia geral no Distrito Federal, por meio da aplica??o da Ferramenta FRAX. O local do estudo foi uma cl?nica particular de ginecol?gica geral e a amostra foi constitu?da 147 mulheres idosas (60 a 90 anos). Para a coleta de dados, utilizaram-se tr?s instrumentos: um question?rio sociodemogr?fico, a Ferramenta FRAX e o instrumento FRAQ-Brasil. Compara??es de propor??es entre dois grupos independentes foram efetuadas utilizando-se teste exato de Fisher. Vari?veis categ?ricas foram descritas com contagens e propor??es. Vari?veis quantitativas de distribui??o normal e assim?trica foram descritas como m?dia ? desvio padr?o e mediana (intervalo interquartil) respectivamente. Normalidade foi avaliada com a inspe??o visual de histogramas. O software R foi utilizado na an?lise estat?stica de dados. Todas as probabilidades de signific?ncia apresentadas s?o do tipo bilateral e valores menores que 0.05 considerados estatisticamente significantes. Os resultados obtidos encontram-se nos artigos 1 e 2. A pesquisa permitiu a realiza??o de uma intensa revis?o de literatura visando contribuir para uma compreens?o de quais fatores limitam o uso da Ferramenta FRAX, e quais grupos de idosos devem ser melhores e mais cuidadosamente analisados para a orienta??o. Encontrou-se m?dio e alto risco de fraturas osteopor?ticas avaliado atrav?s da aplica??o da Ferramenta FRAX nas pacientes idosas aos 79 anos o percentual encontrado foi de 3,7% e em 45,5% nas idosas acima dos 80 anos. Pode-se concluir que a Ferramenta FRAX, apesar de algumas limita??es, ? importante para a identifica??o precoce e o rastreamento de indiv?duos com risco de fraturas, devido ? sua simplicidade de aplica??o, permitindo uma tomada de decis?o terap?utica precoce e segura. Concluiuse tamb?m que h? um aumento importante do risco de fraturas osteopor?ticas com o avan?ar da idade.

Made available in DSpace on 2016-08-02T21:42:59Z (GMT). No. of bitstreams: 1 Capa.pdf: 45801 bytes, checksum: 65f1e20c3f338cba8bf33557a03e80d5 (MD5) Previous issue date: 2009-12-08 / The end of the 20th century and the beginning of the 21th century were classified as the knowledge and information era . People constantly seek to improve in their personal and professional ambit and in net relationships with the aim of achieving their targets. The competition and the competitiveness motivate an individual to become more qualified and overcome their limitations, offering to the organizations an efficient, flexible and dynamic professional. The courses of professional improvement arise as an answer to this social and professional demand, allowing a continuous, accessible and qualified learning. Brazil has qualified institutions that can provide this kind of training and improvement. Some of them are inserted in the Sistema S, which belongs to the Third Sector. Although these courses completely attend the actual demand, they do not have a profile of ideal professional that is already mapped and constructed in order to facilitates the management and dealing with customers. The aim of this paper is to create a tool that can allow managers of the institutions which offer courses of professional training and improvement to map and construct a profile of ideal teaching. For the creation of this profile will be interviewed teachers, coordinators and technicians from one of the institutions that is part of the Sistema S, SENAC-SP, two branches were chosen Osasco and Santo André. Through this study is expected that this tool can be created and become a facilitator for the manager (who works with the offer of courses of professional improvement) whose major role, in such organizations, is to select and hire professionals able to teach these courses, as well as permanently overseeing for their professional improvement.(AU) / O final do século XX e o início século XXI foram conceituados como a era do conhecimento e da informação . As pessoas buscam constantemente aperfeiçoar-se no âmbito pessoal, profissional e em sua rede de relacionamentos com o propósito de atingirem suas metas. A concorrência e a competitividade fazem o indivíduo motivar-se para se tornar mais habilitado e superar suas limitações, oferecendo às organizações um profissional eficiente, flexível e dinâmico. Os cursos de aperfeiçoamento profissional surgem como uma resposta a esta demanda social e profissional, possibilitando o aprendizado contínuo, acessível e qualificado. O Brasil possui instituições habilitadas a fornecer este tipo de treinamento e aperfeiçoamento. Algumas delas estão inseridas no Sistema S, pertencentes ao Terceiro Setor. Esses cursos, apesar de atenderem plenamente a demanda existente, não possuem um perfil ideal de profissional já mapeado e construído para facilitar a gestão e o atendimento da sua clientela. Objetiva-se através deste estudo criar uma ferramenta que possibilite aos gestores das instituições oferecedoras de cursos de treinamento e aperfeiçoamento profissional, mapear e construir um perfil de docência ideal. Para criação de tal perfil serão entrevistados docentes, coordenadores e técnicos de uma das instituições que fazem parte do Sistema S, o SENAC-SP, em duas unidades Osasco e Santo André. Espera-se com este estudo, que tal ferramenta seja criada e torne-se uma facilitadora para o gestor (que trabalhe com oferta dos cursos de aperfeiçoamento profissional), cuja principal atividade, em tais organizações, é selecionar e contratar profissionais aptos a ministrarem estes cursos, além de zelar permanentemente por seu aperfeiçoamento profissional.(AU)