Search results for " Logic"
showing 10 items of 1720 documents
Measurement and communication interfaces for distributed generation in smart grids
2013
The aim of this work is to perform a feasibility study on the measurement and communication strategies for the development of a new generation of interface devices for distributed generators and their integration on smart grids. The communication system can use one or more technologies, at the various levels, creating a low cost network infrastructure, in the framework of a SCADA (Supervisory Control and Data Acquisition) architecture. As regards the measurements, the attention is focused on the anti-islanding protection, based on a hybrid solution, which makes use of local measurements and communications with the grid, at both MV and LV level by employing the PLC technology. Some simulatio…
Probabilistic Evaluation of the Adaptation Time for Structures under Seismic Loads
2016
Abstract In this paper, a probabilistic approach for the evaluation of the adaptation time for elastic perfectly plastic frames is proposed. The considered load history acting on the structure is defined as a suitable combination of quasi-statical loads and seismic actions. The proposed approach utilizes the Monte Carlo method in order to generate a suitable large number of seismic acceleration histories and for each one the related load combination is defined. Furthermore, for each load combination the related adaptation time is determined, if any, as the optimal one for which the structure is able to shakedown under the unamplified applied actions. A known generalized Ceradini's theorem i…
Institutional perspectives in transition : research groups’ profiles and embeddedness in organisational and national context
2019
Research into differentiation and profiling of knowledge producing institutions through the lenses of institutional logics and field embeddedness have proliferated in recent years. By discussing this process in the context of research groups, as those basic units in which knowledge production epistemically and practically takes place, this article offers a contribution to the theoretical discussion on organisational differentiation. Based on a small-N comparative case study of research groups operating in different national and organisational contexts on a single, highly competitive and interdisciplinary applied sciences field, nanosciences, the article proposes research group profiles as h…
Fuzzy logic-decision-making system dedicated to evaluation of logistics project effectiveness
2016
Background: Project effectiveness is synonymous with project success. It is measured or assessed in terms of the degree to which project objectives are achieved. This paper presents an approach to evaluating the effectiveness of logistics projects. The starting point is the analysis of the current state of knowledge in the area of assessing project effectiveness, including logistics projects. The purpose of the study was to identify the critical factors determining the success of logistics projects and develop a model of logistics project effectiveness. Methods: The paper is based on the available recent scientific-theoretical research and publications and on practical studies in 25 enterpr…
Fuzzy logic-decision-making system dedicated to evaluation of logistics project effectiveness
2016
Background: Project effectiveness is synonymous with project success. It is measured or assessed in terms of the degree to which project objectives are achieved. This paper presents an approach to evaluating the effectiveness of logistics projects. The starting point is the analysis of the current state of knowledge in the area of assessing project effectiveness, including logistics projects. The purpose of the study was to identify the critical factors determining the success of logistics projects and develop a model of logistics project effectiveness. Methods: The paper is based on the available recent scientific-theoretical research and publications and on practical studies in 25 enterpr…
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
Learning from Implicit Learning Literature: Comment on Shea, Wulf, Whitacre, and Park (2001)
2003
International audience; In their analysis of complex motor skill learning, Shea, Wulf, Whitacre, and Park (2001) have overlooked one of the most robust conclusions of the experimental studies on implicit learning conducted during the last decade--namely that participants usually learn things that are different from those that the experimenter expected them to learn. We show that the available literature on implicit learning strongly suggests that the improved performance in Shea et al.'s Experiments 1 and 2 (and similar earlier experiments, e.g., Wulf & Schmidt, 1997) was due to the exploitation of regularities in the target pattern different from those on which the postexperimental intervi…
Riassunzione e inversione della logica hegeliana
1970
La partizone della dottrina dell'essere nella scienza della logica, discussa a partire dall'inversione che la relazione hegeliana fra le categorie della qualità e della quantità istituisce rispetto alla prospettiva aristotelica ed alla tradizione della logica medievale e moderna.
Modeling and designing a robotic swarm: A quantum computing approach
2023
Nature is a neverending source of inspiration for technology. Quantum physics suggests applications to- ward quantum computing. Swarms’ self-organization leads to robotic swarm developments. Here, quantum computing is applied to swarm robotics. We model local interactions with a quantum circuit, testing it on simulators and quantum computers. To relate local with global behavior, we develop a block matrix-based model. Diagonal sub-matrices contain information on single robots; off-diagonal sub-matrices are the pairwise interaction terms. Comparing different swarms means comparing different block matrices. Choosing initial values and computation rules for off-diagonal blocks (with a particul…
Quantum Information by Adiabatic Passage : Quantum Gates and Decoherence
2007
The first part of this thesis is about adiabatic quantum processes designed for the implementation of quantum logic gates, the elementary components of quantumcomputers, by the interaction of pulsed laser fields with atoms. The adiabaticmethods allow robust processes, i.e. which are not sensitive to the fluctuationsof experimental parameters. The processes described in this thesis only requireaccurate control of the polarisations and the relative static phases of thelaser fields. These processes allow the implementation of a universal set ofquantum gates, which make possible the implementation of all the other quantumgates by combinations.The second part of this thesis concerns the effects …