Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Overconstraint"”.
-
Core extraction and non-example generation : debugging and understanding logical models
… helps detect and localize unintentional overconstraint, in which real counterexamples are masked by bugs in the model. It leverages recent advances in SAT solvers to identify irrelevant portions of an unsatisfiable model. Experiences are reported from applying these two techniques to a …
-
Design of planar-flexure-based contacts for high-repeatability kinematic couplings
… have been used to reduce hysteresis and prevent overconstraint in kinematic couplings but the use of planar flexures as friction and wear reducing devices has not been previously studied.
-
Microassembly technology for modular, polymer microfluidic devices
… of freedom of the two mating modules without overconstraint. Simulations and experiments were performed to assess the predictability of dimensional and location variations of injection molded components. A center-gated disk with micro scale assembly features was replicated. Simulations using a …