The isentropic vortex problem is frequently solved to test the accuracy of numerical methods and verify corresponding code. Unfortunately, its existing solution was derived in relativistic magnetohydrodynamics by numerically solving an ordinary differential equation. This note provides analytical 2D with explicit algebraic expressions special hydrodynamics extends it 3D case.

Generic programming, a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes, has been present in the Haskell language in different forms for many years. Lately, a library for generic deriving has been given native support in the compiler, allowing programmers to write functions such as fmap that abstract o...

This paper deals with closed form solutions for the inverse and forward position analyses of a 3-SPR parallel mechanism, which can be used to form the main body of a 5-DOF hybrid robot manipulator. In the inverse position analysis, a fourth order polynomial equation has been formulated, leading to four set of solutions of limb lengths for a given position of the reference point on the platform....

Speech codecs with ACELP structure are widely used due to their high performance for the bit rates between 4kbps and 16kbps. In ACELP codecs, search for the best codevector from a huge codebook is the crucial pan in both performance and complexity. In most cases, non-optimal search method is used in order to reduce the search load with minimal performance degradation. However, its complexity is...

This paper presents a hybrid Multi-Mode/Multi-Rate, toll quality CS-ACELP coder developed for Voice over IP applications. The coder uses coding modes compatible with the three 6.4, 8, and 11.8 kbit/s coding schemes standardised by ITU-T in G.729. In particular, the algorithm presents 4 coding categories, with an average bit rate ranging between about 3 and 8 kbit/s, that adapt the rate to chang...

Component Completeness Checklng Formal Verlflca tlon Component Implementation T Fo rrn al Artifacts Informal Artifacts Behavior Figure 3. ADT artifacts cind verification techniques TESTING OBJECT-ORIENTED SOFTWARE 135 et al., 1981; Dauchy et al., 1993; Doong and Frankl, 1994). Relationships among axioms can be exploited to generate test sequences and test case data (Bougt et al., 1986; Choquet,...

In this work, we define the notion of an algebraic distance in algebraic cone metric spaces defined by Niknam et al. [A. Niknam, S. Shamsi Gamchi and M. Janfada, Some results on TVS-cone normed spaces and algebraic cone metric spaces, Iranian J. Math. Sci. Infor. 9 (1) (2014), 71--80] and introduce some its elementary properties. Then we prove the existence and uniqueness of fixed point for a B...

Studies on the binary block codes generated by some ordered algebraic structures have been interest of many researchers. In this paper, we study code an arbitrary JU-algebra and investigate its properties. For intent, introduce notion a JU function \(\phi\) nonempty set P into X, using that concept, j-functions j-subsets for element j X are investigated. Furthermore, define new order C based sh...

We present in this paper new methods for achieving highquality wideband speech at low rates using the ACELP algorithm. Several innovations are introduced to optimize the quality and minimize the complexity of the coder. A multi-rate wideband speech encoding algorithm based on these techniques was recently selected by 3GPP as the standard for AMR-WB, and is currently one of the candidates for th...