The richness and expressive power o

The richness and expressive power of geometric constraints causes unintended ambiguities and inconsistencies during their solution or realization. For example, geometric constraint problems may turn out to be overconstrained requiring the user to delete one or more of the input constraints, and the solutions must then be dynamically updated. Without proper guidance by the constraint solver, the user must have profound insight into the mathematical nature of constraint systems and understand the internals of the solver algorithm. But a general user is most likely unfamiliar with those problems, so that the required interaction with the constraint solver may well be beyond the user’s ability. In this paper, we present strategies and techniques to empower the user to deal effectively with the overconstraint problem while not requiring him or her to become an expert in the mathematics of constraint solving.
We formulate this problem as a series of formal requirements that gel with other essentials of constraint solvers. We then give algorithmic solutions that are both general and efficient (running time typically linear in the number of relevant constraints).
q 2003 Elsevier Ltd. All rights reserved.

Results (Indonesian) 1:

Kekayaan dan kekuatan ekspresif kendala geometris menyebabkan ambiguitas yang tidak diinginkan dan inkonsistensi selama mereka solusi atau realisasi. Sebagai contoh, kendala geometris masalah mungkin ternyata menjadi overconstrained memerlukan pengguna untuk menghapus satu atau lebih kendala masukan, dan solusi harus kemudian secara dinamis diperbarui. Tanpa bimbingan yang tepat oleh solver kendala, pengguna harus memiliki pemahaman yang mendalam ke dalam sifat matematika dari sistem kendala dan memahami internal solver algoritma. Tapi pengguna umum kemungkinan terbiasa dengan masalah tersebut, sehingga diperlukan interaksi dengan solver kendala mungkin melampaui kemampuan pengguna. Dalam tulisan ini, kami menyajikan strategi dan teknik untuk memberdayakan pengguna untuk secara efektif menangani masalah overconstraint sementara tidak memerlukan dia atau dia untuk menjadi ahli dalam matematika memecahkan kendala.Kita merumuskan masalah ini sebagai serangkaian persyaratan formal yang gel dengan kebutuhan lainnya dari pemecah kendala. Kami kemudian memberikan algoritmik solusi yang umum dan efisien (menjalankan waktu biasanya linier jumlah kendala relevan).q 2003 Elsevier Ltd Semua Hak, milik.

Results (Indonesian) 2:

Kekayaan dan kekuatan ekspresif dari kendala geometris menyebabkan ambiguitas yang tidak diinginkan dan inkonsistensi selama solusi atau realisasinya. Misalnya, masalah kendala geometris mungkin berubah menjadi overconstrained mengharuskan pengguna untuk menghapus satu atau lebih dari kendala input, dan solusi kemudian harus diperbarui secara dinamis. Tanpa bimbingan yang tepat oleh pemecah kendala, pengguna harus memiliki wawasan yang mendalam ke dalam sifat matematika sistem kendala dan memahami internal dari algoritma solver. Tapi pengguna umum kemungkinan besar tidak terbiasa dengan masalah tersebut, sehingga interaksi yang diperlukan dengan pemecah kendala mungkin berada di luar kemampuan pengguna. Dalam tulisan ini, kami menyajikan strategi dan teknik untuk memberdayakan pengguna untuk secara efektif menangani masalah overconstraint sementara tidak membutuhkan dia untuk menjadi ahli dalam matematika memecahkan kendala.
Kami merumuskan masalah ini sebagai serangkaian persyaratan formal yang gel dengan penting lainnya dari pemecah kendala. Kami kemudian memberikan solusi algoritmik yang baik umum dan efisien (waktu berjalan biasanya linier dalam jumlah kendala yang relevan).
Q 2003 Elsevier Ltd..