A rewrite system is called uniformly normalising if all its steps are perpetual, i.e. are such that if s → t and s has an infinite reduction, then t has one too. For such systems termination (SN) is equivalent to normalisation (WN). A well-known fact is uniform normalisation of orthogonal non-erasing term rewrite systems, e.g. the λI-calculus. In the present paper both restrictions are analysed...

We present methods for creating 3D graphical models of scenes from a limited numbers of images, i.e. one or two, in situations where no scene co-ordinate measurements are available. The methods employ constraints available from geometric relationships that are common in architectural scenes — such as parallelism and orthogonality — together with constraints available from the camera. In particu...

Inference mechanisms and interpretations of fuzzy rule bases are studied together from the point of view of systems of fuzzy relation equations. A proper use of an inference mechanism connected to a fuzzy relation interpreting a fuzzy rule base is certified by keeping the fundamental interpolation condition. The paper aims at new solutions of systems of fuzzy relation equations which are motiva...

This paper describes a cost-effective fuzzy control system applied to a small spark-ignition internal-combustion engine to achieve regulation of the fuel injection system. It determines the amount of fuel required from a fuzzy algorithm using engine speed and manifold air pressure as input values. The fuzzy control parameters were a collection of comprehensible rules and fuzzy-set membership fu...

Analytical structure for a fuzzy PID controller is introduced by employing two fuzzy sets for each of the three input variables and four fuzzy sets for the output variable. This structure is derived via left and right trapezoidal membership functions for inputs, trapezoidal membership functions for output, algebraic product triangular norm, bounded sum triangular co-norm, Mamdani minimum infere...

In this paper, we consider an enriched orthogonality for classes of spaces, with respect to groupoids, simplicial sets and spaces themselves. This point of view allows one to characterize homotopy equivalences, shape and strong shape equivalences. We show that there exists a class of spaces, properly containing ANR-spaces, for which shape and strong shape equivalences coincide. For such a class...

We give a new version of fuzzy alternating Büchi automata over distributive lattices: weights are putting in every leaf node of run trees rather than along with edges from every node to its children. Such settings are great benefit to obtain complement just by taking dual operation and replacing each final weight with its complement. We prove that L-fuzzy nondeterministic Büchi automata have th...

We give a more general derivation of the particle velocity and acceleration used in the numerical wave model of Grilli et al. (Int. J. Numer. Meth. Fluids 2001; 35:829–867), by expressing these quantities in a local orthogonal co-ordinate system. Computations of solitary waves propagating and breaking over a sloping bottom show that the new formulation gives better results than the former one i...