74 resultados para Logic outer-approximation algorithm
em Universit
Resumo:
Abstract This thesis proposes a set of adaptive broadcast solutions and an adaptive data replication solution to support the deployment of P2P applications. P2P applications are an emerging type of distributed applications that are running on top of P2P networks. Typical P2P applications are video streaming, file sharing, etc. While interesting because they are fully distributed, P2P applications suffer from several deployment problems, due to the nature of the environment on which they perform. Indeed, defining an application on top of a P2P network often means defining an application where peers contribute resources in exchange for their ability to use the P2P application. For example, in P2P file sharing application, while the user is downloading some file, the P2P application is in parallel serving that file to other users. Such peers could have limited hardware resources, e.g., CPU, bandwidth and memory or the end-user could decide to limit the resources it dedicates to the P2P application a priori. In addition, a P2P network is typically emerged into an unreliable environment, where communication links and processes are subject to message losses and crashes, respectively. To support P2P applications, this thesis proposes a set of services that address some underlying constraints related to the nature of P2P networks. The proposed services include a set of adaptive broadcast solutions and an adaptive data replication solution that can be used as the basis of several P2P applications. Our data replication solution permits to increase availability and to reduce the communication overhead. The broadcast solutions aim, at providing a communication substrate encapsulating one of the key communication paradigms used by P2P applications: broadcast. Our broadcast solutions typically aim at offering reliability and scalability to some upper layer, be it an end-to-end P2P application or another system-level layer, such as a data replication layer. Our contributions are organized in a protocol stack made of three layers. In each layer, we propose a set of adaptive protocols that address specific constraints imposed by the environment. Each protocol is evaluated through a set of simulations. The adaptiveness aspect of our solutions relies on the fact that they take into account the constraints of the underlying system in a proactive manner. To model these constraints, we define an environment approximation algorithm allowing us to obtain an approximated view about the system or part of it. This approximated view includes the topology and the components reliability expressed in probabilistic terms. To adapt to the underlying system constraints, the proposed broadcast solutions route messages through tree overlays permitting to maximize the broadcast reliability. Here, the broadcast reliability is expressed as a function of the selected paths reliability and of the use of available resources. These resources are modeled in terms of quotas of messages translating the receiving and sending capacities at each node. To allow a deployment in a large-scale system, we take into account the available memory at processes by limiting the view they have to maintain about the system. Using this partial view, we propose three scalable broadcast algorithms, which are based on a propagation overlay that tends to the global tree overlay and adapts to some constraints of the underlying system. At a higher level, this thesis also proposes a data replication solution that is adaptive both in terms of replica placement and in terms of request routing. At the routing level, this solution takes the unreliability of the environment into account, in order to maximize reliable delivery of requests. At the replica placement level, the dynamically changing origin and frequency of read/write requests are analyzed, in order to define a set of replica that minimizes communication cost.
Resumo:
The atomic force microscope is not only a very convenient tool for studying the topography of different samples, but it can also be used to measure specific binding forces between molecules. For this purpose, one type of molecule is attached to the tip and the other one to the substrate. Approaching the tip to the substrate allows the molecules to bind together. Retracting the tip breaks the newly formed bond. The rupture of a specific bond appears in the force-distance curves as a spike from which the binding force can be deduced. In this article we present an algorithm to automatically process force-distance curves in order to obtain bond strength histograms. The algorithm is based on a fuzzy logic approach that permits an evaluation of "quality" for every event and makes the detection procedure much faster compared to a manual selection. In this article, the software has been applied to measure the binding strength between tubuline and microtubuline associated proteins.
Resumo:
The multiscale finite volume (MsFV) method has been developed to efficiently solve large heterogeneous problems (elliptic or parabolic); it is usually employed for pressure equations and delivers conservative flux fields to be used in transport problems. The method essentially relies on the hypothesis that the (fine-scale) problem can be reasonably described by a set of local solutions coupled by a conservative global (coarse-scale) problem. In most cases, the boundary conditions assigned for the local problems are satisfactory and the approximate conservative fluxes provided by the method are accurate. In numerically challenging cases, however, a more accurate localization is required to obtain a good approximation of the fine-scale solution. In this paper we develop a procedure to iteratively improve the boundary conditions of the local problems. The algorithm relies on the data structure of the MsFV method and employs a Krylov-subspace projection method to obtain an unconditionally stable scheme and accelerate convergence. Two variants are considered: in the first, only the MsFV operator is used; in the second, the MsFV operator is combined in a two-step method with an operator derived from the problem solved to construct the conservative flux field. The resulting iterative MsFV algorithms allow arbitrary reduction of the solution error without compromising the construction of a conservative flux field, which is guaranteed at any iteration. Since it converges to the exact solution, the method can be regarded as a linear solver. In this context, the schemes proposed here can be viewed as preconditioned versions of the Generalized Minimal Residual method (GMRES), with a very peculiar characteristic that the residual on the coarse grid is zero at any iteration (thus conservative fluxes can be obtained).
Resumo:
The "Europeanization" of non-EU countries' laws is predominantly seen as an "export" of the EU acquis, especially in the case of so-called "quasi-member" states such as Switzerland. Based on an examination of the Swiss experience, this paper highlights the flaws of this conceptualization: the Europeanization of Swiss Law is a highly differentiated phenomenon, encompassing several forms of approximation to EU Law. All of these forms fall short of an "export" of norms, and result in the creation of something new: a "Europeanized law" that is similar to, but qualitatively different from, EU Law. Another drawback of the "export" metaphor is the emphasis it places on the isomorphism of positive legislation. Europeanization goes deeper than that. As shown in this paper, it is a process of transformation involving not only positive law, but also legal thinking. The Swiss case demonstrates how significant such deeper transformations can be: the Europeanization of positive law has induced an alteration of the traditional canon of legal interpretation. It also demonstrates how problematic such transformations can be: the above-mentioned alteration has not given rise to a new and universally accepted canon of interpretation. This reflects the tension between the need for clear "rules of reference" for EU legal materials - which are required in order to restore coherence and predictability to an extensively Europeanized legal system - and the reluctance to give a legal value to foreign legal materials - which is rooted in a traditional understanding of the concept of "law". Such tension, in turn, shows what deep and difficult transformations are required in order to establish a viable model of legal integration outside supranational structures.
Resumo:
Acoustic waveform inversions are an increasingly popular tool for extracting subsurface information from seismic data. They are computationally much more efficient than elastic inversions. Naturally, an inherent disadvantage is that any elastic effects present in the recorded data are ignored in acoustic inversions. We investigate the extent to which elastic effects influence seismic crosshole data. Our numerical modeling studies reveal that in the presence of high contrast interfaces, at which P-to-S conversions occur, elastic effects can dominate the seismic sections, even for experiments involving pressure sources and pressure receivers. Comparisons of waveform inversion results using a purely acoustic algorithm on synthetic data that is either acoustic or elastic, show that subsurface models comprising small low-to-medium contrast (?30%) structures can be successfully resolved in the acoustic approximation. However, in the presence of extended high-contrast anomalous bodies, P-to-S-conversions may substantially degrade the quality of the tomographic images. In particular, extended low-velocity zones are difficult to image. Likewise, relatively small low-velocity features are unresolved, even when advanced a priori information is included. One option for mitigating elastic effects is data windowing, which suppresses later arriving seismic arrivals, such as shear waves. Our tests of this approach found it to be inappropriate because elastic effects are also included in earlier arriving wavetrains. Furthermore, data windowing removes later arriving P-wave phases that may provide critical constraints on the tomograms. Finally, we investigated the extent to which acoustic inversions of elastic data are useful for time-lapse analyses of high contrast engineered structures, for which accurate reconstruction of the subsurface structure is not as critical as imaging differential changes between sequential experiments. Based on a realistic scenario for monitoring a radioactive waste repository, we demonstrated that acoustic inversions of elastic data yield substantial distortions of the tomograms and also unreliable information on trends in the velocity changes.
Resumo:
BACKGROUND: In patients with outer retinal degeneration, a differential pupil response to long wavelength (red) versus short wavelength (blue) light stimulation has been previously observed. The goal of this study was to quantify differences in the pupillary re-dilation following exposure to red versus blue light in patients with outer retinal disease and compare them with patients with optic neuropathy and with healthy subjects. DESIGN: Prospective comparative cohort study. PARTICIPANTS: Twenty-three patients with outer retinal disease, 13 patients with optic neuropathy and 14 normal subjects. METHODS: Subjects were tested using continuous red and blue light stimulation at three intensities (1, 10 and 100 cd/m2) for 13 s per intensity. Pupillary re-dilation dynamics following the brightest intensity was analysed and compared between the three groups. MAIN OUTCOME MEASURES: The parameters of pupil re-dilation used in this study were: time to recover 90% of baseline size; mean pupil size at early and late phases of re-dilation; and differential re-dilation time for blue versus red light. RESULTS: Patients with outer retinal disease showed a pupil that tended to stay smaller after light termination and thus had a longer time to recovery. The differential re-dilation time was significantly greater in patients with outer retinal disease (median = 28.0 s, P < 0.0001) compared with controls and patients with optic neuropathy. CONCLUSIONS: A differential response of pupil re-dilation following red versus blue light stimulation is present in patients with outer retinal disease but is not found in normal eyes or among patients with visual loss from optic neuropathy.
Resumo:
The implicit projection algorithm of isotropic plasticity is extended to an objective anisotropic elastic perfectly plastic model. The recursion formula developed to project the trial stress on the yield surface, is applicable to any non linear elastic law and any plastic yield function.A curvilinear transverse isotropic model based on a quadratic elastic potential and on Hill's quadratic yield criterion is then developed and implemented in a computer program for bone mechanics perspectives. The paper concludes with a numerical study of a schematic bone-prosthesis system to illustrate the potential of the model.
Resumo:
Pyochelin (Pch) and enantiopyochelin (EPch) are enantiomeric siderophores, with three chiral centers, produced under iron limitation conditions by Pseudomonas aeruginosa and Pseudomonas fluorescens , respectively. After iron chelation in the extracellular medium, Pch-Fe and EPch-Fe are recognized and transported by their specific outer-membrane transporters: FptA in P. aeruginosa and FetA in P. fluorescens . Structural analysis of FetA-EPch-Fe and FptA-Pch-Fe, combined with mutagenesis and docking studies revealed the structural basis of the stereospecific recognition of these enantiomers by their respective transporters. Whereas FetA and FptA have a low sequence identity but high structural homology, the Pch and EPch binding pockets do not share any structural homology, but display similar physicochemical properties. The stereospecific recognition of both enantiomers by their corresponding transporters is imposed by the configuration of the siderophore's C4'' and C2'' chiral centers. This recognition involves specific hydrogen bonds between the Arg91 guanidinium group and EPch-Fe for FetA and between the Leu117-Leu116 main chain and Pch-Fe for FptA. FetA and FptA are the first membrane receptors to be structurally described with opposite binding enantioselectivities for their ligands, giving insights into the structural basis of their enantiospecificity.
Resumo:
We present a novel spatiotemporal-adaptive Multiscale Finite Volume (MsFV) method, which is based on the natural idea that the global coarse-scale problem has longer characteristic time than the local fine-scale problems. As a consequence, the global problem can be solved with larger time steps than the local problems. In contrast to the pressure-transport splitting usually employed in the standard MsFV approach, we propose to start directly with a local-global splitting that allows to locally retain the original degree of coupling. This is crucial for highly non-linear systems or in the presence of physical instabilities. To obtain an accurate and efficient algorithm, we devise new adaptive criteria for global update that are based on changes of coarse-scale quantities rather than on fine-scale quantities, as it is routinely done before in the adaptive MsFV method. By means of a complexity analysis we show that the adaptive approach gives a noticeable speed-up with respect to the standard MsFV algorithm. In particular, it is efficient in case of large upscaling factors, which is important for multiphysics problems. Based on the observation that local time stepping acts as a smoother, we devise a self-correcting algorithm which incorporates the information from previous times to improve the quality of the multiscale approximation. We present results of multiphase flow simulations both for Darcy-scale and multiphysics (hybrid) problems, in which a local pore-scale description is combined with a global Darcy-like description. The novel spatiotemporal-adaptive multiscale method based on the local-global splitting is not limited to porous media flow problems, but it can be extended to any system described by a set of conservation equations.
Resumo:
(Summary of the production) The idea that religion has to succeed in a «market», selling «salvation goods», has proved to be extremely attractive to scholars in sociology and the study of religion. Max Weber used the term «salvation good» to compare different religious traditions. Pierre Bourdieu employed the term in order to analyze «religious economy». And recently, an American group of researchers advocating «rational choice of religion» put the theme at the forefront of current debates. This book - the fruit of an International Congress in Lausanne in April 2005 - brings together leading specialists in the fields of sociology and the study of religion who discuss the terms «salvation goods» (or religious goods) and «religious market». The authors test the applicability of these concepts by using specific examples and they either deliberately advocate or criticize Weberian, Bourdieusian or rational-choice perspectives.
Resumo:
OBJECTIVE: To weight the rod-, cone-, and melanopsin-mediated activation of the retinal ganglion cells, which drive the pupil light reflex by varying the light stimulus wavelength, intensity, and duration. DESIGN: Experimental study. PARTICIPANTS: Forty-three subjects with normal eyes and 3 patients with neuroretinal visual loss. METHODS: A novel stimulus paradigm was developed using either a long wavelength (red) or short wavelength (blue) light given as a continuous Ganzfeld stimulus with stepwise increases over a 2 log-unit range. The pupillary movement before, during, and after the light stimulus was recorded in real time with an infrared illuminated video camera. MAIN OUTCOME MEASURES: The percent pupil contraction of the transient and sustained pupil response to a low- (1 cd/m(2)), medium- (10 cd/m(2)), and high-intensity (100 cd/m(2)) red- and blue-light stimulus was calculated for 1 eye of each subject. From the 43 normal eyes, median and 25th, 75th, 5th, and 95th percentile values were obtained for each stimulus condition. RESULTS: In normal eyes at lower intensities, blue light evoked much greater pupil responses compared with red light when matched for photopic luminance. The transient pupil contraction was generally greater than the sustained contraction, and this disparity was greatest at the lowest light intensity and least apparent with bright (100 cd/m(2)) blue light. A patient with primarily rod dysfunction (nonrecordable scotopic electroretinogram) showed significantly reduced pupil responses to blue light at lower intensities. A patient with achromatopsia and an almost normal visual field showed selective reduction of the pupil response to red-light stimulation. A patient with ganglion cell dysfunction owing to anterior ischemic optic neuropathy demonstrated global loss of pupil responses to red and blue light in the affected eye. CONCLUSIONS: Pupil responses that differ as a function of light intensity and wavelength support the hypothesis that selected stimulus conditions can produce pupil responses that reflect phototransduction primarily mediated by rods, cones, or melanopsin. Use of chromatic pupil responses may be a novel way to diagnose and monitor diseases affecting either the outer or inner retina.
Resumo:
AIMS/HYPOTHESIS: Diabetic macular edema represents the main cause of visual loss in diabetic retinopathy. Besides inner blood retinal barrier breakdown, the role of the outer blood retinal barrier breakdown has been poorly analyzed. We characterized the structural and molecular alterations of the outer blood retinal barrier during the time course of diabetes, focusing on PKCζ, a critical protein for tight junction assembly, known to be overactivated by hyperglycemia. METHODS: Studies were conducted on a type2 diabetes Goto-Kakizaki rat model. PKCζ level and subcellular localization were assessed by immunoblotting and immunohistochemistry. Cell death was detected by TUNEL assays. PKCζ level on specific layers was assessed by laser microdissection followed by Western blotting. The functional role of PKCζ was then evaluated in vivo, using intraocular administration of its specific inhibitor. RESULTS: PKCζ was localized in tight junction protein complexes of the retinal pigment epithelium and in photoreceptors inner segments. Strikingly, in outer segment PKCζ staining was restricted to cone photoreceptors. Short-term hyperglycemia induced activation and delocalization of PKCζ from both retinal pigment epithelium junctions and cone outer segment. Outer blood retinal barrier disruption and photoreceptor cone degeneration characterized long-term hyperglycemia. In vivo, reduction of PKCζ overactivation using a specific inhibitor, restored its tight-junction localization and not only improved the outer blood retinal barrier, but also reduced photoreceptor cell-death. CONCLUSIONS: In the retina, hyperglycemia induced overactivation of PKCζ is associated with outer blood retinal barrier breakdown and photoreceptor degeneration. In vivo, short-term inhibition of PKCζ restores the outer barrier structure and reduces photoreceptor cell death, identifying PKCζ as a potential target for early and underestimated diabetes-induced retinal pathology.