This dissertation is focused on an algebraic approach of some many-valued generalizations of modal logics. The starting point is the definition of the [0,1]-valued and the Ł_n-valued Kripke models, where [0,1] denotes the well known MV-algebra and Ł_n its finite subalgebra {0, 1/n, ... , (n-1)/n,1} for any positive integer n. Two types of structures are used to define validity of formulas: the class of L-frames and the class of Ł_n-valued L-frames. The latter structures are L-frames in which we specify in each world u the set Ł_m (where m is a divisor of n) of the possible truth values of the formulas in u. These two classes of structures define two distinct notions of validity. We use these notions to study the problem of definability of classes of structures with modal formulas. We obtain for these two classes an equivalent of the Goldblatt-Thomason theorem. We are able to consider completeness problems with respect to these relational semantics thanks to the connections between relational and algebraic semantics. Our strongest results are about Ł_n-valued logics. We are indeed able to apply and develop algebraic tools (namely, canonical and strong canonical extensions) that allow to generate complete Ł_n-valued logics. / Nous consacrons cette dissertation à une étude algébrique de certaines généralisations multivaluées des logiques modales. Notre point de départ est la définition des modèle de Kripke [0,1]-valués et Ł_n-valués, où [0,1] désigne la MV-algèbre bien connue et Ł_n sa sous-algèbre {0, 1/n, ... , (n-1)/n,1} pour tout naturel non nul n. Nous utilisons deux types de structures pour définir une relation de validité: la classe des L-structures et celles des L-structures Ł_n-valuées. Ces dernières sont des L-structures dans lesquelles nous précisons pour chaque monde u l'ensemble Ł_m (où m est un diviseur de n) des valeurs de vérité que les formules sont autorisées à prendre en u. Ces deux classes de structures définissent deux notions distinctes de validité. Nous les utilisons pour étudier le problème de la définissabilité des classes de structures à l'aide du langage modal. Nous obtenons dans les deux cas l'équivalent du théorème de Goldblatt-Thomason. Nous considérons aussi les problèmes de complétude vis-à-vis de ces sémantiques relationnelles à l'aide des liens qui les lient à la sémantique algébrique. Les résultats les plus forts que nous obtenons concernent les logiques modales Ł_n-valuées. En effet, dans ce cas, nous pouvons appliquer et développer des outils algébriques (à savoir, les extensions canoniques et les extensions canoniques fortes) qui permettent de générer des logiques complètes.

Atomic physics plays an important role in determining the evolution stages in a wide range of laboratory and cosmic plasmas. Therefore, the main contribution to our ability to model, infer and control plasma sources is the knowledge of underlying atomic processes. Of particular importance are reliable low temperature dielectronic recombination (DR) rate coefficients. This thesis provides systematically calculated DR rate coefficients of lithium-like beryllium and sodium ions via ∆n = 0 doubly excited resonant states. The calculations are based on complex-scaled relativistic many-body perturbation theory in an all-order formulation within the single- and double-excitation coupled-cluster scheme, including radiative corrections. Comparison of DR resonance parameters (energy levels, autoionization widths, radiative transition probabilities and strengths) between our theoretical predictions and the heavy-ion storage rings experiments (CRYRING-Stockholm and TSRHeidelberg) shows good agreement. The intruder state problem is a principal obstacle for general application of the coupled-cluster formalism on doubly excited states. Thus, we have developed a technique designed to avoid the intruder state problem. It is based on a convenient partitioning of the Hilbert space and reformulation of the conventional set of pairequations. The general aspects of this development are discussed, and the effectiveness of its numerical implementation (within the non-relativistic framework) is selectively illustrated on autoionizing doubly excited states of helium.

While 3D stacked multi-processor technology offers the potential for significant computing advantages, these architectures also face the significant challenge of small, localized hotspots with very large heat fluxes due to the placement of asymmetric cores, heterogeneous devices and performance driven layouts. In this thesis, a new thermal management solution is introduced that seeks to maximize the performance of microprocessors with dynamically managed power profiles. To mitigate the non-uniformities in chip temperature profiles resulting from the dynamic power maps, solid-liquid phase change materials (PCMs) with an embedded heat spreader network are strategically positioned near localized hotspots, resulting in a large increase in the local thermal capacitance in these problematic areas. Theoretical analysis shows that the increase in local thermal capacitance results in an almost twenty-fold increase in the time that a thermally constrained core can operate before a power gating or core migration event is required. Coupled to the PCMs are solid state coolers (SSCs) that serve as a means for fast regeneration of the PCMs during the cool down periods associated with throttling events. Using this combined PCM/SSC approach allows for devices that operate with the desirable combination of low throttling frequency and large overall core duty cycles, thus maximizing computational throughput. The impact of the thermophysical properties of the PCM on the device operating characteristics has been investigated from first principles in order to better inform the PCM selection or design process. Complementary to the theoretical characterization of the proposed thermal solution, a prototype device called a "Composite Thermal Capacitor (CTC)" that monolithically integrates micro heaters, PCMs and a spreader matrix into a Si test chip was fabricated and tested to validate the efficacy of the concept. A prototype CTC was shown to increase allowable device operating times by over 7X and address heat fluxes of up to ~395 W/cm2. Various methods for regenerating the CTC have been investigated, including air, liquid, and solid state cooling, and operational duty cycles of over 60% have been demonstrated.

This thesis presents a collection of four papers published in peer-reviewed scientific journals plus a manuscript yet to be submitted, all of them in the field of low temperature physics and quantum fluids. Each of these works reports a step forward in the ever-developing theoretical description of helium systems by means of density functional theory. The first two papers deal with questions related to the groundstate description of helium complexes around atomic impurities. We have computed such structure and determined its effect on the dipole absorption spectrum of Na in (3)He—(4)He clusters and of Mg in the homogeneous, isotopically mixed liquid. We have also explored the limits of density functional calculations for a small number of helium atoms interacting with a linear carbonyl sulfide (OCS) molecule. To this end we have implemented a Kohn-Sham scheme for 3He and computed the structure of OCS@3HeN clusters for N up to 40. The next three papers deal with the real-time description of dynamical processes in helium systems of experimental interest. We present an efficient and quantitatively accurate procedure to compute dynamical processes, namely the dynamics of an excited electron bubble and of an excited silver impurity, following a time-dependent density functional theory (TDDFT) for helium coupled to the appropiate dynamics of impurities. In the case of the electron bubble, we have related the experimental disappearance of 1P bubbles at high pressures with the existence of a nonradiative de-excitation path involving the bubble splitting about 20 picoseconds after the excitation. In the case of the desorption of a silver atom from a He drop, our dynamical calculations predict a range of velocities for the ejected impurity consistent with the experimental velocity distribution, which can be taken as indirect evidence of the superfluidity of helium nanodroplets. / En esta tesis se presenta una colección de cuatro artículos publicados y un manuscrito aún no publicado, todos ellos en el campo de la física de bajas temperaturas y fluidos cuánticos. Cada uno de ellos reporta un paso adelante en la descripción teórica de los sistemas de helio por medio de la teoría del funcional de la densidad. Los primeros dos artículos están clasificados como “estructura" ya que tratan cuestiones relacionadas con la descripción del estado fundamental de complejos de helio dopados con impurezas atómicas. En ellos hemos calculado la estructura y determinado su efecto sobre el espectro de absorción dipolar del Na en agregados de (3)He-(4)He y del Mg en el líquido homogéneo e isotópicamente mezclado. Para el caso de Na en gotas se ha encontrado que, a pesar de necesitar una gran cantidad de (3)He para que la capa exterior de la gota sature, el espectro de la impureza es muy insensible a la composición isotópica y rápidamente satura al valor que toma en las gotas de (3)He puras. Para Mg en el líquido mezclado, la presencia de (3)He induce cambios en el espectro mucho más pequeños que su anchura característica, por lo que se ha encontrado que el efecto general de la composición isotópica de la mezcla en la espectroscopia es mínima. Hemos explorado también los límites del funcional de la densidad para un número pequeño de átomos de helio interactuando con una molécula lineal de sulfuro de carbonilo (OCS). Para ello hemos implementado un esquema de Kohn-Sham para el (3)He y hemos obtenido la estructura de agregados OCS@(3)He(N) para un número de átomos “N” hasta 40. Hemos comparado los resultados de los agregados de (4)He con el mismo número de átomos y hemos encontrado que la alta anisotrop_á de la molécula de OCS magni_ca los efectos de las diferentes estadísticas de cada isótopo. Nuestra estimación de los momentos de inercia de estos agregados es consistente con la interpretación de los datos experimentales que sugieren una estructura de 11 átomos de helio rotando solidariamente con la molécula de OCS. Los siguientes tres trabajos, clasificados como “dinámica", describen la evolución temporal de ciertos procesos de interés experimental en los sistemas de helio. Mientras que las publicaciones sobre la estructura completan una línea de trabajo bien establecida, las de esta sección abren un nuevo frente de exploración teórica sobre los procesos dinámicos con resolución de picosegundos. En ellos se presenta un procedimiento eficiente para describirlos cuantitativamente mediante una teoría del funcional de la densidad dependiente del tiempo (TDDFT, por sus siglas en inglés) para el helio, acoplado a la dinámica adecuada para la impureza. Cuál es la dinámica “adecuada" depende de las propiedades de la impureza: para la burbuja electrónica 1P se puede utilizar una descripción puramente mecanocuántica del electrón en una aproximación adiabática, mientras que para la burbuja 2P la aproximación adiabática no es aplicable y se deben acoplar las evoluciones en tiempo real del helio y del electrón. Para una impureza masiva como la Ag una descripción clásica de su movimiento es suficiente, pero el efecto de spin-órbita es lo suficientemente importante como para que el estado electrónico del átomo deba tenerse en cuenta en la dinámica como un grado de libertad cuantizado . En el caso de las burbujas electrónicas, hemos relacionado la desaparición de las burbujas 1P a altas presiones con la existencia de un camino de relajación no-radiativo que causa la rotura de la burbuja en dos mitades casi esféricas tras haber transcurrido unos 20 picosegundos desde su excitación. Hemos sido capaces de establecer esta relación gracias a que nuestro cálculo predice la “fisión" de la burbuja solo para presiones superiores a 1 bar, que es el mismo umbral observado experimentalmente para la desaparición de las burbujas 1P. Teniendo en cuenta que aumentar la presión en 1 bar aumenta la densidad de saturación del líquido en poco más de un 1 %, la exactitud de este resultado indica que TDDFT contiene la física relevante para describir este tipo de procesos y tiene capacidad de predicción cuantitativa. También hemos encontrado un marcado cambio en el comportamiento del espectro de absorción con resolución temporal de la burbuja 1P dependiendo de si ésta fisiona o no, es decir, dependiendo de la presión del líquido. La observación experimental de este cambio y su determinación podrá completar la información obtenida en los experimentos de cavitación y fotoconductividad. En el caso de la desorción de un átomo de plata tras su fotoexcitación en el interior de una gota de He, nuestros cálculos dinámicos predicen un rango de velocidades para la impureza consistente con la distribución de velocidades experimental. Esta velocidad es el resultado de cuánta energía transfiere la impureza a la gota, lo cual depende de los modos de excitación disponibles para dicha transferencia. Nuestra descripción del líquido solo permite excitaciones colectivas tales como ondas de densidad u oscilaciones de superficie, por lo que la compatibilidad de nuestros resultados con los datos experimentales se puede tomar como una evidencia indirecta de la superfluidez de las nanogotas de helio. Adicionalmente hemos descartado la nucleación vórtices como un posible canal de transferencia de energía en gotas nanoscópicas al no haberlos generado en nuestros cálculos.

Customer call centers with hundreds of agents working in parallel are ubiquitous in many industries. These systems have a large amount of daily traffic that is stochastic in nature. It becomes more and more difficult to manage a call center because of its increasingly large scale and the stochastic variability in arrival and service processes. In call center operations, customer abandonment is a key factor and may significantly impact the system performance. It must be modeled explicitly in order for an operational model to be relevant for decision making. In this thesis, a large-scale call center is modeled as a queue with many parallel servers. To model the customer abandonment, each customer is assigned a patience time. When his waiting time for service exceeds his patience time, a customer abandons the system without service. We develop analytical and numerical tools for analyzing such a queue. We first study a sequence of G/G/n+GI queues, where the customer patience times are independent and identically distributed (iid) following a general distribution. The focus is the abandonment and the queue length processes. We prove that under certain conditions, a deterministic relationship holds asymptotically in diffusion scaling between these two stochastic processes, as the number of servers goes to infinity. Next, we restrict the service time distribution to be a phase-type distribution with d phases. Using the aforementioned asymptotic relationship, we prove limit theorems for G/Ph/n+GI queues in the quality- and efficiency-driven (QED) regime. In particular, the limit process for the customer number in each phase is a d-dimensional piecewise Ornstein-Uhlenbeck (OU) process. Motivated by the diffusion limit process, we propose two approximate models for a GI/Ph/n+GI queue. In each model, a d-dimensional diffusion process is used to approximate the dynamics of the queue. These two models differ in how the patience time distribution is built into them. The first diffusion model uses the patience time density at zero and the second one uses the entire patience time distribution. We also develop a numerical algorithm to analyze these diffusion models. The algorithm solves the stationary distribution of each model. The computed stationary distribution is used to estimate the queue's performance. A crucial part of this algorithm is to choose an appropriate reference density that controls the convergence of the algorithm. We develop a systematic approach to constructing a reference density. With the proposed reference density, the algorithm is shown to converge quickly in numerical experiments. These experiments also show that the diffusion models are good approximations of queues with a moderate to large number of servers.

A challenge posed by future computer architectures is the efficient exploitation of their many and sometimes heterogeneous computational cores. This challenge is exacerbated by the multiple facilities for data movement and sharing across cores resident on such platforms. To answer the question of how systems software should treat heterogeneous resources, this dissertation describes an approach that (1) creates a common manageable pool for all the resources present in the platform, and then (2) provides virtual machines (VMs) with multiple `personalities', flexibly mapped to and efficiently run on the heterogeneous underlying hardware. A VM's personality is its execution context on the different types of available processing resources usable by the VM. We provide mechanisms for making such platforms manageable and evaluate coordinated scheduling policies for mapping different VM personalities on heterogeneous hardware. Towards that end, this dissertation contributes technologies that include (1) restructuring hypervisor and system functions to create high performance environments that enable flexibility of execution and data sharing, (2) scheduling and other resource management infrastructure for supporting diverse application needs and heterogeneous platform characteristics, and (3) hypervisor level policies to permit efficient and coordinated resource usage and sharing. Experimental evaluations on multiple heterogeneous platforms, like one comprised of x86-based cores with attached NVIDIA accelerators and others with asymmetric elements on chip, demonstrate the utility of the approach and its ability to efficiently host diverse applications and resource management methods.

While in conventional superconductors coupling between electrons and phonons is known to be responsible for the electron pairing, for the high temperature superconductors the pairing media remains under debates. Since the interactions of electrons with other degrees of freedom (phonons, magnetic excitations, etc) manifest themselves by an additional renormalization in the electronic dispersion, they can be investigated by means of Angle Resolved Photoelectron Spectroscopy. In the work renormalization in two families of high Tc cuprates have been studied. Along the diagonal of the two-dimensional BZ, the renormalization effects are represented by an unusual band dispersion that develops a so-called ‘‘kink’’. In the vicinity of the (pi, 0) point of the BZ, where the order parameter reaches its maximum, the renormalization is noticeably stronger and makes itself evident even in the shape of a single spectral line measured for a fixed momentum. It was shown that for the Bi-2212 samples substitution of Cu atoms in Cu-O plane changes renormalization features in ARPES spectra both in nodal and antinodal parts of the Brillouin zone. The smearing of the dip in the in the spectral line shape measured at (pi; 0) point can be well explained by coupling of electrons to the magnetic resonance mode. The effect of Zn and Ni substitution on the antinodal ARPES spectra was shown to be in good agreement with the influence of these impurities on magnetic resonance mode seen in inelastic neutron scattering experiments. This, in addition to the previous ARPES studies of temperature and doping dependence of peak-dip-hump structure, mass renormalization near antinodal region and a kink in the nodal part of Brillouin zone, provides further evidence that the coupling to magnetic excitations, rather than to phonons, is responsible for the observed unusual renormalization. Unlike the well studied Bi-2212 family of cuprates, photoemission on YBCO-123 turns out to be much more complicated. The observed spectra have a strong contribution from a heavily overdoped surface component with the hole doping level of about x~0.30, which is weakly dependent on the sample stochiometry. Absence of any signs of superconductivity in the spectra of the overdoped component was argued to result from the unusually high doping level. This conclusion is supported by the fact that the overdoped bands give rise to the Fermi surface and band structure consistent with the predictions of the LDA calculations, as well as, by the dependence of the photoemission matrix element on the excitation energy, which closely follows that of the superconducting bulk component. Specific experimental geometry was used to enhance the signal coming from the superconducting component. In particular, experiments with circularly polarized light bundled with simple theoretical considerations enabled better separation of the surface and the bulk components. This type of experiments also suggests that the overdoped component is mainly localized in the topmost CuO2 bilayer, while the next bilayers in the YBCO-123 structure already represent bulk properties and retain superconductivity. Using partially Ca substituted samples it was possible to obtain spectra with a suppressed overdoped component. The likely reason for the suppression is a shift of the most probable cleavage plane from the Ba–O interface to the Y layer. Spectra from the Ca substituted sample clearly reveal a sizable superconducting gap, and strong renormalization effects in the vicinity of the antinodal point. The fact that the renormalization vanishes above Tc and has strong momentum dependence, diminishing away from the (pi; 0)/(0; pi) point, strongly suggests that the reason for this renormalization in YBCO-123 is coupling of the electronic subsystem to spin resonance, similar to the case of Bi-2212.

A system with two magnetic molecules embedded in a junction between non-magnetic leads was studied. In this system electrons tunnel from the localized energy level in region one to the localized energy level in region two generating a flow of electric charge through the quantum dot system. The current density and thus the conductance changes depending on the molecular spin moment. In this work we studied molecules with either spin "up" or spin "down" and with symmetric coupling strengths. The results indicate that the coupling strength between energy level and molecule together with the tunneling rate through the insulating layer play a major role when switching from parallel to anti-parallel molecular spin, for a specific combination of the coupling strength and tunneling rate we could observe a decrease in the current by 99.7% in the non-gated system and 99.4% in the gated system.

Το κύριο μέρος της διατριβής αρχίζει στο Κεφάλαιο 4 όπου παρουσιάζονται πρωτότυπα ερευνητικά αποτελέσματα της διατριβής που αφορούν στην κανονική και χαοτική δυναμική Χαμιλτώνιων συστημάτων λίγων βαθμών ελευθερίας. Περιγράφονται αποτελέσματα πάνω στη συμπεριφορά δεικτών διάκρισης οργανωμένης και χαοτικής δυναμικής στα συστήματα αυτά και γίνεται σύγκριση με τα αντίστοιχα της διεθνούς βιβλιογραφίας. Τέλος, αναφέρονται αποτελέσματα από τη θεωρία και την εφαρμογή της μεθόδου του Γενικευμένου Δείκτη Ευθυγράμμισης GALI, που αποτελεί ένα από τα πιο βασικά νέα στοιχεία της διατριβής, σε μη ολοκληρώσιμα Χαμιλτώνια συστήματα δύο και τριών βαθμών ελευθερίας. Το Κεφάλαιο 5 ασχολείται με την παρουσίαση πρωτότυπων ερευνητικών αποτελεσμάτων σε Χαμιλτώνια δυναμικά συστήματα πολλών βαθμών ελευθερίας. Εδώ, εισάγονται νέες μέθοδοι για την μελέτη των περιοχών κανονικής και χαοτικής συμπεριφοράς συστημάτων πολλών βαθμών ελευθερίας με σκοπό να κατανοηθεί η συμπεριφορά των συστημάτων αυτών στο θερμοδυναμικό όριο και να δοθεί μια απάντηση στο καίριο ερώτημα αν οι νόμοι της Στατιστικής Μηχανικής ισχύουν στην περίπτωση των πολυδιάστατων Χαμιλτώνιων συστημάτων που εξετάζονται εδώ. Ελέγχεται πως αυξάνουν οι χαοτικές περιοχές γύρω από ασταθείς Απλές Περιοδικές Λύσεις (ΑΠΛ) στον χώρο φάσεων, μετά από μία κρίσιμη τιμή της ολικής ενέργειας, η δε μετάβαση από περιορισμένο σε εκτεταμένο χάος, προκύπτει από το ότι συχνά σε περιοχές διαφορετικών ασταθών ΑΠΛ συγκλίνουν τα αντίστοιχα φάσματα Lyapunov στην ίδια εκθετική συνάρτηση. Υπολογίζοντας κατόπιν το άθροισμα των θετικών εκθετών Lyapunov, που αντιστοιχεί στην εντροπία Kolmogorov - Sinai και διαπιστώνεται ότι για τα συστήματα που εξετάζονται στη διατριβή αυτή, η εντροπία KS αυξάνει γραμμικά, συναρτήσει των βαθμών ελευθερίας N, επιβεβαιώνοντας έτσι ότι είναι εκτεταμένη ποσότητα της Στατιστικής Μηχανικής. Τέλος εισάγεται η νέα μέθοδος του Δείκτη Γραμμικής Εξάρτησης (LDI) για τον διαχωρισμό χαοτικών και οργανωμένων τροχιών και αναφέρονται τα συγκριτικά της πλεονεκτήματα σε σχέση με τις μεθόδους των Κεφαλαίων 3 και 4. Αξίζει επίσης να αναφερθεί ότι πολλά αποτελέσματα της διατριβής μπορούν να εφαρμοσθούν για τη μελέτη της δυναμικής συμπλεκτικών απεικονίσεων, για τις οποίες ο κ .Αντωνόπουλος ανέπτυξε μια νέα μέθοδο που συνδυάζει τη χρήση δικών του μεθόδων και των λεγόμενων Διαφοροεξελικτικών Αλγορίθμων, για την εύρεση της δυναμικής ακτίνας ευστάθειας συμπλεκτικών απεικονίσεων που περιγράφουν επιταχυντές σωματιδίων υψηλών ενεργειών. / The main part of the thesis begins with Chapter 3, where new research results are presented which concern the regular and chaotic dynamics of Hamiltonian systems of few degrees of freedom. Results are described on the behavior of indices distinguishing organized from chaotic motion in these systems and a comparison is made with corresponding results in the international literature. Then, new findings are reported on the theory and application of the method of the Generalized Alignment Index GALI, which is one of the most basic discoveries of the thesis in nonintegrable Hamiltonian systems of 2 and 3 degrees of freedom. Chapter 5 deals with the presentation of original research results in Hamiltonian systems of many degrees of freedom. Here new methods are introduced for the study of regions of regular and chaotic behavior of multi degree of freedom systems with the primary aim of understanding the behavior of these systems in the thermodynamic limit to give an answer to the crucial question of whether the laws of Statistical mechanics hold in the case of multi dimensional Hamiltonian systems. The author studies how chaotic regions increase in size around unstable Simple Periodic Orbits (SPOs) in phase space, beyond a critical value of the energy, while the transition from limited to widespread chaos is indicated by the fact that in regions of different unstable SPOs the corresponding Lyapunov spectra converge to the same exponential – like function. Computing then the sum of the positive Lyapunov exponents, which corresponds to the so called Kolmogorov – Sinai entropy, it is shown that the systems that are studied in this thesis the KS entropy increases linearly as a function of the number of degrees of freedom N, thus confirming that it is an extensive quantity of Statistical Mechanics. Finally, the new method of the Linear Dependence Index (LDI) is introduced for distinguishing between regular and chaotic orbits and its advantages are described when compared with the methods of Chapters 3 and 4. It is worth mentioning also that many of the results of this thesis can be applied to the study of the dynamics of symplectic mappings, for which Mr. Antonopoulos developed a new method which combines his techniques with those of Evolutionary Algorithms, for determining the dynamical aperture radius for the stability of symplectic maps which describe the dynamics of high energy particle accelerators.

No description available.