عنوان

Modeling Design Objects and Processes

شابک

3642844200

شابک

9783642844201

شماره

b574545

عنوان اصلي

Modeling Design Objects and Processes

نام عام مواد

[Book]

نام نخستين پديدآور

edited by Takaaki Yagiu.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1991

نام خاص و کميت اثر

(x, 327 pages 82 illustrations)

عنوان فروست

Computer graphics--systems and applications.

متن يادداشت

0 Introduction.- 0.1 Primary Organization of a CAD System.- 0.2 Current State of Integration and Distribution.- 0.3 Roles of a Database.- 0.4 Toward Product Modeling.- 0.5 The Subject Matter.- 0.6 An Example.- 0.7 On the Formalness and Abstractness of Language.- 0.8 On the General Theory of Design.- 0.9 Program for Succeeding Chapters.- References.- 1 Requirements of CAD Databases.- 1.1 Structures and Semantics.- 1.2 Dynamic Aspect.- 1.3 Version Control.- References.- 2 Criticism of Past and Current Data Models.- 2.1 Graphics Packages in the 1960s.- 2.1.1 Ring Structure, Typically ASP.- 2.1.2 LEAP, an Associative Language.- 2.1.3 Set-theoretic Data Structure (STDS).- 2.2 Ad hoc Developments of CAD Databases.- 2.3 The Network (CODASYL) Model and Its Extensions.- 2.3.1 Structure and Basic Functions.- 2.3.2 Criticism.- 2.4 Relational Model and Its Extensions.- 2.4.1 Structure and Basic Functions.- 2.4.2 Criticism.- 2.4.3 Semantic Extensions of Relational Model.- 2.4.4 Applications of the Relational Model to CAD.- References.- 3 First Order Theory and Its Interpretation.- 3.1 First Order Language.- 3.2 Formal Theory.- 3.3 Interpretation of First Order Theory.- 3.3.1 Fundamental Concepts and the Completeness of FOPL.- 3.3.2 Morphism between Interpretations.- 3.4 Undecidability and Incompleteness.- 3.5 Clausal Form and the Herbrand Model.- References.- 4 Criticism of Logical Approaches.- 4.1 Pertinencies of Logic to Computer Sciences and Applications.- 4.2 Theory or Interpretation?.- 4.2.1 Information Systems as Formal Theories.- 4.2.1.1 General Discussion.- 4.2.1.2 Logic Programming (LP).- 4.2.1.3 Abstract Data Typing (ADT).- 4.2.2 Criticism.- 4.3 Meanings of Logical Formulas.- 4.3.1 Deductive Data Modeling.- 4.3.2 Derivation Rules, Integrity Constraints or What?.- 4.4 Single or Multiple Interpretations?.- 4.5 The Universe of Interpretation.- 4.6 What Kind of Logic?.- 4.6.1 Semantic Network (SN).- 4.6.2 Criticism.- 4.6.3 Network Represented as a Logical Structure.- 4.6.4 Limitations of FOPL.- References.- 5 Philosophical Discussions.- 5.1 Philosophical Reinterpretations of Conceptual Frameworks.- 5.1.1 Entity-Centered and Subject-Predicate Weltanschauung.- 5.1.2 Intensions and Extensions.- 5.2 Criticism of Underlying Weltanschauungen.- 5.3 An Alternate Weltanschuung.- 5.3.1 Characteristics of Our Universe of Discourse.- 5.3.2 The Paradigms: A Methodological Basis.- References.- 6 The Fundamental Structure of the Design Object Model.- 6.1 Physical Object, Theory and Interpretation.- 6.2 Qualifications on Theories and Interpretations.- 6.3 Illustrative Examples.- References.- 7 The Model Description Language (MDL).- 7.1 General.- 7.2 Theory Construction.- 7.2.1 Declarations and Definitions.- 7.2.2 Procedural Statements.- 7.3 Interpretation.- 7.3.1 Declarations and Definitions.- 7.3.2 Procedural Statements.- 7.4 Illustrative Examples.- References.- 8 Modeling the Design Process.- 8.1 The Concept of Minimal Extension.- 8.1.1 General.- 8.1.2 Fundamental Procedure.- 8.2 The Expansion of Model Description Language (MDL).- 8.2.1 Syntax and Semantics.- 8.2.2 Illustrative Examples.- 8.3 Controlling the Model Development.- 8.3.1 Working Principles for Programming Processes.- 8.3.2 System Facilities at the Macroscopic and Intelligent Level.- References.- 9 Implementation and Remaining Problems.- 9.1 General Organization.- 9.1.1 Structure of a Model.- 9.1.2 Structure of the Data Storage.- 9.2 Logical Structure Description Language (LDL).- 9.3 Logical Structure Manipulation Language (LML).- 9.4 Logical Structure Manipulation Utility (LMU).- 9.5 Examples and Applications.- 9.5.1 Examples.- 9.5.2 Applications.- 9.6 Remaining Problems.- References.

متن يادداشت

This thorough and comprehensive monograph provides a linguistic framework in which to describe an information model of design objects and processes in a discrete manufacturing environment. The author gives a theoretically sound and practically useful foundation for the model by means of a technical and philosophical analysis of past and current methods. The book features: - A comprehensive list of CAD database requirements, - Use of the full capacity of first order predicate logic, - Formalization of design requirements as a schema or formal theory and definition of the realization as an extensional database or interpretation, - The dynamic process of design conceived as a series of evolving interpretations of a given formal theory. The key novelty in the book is the definition of a formal language for describing both the static and dynamic aspects of design within the setting of first order predicate logic. The book provides a theoretically well-founded and practically powerful conceptual basis on which a wide range of CAD systems can be developed in a methodical way.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Physics.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Takaaki Yagiu.

مستند نام اشخاص تاييد نشده

Takaaki Yagiu

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y