The adoption of dense industrial wireless network technologies in industrial plants is mandatorily paired with the development of methods and tools for connectivity prediction. These can be used to certify the quality...
详细信息
The adoption of dense industrial wireless network technologies in industrial plants is mandatorily paired with the development of methods and tools for connectivity prediction. These can be used to certify the quality (or reliability) of network information flow in industrial scenarios characterized by harsh propagation environments. Connectivity prediction must account for possibly coexisting heterogeneous radio access technologies as part of the internet of things (IoT) paradigm and easily allow post layout validation steps. The goal of the paper is to provide a practical evaluation of relevant coexistence problems between IEEE 802.15.4 and IEEE 802.11 networks, adopted here as widely used industry standards. Two different scenarios are tested with different radio platforms. Experimental results highlight the tolerable interference levels and sensitivity thresholds under different channel overlapping scenarios.
In recent years, MapReduce programming model and specifically its open source implementation Hadoop has been widely used by organizations to perform large-scale data processing tasks such as web-indexing, data mining ...
详细信息
A novel pose normalization method, based on panoramic views and reflective symmetry, is presented. Initially, the surface of a 3D model is projected onto the lateral surface of a circumscribed cylinder, aligned with t...
详细信息
A decentralized cooperative control strategy engaging offline and online computations for constrained multi-agent vehicle systems is presented in this paper. Intermittent data dropouts may incur concurrently to all ve...
详细信息
A search for direct pair production of top squarks in final states with two tau leptons, b-jets, and missing transverse momentum is presented. The analysis is based on proton-proton collision data at s=13 TeV corresp...
详细信息
A search for direct pair production of top squarks in final states with two tau leptons, b-jets, and missing transverse momentum is presented. The analysis is based on proton-proton collision data at s=13 TeV corresponding to an integrated luminosity of 36.1 fb−1 recorded with the ATLAS detector at the Large Hadron Collider in 2015 and 2016. Two exclusive channels with either two hadronically decaying tau leptons or one hadronically and one leptonically decaying tau lepton are considered. No significant deviation from the Standard Model predictions is observed in the data. The analysis results are interpreted in terms of model-independent limits and used to derive exclusion limits on the masses of the top squark t˜1 and the tau slepton τ˜1 in a simplified model of supersymmetry with a nearly massless gravitino. In this model, masses up to m(t˜1)=1.16 TeV and m(τ˜1)=1.00 TeV are excluded at 95% confidence level.
A detailed study of multiparticle azimuthal correlations is presented using pp data at s=5.02 and 13 TeV, and p+Pb data at sNN=5.02 TeV, recorded with the ATLAS detector at the CERN Large Hadron Collider. The azimutha...
详细信息
A detailed study of multiparticle azimuthal correlations is presented using pp data at s=5.02 and 13 TeV, and p+Pb data at sNN=5.02 TeV, recorded with the ATLAS detector at the CERN Large Hadron Collider. The azimuthal correlations are probed using four-particle cumulants cn{4} and flow coefficients vn{4}=(−cn{4})1/4 for n=2 and 3, with the goal of extracting long-range multiparticle azimuthal correlation signals and suppressing the short-range correlations. The values of cn{4} are obtained as a function of the average number of charged particles per event, Nch, using the recently proposed two-subevent and three-subevent cumulant methods, and compared with results obtained with the standard cumulant method. The standard method is found to be strongly biased by short-range correlations, which originate mostly from jets with a positive contribution to cn{4}. The three-subevent method, on the other hand, is found to be least sensitive to short-range correlations. The three-subevent method gives a negative c2{4}, and therefore a well-defined v2{4}, nearly independent of Nch, which implies that the long-range multiparticle azimuthal correlations persist to events with low multiplicity. Furthermore, v2{4} is found to be smaller than the v2{2} measured using the two-particle correlation method, as expected for long-range collective behavior. Finally, the measured values of v2{4} and v2{2} are used to estimate the number of sources relevant for the initial eccentricity in the collision geometry. The results based on the subevent cumulant technique provide direct evidence, in small collision systems, for a long-range collectivity involving many particles distributed across a broad rapidity interval.
Flavor-changing neutral currents are not present in the Standard Model at tree level and are suppressed in loop processes by the unitarity of the Cabibbo-Kobayashi-Maskawa matrix; the corresponding rates for top quark...
详细信息
Flavor-changing neutral currents are not present in the Standard Model at tree level and are suppressed in loop processes by the unitarity of the Cabibbo-Kobayashi-Maskawa matrix; the corresponding rates for top quark decay processes are experimentally unobservable. Extensions of the Standard Model can generate new flavor-changing neutral current processes, leading to signals which, if observed, would be unambiguous evidence of new interactions. A data set corresponding to an integrated luminosity of 36.1 fb−1 of pp collisions at a center-of-mass energy of s=13 TeV recorded with the ATLAS detector at the Large Hadron Collider is used to search for top quarks decaying to up or charm quarks with the emission of a Higgs boson, with subsequent Higgs boson decay to final states with at least one electron or muon. No signal is observed and limits on the branching fractions B(t→Hc)<0.16% and B(t→Hu)<0.19% at 95% confidence level are obtained (with expected limits of 0.15% in both cases).
In model-based design of cyber-physical systems, such as switched mixed-signal circuits or software-controlled physical systems, it is common to develop a sequence of system models of different fidelity and complexity...
详细信息
In model-based design of cyber-physical systems, such as switched mixed-signal circuits or software-controlled physical systems, it is common to develop a sequence of system models of different fidelity and complexity, each appropriate for a particular design or verification task. In such a sequence, one model is often derived from the other by a process of simplification or implementation. E.g. a Simulink model might be implemented on an embedded processor via automatic code generation. Three questions naturally present themselves: how do we quantify closeness between the two systems? How can we measure such closeness? If the original system satisfies some formal property, can we automatically infer what properties are then satisfied by the derived model? This paper addresses all three questions: we quantify the closeness between original and derived model via a distance measure between their outputs. We then propose two computational methods for approximating this closeness measure. Finally, we derive syntactical re-writing rules which, when applied to a Metric Temporal Logic specification satisfied by the original model, produce a formula satisfied by the derived model. We demonstrate the soundness of the theory with several experiments.
Wordnets are lexico-semantic resources essential in many NLP tasks. Princeton WordNet is the most widely known, and the most influential, among them. Wordnets for languages other than English tend to adopt unquestioni...
详细信息
Wordnets are lexico-semantic resources essential in many NLP tasks. Princeton WordNet is the most widely known, and the most influential, among them. Wordnets for languages other than English tend to adopt unquestioninglyWordNet's structure and its net of lexicalised concepts. We discuss a large wordnet constructed independently of WordNet, upon a model with a small yet significant difference. A mapping ontoWordNet is under way;the large portions already linked open up a unique perspective on the comparison of similar but not fully compatible lexical resources. We also try to characterise numerically a wordnet's aptitude for NLP applications.
暂无评论