2,101 research outputs found

    Tail resonances of FPU q-breathers and their impact on the pathway to equipartition

    Full text link
    Upon initial excitation of a few normal modes the energy distribution among all modes of a nonlinear atomic chain (the Fermi-Pasta-Ulam model) exhibits exponential localization on large time scales. At the same time resonant anomalies (peaks) are observed in its weakly excited tail for long times preceding equipartition. We observe a similar resonant tail structure also for exact time-periodic Lyapunov orbits, coined q-breathers due to their exponential localization in modal space. We give a simple explanation for this structure in terms of superharmonic resonances. The resonance analysis agrees very well with numerical results and has predictive power. We extend a previously developed perturbation method, based essentially on a Poincare-Lindstedt scheme, in order to account for these resonances, and in order to treat more general model cases, including truncated Toda potentials. Our results give qualitative and semiquantitative account for the superharmonic resonances of q-breathers and natural packets

    Theorem proving for non-normal modal logics

    Get PDF
    In this work we briefly summarize our recent contributions in the field of proof methods, theorem proving and countermodel generation for non-normal modal logics. We first recall some labelled sequent calculi for the basic system E and its extensions with axioms M, N, and C based on bi-neighbourhood semantics. Then, we present PRONOM, a theorem prover and countermodel generator for non-normal modal logics implemented in Prolog. When a modal formula is valid, then PRONOM computes a proof in the labelled calculi, otherwise it is able to extract a model falsifying it from an open, saturated branch. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).Peer reviewe

    A Nonconvex Singular Stochastic Control Problem and its Related Optimal Stopping Boundaries

    Get PDF
    Abstract. Equivalences are known between problems of singular stochastic control (SSC) with convex performance criteria and related questions of optimal stopping; see, for example, Karatzas and Shreve [SIAM J. Control Optim., 22 (1984), pp. 856–877]. The aim of this paper is to inves-tigate how far connections of this type generalize to a nonconvex problem of purchasing electricity. Where the classical equivalence breaks down we provide alternative connections to optimal stopping problems. We consider a nonconvex infinite time horizon SSC problem whose state consists of an un-controlled diffusion representing a real-valued commodity price, and a controlled increasing bounded process representing an inventory. We analyze the geometry of the action and inaction regions by characterizing their (optimal) boundaries. Unlike the case of convex SSC problems we find that the optimal boundaries may be both reflecting and repelling and it is natural to interpret the problem as one of SSC with discretionary stopping

    Effect of the Ambient Temperature on the Start-Up of a Multi-Evaporator Loop Thermosyphon

    Get PDF
    Two-phase heat transfer devices are becoming fairly ubiquitous; the capability to transport heat at high rates over appreciable distances, without any external pumping device, the low cost, durability and relatively simpler modeling/design process, make this technology very attractive for many thermal management applications. Indeed, such devices have been investigated in plenty of fields such as: nuclear plants, energy systems, solar heat recovery, air conditioning, electronic cooling in avionics and in railway traction. As a consequence, they can operate under different environmental conditions that can affect their behavior. Nevertheless, it is difficult to find in literature something related to the effect of the ambient temperature on the thermal performance of such devices. The actual temperature, varying the thermo-fluid properties of the fluid inside the device, the condensation and the evaporation phenomena, could be an important parameter that can affect the performance. In this work a Multi-Evaporator loop thermosyphon is tested at different ambient temperatures, ranging from -20 °C up to 30 °C. The start-up behavior, as well as the thermal performance, are analyzed by means of temperature and pressure measurements and fluid flow visualization

    The relationship between posttreatment smile esthetics and the ABO Objective Grading System

    Get PDF
    ABSTRACT Objective: To evaluate the correlations between the components of the Objective Grading System developed by the American Board of Orthodontics (ABO) and smile esthetics. Materials and Methods: The clinical photographs of 48 orthodontically treated patients were rated by a panel of 25 experienced orthodontists (15 men and 10 women) and 20 parents of orthodontic patients (eight men and 12 women). One of the investigators, a director of the ABO, scored the posttreatment dental casts and panoramic radiographs of all patients according to the guidelines of the Objective Grading System. The relationship between the occlusal outcome and perceived smile attractiveness of the subjects were evaluated by a Pearson product-moment correlation. Logistic regression was used to determine whether the individual component or total combined scores of the ABO Grading System could predict whether a smile would be considered ''attractive'' or ''unattractive'' by the panel of raters. Results: Extremely weak relationships were found among all factors of the ABO Objective Grading System and perceived smile attractiveness (r values ranging from Ϫ0.11 to 0.14; P Ͼ .05). As derived from logistic regression equations, neither total scores nor individual components of the ABO Grading system could predict attractive or unattractive smiles. Conclusions: This study suggests that additional criteria might be incorporated into the assessment of overall orthodontic treatment outcomes, including variables evaluating the smile

    The structure of ZrO2 phases and devetrification processes in a Ca-Zr-Si-O-based glass ceramic: a combined a-XRD and XAS study

    Get PDF
    The structure of Zr atomic environment in a CaO-ZrO2-SiO2 glass-ceramic has beenstudied combining x-ray absorption spectroscopy (XAS), X-ray diffraction (XRD) andanomalous-XRD (a-XRD) techniques as a function of thermal treatments. The analysisof XRD patterns demonstrates that the devitrification process, as a function ofthermal treatment, proceeds through the partial segregation of Zr-depleted phases(Wollastonite-like) and Zr-rich phases (Zr-oxides). The XAS and a-XRD measurementsat the Zr K edge have been exploited to get a closer insight on the atomicstructure around Zr ions. In the as quenched glass the Zr is 6-fold coordinated to Oxygenatoms in an amorphous environment rich of Ca and Si. Thermal treatment firstly(T=1000 - 1050 oC) determines the partial segregation of Zr in form of oxide whichcrystalline structure is that of tetragonal Zirconia (t-ZrO2). Raising the temperature(T=1100 oC) provokes the formation of ZrO2 crystallites in the monoclinic crystallographicphase (Baddeleyite: m-ZrO2). The analysis of XAS data demonstrates that aconsiderable amount of Zr still remains in an amorphous Calcium-Silicate phase

    Identification and characterization of the Atlantic salmon peptide transporter 1a

    Get PDF
    Peptide transporter 1 (PepT1) mediates the uptake of dietary di-/tripeptides in vertebrates. However, in teleost fish gut, more than one PepT1-type transporter might operate, because of teleost-specific whole gen(om)e duplication event(s) that occurred during evolution. Here, we describe a novel teleost di-/tripeptide transporter, i.e., the Atlantic salmon (Salmo salar) peptide transporter 1a [PepT1a; or solute carrier family 15 member 1a (Slc15a1a)], which is a paralog (77% similarity and 64% identity at the amino acid level) of the well-described Atlantic salmon peptide transporter 1b [PepT1b, alias PepT1; or solute carrier family 15 member 1b (Slc15a1b)]. Comparative analysis and evolutionary relationships of gene/protein sequences were conducted after ad hoc database mining. Tissue mRNA expression analysis was performed by quantitative real-time PCR, whereas transport function analysis was accomplished by heterologous expression in Xenopus laevis oocytes and two-electrode voltage-clamp measurements. Atlantic salmon pept1a is highly expressed in the proximal intestine (pyloric ceca ≈ anterior midgut > midgut >> posterior midgut), in the same gut regions as pept1b but notably ~5-fold less abundant. Like PepT1b, Atlantic salmon PepT1a is a low‐affinity/high‐capacity system. Functional analysis showed electrogenic, Na+-independent/pH-dependent transport and apparent substrate affinity (K0.5) values for Gly-Gln of 1.593 mmol/L at pH 7.6 and 0.076 mmol/L at pH 6.5. In summary, we show that a piscine PepT1a-type transporter is functional. Defining the role of Atlantic salmon PepT1a in the gut will help to understand the evolutionary and functional relationships among peptide transporters. Its functional characterization will contribute to elucidate the relevance of peptide transporters in Atlantic salmon nutritional physiology.acceptedVersio

    Outcomes of carotid artery stenting versus historical surgical controls for radiation-induced carotid stenosis

    Get PDF
    PurposeTo evaluate the outcomes of carotid artery stenting (CAS) and open surgical repair (OR) for treatment of radiation-induced carotid stenosis (RICS).MethodsWe retrospectively reviewed 60 patients treated for 73 RICSs from a group of 5,824 patients who had carotid interventions between 1992 and 2009. Thirty-three patients (37 arteries) were treated with CAS and 27 patients (36 arteries) with OR. CAS was performed using embolic protection as part of a prospective institutional registry since 2003. End-points included mortality, stroke, myocardial infarction (MI), cranial nerve injury (CNI), wound complication, restenosis, and reintervention.ResultsDemographics and cardiovascular risk factors were similar in both groups, with the exception of higher rates (P < .05) of hyperlipidemia (81% vs 56%) and coronary artery disease (63% vs 33%) in OR patients. There were more patients with tracheostomy (31% vs 4%) and time interval from irradiation to intervention was longer in the CAS group. There were no early deaths. At 30 days, OR was associated with one (3%) stroke, two (5.5%) MIs, six (17%) CNIs, and three (8%) wound complications. OR patients with prior radical neck dissections had more wound complications (14% vs 5%) and CNIs (28% vs 9%) compared with those without neck dissections. In the CAS group, there were two (6%) strokes and no MIs, CNIs, or wound complications. Mean length of hospital stay was longer after OR than CAS (4.1 ± 3.7 days vs 2.4 ± 2.1 days; P = .02). Median follow-up was 58 months. At 7 years, OR was associated with higher patient survival (75% ± 15% vs 29% ± 13%, P = .008) and freedom from neurological events (100% vs 57% ± 9.5%, P = .058), but similar freedom from restenosis (80% ± 10% vs 72% ± 9%) and reinterventions (87% ± 10% vs 86% ± 9%) compared with CAS.ConclusionCarotid artery stenting for radiation-induced stenosis has the advantages of no CNI or wound complications with similar early stroke rate compared with open carotid repair. However, the lower freedom from neurological events may offset the early benefits of carotid stenting in patients who are considered good candidates for open surgery
    corecore