901 resultados para recursive partitioning
Resumo:
Carbon uptake and partitioning of two globally abundant diatom species, Thalassiosira weissflogii and Dactyliosolen fragilissimus, was investigated in batch culture experiments under four conditions: ambient (15°C, 400 µatm), high CO2 (15°C, 1000 µatm), high temperature (20°C, 400 µatm), and combined (20°C, 1000 µatm). The experiments were run from exponential growth into the stationary phase (six days after nitrogen depletion), allowing us to track biogeochemical dynamics analogous to bloom situations in the ocean. Elevated CO2 had a fertilizing effect and enhanced uptake of dissolved inorganic carbon (DIC) by about 8% for T. weissflogii and by up to 39% for D. fragilissimus. This was also reflected in higher cell numbers, build-up of particulate and dissolved organic matter, and transparent exopolymer particles. The CO2 effects were most prominent in the stationary phase when nitrogen was depleted and CO2(aq) concentrations were low. This indicates that diatoms in the high CO2 treatments could take up more DIC until CO2 concentrations in seawater became so low that carbon limitation occurs. These results suggest that, contrary to common assumptions, diatoms could be highly sensitive to ongoing changes in oceanic carbonate chemistry, particularly under nutrient limitation. Warming from 15 to 20 °C had a stimulating effect on one species but acted as a stressor on the other species, highlighting the importance of species-specific physiological optima and temperature ranges in the response to ocean warming. Overall, these sensitivities to CO2 and temperature could have profound impacts on diatoms blooms and the biological pump.
Resumo:
Recently, vision-based advanced driver-assistance systems (ADAS) have received a new increased interest to enhance driving safety. In particular, due to its high performance–cost ratio, mono-camera systems are arising as the main focus of this field of work. In this paper we present a novel on-board road modeling and vehicle detection system, which is a part of the result of the European I-WAY project. The system relies on a robust estimation of the perspective of the scene, which adapts to the dynamics of the vehicle and generates a stabilized rectified image of the road plane. This rectified plane is used by a recursive Bayesian classi- fier, which classifies pixels as belonging to different classes corresponding to the elements of interest of the scenario. This stage works as an intermediate layer that isolates subsequent modules since it absorbs the inherent variability of the scene. The system has been tested on-road, in different scenarios, including varied illumination and adverse weather conditions, and the results have been proved to be remarkable even for such complex scenarios.
Resumo:
Se definen conceptos y se aplica el teorema de Valverde para escribir un algoritmo que computa bases de similaridades. This paper studies sorne theory and methods to build a representation theorem basis of a similarity from the basis of its subsimilarities, providing an alternative recursive method to compute the basis of a similarity.
Resumo:
This letter presents a novel recursive active filter topology that provides dual-band performance, with independent tuning capability in both bands. The dual-band operation is achieved by using two independent feedback lines. Additionally, linear phase shifters based on left-handed cells are included in these two branches in order to tune the center frequency of both pass bands.
Resumo:
In this paper we propose a new method for the automatic detection and tracking of road traffic signs using an on-board single camera. This method aims to increase the reliability of the detections such that it can boost the performance of any traffic sign recognition scheme. The proposed approach exploits a combination of different features, such as color, appearance, and tracking information. This information is introduced into a recursive Bayesian decision framework, in which prior probabilities are dynamically adapted to tracking results. This decision scheme obtains a number of candidate regions in the image, according to their HS (Hue-Saturation). Finally, a Kalman filter with an adaptive noise tuning provides the required time and spatial coherence to the estimates. Results have shown that the proposed method achieves high detection rates in challenging scenarios, including illumination changes, rapid motion and significant perspective distortion
Resumo:
Precise modeling of the program heap is fundamental for understanding the behavior of a program, and is thus of signiflcant interest for many optimization applications. One of the fundamental properties of the heap that can be used in a range of optimization techniques is the sharing relationships between the elements in an array or collection. If an analysis can determine that the memory locations pointed to by different entries of an array (or collection) are disjoint, then in many cases loops that traverse the array can be vectorized or transformed into a thread-parallel versión. This paper introduces several novel sharing properties over the concrete heap and corresponding abstractions to represent them. In conjunction with an existing shape analysis technique, these abstractions allow us to precisely resolve the sharing relations in a wide range of heap structures (arrays, collections, recursive data structures, composite heap structures) in a computationally efflcient manner. The effectiveness of the approach is evaluated on a set of challenge problems from the JOlden and SPECjvm98 suites. Sharing information obtained from the analysis is used to achieve substantial thread-level parallel speedups.
Resumo:
This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a ñrst pass of an abstract interpreter which detects simple invariants, program transformation is used to build a hypothetical situation that simpliñes some predicates that should be executed within the cycle. This transformation implements the heuristic hypothesis that once conditional tests hold they may continué doing so recursively. Specialized versions of predicates are generated to detect and exploit those cases in which the invariance may hold. Abstract interpretation is then used again to verify the truth of such hypotheses and conñrm the proposed simpliñcation. This allows optimizations that go beyond those possible with only one pass of the abstract interpreter over the original program, as is normally the case. It also allows selective program specialization using a standard abstract interpreter not speciñcally designed for this purpose, thus simplifying the design of this already complex module of the compiler. In the paper, a class of programs amenable to such optimization is presented, along with some examples and an evaluation of the proposed techniques in some application áreas such as floundering detection and reducing run-time tests in automatic logic program parallelization. The analysis of the examples presented has been performed automatically by an implementation of the technique using existing abstract interpretation and program transformation tools.
Resumo:
The aim of this study was to evaluate the sustainability of farm irrigation systems in the Cébalat district in northern Tunisia. It addressed the challenging topic of sustainable agriculture through a bio-economic approach linking a biophysical model to an economic optimisation model. A crop growth simulation model (CropSyst) was used to build a database to determine the relationships between agricultural practices, crop yields and environmental effects (salt accumulation in soil and leaching of nitrates) in a context of high climatic variability. The database was then fed into a recursive stochastic model set for a 10-year plan that allowed analysing the effects of cropping patterns on farm income, salt accumulation and nitrate leaching. We assumed that the long-term sustainability of soil productivity might be in conflict with farm profitability in the short-term. Assuming a discount rate of 10% (for the base scenario), the model closely reproduced the current system and allowed to predict the degradation of soil quality due to long-term salt accumulation. The results showed that there was more accumulation of salt in the soil for the base scenario than for the alternative scenario (discount rate of 0%). This result was induced by applying a higher quantity of water per hectare for the alternative as compared to a base scenario. The results also showed that nitrogen leaching is very low for the two discount rates and all climate scenarios. In conclusion, the results show that the difference in farm income between the alternative and base scenarios increases over time to attain 45% after 10 years.
Resumo:
Some verification and validation techniques have been evaluated both theoretically and empirically. Most empirical studies have been conducted without subjects, passing over any effect testers have when they apply the techniques. We have run an experiment with students to evaluate the effectiveness of three verification and validation techniques (equivalence partitioning, branch testing and code reading by stepwise abstraction). We have studied how well able the techniques are to reveal defects in three programs. We have replicated the experiment eight times at different sites. Our results show that equivalence partitioning and branch testing are equally effective and better than code reading by stepwise abstraction. The effectiveness of code reading by stepwise abstraction varies significantly from program to program. Finally, we have identified project contextual variables that should be considered when applying any verification and validation technique or to choose one particular technique.
Resumo:
We discuss experiences gained by porting a Software Validation Facility (SVF) and a satellite Central Software (CSW) to a platform with support for Time and Space Partitioning (TSP). The SVF and CSW are part of the EagleEye Reference mission of the European Space Agency (ESA). As a reference mission, EagleEye is a perfect candidate to evaluate practical aspects of developing satellite CSW for and on TSP platforms. The specific TSP platform we used consists of a simulate D LEON3 CPU controlled by the XtratuM separation micro-kernel. On top of this, we run five separate partitions. Each partition ru n s its own real-time operating system or Ada run-time kernel, which in turn are running the application software of the CSW. We describe issues related to partitioning; inter-partition communication; scheduling; I/O; and fault-detection, isolation, and recovery (FDIR)
Resumo:
The development of mixed-criticality virtualized multicore systems poses new challenges that are being subject of active research work. There is an additional complexity: it is now required to identify a set of partitions, and allocate applications to partitions. In this job, a number of issues have to be considered, such as the criticality level of the application, security and dependability requirements, operating system used by the application, time requirements granularity, specific hardware needs, etc. MultiPARTES [6] toolset relies on Model Driven Engineering (MDE) [12], which is a suitable approach in this setting. In this paper, it is described the support provided for automatic system partitioning generation and toolset extensibility.
Resumo:
The proton–sucrose symporter mediates the key transport step in the resource distribution system that allows many plants to function as multicellular organisms. In the results reported here, we identify sucrose as a signaling molecule in a previously undescribed signal-transduction pathway that regulates the symporter. Sucrose symporter activity declined in plasma membrane vesicles isolated from leaves fed exogenous sucrose via the xylem transpiration stream. Symporter activity dropped to 35–50% of water controls when the leaves were fed 100 mM sucrose and to 20–25% of controls with 250 mM sucrose. In contrast, alanine symporter and glucose transporter activities did not change in response to sucrose treatments. Decreased sucrose symporter activity was detectable after 8 h and reached a maximum by 24 h. Kinetic analysis of transport activity showed a decrease in Vmax. RNA gel blot analysis revealed a decrease in symporter message levels, suggesting a drop in transcriptional activity or a decrease in mRNA stability. Control experiments showed that these responses were not the result of changing osmotic conditions. Equal molar concentrations of hexoses did not elicit the response, and mannoheptulose, a hexokinase inhibitor, did not block the sucrose effect. These data are consistent with a sucrose-specific response pathway that is not mediated by hexokinase as the sugar sensor. Sucrose-dependent changes in the sucrose symporter were reversible, suggesting this sucrose-sensing pathway can modulate transport activity as a function of changing sucrose concentrations in the leaf. These results demonstrate the existence of a signaling pathway that can control assimilate partitioning at the level of phloem translocation.
Resumo:
Although vertebrate cytoplasmic dynein can move to the minus ends of microtubules in vitro, its ability to translocate purified vesicles on microtubules depends on the presence of an accessory complex known as dynactin. We have cloned and characterized a novel gene, NIP100, which encodes the yeast homologue of the vertebrate dynactin complex protein p150glued. Like strains lacking the cytoplasmic dynein heavy chain Dyn1p or the centractin homologue Act5p, nip100Δ strains are viable but undergo a significant number of failed mitoses in which the mitotic spindle does not properly partition into the daughter cell. Analysis of spindle dynamics by time-lapse digital microscopy indicates that the precise role of Nip100p during anaphase is to promote the translocation of the partially elongated mitotic spindle through the bud neck. Consistent with the presence of a true dynactin complex in yeast, Nip100p exists in a stable complex with Act5p as well as Jnm1p, another protein required for proper spindle partitioning during anaphase. Moreover, genetic depletion experiments indicate that the binding of Nip100p to Act5p is dependent on the presence of Jnm1p. Finally, we find that a fusion of Nip100p to the green fluorescent protein localizes to the spindle poles throughout the cell cycle. Taken together, these results suggest that the yeast dynactin complex and cytoplasmic dynein together define a physiological pathway that is responsible for spindle translocation late in anaphase.
Resumo:
The high affinity receptor for IgE, FcɛRI on mast cells and basophils plays an essential role in immunological defense. Upon multivalent antigen binding, FcɛRI becomes phoshorylated by the protein-tyrosine kinase Lyn, as a result of receptor clustering in lipid rafts. FcɛRI has been shown to be ubiquitinated. Ubiquitination can lead to degradation by proteasomes, but it can also act as a sorting signal to internalize proteins destined to the endosomal/lysosomal pathway. We have analyzed whether FcɛRI ubiquitination takes place within rafts. We report biochemical and imaging evidence in rat basoleukemia cells for the presence of ubiquitinated FcɛRI in clustered rafts upon receptor activation. Moreover, we demonstrated that the ubiquitin ligases Cbl and Nedd4 colocalize with FcɛRI patches and showed that both ligases become associated with lipid rafts after activation of IgE signaling. Because Cbl is known to interact with the FcɛRI signaling complex, ubiquitination is likely to be an important parameter regulating IgE-triggered signaling occurring in rafts.