945 research outputs found

    A multilayer microperforated panel prototype for broadband sound absorption at low frequencies

    Get PDF
    Microperforated panel (MPP) absorbers are one of the most promising alternatives to porous sound absorbing materials. However, these structures cannot achieve high and broadband absorption at low frequencies. To be effective, once defined the material properties the geometrical parameters of the absorber need to be optimized to match the prescribed absorption level. This paper presents a multiple layer MPP absorber with a high sound absorption coefficient and broadband absorption at low frequencies. An electro-acoustical equivalent circuit model was used for a parametric analysis to study the relationships between the absorption mechanism and the absorbers geometrical parameters in the proposed multilayer MPP. A prototype of this absorber was machined and tested in an impedance tube test ring and the experimental acoustical properties in terms of absorption coefficient were extracted using the transfer function method. It was demonstrated that the five-layer MPP absorber was capable of guaranteeing a high absorption (constantly over 90%) in a frequency range from 400 to 2000 Hz. The results indicate that the proposed multilayer MPP absorber provides a good alternative for sound absorption applications.</p

    Validation of the Predictive Model of the European Society of Cardiology for Early Mortality in Acute Pulmonary Embolism

    Get PDF
    Background \u2003Acute pulmonary embolism (PE) is burdened by high mortality, especially within 30 days from the diagnosis. The development and the validation of predictive models for the risk of early mortality allow to differentiate patients who can undergo home treatment from those who need admission into intensive care units. Methods \u2003To validate the prognostic model for early mortality after PE diagnosis proposed by the European Society of Cardiology (ESC) in 2014, we analyzed data of a cohort of 272 consecutive patients with acute PE, observed in our hospital during a 10-year period. Moreover, we evaluated the additional contribution of D-dimer, measured at PE diagnosis, in improving the prognostic ability of the model. All cases of PE were objectively diagnosed by angiography chest CT scan or perfusion lung scan. Results \u2003The overall mortality rate within 30 days from PE diagnosis was 10% (95% confidence interval [CI]: 6.4-13.5%). According to the ESC prognostic model, the risk of death increased 3.23 times in the intermediate-low-risk category, 5.55 times in the intermediate-high-risk category, and 23.78 times in the high-risk category, as compared with the low-risk category. The receiver operating characteristic analysis showed a good discriminatory power of the model (area under the curve [AUC]\u2009=\u20090.77 [95% CI: 0.67-0.87]), which further increased when D-dimer was added (AUC\u2009=\u20090.85 [95% CI: 0.73-0.96]). Conclusion \u2003This study represents a good validation of the ESC predictive model whose performance can be further improved by adding D-dimer plasma levels measured at PE diagnosis

    Kinematic mental simulations in abduction and deduction

    Get PDF
    We present a theory, and its computer implementation, of how mental simulations underlie the abductions of informal algorithms and deductions from these algorithms. Three experiments tested the theory’s predictions, using an environment of a single railway track and a siding. This environment is akin to a universal Turing machine, but it is simple enough for nonprogrammers to use. Participants solved problems that required use of the siding to rearrange the order of cars in a train (experiment 1). Participants abduced and described in their own words algorithms that solved such problems for trains of any length, and, as the use of simulation predicts, they favored “while-loops” over “for-loops” in their descriptions (experiment 2). Given descriptions of loops of procedures, participants deduced the consequences for given trains of six cars, doing so without access to the railway environment (experiment 3). As the theory predicts, difficulty in rearranging trains depends on the numbers of moves and cars to be moved, whereas in formulating an algorithm and deducing its consequences, it depends on the Kolmogorov complexity of the algorithm. Overall, the results corroborated the use of a kinematic mental model in creating and testing informal algorithms and showed that individuals differ reliably in the ability to carry out these tasks

    Planar Thinned Arrays: Optimization and Subarray Based Adaptive Processing

    Get PDF
    A new approach is presented for the optimized design of a planar thinned array; the proposed strategy works with single antenna elements or with small sets of different subarray types, properly located on a planar surface. The optimization approach is based on the maximization of an objective function accounting for side lobe level and considering a fixed number of active elements/subarrays. The proposed technique is suitable for different shapes of the desired output array, allowing the achievement of the desired directivity properties on the corresponding antenna pattern. The use of subarrays with a limited number of different shapes is relevant for industrial production, which would benefit from reduced design and manufacturing costs. The resulting modularity allows scalable antenna designs for different applications. Moreover, subarrays can be arranged in a set of subapertures, each connected to an independent receiving channel. Therefore, adaptive processing techniques could be applied to cope with and mitigate clutter echoes and external electromagnetic interferences. The performance of adaptive techniques with subapertures taken from the optimized thinned array is evaluated against assigned clutter and jamming scenarios and compared to the performance achievable considering a subarray based filled array with the same number of active elements

    Linearity in the non-deterministic call-by-value setting

    Full text link
    We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

    Call-by-value non-determinism in a linear logic type discipline

    Get PDF
    We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction
    • …
    corecore