Vehicle interior design directly relates to driver performance measures such as comfort, efficiency, risk of injury, and vehicle safety. A digital human is a convenient tool for satisfying the need to reduce the design cycle in order to save time and money. This paper presents a digital human environment, SantosTM, developed at The University of Iowa, and its assessment as applied to the interi...

A necessary and sufficient condition on the support of a generic unmixed bivariate polynomial system is identified such that for polynomial systems with such support, the Dixon resultant formulation produces their resultants. It is shown that Sylvester-type matrices, called Dixon dialytic matrices, can also be obtained for such polynomial systems. These results are shown to be a generalization ...

In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language compose...

Rough set systems induced by equivalences have been proved to exhibit polymorphic logical behaviours in dependence on the extension of the set of completely defined objects. They give a rise to semi-simple Nelson algebras, hence three-valued Lukasiewicz algebras and regular double Stone algebras. Additionally, it has been shown that in the presence of completely defined objects, they fulfil a f...

Let be a set of n× n matrices with entries from a field, for n > 1, and let c( ) be the maximum length of products in necessary to linearly span the algebra it generates. Bounds for c( ) have been given by Paz and Pappacena, and Paz conjectures a bound of 2n− 2 for any set of matrices. In this paper we present a proof of Paz’s conjecture for sets of matrices obeying a modified Poincaré–Birkhoff...

[A,N ] = A, [A, N ] = −A†, [A,A] = [N + 1]− [N ]. (1) In the above A and A are annihilation and creation operators, respectively, while the number operator N counts particles. It is defined in the Fock basis as N |n〉 = n|n〉 and commutes with AA. Because of that in any representation of (1) N can be written in the form AA = [N ], where [N ] denotes an arbitrary function of N , usually called the...

An AF C*-algebra has a natural filtration as an increasing sequence of finite dimensional C*-algebras. We show that it is possible to construct a Dirac operator which relates to this filtration in a natural way and which will induce a metric for the weak*-topology on the state space of the algebra. In the particular case of a UHF C*algebra the construction can be made in a way, which relates di...

A bstract The future interior of black holes in AdS/CFT can be described terms a quantum circuit. We investigate boundary quantities detecting properties this discuss relations between operator size, complexity, and the momentum an infalling particle hole interior. argue that trajectory close to horizon is related growth size. notion size here differs slightly from which has previously been ext...

Non-linear entropy stability and a summation-by-parts (SBP) framework are used to derive entropy stable interior interface coupling for the semi-discretized three-dimensional (3D) compressible Navier–Stokes equations. A complete semidiscrete entropy estimate for the interior domain is achieved combining a discontinuous entropy conservative operator of any order [1,2] with an entropy stable coup...