representing engineering knowledge in the digital...
TRANSCRIPT
![Page 1: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/1.jpg)
REPRESENTING ENGINEERING KNOWLEDGE
IN THE DIGITAL MOCKUP
1
Serge P. Kovalyov
Institute of Control Sciences [email protected]
![Page 2: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/2.jpg)
About Digital Mock-Up (DMU)
ISO 17599:2015 standard
Digital mock-up (DMU) – digital specification given to a complete mechanical product or sub-system with an independent function, not only of the geometric properties, but also of its function and/or performance in a particular field
2 ICS RAS, 2017
[Hindustan Aeronautics Limited, 2017]
![Page 3: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/3.jpg)
DMU Use Cases
3 ICS RAS, 2017
3D-Modeling
Simulation
Requirements ManagementVirtual Manufacturing
Product Data Management
Engineering Analysis
DMUDigital Mock-Up
Technical Manuals Preparation
Virtual Materials Science
![Page 4: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/4.jpg)
Requirements Management
Requirements definition
Requirements analysis
Requirements verification
Requirements validation
Requirements tracing
4 ICS RAS, 2017
ISO/IEC/IEEE 29148 “Systems and software engineering – Life cycle processes – Requirements engineering”
![Page 5: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/5.jpg)
3D-Modeling Geometric primitives
Constructive solid geometry
Boundary representation
Parametric constraints
Assembly modeling
Photorealistic visualization
Typical parts and constructs
5 ICS RAS, 2017
ISO 10303 “Automation systems and integration – Product data representation and exchange”(STEP)
![Page 6: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/6.jpg)
Virtual Materials Science Geometric analysis of materials structure
Multiphysical finite element analysis
Meshfree analysis
Homogenization
Neural network analysis
6 ICS RAS, 2017
[Zhang Z., Friedrich K., 2003][Verpoest I., Lomov S., 2005]
![Page 7: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/7.jpg)
Product Data Management Storing product structure and data
Resolving collisions between parts/subsystems
Support for concurrent engineering
Workflow management
Change management
Access control
7 ICS RAS, 2017
IEC 81346 “Industrial systems, installations and equipment and industrial products –Structuring principles and reference designations”
![Page 8: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/8.jpg)
Engineering Analysis Finite element mesh method
Meshfree methods
Functional-voxel modeling
Parametric optimization
Topological optimization
8 ICS RAS, 2017
[Datadvance, 2013]
[Intact Solutions, 2009]
![Page 9: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/9.jpg)
Simulation Discrete event simulation
Systems dynamics
Agent-based simulation
9 ICS RAS, 2017
IEEE 1516 “Modeling and Simulation (M&S) High Level Architecture (HLA)”
![Page 10: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/10.jpg)
Virtual Manufacturing Virtual prototyping
Virtual machining
Virtual inspection
Virtual assembly
Virtual supply
Virtual disposal
10 ICS RAS, 2017
[Siemens, 2014]
SISO STD-008 “Standard for core manufacturing simulation data”
![Page 11: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/11.jpg)
Technical Manuals Preparation Animation of maintenance and repair procedures
Hyperlinks over document collections
Augmented reality
11 ICS RAS, 2017
ASD S1000D “International specification for technical publications using a common source database”
![Page 12: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/12.jpg)
Summary: DMU Aspects in a Product Lifecycle
Requirements
Geometry
Material
Structure and properties
12 ICS RAS, 2017
Performance
Behavior
Manufacturing
Maintenance
[Gherghina G. et al, 2015]
![Page 13: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/13.jpg)
Representing a Complex Product in an Aspect by
means of Category Theory
13
Let C be a category that represents a certain systemic aspect
Requirements, geometry, …
Let Fi : Di C be a family of functors that extract an aspect C from categorical representations Di of heterogeneous components of a complex product
D1 – kinematics of solid bodies,
D2 – electrics,
D3 – hydraulics,
D4 – software, …
Let I be a graph with nodes labelled by functors Fi
All instances of a graph I as a diagram in C and all their induced natural transformations comprise a multicomma category with the shape (I, F) (S.P. Kovalyov, 2016)
Categorical representation of products with structure I in an aspect C
F1 F2
…F3 F4
ICS RAS, 2017
![Page 14: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/14.jpg)
Properties of a Multicomma Category
14
Multicomma category ⇊I (Fi : Di C | i |I|)
An object is any pair ((Ai, i |I|), : I C) with Ai Di and (i) = Fi(Ai).
A morphism of a pair ((Ai, i |I|), ) to ((A'i, i |I|), ') is any family of
morphisms (fi : Ai A'i, i |I|) such as (Fi(fi), i |I|) Mor(, ').
Example. ⇊ F – comma category.
Theorem. Category ⇊I F is isomorphic toa vertex of the following pullback in the“category of all categories” CAT:
Corollaries
If I is a discrete graph, then ⇊I F i |I| Di.
If F consists of isomorphisms only, then ⇊I F CI.
⇊I K (F + G) ⇊I F ⇊K G for any shapes (I, F), (K, G) with the same C.
⇊K (⇊I F(k) CI | k |K|) ⇊I K (F(k)
i | (i, k) |I K|) for any graphs I, K and
any family of families of functors (F(k)i : D(k)
i C | i |I|), k |K|.
⇊I F CI
C(|I| ↪ I)
Di C|I|
i |I|
Fi i |I|
ICS RAS, 2017
![Page 15: REPRESENTING ENGINEERING KNOWLEDGE IN THE DIGITAL …philomatica.org/wp-content/uploads/2017/04/kovalyov_slides.pdf · Representing a Complex Product in an Aspect by means of Category](https://reader035.vdocuments.mx/reader035/viewer/2022081622/6137b1e40ad5d2067648c9c0/html5/thumbnails/15.jpg)
Thank you for your attention