A complete sufficient statistic is presented in this paper for the class of all finite-state, finite-order stationary discrete Markov processes. This sufficient statistic is complete in the sense that it summarizes in entirety the whole of the relevant information supplied by any process sample. The sufficient statistic has application to source coding problems such as source matching and calcu...

We study controllability of 2D defocusing cubic Schroedinger equation under periodic boundary conditions and control applied via source term (additively). The source term is a linear combination of few complex exponentials (modes) with time-variant coefficients controls. We manage to prove that controlling just 4 modes one can achieve controllability of this equation in any finite-dimensional p...

Due to the recent advancements of the Internet, Java has become a dominant programming language, especially for coding concurrent applications. Finite state verification is a powerful technique for detecting subtle errors in a program. This paper reviews recent attempts to transform Java source code into a model that can be checked using verification tools. Two classes of techniques are reviewe...

Predicting and controlling residual stresses are critical issues in welding engineering. With advancements in computer technology, a numerical simulation technique can predict welding residual stress. To accurately simulate temperature and stress fields, the thermal cycle obtained from the finite element model must be in coincidence with an actual heat source. This study performed a Gaussian di...

in this paper, the effect of electric field on two-dimensional low reynolds air flow around an airfoil and variation of the forces acting on the airfoil is numerically investigated. the electric current and poisson’s equations are solved and the outcome is considered as a source term in the momentum equations. the energy equation is not considered due to its weak effect on the phenomena. the fi...

It has recently become feasible to compute information rates of finite-state source/channel models with not too many states. Such methods can also be used to compute upper and lower bounds on the information rate of very general (non-finite-state) channels with memory by means of finite-state approximations. We review these methods and present new reduced-state bounds.

This paper presents the current status of development of a finite state transducer grammar for the verbal-chain transfer module in Matxin, a Rule Based Machine Translation system between Spanish and Basque. Due to the distance between Spanish and Basque, the verbal-chain transfer is a very complex module in the overall system. The grammar is compiled with foma, an open-source finitestate toolki...

We present a method for abstracting nondeterministic nite state machine (NFSM) models from behavioral VHDL descriptions for formal veri cation. The method is based on semantic matching of the results of dataow analysis of the VHDL source code and the speci cations to be veri ed, with known abstraction templates. Using NFSM models for counters, comparators and registers we have shown our approac...

The paper explains and illustrates how the concept of word classes can be added to the widely used open-source speech recognition toolkit Kaldi. The suggested extensions to existing Kaldi recipes are limited to the word-level grammar (G) and the pronunciation lexicon (L) models. The implementation to modify the weighted finite state transducers employed in Kaldi makes use of the OpenFST library...