Background: Human error is the most important cause of occupational and non-occupational accidents. Because, it seems necessary to identify, predict and analyze human errors, and also offer appropriate control strategies to reduce errors which cause adverse consequences, the present study was carried out with the aim of identifying human errors while operating meat grinder and offer sugg...

This paper describes the analysis, modeling, and simulation of a notional air defense system using SMOOCHES (State Machines for Object-Oriented, Concurrent, Hierarchical Engineering Specifications). SMOOCHES is an object-oriented environment based on hierarchical state machines and extensions to Statecharts, specifically developed as an environment to specify, model, simulate and analyze / eval...

The definition of a finite state machine (called also for simplicity a state machine) seems to be not quite obvious and requires discussion. The concept, although born 50 years ago, is still not well understood or interpreted in the software domain, despite its wide application in hardware design. Misunderstandings about state machines have produced several stories and half-truths: for instance...

In this paper, we define the “correctness” of a state machine based on a discussion of the “result” yielding from its final states. For simplicity, we define a state machine called a “calculating type state machine” that can calculate a simple issue and show some examples of correct calculating type state machines.

The slope stability analysis is routinely performed by engineers to estimate the stability of river training works, road embankments, embankment dams, excavations and retaining walls. This paper presents a new approach to build a model for the prediction of slope stability state. The support vector machine (SVM) is a new machine learning method based on statistical learning theory, which can so...

The iterative and incremental nature of software development using models typically makes a model system incomplete (i.e., partial) until more advanced complete stage is reached. Existing execution approaches (interpretation or code generation) do not support the partial models. Supporting at early stages allows detection defects, which can be fixed easily lower cost. This paper proposes concep...