Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

Constraint Programming and Operations Research: Comments from an Operations Researcher

This paper relates the author's personal experience with constraint programming and gives a personal assessment of the relationships between constraint programming and operations research.     

Simple, expedient methods for the determination of water and electrolyte contents of cellulose solvent systems

The concentrations of water, W, and electrolytes present in solutions of LiCl in N,N-dimethylacetamide, LiCl/DMAc, and of tetrabutylammonium fluoride. x-hydrate in DMSO, TBAF.xW/DMSO can be accurately and expediently determined by three independent methods, UV–vis, FTIR and EMF measurement. The first relies on the use of solvatochromic probes whose spectra are sensitive to solution composition. It is applicable to W/LiCl/DMAc solutions but not to TBAF.xW/DMSO, because the charge-transfer complex bands of the probes are suppressed by strong interactions with the latter electrolyte. Integration of ν_OH band of water may be employed in order to determine [W], hence [electrolyte] by weight difference. EMF measurement uses ion-selective electrodes in order to determine [electrolyte], hence [W] by weight difference. Results of the latter method were in excellent agreement with those of FTIR. The reason for the failure of Karl Fischer titration is addressed, and the relevance of the results obtained to functionalization of cellulose under homogenous solution conditions is briefly commented on.     

Weak convergence of the U-statistic and weak invariance of the one-sample rank order statistic for Markov processes and ARMA models

Harel and Puri (1989, J. Multivariate Anal. 29) studied the asymptotic behavior of the U-statistic and the one-sample rank order statistic for nonstationary absolutely regular processes. In this note, we present some applications of these results for Markov processes as well as ARMA processes.     

Mathematical Modeling, Control, Computer Simulation and Laboratory Experiments of a Spatial Servopneumatic Parallel Robot

In this paper, the special construction of a parallel robot, called spatial servopneumatic multi-axis test facility, will be discussed. The investigations include the following aspects: (i) the laboratory set-up of the robot, (ii) various results obtained in laboratory experiments, taking into account quite different control algorithms and command-input signals, (iii) a comparison of the laboratory experiments with the computer simulations of Part I of this paper, and ({vi}) a quality check of the results compared with the cost of the different controller realizations. The results of both the computer simulations and the laboratory experiments show: (i) The dynamic behavior of the parallel structure can be tremendously improved by using sophisticated nonlinear control algorithms. (ii) This improvement has to be paid by a drastically increased amount of work for deriving the model equations and control algorithms, and by augmented hardware cost of the sensing elements and controller electronics. (iii) Carefully developed model equations and identified model parameters provide theoretical models of the complex parallel structure that are very close to reality. This enables the design engineer to systematically investigate constructive alternatives of the design parameters, sensor and actuator concepts, and control strategies of the MAP prior to their hardware realization.This work has been supported by the German Science Foundation (DFG) under Contract No. Ha 1666/6-3.     

A finiteness result for Heegaard splittings

In this paper we show that for a given 3-manifold and a given Heegaard splitting there are finitely many preferred decomposing systems of 3g−3 disjoint essential disks. These are characterized by a combinatorial criterion which is a slight strengthening of Casson-Gordon's rectangle condition. This is in contrast to fact that in general there can exist infinitely many such systems of disks which satisfy just the Casson-Gordon rectangle condition.     

A Triangle Inequality for Measurement

We introduce the triangle inequality for measurement. This is a property that when satisfied by a measurement enables one to construct a metric on the set of elements with measure zero that yields the relative Scott topology. The naturality of this construction permits a categorical solution to the model problem in domain theory for locally compact metric spaces. The first time such a solution has been achieved.     

Almost Sure Convergence and Square Functions of Averages Of Riemann Sums

Under a very moderate assumption on the Fourier coefficients of a periodic function, we show the convergence almost everywhere of the sequence of averages of its associated Riemann sums. The structure of the set of averages is analyzed by proving a spectral regularization type inequality, which allows to control the corresponding Littlewood-Paley square function.