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.
Based on the method of Skeletonization, the concept of influence factor is introduced in this paper. A method for trimming the fat from a Back Propagation (BP) neural network is proposed by modifying weight and influence factor alternately, and node with the least influence factor was deleted. This method is applied to modeling superheated steam temperature system of plant station. Simulation results...
In recent years, statistical model checking (SMC) has become increasingly popular, because it scales well to larger stochastic models and is relatively simple to implement. SMC solves the model checking problem by simulating the model for finitely many executions and uses hypothesis testing to infer if the samples provide statistical evidence for or against a property. Being based on simulation and...
As distributed systems such as automotive, medical, manufacturing automation become larger and more complex, it is difficult to test these systems. Also, the synchronization of distributed applications make the testing more difficult. In the Software-in-the-Loop (SiL) simulation, a synchronization method among clock of applications is provided for virtual hardware devices and environment. A typical...
This paper presents a scalable time optimized online test solution that addresses short faults in interconnects of an on-chip network (NoC) and observes the deep impact of these faults on NoC performance at large traffics.
Underwater vehicle controller design proves difficult for time varying, nonlinear dynamics, coupled model and uncertain flow. Also it is hard to construct the nonlinear coupled uncertain model. Fortunately, we find a simple method to deal with that problem. Variable universe fuzzy control algorithm is superior in model-independent and nonlinear control. Also it is a simple and universal method. It...
This paper presents the methodology and utility of an HEV plant model using Matlab-Simulink for testing the HCU (Hybrid control Unit) logics in dSPACE Hardware-in-loop environment. It also describes how requirements related to Hybrid Controller testing are addressed using the subject plant model. It further discuss about the requirements for Inputs to hybrid controller that are modeled in close loop...
Double sequential probability ratio test (2-SPRT), as an extended version of SPRT to cope with the no-upper-bound problem, is extended to the multiple-model hypothesis testing (MMHT) approach, called 2-MMSPRT, for detecting unknown events that may have multiple prior distributions. Not only does it address the mis-specified problem of the SPRT based MMHT method (MMSPRT), but it also can be expected...
In this paper, the analysis and simulation of a single-core asymmetrical phase shifting transformer (PST) is presented. PSTs are usually used for varying the voltage phase angle between the two systems, which provides controlling active power flow through transmission (tie) line. The essential part of this work was related to developing an appropriate simulation model of the single-core phase shifting...
The development of the single-core symmetrical phase shifting transformer (PST) model and testing results of its selected differential protection is described in this paper. Generally, a PST is used for controlling the active power between the two systems being connected with one or more parallel transmission lines (paths). Most types of PSTs allow for changing of phase shift in a certain pre-defined...
Hardware-in-loop (HiL) simulation focuses on testing of Electronic Control Units (ECU) in virtual real time environment in order to scrutinize the behavior of controller under test. Use of HiL simulation in development process reduces time and cost involved in verification and validation of the ECU's development. Generally, HiL systems developed using dSPACE®, National Instruments® and other platforms...
It is widely held that debugging cyber-physical systems (CPS) is challenging, to date, empirical studies investigating research challenges in CPS verification and validation have not been done. As a result, the exact challenges facing CPS developers in the real world remain at best unquantified and at worst unknown, and the research directions the community should undertake are not clearly identified...
Production plants within manufacturing and process industries are becoming more and more complex systems. For a safe and demand sufficient production the automation system of a production plant is mission critical. Therefore the correct functioning and engineering of the automation system is essential. Nowadays the use of a virtual commissioning step before deploying the automation software on the...
We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two, more complex, case studies...
This paper presents a parameterized, dynamic model of Moog D671 hydraulic servovalve. The valve is a 4/3, center closed configuration. The model is developed based on first principles and is compared to a dynamic model in the form of a Simulink S-function made available by Moog Inc. The model is developed as part of a system level modeling, simulation, and analysis activity at Clemson University's...
The method of constructing testing impacts for digital devices is proposed. The method is based on the representation device as a set of models data exchange interfaces. This approach allows to build models of input impacts as a collection of standard operations inherent to the corresponding interface.
We provide an approach that permits service developers and software adopters to evaluate service performance at design time, in a scenario where neither the service code nor (test-based) information on service execution times are available. Our approach builds on expert knowledge, service complexity evaluation, and the performance (retrieved by testing) of some reference services, to estimate the...
The understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact...
The composition and working principle of sampling device is given, establishing the mathematical model. In view of the actual developed structure, the simulation calculation has carried according to actual value of corresponding system parameters. Simulation results is consistent with the experimental data and verified the correctness of the mathematical models. The influence of the start and stop...
With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Such UAVs can explore unaccessible terrain and provide information about the local situation in a specified target area. For the early development of an autonomous aerial vehicle, virtual integration of the system makes it possible to...
Pipe plays an important role in the petrochemical industry. Developing pipe testing technique can avoid or decrease accidents and is an important guarantee for the safety service of pipe. In this paper, a method is presented to identify crack location and size, which is based on the finite element method (FEM) and model modification. Pipe structure is dispersed into a series of nested thin-walled...
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.