The finite model property for semilinear substructural logics

In this paper, we show that the finite model property fails for certain non‐integral semilinear substructural logics including Metcalfe and Montagna's uninorm logic and involutive uninorm logic, and a suitable extension of Metcalfe, Olivetti and Gabbay's pseudo‐uninorm logic. Algebraically, the results show that certain classes of bounded residuated lattices that are generated as varieties by their linearly ordered members are not generated as varieties by their finite members.     

A threshold property for intersections in a finite set

Let F be any family of subsets of a finite set E and let n be an integer, n<|F|. Under what condition does the knowledge of cardinals of m-intersections in F, for all m≤n, univocally determine the cardinal of any intersection in F, and what is the minimal condition? We give a complete answer to that. For any n, this determination property is satisfied by n if and only if |E|<2ⁿ, without further condition on F.     

A property of the character table for a finite group

A character table X of a finite group is broken up into four squares: A, B, C, and D. We establish relations via which ranks of the matrices inX are connected. In particular, ifX is an l × l-matrix, A is an s × t-matrix, and, moreover, the squares A and C are opposite, thenr(A)=r(C) + s + t − l; here.r(M) is the rank of a matrix M. Associated with such each block ofX is some integral nonnegative parameter m, and we have m=0 iff A, B, C, and D are active fragments ofX. Supported by RFFR grant No. 96-01-00488. Translated fromAlgebra i Logika, Vol. 39, No. 3, pp. 273–279, May–June, 2000.     

The finite embeddability property for residuated groupoids

A very simple proof of the finite embeddability property for residuated distributive-lattice-ordered groupoids and some related classes of structures is presented. In particular, this gives an answer to the question, posed by Blok and van Alten, whether the class of residuated ordered groupoids has the property. The presented construction improves the computational-complexity upper bound of the universal theory of residuated distributive-lattice-ordered groupoids given by Buszkowski and Farulewski; for chains in the class, a tight bound is obtained.     

The finite cutset property

A cutset of H is a subset of ∪ H which meets every element of H. H has the finite cutset property if every cutset of H contains a finite one. We study this notion, and in particular how it is related to the compactness of H for the natural topology. MSC: 04A20, 54D30.     

A finite element model for biofilm volume growth

In this work, we present a continuum-based approach for biofilm volume growth. The deformation gradient will be multiplicatively decomposed into two parts: a growth part due to bacteria formation and an elastic part due to the interaction with the environment. In order to define the growth behaviour of biofilms, we use the Monod approach that depends non-linearly on the substrate concentration. The substrate concentration in the biofilm is computed by means of a diffusion process, which includes substrate consumption, together with the mechanical behaviour as part of a coupled problem. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

The property O n for finite seminormal functors

We give a finite combinatorial test for finite seminormal functors to possess the property O _n and use it in establishing that in some cases this property leads to some well-known functors. For example, if some functor F possesses the property O ₂ then F ₂ coincides with either exp₂ or the squaring functor. Hence we conclude that if F(D ^ω ₁) and D ^ω ₁ are homeomorphic then F ₂ is either exp₂ or (·)².     

The Rohlin property for shifts of finite type

We show that an automorphism of a unital AF C^*-algebra with a certain approximate Rohlin property has the Rohlin property. This generalizes a result of Kishimoto. Using this we show that the shift automorphism on the bilateral C^*-algebra associated with an aperiodic irreducible shift of finite type has the Rohlin property.     

Discrete compactness property for quadrilateral finite element spaces

The main purpose of the present article is to prove the discrete compactness property for Arnold‐Boffi‐Falk spaces of any order. Results of numerical experiments confirming the theory are also reported. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

A new superconvergence property of Wilson nonconforming finite element

Summary. In this paper the Wilson nonconforming finite element method is considered to solve a class of two-dimensional second-order elliptic boundary value problems. A new superconvergence property at the vertices and the midpoints of four edges of rectangular meshes is obtained. Received May 5, 1995 / Revised version received November 11, 1996     

A novel finite element model for helical springs

A general and accurate finite element model for helical springs subject to axial loads (extension or/and torsion) is developed in this paper. Due to the establishment of precise boundary conditions, only a slice of the wire cross-section needs to be modelled; hence, more accurate results can be achieved. An example application to a circular cross-sectional spring is analysed in detail.     

A finite model of mobility

The Markov chains with stationary transition probabilities have not proved satisfactory as a model of human mobility. A modification of this simple model is the ‘duration specific’ chain incorporating the axiom of cumulative inertia: the longer a person has been in a state the less likely he is to leave it. Such a process is a Markov chain with a denumerably infinite number of states, specifying both location and duration of time in the location. Here we suggest that a finite upper bound be placed on duration, thus making the process into a finite state Markov chain. Analytic representations of the equilibrium distribution of the process are obtained under two conditions: (a) the maximum duration is an absorbing state, for all locations; and (b) the maximum duration is non‐absorbing. In the former case the chain is absorbing, in the latter it is regular.     

On modules for which the finite exchange property implies the countable exchange property

It has been a long standing open problem whether the finite exchange property implies the full exchange property for an arbitrary module. The main results of this paper are Theorem 1.1: For modules whose idempotent endomorphisms are central, the finite exchange property implies the countable exchange property, and Theorem 2.11: Over a ring with ace on essential right ideals, the finite exchange property implies the full exchange property for every quasi-continuous module. The latter can be viewed as a partial affirmative answer to an open problem of Mohamed and Muller [8].     

A finite element phase field model for relaxor ferroelectrics

A mechanically coupled phase field model is presented for the domain evolution and mesoscopic response of relaxor ferroelectrics. In the model the spontaneous polarization is treated as order parameter. The model is derived from thermodynamic analysis including the material force theory. Random field theory is adopted to take the disorder of relaxor ferroelectrics into account. Results show that the model is capable of reproducing relaxor features, such as domain miniaturization, small remnant polarization and large piezoelectric response. Dependence of these features on the random field strength is discussed. (© 2015 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A mapping finite difference model for infinite elastic media

A simple mapping finite difference model is presented for the solution of boundary-value problems in the theory of time-harmonic elastic vibrations. The finite problem domain is condensed by mapping into a smaller finite domain using a suitable coordinate transformation. The field equations and the boundary conditions are also appropriately transformed. The radiation condition at infinity is satisfied through a change of the dependent variable. Finite difference forms of the transformed equations are then solved in the mapped domain, subject to the transformed boundary conditions.     

A finite element model for laminated piezoelectric shell structures

Thin piezoelectric laminates are used for a wide range of technical applications. A four-node piezoelectric shell element is presented to analyse such structures effectively. In case of bending dominated problems incompatible approximation functions of the electrical and mechanical fields cause incorrect results. In order to overcome this problem the finite element formulation is based on a mixed variational principle implying six independent fields: displacements, electric potential, strains, electric field, mechanical stresses and dielectric displacements. This allows for an interpolation of the strains and the electric field in thickness direction independent of the bilinear interpolation functions. A piecewise quadratic approach for the shear strains in thickness direction and the corresponding electric field is proposed for arbitrarily layered shells. Regarding coupling of electrical and mechanical fields this yields to an appropriate balance of the approximation functions. Numerical examples show more precise results in contrast to standard elements with lowest order interpolation functions. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A dimensionally reduced finite mixture model for multilevel data

Recently, different mixture models have been proposed for multilevel data, generally requiring the local independence assumption. In this work, this assumption is relaxed by allowing each mixture component at the lower level of the hierarchical structure to be modeled according to a multivariate Gaussian distribution with a non-diagonal covariance matrix. For high-dimensional problems, this solution can lead to highly parameterized models. In this proposal, the trade-off between model parsimony and flexibility is governed by assuming a latent factor generative model.     

On the finite embeddability property for residuated ordered groupoids

The finite embeddability property (FEP) for integral, commutative residuated ordered monoids was established by W. J. Blok and C. J. van Alten in 2002. Using Higman's finite basis theorem for divisibility orders we prove that the assumptions of commutativity and associativity are not required: the classes of integral residuated ordered monoids and integral residuated ordered groupoids have the FEP as well. The same holds for their respective subclasses of (bounded) (semi-)lattice ordered structures. The assumption of integrality cannot be dropped in general--the class of commutative, residuated, lattice ordered monoids does not have the FEP--but the class of -potent commutative residuated lattice ordered monoids does have the FEP, for any .