A two-way coupling algorithm for wave-current interaction is developed and implemented into a nearshore circulation model to investigate the effects of fully wave-current interaction on irregular wave transformation over an elliptic shoal. The wave field is simulated by a spectral wave model WABED, and the wave-induced current is solved by a quasi-three-dimensional model WINCM. The surface roll...

We examine the succinctness of one-way, rotating, sweeping, and two-way deterministic finite automata (1dfas, rdfas, sdfas, 2dfas). Here, a sdfa is a 2dfa whose head can change direction only on the endmarkers and a rdfa is a sdfa whose head is reset on the left end of the input every time the right endmarker is read. We introduce a list of language operators and study the corresponding closure...

In this paper we investigate a biological framework to generate and adapt a motion pattern so that can be energy efficient. In fact, the motion pattern in legged animals and human emerges among interaction between a central pattern generator neural network called CPG and the musculoskeletal system. Here, we model this neuro - musculoskeletal system by means of a leg - like mechanical system cal...

Abstract. Two-way model coupling is important for representing the mutual interactions and feedbacks between atmosphere ocean dynamics. This work presents development of two-way coupled system ICONGETM, consisting ICON GETM. ICONGETM built on latest NUOPC software with flexible data exchange conservative interpolation via ESMF grids. With providing a state-of-the-art kernel numerical weather pr...

A framework for the study of periodic behaviour of twoway deterministic finite automata (2DFA) is developed. Computations of 2DFAs are represented by a two-way analogue of transformation semigroups, every element of which describes the behaviour of a 2DFA on a certain string x. A subsemigroup generated by this element represents the behaviour on strings in x. The main contribution of this paper...

The interaction between fluid and structure occurs in a wide range of engineering problems. The solution for such problems is based on the relations of continuum mechanics and is mostly solved with numerical methods. It is a computational challenge to solve such problems because of the complex geometries, intricate physics of fluids, and complicated fluid-structure interactions. The way in whic...

We examine the conjecture that no polynomial can upper bound the increase in the number of states when a one-way nondeterministic finite automaton (1nfa) is converted into an equivalent two-way deterministic finite automaton (2dfa). We study the problem of liveness, which admits 1nfas of polynomial size and is known to defy 2dfas of polynomial size if and only if the conjecture is true. We focu...