A method and device for intelligent design of engineering products based on satisfiability solution

Abstract

The invention discloses an engineering product intelligent design method based on satisfiability solution, which includes: parametrically characterizing the design index as a proposition variable; using a neural network model to construct a calculation formula for a proposition variable lacking an explicit formula representation, as Propositional formula; obtain the value range of the propositional variable, and combine the value range of the propositional variable with the propositional formula to form a propositional clause; combine the propositional clauses to form a parametric design model of engineering products with full parameter coverage; The product parametric design model performs a satisfiability solution. If a satisfiable solution can be found, the returned result is true, and at least one set of design parameters is given; otherwise, the returned result is false, and any unsatisfied proposition is given. variable. The method and device of the invention reduce the experience requirements for designers in the existing engineering product design process, and improve the iterative design efficiency in the engineering product design process, which has good practical significance.

Description

Technical field [0001] The present invention relates to the design of computer-aided engineering product design, in particular to an intelligent design method and apparatus for engineering products based on satisfaction solving. Background technique [0002] The traditional engineering product optimization design method adopts the "from the lower to the upper" mode, the designer is required to design a design space according to the experience of the product, using the step-by-step development process, and the problem needs to rely on experience or optimized design method. Design indicators for iteration modifications, limiting the degree of innovation during product development. And is limited to the optimization capability of calculating efficiency and optimization algorithms, it is difficult to handle high-dimensional optimization problems of multidisciplinary multi-objective. Therefore, for engineering product design, traditional design patterns have no need to meet the needs ...

AI Technical Summary

Problems solved by technology

[0005] In view of this, the object of the present invention is to propose a method and device for intelligent design of engineering products based on satisfiability solutions, to solve the problem of high experience requirements for designers in the existing engineering product design process and the iterative problems in the engineering product design process. The problem of low design efficiency

Images