ZIB

Hits per page

hits 1 - 2 | 2 hits

Sorting

Electronic Resource

Increasing Constraint Propagation by Redundant Modeling: an Experience Report (1999)

Cheng, B. M. W. ; Choi, K. M. F. ; Lee, J. H. M. ; [et al.]

Springer

Constraints 4 (1999), S. 167-192

add to mindlist on the mindlist

Details

ISSN: 1572-9354

Keywords: Constraint propagation ; redundant modeling

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract This paper describes our experience with a simple modeling and programming approach for increasing the amount of constraint propagation in the constraint solving process. The idea, although similar to redundant constraints, is based on the concept of redundant modeling. We introduce the notions of CSP model and model redundancy, and show how mutually redundant models can be combined and connected using channeling constraints. The combined model contains the mutually redundant models as sub-models. Channeling constraints allow the sub-models to cooperate during constraint solving by propagating constraints freely amongst the sub-models. This extra level of pruning and propagation activities becomes the source of execution speedup. real-life nurse rostering system. We perform two case studies to evaluate the effectiveness and efficiency of our method. The first case study is based on the simple and well-known n-queens problem, while the second case study applies our method in the design and construction of a real-life nurse rostering system. Experimental results provide empirical evidence in line with our prediction.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1023/A:1009894810205

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

Electronic Resource

Fundamental solutions and numerical methods for flow problemsThis invited paper is an extended, and refereed version of one presented at the Fourth International Symposium on Finite Elements in Flow Problems held in Tokyo, Japan, 26-29 July 1982. (1984)

Wu, J. C.

Chichester : Wiley-Blackwell

International Journal for Numerical Methods in Fluids 4 (1984), S. 185-201

add to mindlist on the mindlist

Details

ISSN: 0271-2091

Keywords: Potential Flows ; Navier-Stokes Problems ; Engineering ; Engineering General

Source: Wiley InterScience Backfile Collection 1832-2000

Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics

Notes: An approach for the numerical solution of flow problems based on the concept of fundamental solutions of differential equations is described. This approach uses the finite element methodology but does not rely on the concept of variational principle or that of residuals. The approach is shown to be well-suited for many types of flow problems. Various applications of this approach are discussed in this paper, with particular emphasis placed on the solution of potential flows and viscous flows containing appreciable regions of separation.

Additional Material: 2 Ill.