947 resultados para Location-dependent control-flow patterns


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tässä työssä esitetään tuloilmalaitteen virtausten laskennallinen tarkastelu huonetilassa virtauslaskentaohjelmiston avulla. Tarkastelu suoritetaan kolmiulotteisena sekä isotermisille että termisille tapauksille, jolloin huonetilan joihinkin pintoihin asetetaan lämpövuo ja epäpuhtauslähde. Työn tarkoituksena on arvioida CFX -virtauslaskentaohjelmiston soveltuvuutta huonetilavirtausten mallintamiseen ja tarkastella huonetilan ilmanvaihdon tehokkuutta eri tapauksissa. Arviointi suoritetaan vertaamalla laskentatuloksia mittaustuloksiin. Turbulenssimallien vaikutusta on arvioitu käyttämällä nollan yhtälön ja standardi k-e turbulenssimalleja. CFX:n k-e turbulenssimallilla lasketut nopeuden alenemat eri tilavuusvirroilla vastasivat paremmin mittaustuloksia kuin nollan yhtälön turbulenssimallilla, jolla erot olivat huomattavia. Huonetilan ilmanvaihdon tehokkuus vaihteli suuresti tuloilmalaitteen sijoituspaikan ja lämpövuon mukaan.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Peer-reviewed

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the Thesis main focus is done on power flow development paths around the Baltic States as well as on market-based requirements for creation of the common Baltic electricity market. Current market regulations between the countries are presented; barriers for creating competitive common Baltic power market and for electricity trading with third countries are clarified; solutions are offered and corresponding road map is developed. Future power development paths around the Baltic States are analysed. For this purpose the 330 kV transmission grid of Estonia, Latvia and Lithuania is modelled in a power flow tool. Power flow calculations are carried out for winter and summer peak and off-peak load periods in 2020 with different combinations of interconnections. While carrying out power balance experiments several power flow patterns in the Baltic States are revealed. Conclusions are made about security of supply, grid congestion and transmission capacity availability for different scenarios.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

During the past decades testing has matured from ad-hoc activity into being an integral part of the development process. The benefits of testing are obvious for modern communication systems, which operate in heterogeneous environments amongst devices from various manufacturers. The increased demand for testing also creates demand for tools and technologies that support and automate testing activities. This thesis discusses applicability of visualization techniques in the result analysis part of the testing process. Particularly, the primary focus of this work is visualization of test execution logs produced by a TTCN-3 test system. TTCN-3 is an internationally standardized test specification and implementation language. The TTCN-3 standard suite includes specification of a test logging interface and a graphical presentation format, but no immediate relationship between them. This thesis presents a technique for mapping the log events to the graphical presentation format along with a concrete implementation, which is integrated with the Eclipse Platform and the OpenTTCN Tester toolchain. Results of this work indicate that for majority of the log events, a visual representation may be derived from the TTCN-3 standard suite. The remaining events were analysed and three categories relevant in either log analysis or implementation of the visualization tool were identified: events indicating insertion of something into the incoming queue of a port, events indicating a mismatch and events describing the control flow during the execution. Applicability of the results is limited into the domain of TTCN-3, but the developed mapping and the implementation may be utilized with any TTCN-3 tool that is able to produce the execution log in the standardized XML format.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Adequate supply of oxygen is essential for the survival of multicellular organisms. However, in several conditions the supply of oxygen can be disturbed and the tissue oxygenation is compromised. This condition is termed hypoxia. Oxygen homeostasis is maintained by the regulation of both the use and delivery of oxygen through complex, sensitive and cell-type specific transcriptional responses to hypoxia. This is mainly achieved by one master regulator, a transcription factor called hypoxiainducible factor 1 (HIF-1). The amount of HIF-1 is under tight oxygen-dependent control by a family of oxygen-dependent prolyl hydroxylase domain proteins (PHDs) that function as the cellular oxygen sensors. Three family members (PHD1-3) are known to regulate HIF of which the PHD2 isoform is thought to be the main regulator of HIF-1. The supply of oxygen can be disturbed in pathophysiological conditions, such as ischemic disorders and cancer. Cancer cells in the hypoxic parts of the tumors exploit the ability of HIF-1 to turn on the mechanisms for their survival, resistance to treatment, and escape from the oxygen- and nutrient-deprived environment. In this study, the expression and regulation of PHD2 were studied in normal and cancerous tissues, and its significance in tumor growth. The results show that the expression of PHD2 is induced in hypoxic cells. It is overexpressed in head and neck squamous cell carcinomas and colon adenocarcinomas. Although PHD2 normally resides in the cytoplasm, nuclear translocation of PHD2 was also seen in a subset of tumor cells. Together with the overexpression, the nuclear localization correlated with the aggressiveness of the tumors. The nuclear localization of PHD2 caused an increase in the anchorage-independent growth of cancer cells. This study provides information on the role of PHD2, the main regulator of HIF expression, in cancer progression. This knowledge may prove to be valuable in targeting the HIF pathway in cancer treatment.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis presents a set of methods and models for estimation of iron and slag flows in the blast furnace hearth and taphole. The main focus was put on predicting taphole flow patterns and estimating the effects of various taphole conditions on the drainage behavior of the blast furnace hearth. All models were based on a general understanding of the typical tap cycle of an industrial blast furnace. Some of the models were evaluated on short-term process data from the reference furnace. A computational fluid dynamics (CFD) model was built and applied to simulate the complicated hearth flows and thus to predict the regions of the hearth exerted to erosion under various operating conditions. Key boundary variables of the CFD model were provided by a simplified drainage model based on the first principles. By examining the evolutions of liquid outflow rates measured from the furnace studied, the drainage model was improved to include the effects of taphole diameter and length. The estimated slag delays showed good agreement with the observed ones. The liquid flows in the taphole were further studied using two different models and the results of both models indicated that it is more likely that separated flow of iron and slag occurs in the taphole when the liquid outflow rates are comparable during tapping. The drainage process was simulated with an integrated model based on an overall balance analysis: The high in-furnace overpressure can compensate for the resistances induced by the liquid flows in the hearth and through the taphole. Finally, a recently developed multiphase CFD model including interfacial forces between immiscible liquids was developed and both the actual iron-slag system and a water-oil system in laboratory scale were simulated. The model was demonstrated to be a useful tool for simulating hearth flows for gaining understanding of the complex phenomena in the drainage of the blast furnace.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The global interest towards renewable energy production such as wind and solar energy is increasing, which in turn calls for new energy storage concepts due to the larger share of intermittent energy production. Power-to-gas solutions can be utilized to convert surplus electricity to chemical energy which can be stored for extended periods of time. The energy storage concept explored in this thesis is an integrated energy storage tank connected to an oxy-fuel combustion plant. Using this approach, flue gases from the plant could be fed directly into the storage tank and later converted into synthetic natural gas by utilizing electrolysis-methanation route. This work utilizes computational fluid dynamics to model the desublimation of carbon dioxide inside a storage tank containing cryogenic liquid, such as liquefied natural gas. Numerical modelling enables the evaluation of the transient flow patterns caused by the desublimation, as well as general fluid behaviour inside the tank. Based on simulations the stability of the cryogenic storage and the magnitude of the key parameters can be evaluated.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The topic of this research was alternative programming in secondary public education. The purpose of this research was to explore the perceived effectiveness of two public secondary programs that are aJternative to mainstream or "regular" education. Two case study sites were used to research diverse ends of the aJtemative programming continuum. The first case study demonstrated a gifted program and the second demonstrated a behavioral program. Student needs were examined in terms of academic needs, emotional needs, career needs, and social needs. Research conducted in these sites examined how the students, teachers, onsite staff, and program administrators perceived that individual needs were met and unmet in these two programs. The study was qualitative and exploratory, using deductive and inductive research techniques. Similar themes of best practice that were identified in the case study sites aided in the development of a teaching and learning model. Four themes were identified as important within the case study sites. These themes included the commitment and motivation of teachers and the support of administration in the gifted program, and the importance of location and the flow of information and communication in the behavior program. Six themes emerged that were similar across the case study sites. These themes included the individual nature of programming, recognition of student achievement, the alternative program as a place of safety and community, importance of interpersonal capacity, priority of basic needs, and, finally, matching student capacity with program expectations. The model incorporates these themes and is designed as a resource for teachers, program administrators, parents, and policy makers of alternative educational programs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Prevalence of faecal indicator bacteria, Escherichia coli and pathogenic bacteria, Vibrio cholerae, Vibrio parahaemolyticus and Salmonella were analysed in Vembanadu lake (98350N 768250E), along south west coast of India for a period of one year from ten stations on the southern and northern sides of a salt water regulator constructed in Vembanadu Lake in order to prevent incursion of seawater during certain periods of the year. While the northern side of the lake has a connection to the sea, the southern side is enclosed when the salt water regulator is closed. The results revealed the water body is polluted with high faecal coliform bacteria with mean MPN value ranging from 1718-7706/100 ml. E. coli, V. cholerae, V. parahaemolyticus and Salmonella serotypes such as S. paratyphi A, B, C and S. newport were isolated and this is the first report on the isolation of these Salmonella serovars from this lake. E. coli showed highest percentage of incidence (85.6–86.7%) followed by Salmonella (42–57%), V. choleare (40–45%) and V. parahaemolyticus (31.5–32%). The increased prevalence of indicator and pathogenic bacteria in the enclosed southern part of Vembanadu Lake may be resulting from the altered flow patterns due to the salt water regulator.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La siguiente investigación describe una aproximación teórica al tema de los modelos de presupuestación de capital, el objetivo fundamental se basa en comprender su enfoque e importancia al momento de tomar decisiones de inversión por parte de los directores de una empresa, así como de prever los efectos de esta en un futuro. Al respecto, y sobre la base de que los modelos de presupuestación de capital son herramientas para analizar posibles erogaciones de capital por parte de una empresa, es necesario para efectos del presente proyecto de investigación, definir sus diferentes modelos desde lo teórico y metodológico, explicando los diferentes conceptos relacionados con el tema. Así mismo, se explican algunos de los indicadores financieros utilizados en las compañías para medir y estimar la “salud financiera” de la empresa, además de puntualizar su impacto en la perdurabilidad de las entidades, lo cual permite dar una visión más general sobre la importancia que trasciende de los indicadores financieros, generando un impacto positivo en la evolución o crecimiento de la organización. En complemento, la investigación aborda la presupuestación de capital de manera particular aplicado en la gestión empresarial, sean estas privadas o públicas (estatal y gubernamental). En este sentido, se abordan conceptos elaborados por diferentes académicos en los que se exponen algunas aproximaciones respecto al posible mejoramiento de la presupuestación para los sectores a los que pertenecen determinadas entidades. Finalmente, se presenta de manera explícita las conclusiones que surgieron a lo largo de la construcción del documento de investigación, con el fin de dar cumplimiento concreto al objetivo general del trabajo, el cual constituye una respuesta a la pregunta de investigación que se enunciará en el desarrollo del documento.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The behavior of the Asian summer monsoon is documented and compared using the European Centre for Medium-Range Weather Forecasts (ECMWF) Reanalysis (ERA) and the National Centers for Environmental Prediction-National Center for Atmospheric Research (NCEP-NCAR) Reanalysis. In terms of seasonal mean climatologies the results suggest that, in several respects, the ERA is superior to the NCEP-NCAR Reanalysis. The overall better simulation of the precipitation and hence the diabatic heating field over the monsoon domain in ERA means that the analyzed circulation is probably nearer reality. In terms of interannual variability, inconsistencies in the definition of weak and strong monsoon years based on typical monsoon indices such as All-India Rainfall (AIR) anomalies and the large-scale wind shear based dynamical monsoon index (DMI) still exist. Two dominant modes of interannual variability have been identified that together explain nearly 50% of the variance. Individually, they have many features in common with the composite flow patterns associated with weak and strong monsoons, when defined in terms of regional AIR anomalies and the large-scale DMI. The reanalyses also show a common dominant mode of intraseasonal variability that describes the latitudinal displacement of the tropical convergence zone from its oceanic-to-continental regime and essentially captures the low-frequency active/break cycles of the monsoon. The relationship between interannual and intraseasonal variability has been investigated by considering the probability density function (PDF) of the principal component of the dominant intraseasonal mode. Based on the DMI, there is an indication that in years with a weaker monsoon circulation, the PDF is skewed toward negative values (i,e., break conditions). Similarly, the PDFs for El Nino and La Nina years suggest that El Nino predisposes the system to more break spells, although the sample size may limit the statistical significance of the results.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Although numerous field studies have evaluated flow and transport processes in salt marsh channels, the overall role of channels in delivering and removing material from salt marsh platforms is still poorly characterised. In this paper, we consider this issue based on a numerical hydrodynamic model for a prototype marsh system and on a field survey of the cross-sectional geometry of a marsh channel network. Results of the numerical simulations indicate that the channel transfers approximately three times the volume of water that would be estimated from mass balance considerations alone. Marsh platform roughness exerts a significant influence on the partitioning of discharge between the channel and the marsh platform edge, alters flow patterns on the marsh platform due to its effects on channel-to-platform transfer and also controls the timing of peak discharge relative to marsh-edge overtopping. Although peak channel discharges and velocities are associated with the flood tide and marsh inundation, a larger volume of water is transferred by the channel during ebb flows, a portion of which transfer takes place after the tidal height is below the marsh platform. Detailed surveys of the marsh channels crossing a series of transects at Upper Stiffkey Marsh, north Norfolk, England, show that the total channel cross-sectional area increases linearly with catchment area in the inner part of the marsh, which is consistent with the increase in shoreward tidal prism removed by the channels. Toward the marsh edge, however, a deficit in the total cross-sectional area develops, suggesting that discharge partitioning between the marsh channels and the marsh platform edge may also be expressed in the morphology of marsh channel systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Victoria Island lies at the north-western extremity of the region covered by the vast North American Laurentide Ice Sheet (LIS) in the Canadian Arctic Archipelago. This area is significant because it linked the interior of the LIS to the Arctic Ocean, probably via a number of ice streams. Victoria Island, however, exhibits a remarkably complex glacial landscape, with several successive generations of ice flow indicators superimposed on top of each other and often at abrupt (90 degrees) angles. This complexity represents a major challenge to those attempting to produce a detailed reconstruction of the glacial history of the region. This paper presents a map of the glacial geomorphology of Victoria Island. The map is based on analysis of Landsat Enhanced Thematic Plus (ETM+) satellite imagery and contains over 58,000 individual glacial features which include: glacial lineations, moraines (terminal, lateral, subglacial shear margin), hummocky moraine, ribbed moraine, eskers, glaciofluvial deposits, large meltwater channels, and raised shorelines. The glacial features reveal marked changes in ice flow direction and vigour over time. Moreover, the glacial geomorphology indicates a non-steady withdrawal of ice during deglaciation, with rapidly flowing ice streams focussed into the inter-island troughs and several successively younger flow patterns superimposed on older ones. It is hoped that detailed analysis of this map will lead to an improved reconstruction of the glacial history of this area which will provide other important insights, for example, with respect to the interactions between ice streaming, deglaciation and Arctic Ocean meltwater events.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present results from fast-response wind measurements within and above a busy intersection between two street canyons (Marylebone Road and Gloucester Place) in Westminster, London taken as part of the DAPPLE (Dispersion of Air Pollution and Penetration into the Local Environment; www.dapple.org.uk) 2007 field campaign. The data reported here were collected using ultrasonic anemometers on the roof-top of a building adjacent to the intersection and at two heights on a pair of lamp-posts on opposite sides of the intersection. Site characteristics, data analysis and the variation of intersection flow with the above-roof wind direction (θref) are discussed. Evidence of both flow channelling and recirculation was identified within the canyon, only a few metres from the intersection for along-street and across-street roof-top winds respectively. Results also indicate that for oblique rooftop flows, the intersection flow is a complex combination of bifurcated channelled flows, recirculation and corner vortices. Asymmetries in local building geometry around the intersection and small changes in the background wind direction (changes in 15-min mean θref of 5–10 degrees) were also observed to have profound influences on the behaviour of intersection flow patterns. Consequently, short time-scale variability in the background flow direction can lead to highly scattered in-street mean flow angles masking the true multi-modal features of the flow and thus further complicating modelling challenges.