A computer program for thermodynamic performance of a scroll compressor was developed. The thermodynamic model assumes that the compression volumes of the scroll compressor are separated and interact only through leakages between them. The continuity and energy equations are used to calculate the pressure and temperature of the compression volumes. A leakage flow model is used to simulate the m...

The tensors of curvature play an important role in differential geometry. In surface theory (1990), it is determined by the derivative of unit normal vectors of tangent spaces of the underlying surface. However every geometric object in computation is a discrete model. We can only approximate them. In estimating the curvature on polyhedral surfaces, how to approximate normal vectors is a crucia...

For every algebraically closed field k of characteristic different from 2, we prove the following: (1) Generic finite dimensional (not necessarily associative) kalgebras of a fixed dimension, considered up to isomorphism, are parametrized by the values of a tuple of algebraically independent over k rational functions in the structure constants. (2) There exists an “algebraic normal form”, to wh...

We construct dynamical systems with Pn as state space, using (n+1)×(n+1) matrices of linear forms in n+1 variables, such that the fixed point sets are rational normal curves minus one point. Our matrices provide canonical forms for the triple action of PGLn+1 on the projective space of such matrices. Our dynamical systems include parameters identified with points in Pn−1. We find conditions on ...

A T-variety is an algebraic variety X with an effective regular action of an algebraic torus T. Altmann and Hausen [AH] gave a combinatorial description of an affine T-variety X by means of polyhedral divisors. In this paper we compute the higher direct images of the structure sheaf of a desingularization of X in terms of this combinatorial data. As a consequence, we give a criterion as to when...

In general, the application of the meaning function T P to a normal logic program P results in innnite expressions and, hence, is infeasible in practice. On the other hand, the iteration of T P is of interest for several elds in AI. Therefore, we introduce a new representation of interpretations and adopt T P to this. The resulting function always results in nite expressions of tractable length...

Isogenies of elliptic curves over finite fields have been well-studied, in part because there are several cryptographic applications. Using Vélu’s formula, isogenies can be constructed explicitly given their kernel. Vélu’s formula applies to elliptic curves given by a Weierstrass equation. In this paper we show how to similarly construct isogenies on Edwards curves and Huff curves. Edwards and ...

Curb sets [Basu and Weibull, Econ. Letters 36 (1991), 141-146] are product sets of pure strategies containing all individual best-responses against beliefs restricted to the recommendations to the remaining players. The concept of minimal curb sets is a set-theoretic coarsening of the notion of strict Nash equilibrium. We introduce the concept of minimal strong curb sets which is a set-theoreti...