5,548 research outputs found
Geometric Poisson brackets on Grassmannians and conformal spheres
In this paper we relate the geometric Poisson brackets on the Grassmannian of
2-planes in R^4 and on the (2,2) Moebius sphere. We show that, when written in
terms of local moving frames, the geometric Poisson bracket on the Moebius
sphere does not restrict to the space of differential invariants of Schwarzian
type. But when the concept of conformal natural frame is transported from the
conformal sphere into the Grassmannian, and the Poisson bracket is written in
terms of the Grassmannian natural frame, it restricts and results into either a
decoupled system or a complexly coupled system of KdV equations, depending on
the character of the invariants. We also show that the biHamiltonian
Grassmannian geometric brackets are equivalent to the non-commutative KdV
biHamiltonian structure. Both integrable systems and Hamiltonian structure can
be brought back to the conformal sphere.Comment: 33 page
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Many Control Systems are indeed Software Based Control Systems, i.e. control
systems whose controller consists of control software running on a
microcontroller device. This motivates investigation on Formal Model Based
Design approaches for automatic synthesis of control software.
Available algorithms and tools (e.g., QKS) may require weeks or even months
of computation to synthesize control software for large-size systems. This
motivates search for parallel algorithms for control software synthesis.
In this paper, we present a Map-Reduce style parallel algorithm for control
software synthesis when the controlled system (plant) is modeled as discrete
time linear hybrid system. Furthermore we present an MPI-based implementation
PQKS of our algorithm. To the best of our knowledge, this is the first parallel
approach for control software synthesis.
We experimentally show effectiveness of PQKS on two classical control
synthesis problems: the inverted pendulum and the multi-input buck DC/DC
converter. Experiments show that PQKS efficiency is above 65%. As an example,
PQKS requires about 16 hours to complete the synthesis of control software for
the pendulum on a cluster with 60 processors, instead of the 25 days needed by
the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text
overlap with arXiv:1207.4474, arXiv:1207.409
Restructuring the Philippine Statistical System in Response to New Challenges
For a national statistical system to continue to be useful and relevant to its clients and the general public, it has to occasionally undergo an exhaustive evaluation of its performance according to certain parameters. The Philippine statistical system had recently gone through such process. This Policy Notes provides a summary of the findings and recommendations of the evaluation.statistical system, Philippine Statistical System (PSS)
Women entrepreneurs and innovation: Retrospect and prospect
This paper answers the call for a deeper understanding of innovation issues in relation to female entrepreneurship. In doing so, it offers a comprehensive and updated picture of the state of the art of management research on innovation in women-owned firms. Specifically, by conducting a systematic literature review, which is widely used in management studies, and by using rigorous and replicable criteria, this manuscript seeks to understand this crucial intersection through an in depth investigation of 48 papers, thus addressing a relevant gap that exists in literature to date. Results demonstrate that, despite the increasing attention given to female entrepreneurship and innovation at both political and social levels, due to their key role worldwide, a significant gap in the integration of these two areas still exists. Thus, it is time for scholars to reimagine the concept of innovation and to explore the untapped potential within female entrepreneurship, redefining and bringing to light all the facets that innovation may have. The study provides avenues on which scholars should focus in order to help policy makers to work towards fostering a more inclusive and dynamic entrepreneurial ecosystem that empowers women to drive innovation and economic growth
Luteal Blood Flow and progesterone concentration during first and second postpartum estrous cycle in lactating dairy cows
The aim of the present study was to determine the differences in corpus luteum (CL) functionality between the first postpartum estrous cycle and the following cycle in lactating dairy cows. Luteal blood flow (LBF), luteal size and blood progesterone (P4) concentration were monitored during the first and second postpartum estrous cycle. During the first and second postpartum estrous cycle, the mean LBF value increased (p < .05) from early to late dioestrus, while it decreased rapidly in proestrus, resulting statistically lower (p < .05) than those registered in all previous phases. Statistically significant differences were not observed between overall LBF during first and second postpartum estrous cycle (p > .05). During the first postpartum estrous cycle, P4 blood concentrations showed a significant reduction (p < .05) from dioestrus to proestrus. A different trend of P4 concentrations was observed during the second postpartum estrous cycle, where mean P4 value registered in proestrus resulted statistically lower than those registered in the previous cycle phases (p < .05). The mean P4 concentration registered over the first postpartum estrous cycle resulted statistically lower (p < .05) than that registered during the second one. A significant correlation between P4 concentrations and LBF was registered only during the second postpartum estrous cycle. Results indicate that during the first postpartum estrous cycle, P4 concentration was independent of luteal blood flow and luteal size
A Methodology for Parameter Estimation of Nonlinear Single Track Models from Multibody Full Vehicle Simulation
In vehicle dynamics, simple and fast vehicle models are required, especially in the framework of real-time simulations and autonomous driving software. Therefore, a trade-off between accuracy and simulation speed must be pursued by selecting the appropriate level of detail and the corresponding simplifying assumptions based on the specific purpose of the simulation. The aim of this study is to develop a methodology for map and parameter estimation from multibody simulation results, to be used for simplified vehicle modelling focused on handling performance. In this paper, maneuvers, algorithms and results of the parameter estimation are reported, together with their integration in single track models with increasing complexity and fidelity. The agreement between the multibody model, used as reference, and four single track models is analyzed and discussed through the evaluation of the correlation index. The good match between the models validates the adopted simulation methodology both during steady-state and during transient maneuvers. In a similar way, this method could be applied to experimental data gathered from a real instrumented car rather than from a multibody model
Atmospheric neutrino spectrum reconstruction with JUNO
The atmospheric neutrino flux represents a continuous source that can be
exploited to infer properties about Cosmic Rays and neutrino oscillation
physics. The JUNO observatory, a 20 kt liquid scintillator currently under
construction in China, will be able to detect atmospheric neutrinos , given the
large fiducial volume and the excellent energy resolution. The light produced
in neutrino interactions will be collected by a double-system of photosensors:
about 18.000 20" PMTs and about 25.000 3" PMTs. The rock overburden above the
experimental hall is around 700 m and the experiment is expected to complete
construction in 2021. In this study, the JUNO performances in reconstructing
the atmospheric neutrino spectrum have been evaluated. The different time
evolution of scintillation light on the PMTs allows to discriminate the flavor
of the primary neutrinos. To reconstruct the time pattern of events, the
signals from 3" PMTs only have been used, because of the small time resolution.
A probabilistic unfolding method has been used, in order to infer the primary
neutrino energy spectrum by looking at the detector output. The simulated
spectrum has been reconstructed between 100 MeV and 10 GeV, showing a great
potential of the detector in the atmospheric low energy region. The
uncertainties on the final flux, including both statistic and the systematic
contributions, range between 10% and 25%, with the best performances obtained
at the GeV.Comment: 7 pages, 7 figures. Proceeding for a parallel talk at the 2019
EPS-HEP Conference. arXiv admin note: text overlap with arXiv:1901.1034
Un alimentatore solare per stazioni remote
Un alimentatore solare può essere un oggetto sofisticato: quello che è stato realizzato dall’LNTS
(Laboratori Nuove Tecologie Strumenti, UF Laboratori, Roma1) è una tessera del progetto STRADIUM
(ASI), e fa tesoro dell’esperienza acquisita nella progettazione degli alimentatori del progetto PEGASO
[Iarocci et al., 2008]. Nato per l’uso in stratosfera, l’alimentatore si presta benissimo all’uso in stazioni
geofisiche remote.
L’alimentatore accetta tre pannelli solari in ingresso ed utilizza due batterie di elementi Sn-Pb tenendo
conto della variazione delle caratteristiche di carica con la temperatura. L’intervallo di temperatura di
funzionamento, batterie comprese, va da –50 a + 60°C. La pressione di esercizio va da 1 bar a 5 mbar (dal
livello del mare a 35 Km). Questi valori sono stati verificati sul prototipo, batterie comprese, in camera
termovuoto. Le pagine che seguono sono quelle del manuale scritto a corredo dell’apparecchio: forniscono
una descrizione fedele del principio di funzionamento e del dettaglio tecnico. Le seguenti figure fuori testo
illustrano alcune delle fasi di costruzione e verifica del prototipo
Measuring degree-degree association in networks
The Pearson correlation coefficient is commonly used for quantifying the
global level of degree-degree association in complex networks. Here, we use a
probabilistic representation of the underlying network structure for assessing
the applicability of different association measures to heavy-tailed degree
distributions. Theoretical arguments together with our numerical study indicate
that Pearson's coefficient often depends on the size of networks with equal
association structure, impeding a systematic comparison of real-world networks.
In contrast, Kendall-Gibbons' is a considerably more robust measure
of the degree-degree association
Study of the performance of standard RPC chambers as a function of bakelite temperature
A systematic study of the performance of the Resistive Plate Chambers as a function of the bakelite temperature is presented. The current, the rate and the efficiency were measured in the temperature range 22-40degreesC. The values of the relative humidity during the data taking were in the range 40-60%. Measurements show a strong dependence of the efficiency on bakelite temperature. (C) 2003 Elsevier Science B.V. All rights reserved
- …