59 resultados para Proven Reserves
Resumo:
Because polycyclic aromatic hydrocarbons (PAHs) have been proven to be toxic, mutagenic, and/or carcinogenic, there is widespread interest in analyzing and evaluating exposure to PAHs in atmospheric environments influenced by different emission sources. Because traffic emissions are one of the biggest sources of fine particles, more information on carcinogenic PAHs associated with fine particles needs to be provided. Aiming to further understand the impact of traffic particulate matter (PM) on human health, this study evaluated the influence of traffic on PM10 (PM with aerodynamic diameter <10 µm) and PM2.5 (PM with aerodynamic diameter <2.5 µm), considering their concentrations and compositions in carcinogenic PAHs. Samples were collected at one site influenced by traffic emissions and at one reference site using lowvolume samplers. Analysis of PAHs was performed by microwave-assisted extraction combined with liquid chromatography (MAE-LC); 17 PAHs, including 9 carcinogenic ones, were quantified. At the site influenced by traffic emissions, PM10 and PM2.5 concentrations were, respectively, 380 and 390% higher than at the background site. When influenced by traffic emissions, the total concentration of nine carcinogenic compounds (naphthalene, chrysene, benzo(a)anthracene, benzo(b) fluoranthene, benzo(k)fluoranthene, benzo(a)pyrene, dibenzo(a,h)anthracene, indeno(1,2,3-cd)pyrene, and dibenzo(a,l)pyrene) was increased by 2400 and 3000% in PM10 and PM2.5, respectively; these nine carcinogenic compounds represented 68 and 74% of total PAHs (ƩPAHs) for PM10 and PM2.5, respectively. All PAHs, including the carcinogenic compounds, were mainly present in fine particles. Considering the strong influence of these fine particles on human health, these conclusions are relevant for the development of strategies to protect public health.
Resumo:
This paper analyses earthquake data in the perspective of dynamical systems and fractional calculus (FC). This new standpoint uses Multidimensional Scaling (MDS) as a powerful clustering and visualization tool. FC extends the concepts of integrals and derivatives to non-integer and complex orders. MDS is a technique that produces spatial or geometric representations of complex objects, such that those objects that are perceived to be similar in some sense are placed on the MDS maps forming clusters. In this study, over three million seismic occurrences, covering the period from January 1, 1904 up to March 14, 2012 are analysed. The events are characterized by their magnitude and spatiotemporal distributions and are divided into fifty groups, according to the Flinn–Engdahl (F–E) seismic regions of Earth. Several correlation indices are proposed to quantify the similarities among regions. MDS maps are proven as an intuitive and useful visual representation of the complex relationships that are present among seismic events, which may not be perceived on traditional geographic maps. Therefore, MDS constitutes a valid alternative to classic visualization tools for understanding the global behaviour of earthquakes.
Resumo:
A adenosina é um nucleósido ubíquo envolvido na regulação de controlo do tónus vascular do tecido cavernoso, desempenhando um papel importante na fisiopatologia da Disfunção Erétil (DE) resistente aos fármacos relaxantes musculares clássicos. Apesar da importância comprovada dos recetores da adenosina na fisiopatologia da DE no homem, pouca informação é conhecida no que diz respeito à expressão e localização dos recetores purinérgicos no Tecido Cavernoso de Ratazana (TCR). Neste trabalho avaliou-se o fenótipo dos recetores purinérgicos responsáveis pela regulação do tónus do tecido erétil de ratazana por imunofluorescência indireta aplicada à microscopia confocal em co-culturas de células endoteliais e musculares lisas do TCR. Para além da caracterização imunofenotípica, desenvolveu-se uma técnica que permite diferenciar funcionalmente em tempo real (por microscopia confocal funcional) células musculares lisas e células endoteliais isoladas de TCR em co-cultura marcadas com a sonda fluorescente Fluo-4NW. Esta técnica permite distinguir cada um dos subtipos celulares mediante o padrão e a magnitude das oscilações dos níveis intracelulares de Ca2+ ([Ca2+]i) em resposta ao ATP (agonista P2) e à fenilefrina (PE, agonista α-adrenérgico). Nas células musculares lisas, observou-se uma resposta mais acentuada ao agonista α-adrenérgico, PE, e uma resposta menos significativa ao ATP. O contrário foi observado relativamente às células endoteliais. A incubação das células musculares lisas e endoteliais com ATP (300 μM) causou um aumento dos níveis de [Ca2+]i. O efeito do ATP (300 μM) parece envolver a ativação de recetores dos subtipos P2X1 e P2X3 sensíveis ao bloqueio com NF023 (3μM) e A317491 (100 nM), respetivamente. Já o aumento dos níveis [Ca2+]i produzido pelo ADP (300 μM) parece envolver a ativação de recetores P2Y1, P2Y12 e P2Y13 mediante o antagonismo produzido pelos antagonistas MRS 2179 (0,3μM), AR-C66096 (0,1 μM) e MRS 2211 (10μM), respetivamente. Os dois tipos celulares expressam imunorreatividade contra recetores A2A, A2B, P2X1, P2X3, P2Y1, P2Y12 e P2Y13.
Resumo:
Psychosocial interventions have proven to be effective in treating social cognition in people with psychotic disorders. The current study aimed to determine the effects of a metacognitive and social cognition training (MSCT) program, designed to both remediate deficits and correct biases in social cognition. Thirty-five clinically stable outpatients were recruited and assigned to the MSCT program (n = 19) for 10 weeks (18 sessions) or to the TAU group (n = 16), and they all completed pre- and post-treatment assessments of social cognition, cognitive biases, functioning and symptoms. The MSCT group demonstrated a significant improvement in theory of mind, social perception, emotion recognition and social functioning. Additionally, the tendency to jump to conclusions was significantly reduced among the MSCT group after training. There were no differential benefits regarding clinical symptoms except for one trend group effect for general psychopathology. The results support the efficacy of the MSCT format, but further development of the training program is required to increase the benefits related to attributional style.
Resumo:
Several Web-based on-line judges or on-line programming trainers have been developed in order to allow students to train their programming skills. However, their pedagogical functionalities in the learning of programming have not been clearly defined. EduJudge is a project which aims to integrate the “UVA On-line Judge”, an existing on-line programming trainer with an important number of problems and users, into an effective educational environment consisting of the e-learning platform Moodle and the competitive learning tool QUESTOURnament. The result is the EduJudge system which allows teachers to apply different pedagogical approaches using a proven e-learning platform, makes problems easy to search through an effective search engine, and provides an automated evaluation of the solutions submitted to these problems. The final objective is to provide new learning strategies to motivate students and present programming as an easy and attractive challenge. EduJudge has been tried and tested in three algorithms and programming courses in three different Engineering degrees. The students’ motivation and satisfaction levels were analysed alongside the effects of the EduJudge system on students’ academic outcomes. Results indicate that both students and teachers found that among other multiple benefits the EduJudge system facilitates the learning process. Furthermore, the experi- ment also showed an improvement in students’ academic outcomes. It must be noted that the students’ level of satisfaction did not depend on their computer skills or their gender.
Resumo:
Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a uniform multiprocessor platform where each task may access at most one of |R| shared resources and at most once by each job of that task. The resources have to be accessed in a mutually exclusive manner. We propose an algorithm, GIS-vpr, which offers the guarantee that if a task set is schedulable to meet deadlines by an optimal task assignment scheme that allows a task to migrate only when it accesses or releases a resource, then our algorithm also meets the deadlines with the same restriction on the task migration, if given processors 4 + 6|R| times as fast. The proposed algorithm, by design, limits the number of migrations per job to at most two. To the best of our knowledge, this is the first result for resource sharing on uniform multiprocessors with proven performance guarantee.
Resumo:
Real-time systems demand guaranteed and predictable run-time behaviour in order to ensure that no task has missed its deadline. Over the years we are witnessing an ever increasing demand for functionality enhancements in the embedded real-time systems. Along with the functionalities, the design itself grows more complex. Posed constraints, such as energy consumption, time, and space bounds, also require attention and proper handling. Additionally, efficient scheduling algorithms, as proven through analyses and simulations, often impose requirements that have significant run-time cost, specially in the context of multi-core systems. In order to further investigate the behaviour of such systems to quantify and compare these overheads involved, we have developed the SPARTS, a simulator of a generic embedded real- time device. The tasks in the simulator are described by externally visible parameters (e.g. minimum inter-arrival, sporadicity, WCET, BCET, etc.), rather than the code of the tasks. While our current implementation is primarily focused on our immediate needs in the area of power-aware scheduling, it is designed to be extensible to accommodate different task properties, scheduling algorithms and/or hardware models for the application in wide variety of simulations. The source code of the SPARTS is available for download at [1].
Resumo:
Systems composed of distinct operational modes are a common necessity for embedded applications with strict timing requirements. With the emergence of multi-core platforms protocols to handle these systems are required in order to provide this basic functionality.In this work a description on the problems of creating an effective mode-transition protocol are presented and it is proven that in some cases previous single-core protocols can not be extended to handle the mode-transition in multi-core.
Resumo:
Replication is a proven concept for increasing the availability of distributed systems. However, actively replicating every software component in distributed embedded systems may not be a feasible approach. Not only the available resources are often limited, but also the imposed overhead could significantly degrade the system's performance. The paper proposes heuristics to dynamically determine which components to replicate based on their significance to the system as a whole, its consequent number of passive replicas, and where to place those replicas in the network. The results show that the proposed heuristics achieve a reasonably higher system's availability than static offline decisions when lower replication ratios are imposed due to resource or cost limitations. The paper introduces a novel approach to coordinate the activation of passive replicas in interdependent distributed environments. The proposed distributed coordination model reduces the complexity of the needed interactions among nodes and is faster to converge to a globally acceptable solution than a traditional centralised approach.
Resumo:
Consider the problem of scheduling a set of implicitdeadline sporadic tasks on a heterogeneous multiprocessor so as to meet all deadlines. Tasks cannot migrate and the platform is restricted in that each processor is either of type-1 or type-2 (with each task characterized by a different speed of execution upon each type of processor). We present an algorithm for this problem with a timecomplexity of O(n·m), where n is the number of tasks and m is the number of processors. It offers the guarantee that if a task set can be scheduled by any non-migrative algorithm to meet deadlines then our algorithm meets deadlines as well if given processors twice as fast. Although this result is proven for only a restricted heterogeneous multiprocessor, we consider it significant for being the first realtime scheduling algorithm to use a low-complexity binpacking approach to schedule tasks on a heterogeneous multiprocessor with provably good performance.
Resumo:
Replication is a proven concept for increasing the availability of distributed systems. However, actively replicating every software component in distributed embedded systems may not be a feasible approach. Not only the available resources are often limited, but also the imposed overhead could significantly degrade the system’s performance. This paper proposes heuristics to dynamically determine which components to replicate based on their significance to the system as a whole, its consequent number of passive replicas, and where to place those replicas in the network. The activation of passive replicas is coordinated through a fast convergence protocol that reduces the complexity of the needed interactions among nodes until a new collective global service solution is determined.
Resumo:
Consider the problem of deciding whether a set of n sporadic message streams meet deadlines on a Controller Area Network (CAN) bus for a specified priority assignment. It is assumed that message streams have implicit deadlines and no release jitter. An algorithm to solve this problem is well known but unfortunately it time complexity is non-polynomial. We present an algorithm with polynomial time-complexity for computing an upper bound on the response times. Clearly, if the upper bound on the response time does not exceed the deadline then all deadlines are met. The pessimism of our approach is proven: if the upper bound of the response time exceeds the deadline then the response time exceeds the deadline as well for a CAN network with half the speed.
Resumo:
Mestrado em Engenharia Electrotécnica e de Computadores.Área de Especialização de Sistemas Autónomos
Resumo:
The goal of this paper is to discuss the benefits and challenges of yielding an inter-continental network of remote laboratories supported and used by both European and Latin American Institutions of Higher Education. Since remote experimentation, understood as the ability to carry out real-world experiments through a simple Web browser, is already a proven solution for the educational community as a supplement to on-site practical lab work (and in some cases, namely for distance learning courses, a replacement to that work), the purpose is not to discuss its technical, pedagogical, or economical strengths, but rather to raise and try to answer some questions about the underlying benefits and challenges of establishing a peer-to-peer network of remote labs. Ultimately, we regard such a network as a constructive mechanism to help students gain the working and social skills often valued by multinational/global companies, while also providing awareness of local cultural aspects.
Resumo:
Practical sessions are the backbone of qualification in engineering education. It leads to a better understanding and allows mastering scientific concepts and theories. The lack of the availability of practical sessions at many universities and institutions owing to the cost and the unavailability of instructors the most of the time caused a significant decline in experimentation in engineering education over the last decades. Recently, with the progress of computer-based learning, remote laboratories have been proven to be the best alternative to the traditional ones, regarding to its low cost and ubiquity. Some universities have already started to deploy remote labs in their practical sessions. This contribution compiles diverse experiences based on the deployment of the remote laboratory, Virtual Instrument Systems in Reality (VISIR), on the practices of undergraduate engineering grades at various universities within the VISIR community. It aims to show the impact of its usage on engineering education concerning the assessments of students and teachers as well.