We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints that is both efficient and effective at breaking symmetry. We then extend value precedence to deal with a number of generalizations like wreath value and partial interchangeability. We also show that value precedence is...

For most force measurement applications, the strain gage based transducer can be relied upon to faithfully convert a mechanical input into a proportional electrical analog output signal. However, when the mechanical input is either applied or changes at a rapid rate, the sensor may distort the conversion and the user should be aware of the possible consequences of this distortion. This article ...

We give a complete characterization of the possible response matrices at a fixed frequency of n-terminal electrical networks of inductors, capacitors, resistors and grounds, and of n-terminal discrete linear elastodynamic networks of springs and point masses, both in the three-dimensional case and in the two-dimensional case. Specifically we construct networks which realize any response matrix ...

In this paper we provide a vibration analysis model and the modeling method for a fully flexible 3-Parallel-Revolute-joint-and-Spherical-joint (3PRS) manipulator—a sliding-leg tripod with flexible links and joints. A series of tripod configurations are set by rigid kinematics for simulation and experiment. All the links are modeled by finite elements: triangular membranes combined with bending ...

Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...

Quark-meson duality for two-point functions of vector and axial-vector QCD currents is investigated in the large-Nc approximation. We find that the joint constraints of duality and chiral symmetry imply degeneracy of excited vector and axial-vector mesons in the large-Nc limit. We compare model-independent constraints with expectations based on the VenezianoLovelace-Shapiro string model. Severa...