Skip to main content
SpringerLink
Log in

A Formal Representation of Technical Systems

  • Conference paper
Global Perspective for Competitive Enterprise, Economy and Ecology

Part of the book series: Advanced Concurrent Engineering ((ACENG))

  • 1891 Accesses

Abstract

The concept of technical systems is the foundation of many existing design theories and methodologies, such as systematic design methodology and TRIZ. A formal representation of technical systems is proposed to support the more logical application of the existing methodologies to various practical problems. This formal representation is based on axiomatic theory of design modelling. It shows that all the components of a technical system can be effectively represented in a formal system.

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 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Hubka, V. and Eder, W., Design Science. 1996, London: Springer-Verlag.

    Google Scholar 

  2. Hubka, V. and Eder, W., Theory of Technical Systems. 1984, Berlin: Springer-Verlag.

    Google Scholar 

  3. Savransky, S., Engineering of Creativity. 2000, Boca Raton, Florida: CRC Press.

    Google Scholar 

  4. Simon, H., The sciences of the Artificial. Third ed. 1996, Cambridge, Massachusetts: The MIT Press.

    Google Scholar 

  5. Zeng, Y. Axiomatic theory of design modeling. Transaction of SDPS: Journal of Integrated Design and Process Science 2002; 6(3): pp. 1-28.

    Google Scholar 

  6. Zeng, Y. and Cheng, G. On the logic of design. Design Studies 1991; 12(3): pp. 137-141.

    Article  Google Scholar 

  7. Zeng, Y. and Gu, P. General Design Governing Equation. in NSFC Grantee's Conference on Design and Manufacturing Engineering. 1999. Vancouver, BC, Canada.

    Google Scholar 

  8. Yoshikawa, H., General Design Theory and a CAD System. 1981: North-Holland Publishing Company.

    Google Scholar 

  9. Braha, D. and Maimon, O., A Mathematical Theory of Design: Foundations, Algorithms and Applications. 1998: Kluwer Academic Publishers, The Netherlands.

    Google Scholar 

  10. Salustri, F. and Venter, R. An Axiomatic Theory of Engineering Design Information. Engineering with Computers 1992; 8(4): pp. 197-211.

    Article  Google Scholar 

  11. Morris, H., et al. Information Integration Framework For Product Life-Cycle Management of Diverse Data. Journal of Computing and Information Science in Engineering 2004; 4(4): pp. 352-358.

    Article  Google Scholar 

  12. Zeng, Y. and Gu, P. A science-based approach to product design theory Part I: Formulation and formalization of design process. Robotics and Computer-Integrated Manufacturing 1999; 15(4): pp. 331-339.

    Article  Google Scholar 

  13. Zeng, Y. and Gu, P. A science-based approach to product design theory Part II: formulation of design requirements and products. Robotics and Computer-Integrated Manufacturing 1999; 15: pp. 341-352.

    Article  Google Scholar 

  14. Chen, Z. Y. and Zeng, Y. Classification of Product Requirements Based on Product Environment. Concurrent Engineering 2006; 14(3): pp. 219-230.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Information Systems Engineering, Concordia University, Montreal, Canada

    Baiquan Yan & Yong Zeng

Authors
  1. Baiquan Yan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yong Zeng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yong Zeng .

Editor information

Editors and Affiliations

  1. Department of Industrial Management, National Taiwan University of Science and Technology (NTUST), 43 Keelung Road, Section 4, 106, Taipei, Taiwan, Province of China

    Shuo-Yan Chou

  2. Department of Industrial Engineering and Management, National Taipei University of Technology, No.1, Section 3, Chung-Hsiao E. Road, 106, Taipei, Taiwan, Province of China

    Amy Trappey

  3. Inst. Machine Design Fundamentals, Warsaw University of Technology, Narbutta 84, 02-524, Warszawa, Poland

    Jerzy Pokojski

  4. Department of Mechanical Engineering, National Taiwan University, 1 Roosevelt Road, Section 4, 106, Taipei, Taiwan, Province of China

    Shana Smith

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer London

About this paper

Cite this paper

Yan, B., Zeng, Y. (2009). A Formal Representation of Technical Systems. In: Chou, SY., Trappey, A., Pokojski, J., Smith, S. (eds) Global Perspective for Competitive Enterprise, Economy and Ecology. Advanced Concurrent Engineering. Springer, London. https://doi.org/10.1007/978-1-84882-762-2_44

Download citation

  • DOI: https://doi.org/10.1007/978-1-84882-762-2_44

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84882-761-5

  • Online ISBN: 978-1-84882-762-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation