Search results for "Turing"
showing 10 items of 2644 documents
On the Computational Complexity of Binary and Analog Symmetric Hopfield Nets
2000
We investigate the computational properties of finite binary- and analog-state discrete-time symmetric Hopfield nets. For binary networks, we obtain a simulation of convergent asymmetric networks by symmetric networks with only a linear increase in network size and computation time. Then we analyze the convergence time of Hopfield nets in terms of the length of their bit representations. Here we construct an analog symmetric network whose convergence time exceeds the convergence time of any binary Hopfield net with the same representation length. Further, we prove that the MIN ENERGY problem for analog Hopfield nets is NP-hard and provide a polynomial time approximation algorithm for this p…
Descriptive Complexity, Lower Bounds and Linear Time
1999
This paper surveys two related lines of research: Logical characterizations of (non-deterministic) linear time complexity classes, and non-expressibility results concerning sublogics of existential second-order logic. Starting from Fagin’s fundamental work there has been steady progress in both fields with the effect that the weakest logics that are used in characterizations of linear time complexity classes are closely related to the strongest logics for which inexpressibility proofs for concrete problems have been obtained. The paper sketches these developments and highlights their connections as well as the obstacles that prevent us from closing the remaining gap between both kinds of lo…
A Battery-Free Smart Sensor Powered with RF Energy
2018
The development of Internet of Things (IoT) infrastructure and applications is stimulating advanced and innovative ideas and solutions, some of which are pushing the limits of state-of-the-art technology. The increasing demand for Wireless Sensor Network (WSN) that must be capable of collecting and sharing data wirelessly while often positioned in places hard to reach and service, motivates engineers to look for innovative energy harvesting and wireless power transfer solutions to implement battery-free sensor nodes. Due to the pervasiveness of RF (Radio Frequency) energy, RF harvesting that can reach out-of-sight places could be a key technology to wirelessly power IoT sensor devices, whic…
On coincidence of feedback and global Stackelberg equilibria in a class of differential games
2021
This paper shows for a class of differential games that the global Stackelberg equilibrium (GSE) coincides with the feedback Stackelberg equilibrium (FSE), although the GSE assumes that the leader/regulator an- nounces at the initial time the regulatory instrument rule she will follow for the rest of the game, while in the FSE, the regulator at any time chooses the optimal level of the regulatory instrument rate. This coincidence is based on the fact that the FSE is calculated using dynamic programming what implies that although the regulator chooses the regulatory instrument rate level that maximizes social welfare, the first-order condition for the maximization of the right-hand side of t…
Computational Complexity and Communication: Coordination in Two-Player Games
2002
The main contribution of this paper is the development and application of cryptographic techniques to the design of strategic communication mechanisms. One of the main assumptions in cryptography is the limitation of the computational power available to agents. We introduce the concept of limited computational complexity, and by borrowing results from cryptography, we construct a communication protocol to establish that every correlated equilibrium of a two-person game with rational payoffs can be achieved by means of computationally restricted unmediated communication. This result provides an example in game theory where limitations of computational abilities of players are helpful in solv…
Numerical and experimental analysis of a high innovative hydrofoil
2020
The hydrofoil is a craft where the weight is entirely supported by the lift generated by the submerged part of wings. The particular structure of the craft requires a thorough study of the architecture of the hull, whose structure differs from others high speed vessels since the lift on wing surfaces are transmitted to the hull in limited areas (wing attacks). The authors have developed a research to optimize geometry of hull and wing system on a hydrofoil capable to carry 250 passengers at a speed of 35 knots, operating among Sicilian island. The principal goals of the new hydrofoil concern both the fuel reduction that the improvement of the comfort in terms of seakeeping and levels of aco…
On the Interconnections of HV–MV Stations to Global Grounding Systems
2019
The interconnection of grounding systems of HV-MV stations via the armors of medium voltage cables, is herein analyzed to verify the effects on touch voltages in ground-fault conditions. The major contributions of this paper are two: the analysis of the impact of an HV ground-fault on a global grounding system (GGS), and the analysis of the parameters that may affect safety due to the interconnection between HV-MV stations and the GGS. The authors have analyzed cases when the connection of an HV-MV station to a GGS improves safety, and then may introduce hazards under ground-fault conditions. Two main issues are herein discussed: 1) the transfer of dangerous voltages to substations, due to …
Portable low-cost open-source wireless spectrophotometer for fast and reliable measurements
2020
This article is based upon COST Action CA16215 and supported by the ERDF , European-Union Project No.1.1.1.2/16/I/001.
Unmanned Aerial Vehicle-Based Non Destructive Diagnostics
2018
The paper proposes a cloud platform for analyzing the radiometric infrared videos uploaded by drones which patrol large photovoltaic plants. Thanks to artificial vision algorithms, it does not require any human support to select and associate the framed PV modules to the corresponding ones in the topology of the photovoltaic plant. The algorithm implements an innovative diagnostic protocol, which evaluates the thermal state of the photovoltaic module, whichever the environmental conditions are. The data automatically computed and collected in a multimedia database provide the O&M technicians with significant information to monitor the ageing of each module of the photovoltaic plant. The pro…
Recent Developments in the Design and Control of Cold Forming Processes
1999
In the paper some problems of process design and control in metal forming are taken into account. In particular as far as the former aspect is concerned, the problem of the preform design in cold forging is analyzed: the contributions offered by several researchers are presented and an innovative design procedure is proposed. As well, the suitability of closed-loop control systems for metal forming applications is discussed with particular reference to sheet stamping operations; again, after an overview of the state of the art, the advantages offered by the application in this field of Artificial Intelligence techiniques is pointed out.