836 results found.
Year: 2016, Volume: 16, Number: 1
... the correct simulation of the perspective; however, fault modeling capability is low. RTL system, according to ... for a single entity, while in Verilog, a model checking using PRISM is used for deriving the different ... description is employed. reliability at RTL. Thus, this approach uses SFI for low 2.2. Saboteurs – ...
Terms matched: 6 - Score: 226 - 1,164k
Year: 2021, Volume: 21, Number: 3
... the the requirements, there are plenty of tools for modeling, analyzing, and validating the requirements. It ... , the verification can be achieved by analysis of the model of a II. FUNDAMENTALS OF THE VERIFICATION-BASED LANGUAGE ... language, G. Existing DSL Testing Tools where the models are used to analyze the system, create, ...
Terms matched: 6 - Score: 204 - 1,944k
Year: 2010, Volume: 10, Issue: 2
... . [7] Vladan P. Vujiucic, "Modeling of a Switched Reluctance Machine Based on the Invertible ... offer. When compared with DC proposes a new numerical model of a Linear Switched drives the absence of brushes ... process continues. (20). Through the proposed models it is possible to compute MMFestimation  2 airgap ...
Terms matched: 6 - Score: 204 - 1,035k
Year: 2020, Volume: 20, Number: 4
... : 2011 IEEE 7th International Conference on Wireless and Mobile Modeling and Simulation of Computer Networks and Systems. pp ... the proposed when other known schedulers exceeded the maximum delay model, even though the proposed scheduler can be applied ... Such servers can support different scheduling disciplines and different traffic models. In the case of an LR scheduler, ...
Terms matched: 6 - Score: 167 - 1,306k
Year: 2014, Volume: 14, Number: 2
... it results (Fig. 3) a combined The modeling procedure is the same for both blunting serial and ... aspect, other independent variables that II. THE MATHEMATICAL MODEL OF THE BLUNTING determine the position in each tank ... these do not introduce non-linearity [22] in their models, due to the big volume of the tanks ...
Terms matched: 6 - Score: 156 - 862k
Year: 2021, Volume: 21, Number: 2
... theory", encountered problems can be addressed to the modeling of evolving toward artificial intelligence applications, non-linear, ... is based on densities that are implemented to any state model [7]. In the simultaneous usage of ... , and E. J. Delp, "New models for real-time tracking using 2012, vol. 3 ...
Terms matched: 6 - Score: 149 - 1,876k
Year: 2013, Volume: 13, Number: 2
... computational load between GPC obj computer and RCE – the modeling tools or profilers, tcompile- duration of computer ... divides this program into the computer should automatically generate a model APPM from the subprogram PGPC and RCE subprogram PRCE ... Introduction to Reconfigurable Computing: • development of the interaction models of SCCS software Architectures, Algorithms, and Applications ...
Terms matched: 6 - Score: 141 - 605k
Year: 2016, Volume: 16, Number: 2
... Informatics (SACI), Doubly fed induction machine: Modeling and control for wind energy Timisoara, Romania, ... time for short-circuit development is often identification of a linear model which describes the plant equal to the time delay ... 304 – 309. doi: Tuning Method Using CARMA Models Based on Minimum Variance 10.1109/CENCON.2014.6967520 Evaluation, ...
Terms matched: 6 - Score: 141 - 1,330k
Year: 2018, Volume: 18, Number: 2
... Composite loads in the SCSS. stand-alone inverter-based microgrids – modeling procedure and Four performance indices (i.e. voltage ... of the storage system. SCs alone are composite load model for stand-alone MGs. used to mitigate the diesel ... to which the SCSS is the stability, two exciter models for the synchronous added. The control strategy for ...
Terms matched: 6 - Score: 104 - 1,643k
Year: 2014, Volume: 14, Number: 3
... . trust combination. The main purpose of TNA-SL is modeling transitive trust Transitive trust is the case where someone ... global minimum x. third group we should design a model to approximate the target function in the trust-region. ... the first group, Nelder- For better understanding, an example for this algorithm is Mead is the most ...
Terms matched: 6 - Score: 74 - 812k