The realisation of Global Cellular Automaton (GCA) using a comparatively high number of communicating finite state machines (FSM) leads to high communication effort. Inside configurable architectures, fixed numbers of FSM and fixed bus widths result in a granularity that makes mapping of larger GCA to these architectures even more difficult. This approach presents a configurable architecture to...

This paper deals with techniques of finite state machines (FSMs) localization in FSM-based softcore intellectual property (IP) cores described in VHDL. An approach based on compilation techniques is presented. The main goal of the FSM localisation is to supplement additional information about the softcore for the core user. Three methods and experimental results are presented in the paper toget...

Big data analytics have gained tremendous successes in mining valuable information various fields. However, its potential to solve complex problems hardware security has not been adequately tapped. This paper presents a non-invasive approach identify the state registers of finite machine (FSM) an integrated chip. The FSM are mined from scan-dump by exploiting strongly connected property and chr...

Numerical difficulties are present in the particle finite element method even though it has been shown to be a powerful and effective approach to simulating fluid-structure interaction. To overcome problems of mass loss on the free surface and the added-mass effect, an improved fractional step method (FSM) that handles addedmass terms in a mathematically exact way is developed. A further benefi...

We are interested in a new class of optimal control problems for discrete event systems. We adopt the formalism of supervisory control theory (Proc. IEEE 77(1) (1989) 81) and model the system as a 4nite state machine (FSM). Our control problem is characterized by the presence of uncontrollable as well as unobservable events, the notion of occurrence and control costs for events and a worst-case...

Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguities that the original human-oriented text is likely to contain. The conversion process involves the conversion of the original text into mathematical notation. This paper discusses how standard conventional contracts ca...

In this paper, a robust algorithm for fault diagnosis of power system equipment based on a failure-sensitive matrix (FSM) is presented. The FSM is a dynamic matrix structure updated by multiple measurements (online) and test results (offline) on the systems. The algorithm uses many different artificial intelligence and expert system methods for adaptively detecting the location of faults, emerg...

The paper introduces a new technique for on-line checking of FPGA based Finite State Machines (FSMs). This technique is based on the architecture comprising two portions: a self-checking FSM and a separate totally self-checking (TSC) Sum-OfMinterms (SOM) based checker. Each of these portions is implemented as a combination of an Evolution block and an Execution block. For achieving the TSC prop...

In this paper, a tracking and pointing control system with dual-FSM (fast steering mirror) composite axis is proposed. It applied to the target-tracking accuracy in 3D GISC LiDAR (three-dimensional ghost imaging via sparsity constraint) system. The of proposed paper staring method multiple measurements, which mainly solves problem high-resolution remote-sensing high-speed moving targets when te...

Abstract In this study, the FSM-16 and modified by metformin (FSM-16-met) additives were applied as modifiers for polyethersulfone-based membranes. The membranes evaluated in terms of morphology, surface roughness, hydrophilicity, pure water flux, pore size porosity, resistance ability. obtained experimental data indicated promising enhancement permeated flux hydrophilicity after introducing FS...