The physical nature of the ferroelectric (FE), ferrielectric (FEI) and antiferroelectric (AFE) phases, their coexistence spatial distributions underpins functionality antiferrodistortive (AFD) multiferroics in vicinity morphotropic phase transitions. Using Landau-Ginzburg-Devonshire (LGD) phenomenology a semi-microscopic four sublattice model (FSM), we explore behavior different AFE, FEI, FE lo...

Timed SDL (TSDL) is a modiied version of SDL designed for the examination of qualitative and quantitative system aspects within one model description. Because realistic communication protocols tend to be very large a program package was developed, which transforms a TSDL model into an internal representation of an equivalent Finite State Machine (FSM). This FSM representation can be eeciently a...

• Functional-structural model (FSM) of tree growth have great potentials for the forestry field but their development, calibration and validation are hampled by the difficulty to collect experimental data at organ scale for adult trees. Owing to their simple architecture and morphological properties, 'model plants' such as Cecropia sciadophylla are of great interest to validate new models and m...

Frequent subgraph mining (FSM) is an important task for exploratory data analysis on graph data. Over the years, many algorithms have been proposed to solve this task. These algorithms assume that the data structure of the mining task is small enough to fit in the main memory of a computer. However, as the real-world graph data grows, both in size and quantity, such an assumption does not hold ...

In this paper, we consider a test derivation strategy for testing protocol implementations based on Finite State Machines with timeouts. The strategy is applied for testing TFTP implementations. Keywords-Finete State Machine (FSM); FSM with timeouts (timed FSM); transition tour

According to articulatory phonology, the gestural score is an invariant speech representation. Though the timing schemes, i.e., the onsets and offsets, of the gestural activations may vary, the ensemble of these activations tends to remain unchanged, informing the speech content. " Gestural pattern vector " (GPV) has been proposed to encode the instantaneous gestural activations that exist acro...

The annotated bibliography highlights work in the area of algorithmic test generation from formal speci cations with guaranteed fault coverage, i.e., fault model-driven test derivation. A fault model is understood as a triple, comprising a nite state speci cation, conformance relation and fault domain that is the set of possible implementations. The fault model can be specialized to Input/Outpu...

Prosody structure prediction plays an important role in text-tospeech (TTS) conversion systems. It is the must and prior step to parametric prosody prediction. Dynamic programming (DP) and decision tree (DT) are widely used for prosody structure prediction [1][2][3] but with well-known limitations. In this paper, two other new methods, combination of dynamic programming with decision tree and c...

A hybrid optimization algorithm combining finite state method (FSM) and genetic algorithm (GA) is proposed to solve the crude oil scheduling problem. The FSM and GA are combined to take the advantage of each method and compensate deficiencies of individual methods. In the proposed algorithm, the finite state method makes up for the weakness of GA which is poor at local searching ability. The he...