901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
The capacity to use geologic materials (soil and rock) that are available in the surrounding environment is inherent to the human civilization and has contributed to the evolution of societies throughout the course of history. The use of these materials in the construction of structures such as houses, roads, railways or dams, stirred the improvement of socioeconomic and environmental conditions. Several reports of structural problems on embankments can be found throughout history. A considerable number of those registers can be linked to inadequate compaction, demonstrating the importance of guaranteeing a suitable quality of soil compaction. Various methodologies and specifications of compaction quality control on site of earthworks, based on the fill moisture content and dry unit weight, were developed during the 20th century. Two widely known methodologies are the conventional and nuclear techniques. The conventional methods are based on the use of the field sand cone test (or similar) and sampling of material for laboratory-based testing to evaluate the fill dry unit weight and water content. The nuclear techniques measure both parameters in the field using a nuclear density gauge. A topic under discussion in the geotechnical community, namely in Portugal, is the comparison between the accuracy of the nuclear gauge and sand cone test results for assessing the compaction and density ratio of earth fills, particularly for dams. The main purpose of this dissertation is to compare both of them. The data used were acquired during the compaction quality control operations at the Coutada/Tamujais dam trial embankment and core construction. This is a 25 m high earth dam located in Vila Velha de Rodão, Portugal. To analyse the spatial distribution of the compaction parameters (water content and compaction ratio), a 3D model was also developed. The main results achieved are discussed and finally some considerations are put forward on the suitability of both techniques to ensure fill compaction quality and on additional research to complement the conclusions obtained.
Resumo:
This case study deals with the reasons why the Portuguese Footwear Cluster evolved from a small industry focused on the Portuguese internal market into a high-tech industry capable of designing and producing some of the best and most expensive shoes in the world. It went from using the low labor costs of an under-developed economy to produce long series of shoes for pre-designated brands in Northern Europe to having the ability to produce some of the highest quality shoes in the world, in small orders, designed and delivered in record timing, while offering a service of excellence. In 1960, when Portugal became a founding member of EFTA, the footwear industry in Portugal was globally irrelevant, producing low quality shoes directed to the puny internal market and its African colonies. The new free trade zone with economies much more developed that itself, led to the transfer of the labor-intensive, low skilled manufacture from the UK and Scandinavian countries to Portugal. Mostly through joint ventures, the industry was able to mechanize itself so it could produce shoes in long series at low prices. It grew based on that model up until the 1990s, when the emergence of the Asian countries meant either a different strategy or extinction. Taking advantage of a clarified leadership of its trade association, it used the European funds made available to it during the 1990s, to modernize its factory floors, so it could become more nimble and flexible, expand its design capabilities and dramatically change its image abroad. The role of the trade association, APICCAPS, was instrumental throughout the process going well beyond what came to be expected of trade associations. It used its privileged position to provide understanding regarding the current situation and competitive landscape, alerting for changes ahead and at the same time providing a strategic vision on how to deal with the challenges. Moreover, it helped companies get the resources they needed by creating a research center in collaboration with a University, by creating a process that allowed companies to learn from each other via the show casing of projects sponsored by the association or by helping industrials traveling to locations where new customers could be found. The case study provides insight on how the trade association leadership, which has no formal authority over its members, was able to guide and motivate an industry through a consistent positive approach. That approach focused on the solutions, on the opportunities and on the success stories of companies in the cluster rather than on what was wrong or needed to be addressed. Based on this case, one could use the leadership role of the trade association to discuss and change leaders’ roles and styles in other sectors or even companies.
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação
Resumo:
Relatório de estágio de mestrado em Ensino de Inglês e de Espanhol no 3ºciclo do Ensino Básico e Ensino Secundário
Resumo:
A presente investigação tem como principal objetivo compreender a relevância de diversos fatores sociodemográficos e psicossociais inerentes ao desenvolvimento do talento em contexto desportivo, numa perspectiva multidimensional. Procedeu-se a uma avaliação quantitativa de jogadores de futebol, integrados num clube de elite, com idades compreendidas entre os 13 e os 19 anos. No sentido de avaliar os construtos psicológicos considerados no presente estudo (motivação, perfecionismo, suporte parental, resiliencia, coping e compromisso) foram utilizados os seguintes questionários: Sport Motivation Scale - SMS (Pelletier et al., 1995); Multidimensional Perfectionism Scale – MPS (Frost, Marten, Lahart, & Rosenblate, 1990); Own Memories of Parental Rearing – EMBU (Perris, Jacobson, Lindstörm, Von Knorring, & Perris, 1980); Resilience Scale – RS (Wagnild & Young, 1993); Athletic Coping Skills – ACSI 28 (Smith, Schutz, Smoll, & Ptacek, 1995); e Elite Athlete Commitment Scale – EACS (Ramadas, Serpa, Rosado, Gouveia & Maroco, 2013). A significância da variável nível de prestação (elite/sub-elite; dispensados/retidos) sobre os diversos constructos psicológicos foi avaliada através da análise da covariância multivariada (MANCOVA), da análise de equações estruturais (CBSEM) e da técnica de míninos quadrados parciais (PLS). Os jogadores mais bem sucedidos (jogadores de elite e jogadores retidos) percecionaram maior suporte parental, demonstraram níveis mais elevados de compromisso, resiliência, autodeterminação, capacidade de adaptação e confronto, assim como um perfeccionismo ajustado. No que concerne às variáveis sociodemográficas, constatou-se que os jogadores retidos jogam predominantemente no segundo ano do respetivo grupo de idade e têm uma idade inferior aos jogadores dispensados. Os resultados obtidos poderão constituir um relevante suporte para futuros programas educacionais que incidam sobre temáticas relacionadas com os compromissos necessários à prossecução e manutenção de níveis de elite, estratégias de coping, gestão da rotina diária, e o papel dos pais no processo de formação do jovem desportista.
Resumo:
La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.
Resumo:
The Ajjanahalli gold mine is spatially associated with a Late Archean craton-scale shear zone in the eastern Chitradurga greenstone belt of the Dharwar craton, India. Gold mineralization is hosted by an similar to100-m-wide antiform in a banded iron formation. Original magnetite and siderite are replaced by a peak metamorphic alteration assemblage of chlorite, stilpnomelane, minnesotaite, sericite, ankerite, arsenopyrite, pyrite, pyrrhotite, and gold at ca. 300degrees to 350degreesC. Elements enriched in the banded iron formation include Ca, Mg, C, S, An, As, Bi. Cu, Sb, Zn, Pb, Se, Ag, and Te, whereas in the wall rocks As, Cu, Zn, Bi, Ag, and An are only slightly enriched. Strontium correlates with CaO, MgO, CO2, and As, which indicates cogenetic formation of arsenopyrite and Mg-Ca carbonates. The greater extent of alteration in the Fe-rich banded iron formation layers than in the wall rock reflects the greater reactivity of the banded iron formation layers. The ore fluids, as interpreted from their isotopic composition (delta(18)O = 6.5-8.5parts per thousand; initial Sr-87/Sr-86 = 0.7068-0.7078), formed by metamorphic devolatilization of deeper levels of the Chitradurga greenstone belt. Arsenopyrite, chalcopyrite, and pyrrhotite have delta(34)S values within a narrow range between 2.1 and 2.7 per mil, consistent with a sulfur source in Chitradurga greenstone belt lithologies. Based on spatial and temporal relationships between mineralization, local structure development, and sinistral strike-slip deformation in the shear zone at the eastern contact of the Chitradurga greenstone belt, we suggest that the Ajjanahalli gold mineralization formed by fluid infiltration into a low strain area within the first-order structure. The ore fluids were transported along this shear zone into relatively shallow crustal levels during lateral terrane accretion and a change from thrust to transcurrent tectonics. Based on this model of fluid flow, exploration should focus on similar low strain areas or potentially connected higher order splays of the first-order shear zone.
Resumo:
INTRODUCTION: This study sought to increase understanding of women's thoughts and feelings about decision making and the experience of subsequent pregnancy following stillbirth (intrauterine death after 24 weeks' gestation). METHODS: Eleven women were interviewed, 8 of whom were pregnant at the time of the interview. Modified grounded theory was used to guide the research methodology and to analyze the data. RESULTS: A model was developed to illustrate women's experiences of decision making in relation to subsequent pregnancy and of subsequent pregnancy itself. DISCUSSION: The results of the current study have significant implications for women who have experienced stillbirth and the health professionals who work with them. Based on the model, women may find it helpful to discuss their beliefs in relation to healing and health professionals to provide support with this in mind. Women and their partners may also benefit from explanations and support about the potentially conflicting emotions they may experience during this time.
Resumo:
We construct a new family of semi-discrete numerical schemes for the approximation of the one-dimensional periodic Vlasov-Poisson system. The methods are based on the coupling of discontinuous Galerkin approximation to the Vlasov equation and several finite element (conforming, non-conforming and mixed) approximations for the Poisson problem. We show optimal error estimates for the all proposed methods in the case of smooth compactly supported initial data. The issue of energy conservation is also analyzed for some of the methods.
Resumo:
BACKGROUND: The World Anti-Doping Agency (WADA) is introducing enhancements to doping investigations in its 2015 Code, which include improved sharing of information between antidoping organisations (including sporting bodies) and enhanced accountability of athlete support staff. These additions will improve the control of links between sports doping and organised crime. In February 2013 the Australian Crime Commission released a report that linked several professional sporting codes, professional athletes with links to organised crime, performance enhancing drugs and illicit substances. Following this report the Australian Football League (AFL) partnered the Australian national antidoping organisation to investigate peptide use in Australian football. METHODS: This review compared the model proposed by Marclay, a hypothetical model for anti-doping investigations that proposed a forensic intelligence and analysis approach, to use the forensic capabilities of the AFL investigation to test the model's relevance to an actual case. RESULTS: The investigation uncovered the use of peptides used to enhance athlete performance. The AFL investigation found a high risk of doping where athlete support staff existed in teams with weak corporate governance controls. A further finding included the need for the investigation to provide a timely response in professional team sports that were sensitive to the competition timing. In the case of the AFL the team was sanctioned prior to the finals as an interim outcome for allowing the risk of use of performance-enhancing substances. Doping violation charges are still being considered. DISCUSSION: Antidoping strategies should include the investigation of corporate officers in team doping circumstances, the mandatory recording of all athlete substance use during competition and training phases, the wider sharing of forensic intelligence with non-sporting bodies particularly law enforcement and collaboration between antidoping and sporting organisations in doping investigations. CONCLUSIONS: The AFL investigation illustrated the importance of the 2015 WADA Code changes and highlighted the need for a systematic use of broad forensic intelligence activities in the investigation of doping violations.
Resumo:
The conflict between siblings over how parental resources are divided has promoted the evolution of specific behaviour to outcompete each other. Young animals look out for parents' arrival in order to start begging as quickly as possible, since a rapid begging reaction increases the likelihood of being fed before nestmates. If the young can physically intercept the parents, selection might be operating on the offspring ability to monitor parent arrival (vigilance towards parents) and any sudden modifications in siblings' behaviour (vigilance towards siblings). To investigate the adaptive value of nestling vigilance in the context of family interactions, we recorded which direction barn owl Tyto alba siblings were facing in 89 two-chick broods before the first parental feeding visit of the night. Nestlings were more vigilant towards nest entrance than expected by chance suggesting that vigilance towards parents is an important component of sibling competition. When positioned near the nest-box entrance where parents predictably deliver food, the younger individual (i.e. junior) looked more towards the entrance than its older sibling. Thus, when the likelihood of obtaining a food item is relatively high, juniors are more vigilant than seniors to detect the incoming parent. When positioned at the back of the nest, the senior looked relatively more frequently towards its sibling than the junior did in the same situation. This suggests that when the likelihood of obtaining a food item is relatively low, seniors are more vigilant than juniors to observe their sibling. Because vigilance was not related to hunger level and prey obtaining, we propose the hypothesis that vigilance towards parents and siblings only indirectly influences the outcome of sibling competition.
Resumo:
El projecte consisteix en l'estudi i avaluació de diferents alternatives existents al mercat per a realitzar l'anàlisi i desenvolupament d'un conjunt de components que constitueixin un marc de treball per a simplificar i agilitzar el desenvolupament de la capa de presentació per a les aplicacions de client prim d'un determinat Framework desenvolupades amb la plataforma J2EE i basats en el patró de disseny Model-Vista-Controlador.
Resumo:
The aim of this work is to establish a relationship between schistosomiasis prevalence and social-environmental variables, in the state of Minas Gerais, Brazil, through multiple linear regression. The final regression model was established, after a variables selection phase, with a set of spatial variables which contains the summer minimum temperature, human development index, and vegetation type variables. Based on this model, a schistosomiasis risk map was built for Minas Gerais.