In this paper, we address the problem of Engineering Change in a non-deterministic nite state machine framework. We are given a deterministic implementation FSM, and a non-deterministic speci cation FSM, such that the implementation does not meet the speci cation. The problem consists of controlling the implementation FSM in such a way that for all possible sequences of external inputs, the gen...

The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automati...

Abstract. Frozen soil processes are of great importance in controlling surface water and energy balances during the cold season regions. Over recent decades, considerable frozen degradation warming have been reported over Tibetan Plateau North China, but most land models difficulty capturing freeze–thaw cycle, few validations focus on effects thermal characteristics these This paper addresses i...

To solve the problem of base frame calibration for coordinated multi-robot system, a new method is proposed in this paper. It is carried out through a series of ‘‘handclasp’’ manipulations between two coordinated robots, then a preliminary result can be reached by the calibrating equation. After that, in order tomake sure that the calibrated rotationmatrix is orthonormal, an optimal estimation ...

High consumption of soybean and soybean-related products is hypothesized to contribute to protection against breast cancer. Soybean is a rich source of genistein, a putative cancer chemopreventive agent. Fermented soy milk (FSM), which is made of soy milk fermented with the Bifidobacterium breve strain Yakult, contains larger amounts of the isoflavone aglycones genistein and daidzein than unfer...

This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and detect two-bit errors in the FSM register within the same clock cycle. The main contribution is the development of a parameterizable VHDL package and the respective error-correcting modules, which can easily be added...