Intelligent engineering product designing method and device based on satisfiability solution

Abstract

The invention discloses an intelligent engineering product designing method and device based on satisfiability solution. The method comprises the steps that design indexes undergo parameterization representation to serve as propositional variables; a neural network model is adopted to establish a computation formula of the propositional variables lack of explicit formula representation, and the formula serves as a propositional formula; the value range of the propositional variables is obtained, the value range of the propositional variables is combined with the propositional formula to form proposition clauses; the proposition clauses are conjuncted to form a total parameter covered engineering product parametrization design model; satisfiability solution is conducted on the engineering product parametrization design model, if a satisfiable solution can be found, a returned result is true, and at least one group of design parameters are given; if not, the returned result is false, any unsatisfiable propositional variable is given. By adopting the method and the device, the experience requirements for designers in the existing engineering product designing process are reduced, the iterative design efficiency in the engineering product designing process is improved, and the method and the device have a very good practical significance.

Description

technical field [0001] The invention relates to the field of computer-aided engineering product design, in particular to an engineering product intelligent design method and device based on satisfiability solution. Background technique [0002] The traditional engineering product optimization design method adopts the "bottom-up" mode, which requires designers to specify the design space based on experience in the product project approval stage, adopts a step-by-step development process, and needs to rely on experience or use optimal design methods to solve problems encountered in the design process. Design indicators are iteratively revised, limiting the degree of innovation in the product development process. And limited by the computational efficiency and optimization ability of the optimization algorithm, it is difficult to deal with multi-disciplinary and multi-objective high-dimensional optimization problems. Therefore, for engineering product design, the traditional d...

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