In this paper, we consider the problem of test derivation from a specification FSM, assuming that all possible implementation FSMs are submachines of some nondeterministic FSM. The latter represents a restricted class of faults defined by the user. The state number in an implementation may exceed that of the specification. We present a method for test generation that can deliver shorter tests t...

The sensitivity and utility of a standard faecal sedimentation method (FSM) and a modified stool sieving staining method (FSSM), both currently employed for the diagnosis of Fasciola hepatica infection were compared. Faecal samples were obtained from 51 bovines of an endemic area for fasciolosis in Southwestern Argentina. Each sample was placed in a recipient containing 5% formalin. Eight milli...

Finite State Machine (FSM) models are widely used to specify the operations of computer systems. Since the basic FSM model is timeless, it is not possible to model within the basic FSM framework system properties that are dependent on the progression of real time, such as the duration of computations or the limited temporal validity of real-time data. To overcome these limitations, efforts have...

We study the problem of fault diagnosis, i.e., localization of difference(s) between an implementation and a specification in systems modelled by finite state machines. We show that even considering only a single fault in a finite state machine there are some situations when the exact diagnosis of the fault cannot be assured. We give an algorithm for fault diagnosis. If it is possible the proce...

BACKGROUND The health impacts of climate change are an issue of growing concern in the Pacific region. Prior to 2010, no formal, structured, evidence-based approach had been used to identify the most significant health risks posed by climate change in Pacific island countries. During 2010 and 2011, the World Health Organization supported the Federated States of Micronesia (FSM) in performing a ...

The moisture and manure contents of soils at cattle feedlot surfaces vary spatiotemporally and likely are important factors in the persistence of Escherichia coli O157 in these soils. The impacts of water content (0.11-1.50 g H2O g(-1) dry feedlot surface material [FSM]) and manure level (5, 25, and 75% dry manure in dry FSM) on E. coli O157:H7 in feedlot soils were evaluated. Generally, E. col...

This report describes how to produce a state transition table (or state transition graph) of an FSM reduced by using implicit minimization algorithms. The cases of ISFSM’s (minimized implicitly by the program ISM) and PNDFSM’s (minimized implicitly by the program PND REDUCE) are considered. A technique to reduce the size of the FSM table description is presented.

Generation of minimum-length test sequences (MLTS) for FSM/EFSM models has been the focus of recent studies. Although it aims to optimize test cycles and expedites product marketing, an MLTS may fail to reveal potential discrepancies between an implementation and its specification. In this paper, MLTS methods combining FSM/EFSM models and pseudo random test generation techniques to enhance test...

In this work we characterize the escape of orbits from phase space Riemann–Liouville (RL) fractional standard map (fSM). The RL-fSM, given in action–angle variables, is derived equation motion kicked rotor when second order derivative substituted by a RL α. Thus, RL-fSM parameterized K and α∈(1,2] which control strength nonlinearity derivative, respectively. Indeed, for α=2 initial conditions, ...