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.
Sophisticated cyber attacks by state-sponsored and criminal actors continue to plague government and industrial infrastructure. Intuitively, partitioning cyber systems into survivable, intrusion tolerant compartments is a good idea. This prevents witting and unwitting insiders from moving laterally and reaching back to their command and control (C2) servers. However, there is a lack of artifacts that...
The specific problems of the disconnection of HVDC breakers need an analysis of performances at laboratory scale. In the study of hybrid circuit breakers with commutation, three steps are necessary: modeling, simulation and experimental tests. The paper presents a modeling procedure for a hybrid commutation breaker intended to operate using resonant circuits phenomenon. Using the Matlab platform,...
This paper is concerned with the fault diagnosis of three-phase full-bridge rectifier. A new approach is proposed to extract the fault features in both frequency and time domain. The integrated features are used for the training of an LM-BP neural network, which is then applied for the fault classification. The simulation experiments are implemented on the fault diagnosis model built in MATLAB/Simulink,...
In this paper, quadrotor with air drag is locally asymptotically stabilized by using controlled Lagrangians method. Three linear subsystems are got by conducting input transformations, linearization at the desired equilibrium, and invertible state transformations to dynamical model of quadrotor. Then subsystem with two under-actuation degrees is asymptotically stabilized by utilizing controlled Lagrangians...
Cyber attacks are a critical threat to government infrastructure, commercial enterprises and personal devices. When belligerents attack cyber systems, they need to spread laterally to reach high value targets and communicate with their command and control sites. Intuitively, a layered defense including intrusion detection systems will limit the adversary's exploitation of the target. We apply lessons...
Water supply system has characteristics of non-linear, time-varying parameter, large time delay, so its mathematical model changes time by time. Water supply system widely use PID controller to keep constant pressure and PID controller need accurate mathematical model. The system that use PID controller is along with large overshoot, more adjusting time. Fuzzy controller don't need the accurate mathematical...
In this work, some smart appliances (i.e., smart refrigerator and smart washing machine) and the corresponding smart home model are introduced to show the importance of smartness to improve user comfort and energy efficiency in homes. Detailed Petri net models of the considered appliances are also given in order to enable a good general view of their operation and integration with the smart home....
The extensive involvement of energy conversion and storage technologies is becoming increasingly important in the context of energy transition. A sufficient modeling and simulation of large-scale and coherent cross-energy systems is essential to enable decision makers to put the right course. This process implies growing complexity in terms of physical and market economy modeling on the device-level,...
In this paper there is detailed the asynchronous operation caused by an important overload, of a synchronous motor. There are mentioned the currents of all the windings, main flux, electromagnetic torque, electrical angular speeds of the rotating field and of the rotor which define the amplitudes of the electrical, magnetic and mechanical stresses. The effect of the damping windings resistance in...
A measurement model for quantifying the intangible value of enterprise carbon management is proposed and established in this paper. We devise and formulate embedded management strategies of the assets for automobile enterprises, and develop a software agent-based system for simulating the evolution of the assets of automobile enterprises under three different scenarios. The results show that our measurement-based...
Cyber-Physical Systems (CPS) are composed of computation, networking, and physical processes. Model-based design is a powerful technique to apply mathematical modeling in CPS design. A model of a physical system is the description of variations in some aspects and properties of the system such as motion, velocity, and pressure. The variations of physical quantities such as motion, velocity, and pressure...
Characteristics of large photovoltaic (PV) panels under partially shaded conditions are characterized by multiple peaks and steps. This makes the tracking of the actual maximum power point (MPP) a difficult task. Moreover, most of the existing maximum power point tracking (MPPT) is unable to extract maximum power from the PV array under partial shading conditions. In this paper, a novel FLC method...
This paper emphasizes technical and economic parameters at direct-on-line starting of low power asynchronous motors. There are presented a lot of simulations and there are carried out experimental tests, in order to establish deviations which occur between the two methods. On the basis of the mathematical model presented, it is also possible to study other dynamic states: variation of voltage, of...
The purpose of this paper is to present the achievement of the Hybrid Petri Nets techniques used for modeling and behavioral analysis of a class of hybrid systems. In our sense, a dynamic hybrid system contains at least two distinct subsystems which interact: a continuous subsystem (linear, or not) and a discrete subsystem with a finite number of states. In this context, after a brief introduction...
With the accelerated urbanization process in China, more and more attention has been paid to residential environment quality. How to improve atmospheric quality, accelerate pollutant emission and reduce resource consumption by rationalizing layout is one of the most important issues in developing a healthy community. Based on the method of fluent flow field simulation, this paper chooses and analyzes...
The present work presents the design, construction and use of a discrete event simulator for student flow in academic study periods, as a tool to improve the allocation of resources and to make decisions for the reduction of student dropout rates and optimization of the career completion time.
Reliability and safety are important properties in the development of complex cyber-physical systems such as autonomous vehicles. Achieving a reliable autonomous vehicle is a challenging problem, as the unpredictability of the environment demands a reliable design methodology. Additionally, current testing procedures for ADAS features on vehicles are exhausting and time-consuming, so that a better...
Questions of computer realization for new class — three levels of adaptive manufacturing control system were considered. They were marked with special features that allow to form demands to methods of process description. It was shown that suggested homogeneous method suits mathematical description perfectly. The method consists of static linear programming task and differential equations. Local methods...
Modern scientific experimental facilities such as x-ray light sources increasingly require on-demand access to large-scale computing for data analysis, for example to detect experimental errors or to select the next experiment. As the number of such facilities, the number of instruments at each facility, and the scale of computational demands all grow, the question arises as to how to meet these demands...
The currently used hardware validation architectures for Application Specific Integrated Circuits intended for automotive Engine Control Unit development are reviewed and a new architecture is proposed. An alternative to hardware validation by different simulation architectures is proposed and analyzed.
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.