941 resultados para Algorithms, Properties, the KCube Graphs
Resumo:
This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.
Resumo:
Thrust fault-related folds in carbonate rocks are characterized by deformation accommodated by different structures, such as joints, faults, pressure solution seams, and deformation bands. Defining the development of fracture systems related to the folding process is significant both for theoretical and practical purposes. Fracture systems are useful constrains in order to understand the kinematical evolution of the fold. Furthermore, understanding the relationships between folding and fracturing provides a noteworthy contribution for reconstructing the geodynamic and the structural evolution of the studied area. Moreover, as fold-related fractures influence fluid flow through rocks, fracture systems are relevant for energy production (geothermal studies, methane and CO2 , storage and hydrocarbon exploration), environmental and social issues (pollutant distribution, aquifer characterization). The PhD project shows results of a study carried out in a multilayer carbonate anticline characterized by different mechanical properties. The aim of this study is to understand the factors which influence the fracture formation and to define their temporal sequence during the folding process. The studied are is located in the Cingoli anticline (Northern Apennines), which is characterized by a pelagic multilayer characterized by sequences with different mechanical stratigraphies. A multi-scale analysis has been made in several outcrops located in different structural positions. This project shows that the conceptual sketches proposed in literature and the strain distribution models outline well the geometrical orientation of most of the set of fractures observed in the Cingoli anticline. On the other hand, the present work suggests the relevance of the mechanical stratigraphy in particular controlling the type of fractures formed (e.g. pressure solution seams, joints or shear fractures) and their subsequent evolution. Through a multi-scale analysis, and on the basis of the temporal relationship between fracture sets and their orientation respect layering, I also suggest a conceptual model for fracture systems formation.
Resumo:
The Standard Model of elementary particle physics was developed to describe the fundamental particles which constitute matter and the interactions between them. The Large Hadron Collider (LHC) at CERN in Geneva was built to solve some of the remaining open questions in the Standard Model and to explore physics beyond it, by colliding two proton beams at world-record centre-of-mass energies. The ATLAS experiment is designed to reconstruct particles and their decay products originating from these collisions. The precise reconstruction of particle trajectories plays an important role in the identification of particle jets which originate from bottom quarks (b-tagging). This thesis describes the step-wise commissioning of the ATLAS track reconstruction and b-tagging software and one of the first measurements of the b-jet production cross section in pp collisions at sqrt(s)=7 TeV with the ATLAS detector. The performance of the track reconstruction software was studied in great detail, first using data from cosmic ray showers and then collisions at sqrt(s)=900 GeV and 7 TeV. The good understanding of the track reconstruction software allowed a very early deployment of the b-tagging algorithms. First studies of these algorithms and the measurement of the b-tagging efficiency in the data are presented. They agree well with predictions from Monte Carlo simulations. The b-jet production cross section was measured with the 2010 dataset recorded by the ATLAS detector, employing muons in jets to estimate the fraction of b-jets. The measurement is in good agreement with the Standard Model predictions.
Resumo:
This thesis focuses on synthesis as well as investigations of the electronic structure and properties of Heusler compounds for spintronic and thermoelectric applications.rnThe first part reports on the electronic and crystal structure as well as the mechanical, magnetic, and transport properties of the polycrystalline Heusler compound Co2MnGe. The crystalline structure was examined in detail by extended X-ray absorption fine structure spectroscopy and anomalous X-ray diffraction. The low-temperature magnetic moment agrees well with the Slater-Pauling rule and indicates a half-metallic ferromagnetic state of the compound, as is predicted by ab-initio calculations. Transport measurements and hard X-ray photoelectron spectroscopy (HAXPES) were performed to explain the electronic structure of the compound.rnA major part of the thesis deals with a systematical investigation of Heusler compounds for thermoelectric applications. Few studies have been reported on thermoelectric properties of p-type Heusler compounds. Therefore, this thesis focuses on the search for new p-type Heusler compounds with high thermoelectric efficiency. The substitutional series NiTi1−xMxSn and CoTi1−xMxSb (where M = Sc, V and 0 ≤ x ≤ 0.2) were synthesized and investigated theoretically and experimentally with respect to electronic structure and transport properties. The results show the possibility to create n-type and p-type thermoelectrics within one Heusler compound. The pure compounds showed n-type behavior, while under Sc substitution the system switched to p-type behavior. A maximum Seebeck coefficient of +230 μV/K (at 350 K) was obtained for NiTi0.26Sc0.04Zr0.35Hf0.35Sn, which is one of the highest values for p-type thermoelectric compounds based on Heusler alloys up to now. HAXPES valence band measurement show massive in gap states for the parent compounds NiTiSn, CoTiSb and NiTi0.3Zr0.35Hf0.35Sn. This proves that the electronic states close to the Fermi energy play a key role for the behavior of the transport properties. Furthermore, the electronic structure of the gapless Heusler compounds PtYSb, PtLaBi and PtLuSb were investigated by bulk sensitive HAXPES. The linear behavior of the spectra close to εF proves the bulk origin of Dirac-cone type density of states. Furthermore, a systematic study on the optical and transport properties of PtYSb is presented. The compound exhibits promising thermoelectric properties with a high figure of merit (ZT = 0.2) and a Hall mobility μh of 300 cm2/Vs at 350 K.rnThe last part of this thesis describes the linear dichroism in angular-resolved photoemission from the valence band of NiTi0.9Sc0.1Sn and NiMnSb. High resolution photoelectron spectroscopy was performed with an excitation energy of hν = 7.938 keV. The linear polarization of the photons was changed using an in-vacuum diamond phase retarder. Noticeable linear dichroism is found in the valence bands and this allows for a symmetry analysis of the contributing states. The differences in the spectra are found to be caused by symmetry dependent angular asymmetry parameters, and these occur even in polycrystalline samples without preferential crystallographic orientation.rnIn summary, Heusler compounds with 1:1:1 and 2:1:1 stoichiometry were synthesized and examined by chemical and physical methods. Overall, this thesis shows that the combination of first-principle calculations, transport measurements and high resolution high energy photoelectron spectroscopy analysis is a very powerful tool for the design and development of new materials for a wide range of applications from spintronic applications to thermoelectric applications.rn
Resumo:
This thesis concerns the study of complex conformational surfaces and tautomeric equilibria of molecules and molecular complexes by quantum chemical methods and rotational spectroscopy techniques. In particular, the focus of this research is on the effects of substitution and noncovalent interactions in determining the energies and geometries of different conformers, tautomers or molecular complexes. The Free-Jet Absorption Millimeter Wave spectroscopy and the Pulsed-Jet Fourier Transform Microwave spectroscopy have been applied to perform these studies and the obtained results showcase the suitability of these techniques for the study of conformational surfaces and intermolecular interactions. The series of investigations of selected medium-size molecules and complexes have shown how different instrumental setups can be used to obtain a variety of results on molecular properties. The systems studied, include molecules of biological interest such as anethole and molecules of astrophysical interest such as N-methylaminoethanol. Moreover halogenation effects have been investigated on halogen substituted tautomeric systems (5-chlorohydroxypyridine and 6-chlorohydroxypyridine), where it has shown that the position of the inserted halogen atom affects the prototropic equilibrium. As for fluorination effects, interesting results have been achieved investigating some small complexes where a molecule of water is used as a probe to reveal the changes on the electrostatic potential of different fluorinated compounds: 2-fluoropyridine, 3-fluoropyridine and penta-fluoropyridine. While in the case of the molecular complex between water and 2-fluoropyridine and 3-fluoropyridine the geometry of the complex with one water molecule is analogous to that of pyridine with the water molecule linked to the pyridine nitrogen, the case of pentafluoropyridine reveals the effect of perfluorination and the water oxygen points towards the positive center of the pyridine ring. Additional molecular adducts with a molecule of water have been analyzed (benzylamine-water and acrylic acid-water) in order to reveal the stabilizing driving forces that characterize these complexes.
Resumo:
The aim of the work was to explore the practical applicability of molecular dynamics at different length and time scales. From nanoparticles system over colloids and polymers to biological systems like membranes and finally living cells, a broad range of materials was considered from a theoretical standpoint. In this dissertation five chemistry-related problem are addressed by means of theoretical and computational methods. The main results can be outlined as follows. (1) A systematic study of the effect of the concentration, chain length, and charge of surfactants on fullerene aggregation is presented. The long-discussed problem of the location of C60 in micelles was addressed and fullerenes were found in the hydrophobic region of the micelles. (2) The interactions between graphene sheet of increasing size and phospholipid membrane are quantitatively investigated. (3) A model was proposed to study structure, stability, and dynamics of MoS2, a material well-known for its tribological properties. The telescopic movement of nested nanotubes and the sliding of MoS2 layers is simulated. (4) A mathematical model to gain understaning of the coupled diffusion-swelling process in poly(lactic-co-glycolic acid), PLGA, was proposed. (5) A soft matter cell model is developed to explore the interaction of living cell with artificial surfaces. The effect of the surface properties on the adhesion dynamics of cells are discussed.
Resumo:
In this thesis mainly two alternating indenofluorene-phenanthrene copolymers were investigated with a variety of spectroscopic and optoelectronic experiments. The different experimental techniques allowed to retrieve deeper insights into their unique optical as well as optoelectronic properties. The motivation of the research presented in this work was to correlate their photophysical properties with respect to their application in electrically pumped lasing. This thesis begins with the description of optical properties studied by classical absorption and emission spectroscopy and successively describes an overall picture regarding their excited state dynamics occurring after photoexcitation studied by time-resolved spectroscopy. The different spectroscopic methods do not only allow to elucidate the different optical transitions occurring in this class of materials, but also contribute to a better understanding of exciton dynamics and exciton interaction with respect to the molecular structure as well as aggregation and photooxidation of the polymers. Furthermore, the stimulated emission properties were analyzed by amplified spontaneous emission (ASE) experiments. Especially one of the investigated materials, called BLUE-1, showed outstanding optical properties including a high optical gain, a low threshold for ASE and low optical losses. Apart from the optical experiments, the charge carrier mobility was measured with the time-of-flight technique and a comparably high hole mobility on the order of 1 x 10-² cm²/(Vs) was determined for BLUE-1 which makes this material promising for organic lasing. The impact of the high charge carrier mobility in this material class was further analyzed in different optoelectronic devices such as organic LEDs (OLEDs) and organic solar cells.
Resumo:
The thesis presents a probabilistic approach to the theory of semigroups of operators, with particular attention to the Markov and Feller semigroups. The first goal of this work is the proof of the fundamental Feynman-Kac formula, which gives the solution of certain parabolic Cauchy problems, in terms of the expected value of the initial condition computed at the associated stochastic diffusion processes. The second target is the characterization of the principal eigenvalue of the generator of a semigroup with Markov transition probability function and of second order elliptic operators with real coefficients not necessarily self-adjoint. The thesis is divided into three chapters. In the first chapter we study the Brownian motion and some of its main properties, the stochastic processes, the stochastic integral and the Itô formula in order to finally arrive, in the last section, at the proof of the Feynman-Kac formula. The second chapter is devoted to the probabilistic approach to the semigroups theory and it is here that we introduce Markov and Feller semigroups. Special emphasis is given to the Feller semigroup associated with the Brownian motion. The third and last chapter is divided into two sections. In the first one we present the abstract characterization of the principal eigenvalue of the infinitesimal generator of a semigroup of operators acting on continuous functions over a compact metric space. In the second section this approach is used to study the principal eigenvalue of elliptic partial differential operators with real coefficients. At the end, in the appendix, we gather some of the technical results used in the thesis in more details. Appendix A is devoted to the Sion minimax theorem, while in appendix B we prove the Chernoff product formula for not necessarily self-adjoint operators.
Resumo:
Molecular dynamics simulations of silicate and borate glasses and melts: Structure, diffusion dynamics and vibrational properties. In this work computer simulations of the model glass formers SiO2 and B2O3 are presented, using the techniques of classical molecular dynamics (MD) simulations and quantum mechanical calculations, based on density functional theory (DFT). The latter limits the system size to about 100−200 atoms. SiO2 and B2O3 are the two most important network formers for industrial applications of oxide glasses. Glass samples are generated by means of a quench from the melt with classical MD simulations and a subsequent structural relaxation with DFT forces. In addition, full ab initio quenches are carried out with a significantly faster cooling rate. In principle, the structural properties are in good agreement with experimental results from neutron and X-ray scattering, in all cases. A special focus is on the study of vibrational properties, as they give access to low-temperature thermodynamic properties. The vibrational spectra are calculated by the so-called ”frozen phonon” method. In all cases, the DFT curves show an acceptable agreement with experimental results of inelastic neutron scattering. In case of the model glass former B2O3, a new classical interaction potential is parametrized, based on the liquid trajectory of an ab initio MD simulation at 2300 K. In this course, a structural fitting routine is used. The inclusion of 3-body angular interactions leads to a significantly improved agreement of the liquid properties of the classical MD and ab initio MD simulations. However, the generated glass structures, in all cases, show a significantly lower fraction of 3-membered planar boroxol rings as predicted by experimental results (f=60%-80%). The largest boroxol ring fraction of f=15±5% is observed in the full ab initio quenches from 2300 K. In case of SiO2, the glass structures after the quantum mechanical relaxation are the basis for calculations of the linear thermal expansion coefficient αL(T), employing the quasi-harmonic approximation. The striking observation is a change change of sign of αL(T) going along with a temperature range of negative αL(T) at low temperatures, which is in good agreement with experimental results.
Resumo:
This work covers the synthesis of second-generation, ethylene glycol dendrons covalently linked to a surface anchor that contains two, three, or four catechol groups, the molecular assembly in aqueous buffer on titanium oxide surfaces, and the evaluation of the resistance of the monomolecular adlayers against nonspecific protein adsorption in contact with full blood serum. The results were compared to those of a linear poly(ethylene glycol) (PEG) analogue with the same molecular weight. The adsorption kinetics as well as resulting surface coverages were monitored by ex situ spectroscopic ellipsometry (VASE), in situ optical waveguide lightmode spectroscopy (OWLS), and quartz crystal microbalance with dissipation (QCM-D) investigations. The expected compositions of the macromolecular films were verified by X-ray photoelectron spectroscopy (XPS). The results of the adsorption study, performed in a high ionic strength ("cloud-point") buffer at room temperature, demonstrate that the adsorption kinetics increase with increasing number of catechol binding moieties and exceed the values found for the linear PEG analogue. This is attributed to the comparatively smaller and more confined molecular volume of the dendritic macromolecules in solution, the improved presentation of the catechol anchor, and/or their much lower cloud-point in the chosen buffer (close to room temperature). Interestingly, in terms of mechanistic aspects of "nonfouling" surface properties, the dendron films were found to be much stiffer and considerably less hydrated in comparison to the linear PEG brush surface, closer in their physicochemical properties to oligo(ethylene glycol) alkanethiol self-assembled monolayers than to conventional brush surfaces. Despite these differences, both types of polymer architectures at saturation coverage proved to be highly resistant toward protein adsorption. Although associated with higher synthesis costs, dendritic macromolecules are considered to be an attractive alternative to linear polymers for surface (bio)functionalization in view of their spontaneous formation of ultrathin, confluent, and nonfouling monolayers at room temperature and their outstanding ability to present functional ligands (coupled to the termini of the dendritic structure) at high surface densities.
Resumo:
We present an experimental and numerical study examining the dynamics of a gravity-driven contact line of a thin viscous film traveling down the outside of a vertical cylinder of radius R. Experiments on cylinders with radii ranging between 0.159 and 3.81 cm show that the contact line is unstable to a fingering pattern for two fluids with differing viscosities, surface tensions, and wetting properties. The dynamics of the contact line is studied and results are compared to previous studies of inclined plane experiments in order to understand the influence substrate curvature plays on the fingering pattern. A lubrication model is derived for the film height in the limit that ε = H/R≪1, where H is the upstream film thickness, and in terms of a Bond number ρgR3/(γH), and the linear stability of the contact line is analyzed using traveling wave solutions. Curvature controls the capillary ridge height of the traveling wave and the range of unstable wavelength when ε = O(10-1), whereas the shape and stability of the contact line converge to the behavior one observes on a vertical plane when ε ≤ O(10-2). The most unstable wave mode, cutoff wave mode for neutral stability, and maximum growth rate scale as 0.45 where = ρgR2/γ ≥ 1.3, and the contact line is unstable to fingering when ≥ 0.56. Using the experimental data to extrapolate outside the range of validity of the thin film model, we estimate the contact line is stable when <0.56. Agreement is excellent between the model and the experimental data for the wave number (i.e., number of fingers) and wavelength of the fingering pattern that forms along the contact line.
Resumo:
This paper presents parallel recursive algorithms for the computation of the inverse discrete Legendre transform (DPT) and the inverse discrete Laguerre transform (IDLT). These recursive algorithms are derived using Clenshaw's recurrence formula, and they are implemented with a set of parallel digital filters with time-varying coefficients.
Resumo:
Background Serologic testing algorithms for recent HIV seroconversion (STARHS) provide important information for HIV surveillance. We have shown that a patient's antibody reaction in a confirmatory line immunoassay (INNO-LIATM HIV I/II Score, Innogenetics) provides information on the duration of infection. Here, we sought to further investigate the diagnostic specificity of various Inno-Lia algorithms and to identify factors affecting it. Methods Plasma samples of 714 selected patients of the Swiss HIV Cohort Study infected for longer than 12 months and representing all viral clades and stages of chronic HIV-1 infection were tested blindly by Inno-Lia and classified as either incident (up to 12 m) or older infection by 24 different algorithms. Of the total, 524 patients received HAART, 308 had HIV-1 RNA below 50 copies/mL, and 620 were infected by a HIV-1 non-B clade. Using logistic regression analysis we evaluated factors that might affect the specificity of these algorithms. Results HIV-1 RNA <50 copies/mL was associated with significantly lower reactivity to all five HIV-1 antigens of the Inno-Lia and impaired specificity of most algorithms. Among 412 patients either untreated or with HIV-1 RNA ≥50 copies/mL despite HAART, the median specificity of the algorithms was 96.5% (range 92.0-100%). The only factor that significantly promoted false-incident results in this group was age, with false-incident results increasing by a few percent per additional year. HIV-1 clade, HIV-1 RNA, CD4 percentage, sex, disease stage, and testing modalities exhibited no significance. Results were similar among 190 untreated patients. Conclusions The specificity of most Inno-Lia algorithms was high and not affected by HIV-1 variability, advanced disease and other factors promoting false-recent results in other STARHS. Specificity should be good in any group of untreated HIV-1 patients.
Resumo:
A tetrathiafulvalene donor has been annulated to the bay region of perylenediimide through a 1H-benzo-[d]pyrrolo[1,2-a]imidazol-1-one spacer affording an extended pi-conjugated molecular dyad (TTF-PDI). To gain insight into its ground- and excited-state electronic properties, the reference compound Ph-PDI has been prepared via a direct Schiff-base condensation of N,N'-bis(1-octylnonyl) benzoperylene-1',2':3,4:9,10-hexacarboxylic-1',2'-anhydride-3,4:9,10-bis (imide) with benzene-1,2-diamine. Both the experimental and the computational (DFT) results indicate that TTF-PDI exhibits significant intramolecular electronic interactions giving rise to an efficient photoinduced charge-separation process. Free-energy calculations verify that the process from TTF to the singlet-excited state of PDI is exothermic in both polar and nonpolar solvents. Fast adiabatic electron-transfer processes of a compactly fused, pi-conjugated TTF-PDI dyad in benzonitrile, 2-methyltetrahydrofuran, anisole and toluene were observed by femtosecond transient absorption spectral measurements. The lifetimes of radical-ion pairs slightly increase with decreasing the solvent polarities, suggesting that the charge-recombination occurs in the Marcus inverted region. By utilizing the nanosecond transient absorption technique, the intermolecular electron-transfer process in a mixture of has been observed via the triplet excited PDI for the first time.
Resumo:
The purpose of our study is to investigate the effects of chronic estrogen administration on same-sex interactions during exposure to a social stressor and on oxytocin (OT) levels in prairie voles (Microtus orchrogaster). Estrogen and OT are two hormones known to be involved with social behavior and stress. Estogen is involved in the transcription of OT and its receptor. Because of this, it is generally thought that estrogen upregulates OT, but evidence to support this assumption is weak. While estrogen has been shown to either increase or decrease stress, OT has been shown to have stress-dampening properties. The goal of our experiment is to determine how estrogen affects OT levels as well as behavior in a social stressor in the voles. In addition, estrogen is required for many opposite-sex interactions, but little is known about its influence on same-sex interactions. We hypothesized that prairie voles receiving chronic estrogen injections would show an increase in OT levels in the brain and alter behavior in response to a social stressor called the resident-intruder test. To test this hypothesis, 73 female prairie voles were ovariectomized and then administered daily injections of estrogen (0.05 ¿g in peanut oil, s.c.) or vehicle for 8 days. On the final day of injections, half of the voles were given the resident-intruder test, a stressful 5 min interaction with a same-sex stranger. Their behavior was video-recorded. These animals were then sacrificed either 10 minutes or 60 minutes after the conclusion of the test. Half of the animals (no stress group) were not given the resident-intruder test. After sacrifice, trunk blood and brains were collected from the animals. Videos of the resident-intruder tests were analyzed for pro-social and aggressive behavior. Density of OT-activated neurons in the brain was measured via pixel count using immunohistochemistry. No differences were found in pro-social behavior (focal sniffing, p = 0.242; focal initiated sniffing p = 0.142; focal initiated sniffing/focal sniffing, p = 0.884) or aggressive behavior (total time fighting, p= 0.763; number of fights, p= 0.148; number of strikes, p = 0.714). No differences were found in activation of OT neurons in the brain, neither in the anterior paraventricular nucleus (PVN) (pixel count p= 0.358; % area that contains pixelated neurons p = 0.443) nor in the medial PVN (pixel count p= 0.999; % area that contains pixelated neurons p = 0.916). These results suggest that estrogen most likely does not directly upregulate OT and that estrogen does not alter behavior in stressful social interactions with a same-sex stranger. Estrogen may prepare the animal to respond to OT, instead of increasing the production of the peptide itself, suggesting that we need to shift the framework in which we consider estrogen and OT interactions.