Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule

In this study, a novel OFF-set based direct-cover Exact Minimization Algorithm (EMA) is proposed for single-output Boolean functions represented in a sum-of-products form. To obtain the complete set of prime implicants covering the given Target Minterm (ON-minterm), the proposed method uses OFF-cubes (OFF-minterms) expanded by this Target Minterm. The amount of temporary results produced by this method does not exceed the size of the OFF-set. In order to achieve the goal of this study, which is to make faster computations, logic operations were used instead of the standard operations. Expansion OFF-cubes, commutative absorption operations and intersection operations are realized by logic operations for fast computation. The proposed minimization method is tested on several classes of benchmarks and then compared with the ESPRESSO algorithm. The results show that the proposed algorithm obtains more accurate and faster results than ESPRESSO does.     

Avoiding large squares in partial words

Well-known results on the avoidance of large squares in (full) words include the following: (1) Fraenkel and Simpson showed that we can construct an infinite binary word containing at most three distinct squares; (2) Entringer, Jackson and Schatz showed that there exists an infinite binary word avoiding all squares of the form xx such that |x|≥3, and that the bound 3 is optimal; (3) Dekking showed that there exists an infinite cube-free binary word that avoids all squares xx with |x|≥4, and that the bound of 4 is best possible. In this paper, we investigate these avoidance results in the context of partial words, or sequences that may have some undefined symbols called holes. Here, a square has the form uv with u and v compatible, and consequently, such a square is compatible with a number of full words that are squares over the given alphabet. We show that (1) holds for partial words with at most two holes. We prove that (2) extends to partial words having infinitely many holes. Regarding (3), we show that there exist binary partial words with infinitely many holes that avoid cubes and have only eleven full word squares compatible with factors of it. Moreover, this number is optimal, and all such squares xx satisfy |x|≤4.     

Modeling of thermodynamic properties of ABr-PrBr3 (A=Li-Cs ) systems

The thermodynamic properties of ABr-PrBr₃(A=Li-Cs) systems were assessed by the CALPHAD method. The liquid phase in the systems was described by the non-stoichiometric associate model. The entropies of mixing in the liquid were evaluated from experimental liquidus and enthalpy of mixing data. For the pseudobinary compounds A₃PrBr₆,APr₂Br₇, and A₂PrBr₅ (A=K,Rb) and Cs₃PrBr₆ and CsPr₂Br₇, the dependences of Gibbs energies of formation on temperature were calculated. The anomalies of sequences of thermodynamic properties in RbBr-PrBr₃ were observed and discussed. The nature of the liquid phase and precision of calculations of the Rb₂PrBr₅(s) compound were discussed.     

Coinduction for preordered algebra

We develop a combination, called hidden preordered algebra, between preordered algebra, which is an algebraic framework supporting specification and reasoning about transitions, and hidden algebra, which is the algebraic framework for behavioural specification. This combination arises naturally within the heterogeneous framework of the modern formal specification language CafeOBJ. The novel specification concept arising from this combination, and which constitutes its single unique feature, is that of behavioural transition. We extend the coinduction proof method for behavioural equivalence to coinduction for proving behavioural transitions.     

Entropy-TVD Scheme for Nonlinear Scalar Conservation Laws

In this paper, we develop a so-called Entropy-TVD scheme for the non-linear scalar conservation laws. The scheme simultaneously simulates the solution and one of its entropy, and in doing so the numerical dissipation is reduced by carefully computing the entropy decrease. We prove that the scheme is feasible and TVD and satisfies the entropy condition. We also prove that the local truncation error of the scheme is of first-order. However, numerical tests show that the scheme has a second-order convergence rate, an order higher than its truncation error, in computing smooth solution, and in many cases is better than a second-order ENO scheme in resolving shocks and corners of rarefaction waves.     

On Bézier surfaces in three-dimensional Minkowski space

In this paper, we study Bézier surfaces in three-dimensional Minkowski space. In particular, we focus on timelike and spacelike cases for Bézier surfaces. We also deal with the Plateau–Bézier problem in , obtaining conditions over the control net to be extremal of the Dirichlet function for both timelike and spacelike Bézier surfaces. Moreover, we provide interesting examples showing the behavior of the Plateau–Bézier problem in and illustrating the relationship between it and the corresponding Plateau–Bézier problem in the Euclidean space R³.     

Bernstein-type operators which preserve polynomials

In this paper we present the sequence of linear Bernstein-type operators defined for f∈C[0,1] by B_n(f°τ⁻¹)°τ, B_n being the classical Bernstein operators and τ being any function that is continuously differentiable ∞ times on [0,1], such that τ(0)=0, τ(1)=1 and τ^′(x)>0 for x∈[0,1]. We investigate its shape preserving and convergence properties, as well as its asymptotic behavior and saturation. Moreover, these operators and others of King type are compared with each other and with B_n. We present as an interesting byproduct sequences of positive linear operators of polynomial type with nice geometric shape preserving properties, which converge to the identity, which in a certain sense improve B_n in approximating a number of increasing functions, and which, apart from the constant functions, fix suitable polynomials of a prescribed degree. The notion of convexity with respect to τ plays an important role.     

A certain class of starlike functions

This paper presents a new class of functions analytic in the open unit disc, and closely related to the class of starlike functions. Besides being an introduction to this field, it provides an interesting connections defined class with well known classes. The paper deals with several ideas and techniques used in geometric function theory. The order of starlikeness in the class of convex functions of negative order is also considered here.     

Multiplicity results for some elliptic problems with nonlinear boundary conditions involving variable exponents

In this paper we analyze an elliptic partial differential equation involving variable exponent growth conditions coupled with a nonlinear boundary condition. We show the existence of infinitely many bounded weak solutions provided there is a suitable oscillatory behavior of the nonlinearity either at infinity or at zero. Our proofs rely on a method due to Saint Raymond.