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 work, we present our results on formally verifying hardware design of round-robin arbiter which is the core component in many real network systems. Our approach is enhanced STE, which explores fully symbolic simulation for not only one round of round-robin arbitration, but also the sequential behaviors of the arbiter. Our experiments demonstrate that the enhanced STE specification for real-world...
Single-sided linear induction motors (SLIMs) have lately been applied in transportation system traction drives, particularly in the intermediate speed range. This is because they have merits, such as the ability to exert thrust on the secondary without mechanical contact, high acceleration or deceleration, less wheel wear, small turning circle radius, and flexible road line. The theory of operation...
The derivation of the equivalent circuit for a single-sided linear induction motor (SLIM) is not straightforward. Especially if it includes longitudinal end effects from the cut-open primary magnetic path, transverse edge effects from the differing widths between the primary lamination and secondary sheet, and half filled primary slots. This paper proposes an improved series equivalent circuit for...
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.