The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The information and communication technology (ICT) infrastructure that will empower the Smart Grid with real-time management of power flows, bidirectional metering, and more effective integration of renewable energy sources is both large and complex, involving many different sensing, measurement, and control devices. The analysis of such large-scale distributed systems together with the possible communications...
Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on WGL we give an algorithm for checking. Comparing the model WLDDs, the experiments show that the WGL...
The numerical simulation of hydraulic characteristics is carried out with delay detached eddy simulation (DDES) model and VOF method. The simulation results agree well with experimental date. The flow condition is smooth, the length of lateral cavity gradually increases with the size of lateral enlargement increases, only small water-wing emerges after the lateral cavity and the backwater do not appear...
The analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model of computation (MoC) preserves the semantics of the original AADL model or at least some of its properties. Moreover, the AADL standard lacks a formal...
Signal controlled intersection is critical to the urban traffic network, signal timing optimization is important to reduce traffic delays, relieve congestion, and improve the operation of urban traffic network. This study proposed a phase sequence optimization model for coordination control based on NEMA phase. After establishing the experimental network, VISSIM was adopted for testifying the effectiveness...
This work addresses employing direct and indirect discretization methods to obtain a rational discrete approximation of continuous time parallel fractional PID controllers. The different approaches are illustrated by implementing them on an example.
Good point set scanning-based self-learning worms can reach a stupendous propagation speed in virtue of the non-uniform vulnerable-host distribution than that of traditional worms. In order to combat self-learning worms, this paper proposes an interaction model. Using the interaction model, we obtain the basic reproduction number. The impact of different parameters of predators is studied. Simulation...
A distributed regional Traffic Signal Optimization Hardware-in-loop Simulation (TSOHS) system is designed, which aims at improving the operating ability for post-graduate students. The main components of the TSOHS system include 1 Center Server, 5 local intersection controllers and 120 traffic lights. The traffic lights can be controlled by each local intersection controller in defined control strategies,...
Flight delay is the root of Delay Propagation, while delay propagated within a Flight Chain. Busy hub-airport plays an important role in a Flight Chain, since the Initial Delay often happens there. To research more possible impacting factors in the Flight Chain, a busy hub-airport is chosen as the object in this research. After analyzing the complex and uncertain relationship between flight delays...
In the last years, grid computing has emerged as a valuable service to solve complex computational problems in many scientific and industrial domains. Quality of Service (QoS) provision for these applications is therefore a key challenge for high speed Next Generation Networks and cross-layer mechanisms, enabling the development of network-aware grids, should be introduced. This paper takes into account,...
Internet coordinate systems (ICS) have been proposed as a method for estimating delays between hosts without direct measurement. However, they can only be accurate when the triangle inequality holds for Internet delays. Actually triangle inequality violations (TIVs) are frequent and are likely to remain a property of the Internet due to routing policies or path inflation. In this paper we propose...
This paper discusses several fault protection methods for a notional future shipboard power system(SPS), highlighting their merits and drawbacks. Typical shipboard power systems have radial topologies and simplex structures, and the existing protective analysis of SPS is regardless of various operating modes. In this paper, the newly considered system is ladder-shaped with three typical operating...
IEEE802.11 suffered from limited data confidentiality and cumbersome procedure for exchange of security parameters. In response to the security limitations in IEEE802.11, IEEE introduced 802.1x for authentication and key management. IEEE802.1x is a port based network access control protocol that uses extensible authentication protocol (EAP) at the transport layer.IEEE802.1x defines authentication...
Active network is a new framework where it not only forwards packets, but also performs customized computation on packets. It provides a programmable interface to users where users dynamically inject services through nodes. This paper discusses the forwarding model and mechanism of message based on active network management model, analyzes the structure and characteristics of this model, and studies...
In this paper we describe a novel, hardware implementation friendly model of spiking neurons, with "sparse temporal coding". This is used then to implement a neural network on a FPGA platform, yielding a high degree of parallelism. In the first section of this paper the biological background of spiking neural networks are discussed such as the structure and the functionality of natural neurons...
A few indoor channel models have been studied so far for different environments and the propagation mechanism for indoor industrial environment is evaluated. The channel properties arising from this propagation mechanism are quite important to build systems that realize all the potentials of UWB. In this paper, we propose a statistical channel model based on S-V model for industrial environment. The...
The hybrid Chi language is a formalism for modeling, simulation and verification of hybrid systems. The formal semantics of hybrid Chi allows the definition of provably correct implementations for simulation, verification and real-time control. This paper discusses the principles of deriving an implementation for simulation and verification directly from the semantics, and presents an implementation...
Presents an approach that has been proposed in order to investigate the workload balance problems in a simulator of the Wolf parallel architecture, known as Saw (Simulator of Architecture Wolf). This approach can be applied to the simulator in order to eliminate overloaded and underloaded units observed during the first experiments on the Wolf architecture. The unexpected results obtained are well-understood...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.