41 resultados para Logical consequence
em Universidade do Minho
Resumo:
Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical).
Resumo:
When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.
Resumo:
The reuse of recycled concrete aggregates in new hot-mix asphalt can be a more sustainable method of production, but these mixtures may need a heat treatment before compaction to improve their water sensitivity performance. A direct consequence of this treatment is an increase in the hot-mix asphalt resilient modulus. The aim of this paper is to analyse the effect of ageing on the stiffness of asphalt mixtures with different amounts of recycled concrete aggregates, before and after a heat treatment, which was analysed through the assessment of its bitumen properties. Moreover, this paper also aims to analyse whether the rolling thin-film oven test is able to simulate the ageing effect of the heat treatment. In the laboratory work, a paving grade bitumen B50/70 has been used to produce asphalt mixtures with 0% and 30% recycled concrete aggregates, and the bitumen was later characterised (using penetration, softening point, dynamic viscosity and dynamic shear rheometer tests) in various situations, such as when using virgin bitumen, short-term aged bitumen, aged bitumen after heat treatment (simulated with 4 h of rolling thin-film oven test) and bitumen samples recovered from asphalt mixtures with different production mixes (0% and 30% recycled concrete aggregate) and heat treatment conditions (0 and 4 h of curing time in the oven). Based on the results obtained, it could be concluded that the ageing resulting from the heat treatment is the primary cause of the hot-mix asphalt's increased stiffness, while recycled concrete aggregate content has a small influence. Moreover, it could be concluded that when there is no curing time, the recycled concrete aggregate protects the bitumen against ageing. Additionally, it could be stated that the rolling thin-film test is able to adequately simulate the ageing effect of the heat treatment. Thus, this test is useful for determining the ageing suffered by the bitumen when the recycled concrete aggregate mixture is manufactured using a heat treatment.
Resumo:
The force distribution inside a dovetail joint is complex. Wood is simultaneously loaded in different directions in the several connected surfaces. The analytical solutions available for the analysis of the behavior of those carpentry joints rely on the mechanical properties of wood. In particular, the stiffness properties of wood under compression are crucial for the forces equilibrium. Simulations showed that the stiffness values considered in each of the springs normally assumed in the analytical models, have great influence in the bearing capacity and stiffness of the dovetail joints, with important consequence on the stress distribution over the overall structure. In a wide experimental campaign, the properties under compression of the most common wood species of existing timber structures have been determined. Then, a solved example of a dovetail joint is presented assuming different wood species and the corresponding strength and stiffness properties values obtained in the tests.
Resumo:
The Our Lady of Conception church is located in village of Monforte (Portugal) and is not in use nowadays. The church presents structural damage and, consequently, a study was carried out. The study involved the survey of the damage, dynamic identification tests under ambient vibration and the numerical analysis. The church is constituted by the central nave, the chancel, the sacristy and the corridor to access the pulpit. The masonry walls present different thickness, namely 0.65 m in the chancel, 0.70 m in the sacristy, 0.92 in the central nave and 0.65 m in the corridor. The masonry walls present 8 buttresses with different dimensions. The total longitudinal and transversal dimensions of the church are equal to 21.10 m and 14.26 m, respectively. The survey of the damage showed that, in general, the masonry walls are in good conditions, with exception of the transversal walls of the nave, which present severe cracks. The arches of the vault presents also severe cracks along the central nave. As consequence, the infiltrations have increased the degradation of the vault and paintings. Furthermore, the foundations present settlements in the Southwest direction. The dynamic identification test were carried out under the action of ambient excitation of the wind and using 12 piezoelectric accelerometers of high sensitivity. The dynamic identification tests allowed to estimate the dynamic properties of the church, namely frequencies, mode shapes and damping ratios. A FEM numerical model was prepared and calibrated, based on the first four experimental modes estimated in the dynamic identification tests. The average error between the experimental and numerical frequencies of the first four modes is equal to 5%. After calibration of the numerical model, pushover analyses with a load pattern proportional to the mass, in the transversal and longitudinal direction of the church, were performed. The results of the analysis numerical allow to conclude that the most vulnerable direction of the church is in the transversal one and the maximum load factor is equal to 0.35.
Resumo:
IP networks are currently the major communication infrastructure used by an increasing number of applications and heterogeneous services, including voice services. In this context, the Session Initiation Protocol (SIP) is a signaling protocol widely used for controlling multimedia communication sessions such as voice or video calls over IP networks, thus performing vital functions in an extensive set of public and enter- prise solutions. However, the SIP protocol dissemination also entails some challenges, such as the complexity associated with the testing/validation processes of IMS/SIP networks. As a consequence, manual IMS/SIP testing solutions are inherently costly and time consuming tasks, being crucial to develop automated approaches in this specific area. In this perspective, this article presents an experimental approach for automated testing/validation of SIP scenarios in IMS networks. For that purpose, an automation framework is proposed allowing to replicate the configuration of SIP equipment from the pro- duction network and submit such equipment to a battery of tests in the testing network. The proposed solution allows to drastically reduce the test and validation times when compared with traditional manual approaches, also allowing to enhance testing reliability and coverage. The automation framework comprises of some freely available tools which are conveniently integrated with other specific modules implemented within the context of this work. In order to illustrate the advantages of the proposed automated framework, a real case study taken from a PT Inovação customer is presented comparing the time required to perform a manual SIP testing approach with the one time required when using the proposed auto- mated framework. The presented results clearly corroborate the advantages of using the presented framework.
Resumo:
Nowadays, many P2P applications proliferate in the Internet. The attractiveness of many of these systems relies on the collaborative approach used to exchange large resources without the dependence and associated constraints of centralized approaches where a single server is responsible to handle all the requests from the clients. As consequence, some P2P systems are also interesting and cost-effective approaches to be adopted by content-providers and other Internet players. However, there are several coexistence problems between P2P applications and In- ternet Service Providers (ISPs) due to the unforeseeable behavior of P2P traffic aggregates in ISP infrastructures. In this context, this work proposes a collaborative P2P/ISP system able to underpin the development of novel Traffic Engi- neering (TE) mechanisms contributing for a better coexistence between P2P applications and ISPs. Using the devised system, two TE methods are described being able to estimate and control the impact of P2P traffic aggregates on the ISP network links. One of the TE methods allows that ISP administrators are able to foresee the expected impact that a given P2P swarm will have in the underlying network infrastructure. The other TE method enables the definition of ISP friendly P2P topologies, where specific network links are protected from P2P traffic. As result, the proposed system and associated mechanisms will contribute for improved ISP resource management tasks and to foster the deployment of innovative ISP-friendly systems.
Resumo:
Dissertação de Mestrado em Engenharia Informática
Resumo:
Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.
Resumo:
Tese de Doutoramento em Tecnologias e Sistemas de Informação
Resumo:
Dissertação de mestrado em Economia Industrial e de Empresa
Resumo:
The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto
Resumo:
Tese de Doutoramento - Civil Engineering
Resumo:
Dissertação de mestrado em Direito dos Contratos e das Empresas
Resumo:
The deep brine pools of the Red Sea comprise extreme, inhospitable habitats yet house microbial communities that potentially may fuel adjacent fauna. We here describe a novel bivalve from a deep-sea (1525 m) brine pool in the Red Sea, where conditions of high salinity, lowered pH, partial anoxia and high temperatures are prevalent. Remotely operated vehicle (ROV) footage showed that the bivalves were present in a narrow (20 cm) band along the rim of the brine pool, suggesting that it is not only tolerant of such extreme conditions but is also limited to them. The bivalve is a member of the Corbulidae and named Apachecorbula muriatica gen. et sp. nov. The shell is atypical of the family in being modioliform and thin. The semi-infaunal habit is seen in ROV images and reflected in the anatomy by the lack of siphons. The ctenidia are large and typical of a suspension feeding bivalve, but the absence of guard cilia and the greatly reduced labial palps suggest that it is non-selective as a response to low food availability. It is proposed that the low body mass observed is a consequence of the extreme habitat and low food availability. It is postulated that the observed morphology of Apachecorbula is a result of paedomorphosis driven by the effects of the extreme environment on growth but is in part mitigated by the absence of high predation pressures.