Basic concepts of classical dynamics are analysed in the simple mathematical setting of state transition systems, where both time and space are discrete, and no structure is assumed on the state space besides a binary transition relation. This framework proves useful to the dynamical analysis of computations and biomolecular processes. Here a relational formulation of this framework is presente...

LI, PINGKE. Fuzzy Relational Equations: Resolution and Optimization. (Under the direction of Professor Shu-Cherng Fang). Fuzzy relational equations play an important role as a platform in various applications of fuzzy sets and systems. The resolution and optimization of fuzzy relational equations are of our particular interests from both of the theoretical and applicational viewpoints. In this ...

The constraint satisfaction problem (CSP) on a relational structure B is to decide, given a set of constraints on variables where the relations come from B, whether or not there is a assignment to the variables satisfying all of the constraints; the surjective CSP is the variant where one decides the existence of a surjective satisfying assignment onto the universe of B. We present an algebraic...

We address the problem of equivalence of count-distinct aggregate queries, prove that the problem is decidable, and can be decided in the third level of Polynomial hierarchy. We introduce the notion of core for conjunctive queries with comparisons as an extension of the classical notion for relational queries, and prove that the existence of isomorphism among cores of queries is a sufficient an...

We discuss the semantics of complex object databases with both partial and complete tuples and sets. We redeene the notion of database to reeect the existence of partial and complete tuples and sets and study how to integrate partial information about tuples and sets spread in the database and check consistency in the meantime. We also present a deductive language RLOG II for complex objects wi...

Warpage and shrinkage control are important factors in proving the quality of thin-wall parts in injection modeling process. In the present paper, grey relational analysis was used in order to optimize these two parameters in manufacturing plastic bush of articulated garden tractor. The material used in the plastic bush is Derlin 500. The input parameters in the process were selected according ...

Constraint satisfaction problems form a very interesting and much studied class of decision problems. Feder and Vardi realized their relation to general coloring problems of relational structure. This enabled the use of algebraic, combinatorial, and model theoretic methods for studying the complexity of such decision problems. In this paper we are interested in constraint satisfaction problems ...

the pioneer work of image compression/reconstruction based onfuzzy relational equations (icf) and the related works are introduced. theicf regards an original image as a fuzzy relation by embedding the brightnesslevel into [0,1]. the compression/reconstruction of icf correspond to thecomposition/solving inverse problem formulated on fuzzy relational equations.optimizations of icf can be consequ...

This study investigated the optimization of three welding parameters (wire feed speed, arc voltage, and shielding gas flow rate) for SS 304H by using Taguchi based Grey relational analysis. In this research work, pure argon was used as shielding gas. Numbers of trials were performed as per L16 (4xx3) orthogonal array design and the mechanical quality such ultimate tensile strength, microhardnes...