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.
In this paper we propose an algorithm that generates reduced-order time-domain macromodels of nonlinear circuits. The reduction technique is done in two steps. In the first step, proper orthogonal decomposition is used to reduce the size of the nonlinear differential algebraic equations describing the circuit. In the second step, feedforward neural networks are used to model the behavior of the nonlinear...
Manifold is a generic high-level system design language designed to resemble modern functional programming languages. It is intended to be usable in a variety of design domains that can be conceptualized with components, connectors, ports, and constraints. Domain-specific backends exist for microfluidic devices and digital logic circuits. In Manifold 2.0 we have enhanced both the frontend language...
Passive resistive circuit models are used to derive bounds for the solution of strictly diagonally dominant symmetric systems of algebraic equations with all of the off-diagonal entries being of the same sign and all diagonal and right-hand side entries being of opposite sign. The values of the unknowns are in an interval obtained from [0,1] by performing an appropriate scaling of the right-hand side...
Galois field (GF) arithmetic is used to implement critical arithmetic components in communication and security-related hardware, and verification of such components is of prime importance. Current techniques for formally verifying such components are based on computer algebra methods that proved successful in verification of integer arithmetic circuits. However, these methods are sequential in nature...
A novel State of Charge (SOC) estimation algorithm in Battery management system (BMS) needs to be simulated and tested abundantly before application. Therefore, in this paper, a hardware-in-loop (HIL) platform based on xPC target is built to simulate and test the SOC estimation algorithms. Firstly, we design a data acquisition system with a hardware filter. Secondly, a first-order RC network equivalent...
Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Gröbner basis polynomials and reduces the polynomial equation of the circuit specification wrt. the polynomials model. However, during the Gröbner basis reduction, the...
This paper deals with the simulation and modelling of a Quadruple-Tank interacting system using various controllers. Quadruple-Tank is a one kind of MIMO (Multiple Input Multiple Output) system. It is not possible to determine all the parameters used in Multi variable systems. The major issues in a multivariable process are that loop interaction can arise and causes difficulty in design of feedback...
In this article, our research focuses on the subjectivity of human experiences. We discuss the possible reasons for subjectivity and present a mathematical model which explains this phenomenon. Also an objective way to measure the subjectivity of human thinking is introduced.
The study of wind power system strongly relies on simulations in all kinds of methods. In industry, the feasibility and efficiency of wind power projects also will be verified by simulations at first. However, taking time cost and economy into consideration, simulations in large scales often sacrifice model details or computing precision in order to gain acceptable results in higher simulating speed...
In the present paper, a generalized SPICE simulation model of photovoltaic modules is developed, valid for operating conditions of solar irradiance and temperature different from nominal conditions. An extraction procedure for model parameter determination is proposed using datasheet characteristics of the modules. In order to improve the model accuracy, the values of the voltage Vmp and the current...
A generator of random numbers can be used in a calculation wherever a constant is used in a mathematical equation, for which changes of numerical values within a specific range can be determined on the base of an empirical research. This way a random change of a numerical value of one or more values influencing parameters of an electrical circuit can be expressed mathematically at the same time. A...
This paper is devoted to the comparison of the numerically simulated Chua's circuit and the real circuit. The aim of the research was to figure out the factors affecting the computer simulation accuracy, and to find the ways to improve it. It was discovered that the most influence is exerted by an inaccuracy of the nonlinear Chua's diode characteristic measurement, a numerical integration method used...
Quantum-like automaton memory-based model is offered; it is characterized by the properties of superposition, entanglement and parallelism for the synthesis of high-performance computers and focused on high-speed analysis of deterministic processes and phenomena in cyberspace.
Diffusion through graphs can be used to model many real-world process, such as the spread of diseases, social network memes, computer viruses, or water contaminants. Often, a real-world diffusion cannot be directly observed while it is occurring -- perhaps it is not noticed until some time has passed, continuous monitoring is too costly, or privacy concerns limit data access. This leads to the need...
In the present paper, computer empirical models of PV panels are developed in the Cadence PSpice environment. The model parameters are obtained from the datasheet characteristics. The model parameters are optimized using parametric analysis in order to increase the model accuracy.
Galois field computations abound in many applications, such as in cryptography, error correction codes, signal processing, among many others. Multiplication usually lies at the core of such Galois field computations, and is one of the most complex operations. Hardware implementations of such multipliers become very expensive. Therefore, there have been efforts to reduce the design complexity by decomposing...
The representation of digital circuits that are designed by Boolean functions is considered. The syntax of Boolean function we use is presented. This digital circuit representation in the form of data-flow graph is used as a basis for parallelizing of simulation process for multiprocessor computers.
According to chaotic characteristics, a method for studying on chaos by using Poincare sections is proposed. The method can study on sensitivity to parameters and initial conditions for chaotic system. A lot of experiments based on Chua's chaotic circuit have been done. The simulation results demonstrate the effectiveness of this method.
This paper presents a new tool titled "Param2bode" for dynamic performance analysis of compensated three-stage amplifiers. It adjusts the parameters while observing the effects on dynamic performance in real time. Param2bode is based on equations generated automatically using techniques from symbolic analysis. We will give details concerning the followed steps of configuration and use of...
This paper presents virtual Power Electronics laboratory based new approach for power electronics education with special attention to drives. This approach is based on computer modeling and simulation. MATLAB/Simulink is used in this paper to illustrate the application of computer modeling and simulation in power electronics education. This approach is student centered. Therefore, there will be active...
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.