Systems and methods to semantically compare product configuration models

A model and data processing system technology, applied in the direction of reasoning methods, dynamic trees, instruments, etc., can solve problems such as difficult automatic execution, model configuration models are relatively invalid, and cannot be executed manually

Pending Publication Date: 2019-08-09
SIEMENS IND SOFTWARE GMBH
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The complexity of the models managed by the PDM system makes the comparison of different configuration models ineffective or impossible to perform manually and difficult to automate

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Systems and methods to semantically compare product configuration models
  • Systems and methods to semantically compare product configuration models
  • Systems and methods to semantically compare product configuration models

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0011] discussed below Figure 1 to Figure 3 The various embodiments used to describe the principles of the disclosure in this patent document are illustrative only and should not be construed in any way to limit the scope of the disclosure. Those skilled in the art will understand that the principles of the present disclosure may be implemented in any suitably arranged device. The many innovative teachings of the present application will be described with reference to exemplary, non-limiting embodiments.

[0012] During the configuration of complex products, such as automobiles, drives or server computers, a large number of constraints must be taken into account, such as compatibility requirements between product components, marketing aspects, and physical characteristics of the components. For example, heat emitted by product components may require different placement of adjacent components; electromagnetic interference may prohibit placing two components next to each other...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

Systems and methods to semantically compare product configuration models. A method includes receiving (305) a first configuration model (202) and a second configuration model (204). The method includes generating (310) a first order logic (FOL) representation (212) of the first configuration model (202) and an FOL representation (214) of the second configuration model (204). The method includes performing (315) a satisfiability modulo theories (SMT) solve for nonequivalence satisfiability on the FOL representation (212) of the first configuration model (202) and the FOL representation (214) ofthe second configuration model (204). The method includes storing (330) an indication that the first configuration model (202) is equivalent to the second configuration model (204) when the SMT solvefor nonequivalence satisfiability is not satisfied.

Description

technical field [0001] The present disclosure relates generally to computer-aided design, visualization and manufacturing systems, product lifecycle management (“PLM”) systems, and similar systems for managing data for products and other items (collectively referred to as “product data management” systems or PDM systems) . Background technique [0002] PDM systems manage PLM and other data. The complexity of the models managed by the PDM system makes the comparison of different configuration models ineffective or impossible to perform manually and difficult to automate. Expect an improved system. Contents of the invention [0003] Various disclosed embodiments include systems and methods for semantically comparing product configuration models. A method includes receiving a first configuration model and a second configuration model. The method includes generating a first order logic (FOL) representation of the first configuration model and a FOL representation of the se...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
CPCG06F30/00G06F17/16G06N5/04G06N5/013
Inventor 马丁·里夏德·诺伊霍伊瑟加博尔·舒尔茨
Owner SIEMENS IND SOFTWARE GMBH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap