Skip to main content
SpringerLink
Log in

Using Constraint Solvers in CAD/CAM Systems

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2244))

  • 361 Accesses

Abstract

We discuss different possibilities of using the Constraint Programming Solvers (CPS) in CAD/CAM systems. The NeMo+ CPS, based on the approach of Subdefinite Models (SD-Models), and some its specializations are considered. The paper presents some components of a CAD/CAM system, where the NeMo+ solver is used or can be used, discusses the advantages of this approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Montanari, U. Networks of Constraints: Fundamental Properties and Application to Picture Processing, Information Science, V. 7, (1974), P. 95–132.

    MathSciNet  Google Scholar 

  2. Shvetsov I., Telerman V., Ushakov D. NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models, LNCS 1330 (1997).

    Google Scholar 

  3. Telerman V., Ushakov D., Sidorov V. Object-Oriented Constraint Programming Environment NeMo+ and its Applications, Proc. of the 9th Internat. Conf. on Tools with Artificial Intelligence, ICTAI’97.— IEEE Computer Society, Newport Beach, California, USA, (1997).

    Google Scholar 

  4. Narin’yani, A.S. Subdefiniteness and Basic Means of Knowledge Representation, Computers and Artificial Intelligence, Bratislawa, 2, No.5, (1983), 443–452.

    Google Scholar 

  5. Telerman V., Ushakov D. Subdefinite Models as a Variety of Constraint Programming, Proc. of the 8th Internat. Conf. on Tools with Artificial Intelligence, ICTAI’96.— IEEE Computer Society, Toulouse, France, (1996), 157–163.

    Google Scholar 

  6. Ushakov D. Some Formal Aspects of Subdefinite Models. Preprint No. 49, A. P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, (1998), 23 p.

    Google Scholar 

  7. Telerman V., Ushakov D. Data Types in Subdefinite Models, Lect. Notes in Comp. Sci. 1138 (1996), pp. 305–319.

    Google Scholar 

  8. Telerman V., Sidorov V., Ushakov D. Interval and Multi-interval Extensions in Subdefinite Models, Intern. Conf. on Interval Methods and Computer Aided Proofs in Science and Engineering (INTERVAL’96), Wurzburg, (1996), 131–132.

    Google Scholar 

  9. Lipski S., Sidorov V., Telerman V., Ushakov D. Database Processing in Constraint Programming Paradigm Based on Subde.nite Models, Joint NCC and IIS Bulletin, Comp.Science, No. 12, Novosibirsk, (1999), 29–31.

    Google Scholar 

  10. Brown Associates Inc. Applicon’s GCE: a strong technical framework, June 1993.

    Google Scholar 

  11. Thornton A.C. Constraint specification and satisfaction in embodiment design, PhD thesis, University of Cambridge, 1993.

    Google Scholar 

  12. Narin’yani A.S., Borde S.B., Ivanov D.A. Subdefinite Mathematics and Novel Scheduling Technology, Artificial Intelligence in Engineering, 11, (1997).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Russian Academy of Sciences, Siberian Branch, A.P. Ershov Institute of Informatics Systems, 6, Acad. Lavrentjev ave., 630090, Novosibirsk, Russia

    Vitaly Telerman

Authors
  1. Vitaly Telerman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark, Bldg.322, 106-108, Richard Petersens Plads, 2800, Lyngby, Denmark

    Dines Bjørner

  2. Computer Science Department, Technical University of Munich, Arcisstr.21, 80290, Munich, Germany

    Manfred Broy

  3. A.P.Ershov Institute of Informatics Systems, Acad.Lavrentjev ave.,6, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Telerman, V. (2001). Using Constraint Solvers in CAD/CAM Systems. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_43

Download citation

  • DOI: https://doi.org/10.1007/3-540-45575-2_43

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43075-9

  • Online ISBN: 978-3-540-45575-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation