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.
As the new generation of pulsed power architecture, linear transformer drivers (LTDs) are attached importance to the main countries all over the world in recently years. Though the LTDs can dramatically reduce the size and cost of high power accelerators, the triggering system of the gas switches is complex, especially the triggering timing is hard to control. To simplify the control system of triggering,...
In this paper, we first present a formal specification for a part of Software Defined Networks(SDN) using a process algebra called Algebra of Communicating Shard Resources(ACSR). To provide a correct and efficient solution for forwarding packets on the Software Defined Networks, ACSR can express processes running concurrently and communicating switches and a controller. Forwarding packets can be modeled...
With MARC software, analyzed the rigidity of hydrauLic press on the impact of synchronous performance, the results show that: in the absence of synchronization control device and eccentric load operation, the moving beam had a great deflection, it can't guarantee accuracy of product processing. This also shows that the synchronous control system is the essential device to the giant forging hydrauLic...
Model Based Development within the area of embedded systems hardware-software co-design has been demonstrated to be effective to handle system complexity. Several modeling formalisms are widely used within this area. The work presented in this paper aims to contribute for the usage of Petri nets as the system-level specification language within model-based development of embedded systems using co-design...
This In this paper a stochastic automation networks (SANs) model for the computing the availability of communication based train control (CBTC) system is developed, which captures the lossy radio communication link and the transmission procedures based on 802.11 protocols. A scaled generalized minimum residual (SGMRES) iterative method is provided to reduce the ill-condition of steady-state equation...
This work is concerned with modelling, analysis and implementation of embedded control systems using RT-DEVS, i.e. a specialization of classic DEVS (discrete event system specification) for real-time. RT-DEVS favours model continuity, i.e. the possibility of using the same model for property analysis (by simulation or model checking) and for real time execution. Special case tools are proposed in...
From the viewpoint of computer control, the synchronization of nonlinear systems is investigated. The controlled synchronization problem with stair-step signal is presented. The synchronization error controlled by the stair-step signal is analyzed and it is proved with Lyapunov method that if the Euclid norm of the control signal is no more than the norm of the synchronization error times a constant,...
Systems verification requires first to model the system to be verified, then to formalize the properties to be satisfied, and finally to describe the behaviour of the environment. This last point, known as the proof context, is often neglected. It could, however, be of great importance in order to reduce the complexity of the proof. The question is then how to formalize such a proof context. This...
MPSS simulates the behavior of a high traffic transaction processing system. An effective use of MPSS is the analysis of the impact of exclusive control of system resources over multiple processes. MPSS consists of a control process and multiple application processes. The control process is designed to simulate a transaction processing monitor. It initiates and oversees multiple application processes...
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.