JP6957964B2 - Multipurpose design support device, multipurpose design support system, multipurpose design support method, program, and terminal device - Google Patents

Description

The present invention relates to an apparatus for supporting the design of a product having a plurality of performances.

When designing a product having a plurality of performances, a technique for supporting the design by performing numerical analysis by a multi-objective optimization method is known.

For example, in Non-Patent Document 1, multi-objective optimization based on particle swarm optimization (PSO) is performed on a design problem of a two-member truss. Here, a technique for enumerating a set of design variables (Pareto solution) that is difficult to attach to a plurality of purposes for which there is a trade-off relationship such as member volume and stress is disclosed.

Further, as a method of finding a solution of a multi-objective optimization problem, there is a demand level method (for example, Non-Patent Document 2). This is a method of having the designer input a desired desired level value of each objective function, and is a method of calculating a solution with a small error between the desired level and each objective function by optimization. If there are only solutions that have not reached the desired level and you are not satisfied with the balance of the degree of non-achievement of the obtained solution, enter the desired level again and take an interactive approach to solve the optimization problem again. There is.

On the other hand, there is known a technique for optimizing a system by expressing a problem such as system control by a first-order predicate logic formula and solving it (see, for example, Non-Patent Documents 3 and 4). Specifically, for a logical expression in which the equations and inequality of a polynomial are combined by a combination symbol such as a logical product (∧) or a logical sum (∨), a universal quantifier (generally called a quantifier) is used for some variables. Generate a first-order predicate logical expression with ∀) and existential quantifier (∃). Then, the system is optimized by erasing the variables (bound variables) with qualifying symbols in this first-order predicate logical expression and deriving the logical expressions to be satisfied by the other variables (free variables).

Patent Document 1 discloses a technique for visualizing a range of values (feasible region) that each objective function can take by using a qualifying symbol elimination method.

JP-A-2009-169557

Nozomi Ogiso, Shoichiro Kawaji, Masanobu Ohara, Atsushi Ishigame, Keiichi Sato: Solving constrained multipurpose optimal design problems that integrate multipurpose PSO and sensitivity analysis of constraints, Japan Society of Mechanical Engineers C, Vol.78, No.785, pp .201-213 (2012) Hirokazu Anai, "Practical Guide to Mathematical Optimization", Kodansha, March 2013, p.214-22 Hirokazu Anai, Kazuhiro Yokoyama, "QE Calculation Algorithms and Their Applications Optimization by Mathematical Processing", University of Tokyo Press, August 2011, p.214-221 Yoshio Tange, Satoshi Kiryu, Tetsuro Matsui, Yoshikazu Fukuyama: Visualization of energy optimization problems considering supply and demand balance for energy conservation preliminary study, IEEJ Transactions C, Vol.134, No.1, pp.78-84 ( 2014)

In the desired level method, the relationship between the objective function (performance) and the amount of unachieved desired level was not known. Further, when the technique of Patent Document 1 was used, the relationship between the objective function (performance) and the amount of unachieved desired level was not known. Therefore, when the optimum solution searched by the desired level method does not satisfy a specific performance, it is not known how the amount of unachieved amount from the desired level changes when the specific performance is increased. As a result, there was no index to judge whether to adopt a solution with a good amount of unachieved from the desired level or to search for another solution. In other words, even if the unachieved amount is not optimal, I did not know whether there was a good solution for both the performance that I wanted to emphasize and the unachieved amount.

In addition, in the desired level method, it was not known how the amount of non-achievement to the desired level changes when the design variable value is changed. Therefore, if the solution derived as a result of optimization is a design value that is difficult to actually design, there is no guideline for how to change it.

An object of the present invention is a device for supporting the design of a product having a plurality of performances, and a multipurpose design capable of providing a screen capable of grasping the relationship between each performance and the total amount of unachieved to the desired level. It is to provide support devices and the like.

The multipurpose design support device of the present invention is a device for supporting the design of a product having a plurality of performances, and has the following functional units.
-A design formula generator that generates a design condition formula indicating the conditions related to the design based on predetermined input information including the desired level value corresponding to each of the plurality of performances;
-First-order predicate logic expression generator that generates first-order predicate logic expressions related to performance and / and design variables based on the design condition formula;
-The feasible region formula generation unit that obtains the feasible region formula by performing the qualifying symbol elimination process on the first-order predicate logic formula;
-Visualization unit that generates a screen showing the area where the feasible area formula is established:

According to the multipurpose design support device or the like of the present invention, it is a device for supporting the design of a product having a plurality of performances, and it is possible to grasp the relationship between each performance and the total amount of unachieved to the desired level. Can provide a screen.

It is a system block diagram of the multipurpose design support system of this example. It is a processing flowchart figure of a multipurpose design support device. This is an example of a performance screen. This is an example of the design variable screen. It is a figure which shows a part of the specific example of the generated feasible region formula. (A) to (d) are specific examples of performance screens. (A) to (d) are specific examples of the design variable screen. (A) to (d) are specific examples of performance screens. (A) to (d) are specific examples of the design variable screen. (A) to (d) are specific examples of performance screens. (A) to (d) are specific examples of the design variable screen. It is a block diagram of the structure and function of the multipurpose design support system of this example. It is a block diagram of the structure and function of the multipurpose design support device of this example. This is an example of hardware configuration such as a multipurpose design support device.

Hereinafter, embodiments of the present invention will be described with reference to the drawings.
FIG. 1 is a system configuration diagram of the multipurpose design support system of this example.

The multipurpose design support system of the illustrated example has a multipurpose design support device 10 and a terminal 20. As an example, the multi-purpose design support system is a client-server system in which the multi-purpose design support device 10 is a server device, the terminal 20 is a client device, and the server device and the client device are connected to a network. Not limited to this example. The multipurpose design support device 10 and the terminal 20 are connected to a network (for example, LAN, the Internet, etc.) (not shown), and have a configuration in which data can be transmitted and received to each other via the network.

In this example, the multipurpose design support device 10 is a device that supports the design work of the user of each terminal 20, and has a function of supporting the design work particularly related to "a product having a plurality of performances that determine quality". It is a device. However, the present invention is not limited to this example. For example, the multipurpose design support device 10 may be a device that supports the design work of the user of the own device. In this case, the input of the input information described later and the display of the generated screen are performed by the multipurpose design support device 10. It will be done.

The terminal 20 is, for example, a personal computer or the like, and has a display unit 21 such as a display and an input operation unit 22 such as a keyboard and a pointing device (mouse). For example, a user of an arbitrary terminal 20 inputs arbitrary input information. The input information is, for example, constraint condition information, performance information, and desired level value information.

The constraint condition information is information related to an arbitrary constraint on a design variable. For example, for example, the range (upper limit value and lower limit value) that each design variable can take is not limited to this example.

The performance information is information for obtaining the performance value according to the value of each design variable. The performance information is, for example, the degree of influence that the above design variable has on the performance, and a formula for calculating the performance value (performance formula) or the like is generated using the degree of influence, but the performance information is limited to this example. No. For example, the performance information may be a performance formula. The desired level value information is an arbitrary set arbitrary desired level value corresponding to each performance.

The input information is transmitted to the multipurpose design support device 10 via the network.
Based on this input information, the multipurpose design support device 10 executes a predetermined process to generate a design support screen (performance screen, design variable screen, etc., which will be described later), and displays this design support screen on the display unit of the terminal 20. It is displayed on 21. The multipurpose design support device 10 is a device for supporting the design of a product having a plurality of performances.

The above configuration is an example, and the present invention is not limited to this example. For example, the multipurpose design support system 10 may be a multipurpose design support system having a configuration in which the above-mentioned input information is input and the design support screen is displayed.

The multipurpose design support device 10 has a characteristic analysis function unit.
The characteristic analysis function unit includes a design formula generation function unit 11, a first-order predicate logic formula generation function unit 12, a feasible region formula generation function unit 13, a visualization function unit 14, a first setting unit 15, a second setting unit 16, and the like. Have. The processing of these various functional units will be described below with reference to FIG.

FIG. 2 is a processing flowchart of the multipurpose design support device 10.
As described above, the multipurpose design support device 10 is, for example, a server device, and its hardware configuration may be a general server device configuration (not shown), for example, an arithmetic processor such as a CPU, a hard disk, a memory, or the like. It has a storage device, communication function, etc. A predetermined application program is stored in the storage device in advance, and when the arithmetic processor executes this application program, for example, the design formula generation function unit 11, the first-order predicate logic formula generation function unit 12, and the executable area formula are executed. Processing of the generation function unit 13, the visualization function unit 14, the first setting unit 15, the second setting unit 16, and the like is realized.

Similarly, the terminal 20 has a general personal computer hardware configuration (CPU, storage device, etc.) (not shown), and the CPU executes a predetermined application program stored in the storage device in advance. Various processes of the terminal 20 in this description are realized.

The multipurpose design support device 10 first acquires the above input information (constraint condition information, performance information, desired level value information, etc.) by an input function unit (not shown) (step S11).

The design formula generation function unit 11 generates a formula related to the amount of non-achievement to the desired level, a design condition formula expressing all the conditions at the time of design, and the like based on the above input information (step S12).

The design formula generation function unit 11 generates, for example, a design condition formula indicating all the conditions related to the design based on the input information including the desired level values corresponding to each of the plurality of performances.

The design formula generation function unit 11 generates, for example, a performance-specific unachieved amount formula, which is a formula for obtaining a performance-specific unreached amount, which is an unachieved amount with respect to the desired level value of the performance according to each performance. The design condition formula should include the performance-specific unachieved quantity formula.

The design formula generation function unit 11 further generates, for example, an overall unachieved amount formula for obtaining the total unachieved amount by using the above-mentioned unachieved amount for each performance, and the above-mentioned design condition formula includes the total unachieved amount. Make sure that the master formula is also included.

In the design formula generation function unit 11, for example, the constraint condition of each of the plurality of design variables related to the above performance and the performance formula which is the calculation formula of the value of each performance using the plurality of design variables are the above design conditions. Be included in the formula.

The design formula generation function unit 11 is, for example, by combining the above-mentioned constraint conditions, the above-mentioned performance formulas, the above-mentioned unachieved quantity formulas for each performance, and the above-mentioned total unachieved quantity formulas by a logical product. Generate a formula.

The first-order predicate logical expression generation function unit 12 generates a first-order predicate logical expression related to performance and / and a first-order predicate logical expression related to design variables based on the design condition mathematical expression generated by the design mathematical expression generation function unit 11. Generate (step S13).

The first-order predicate logic expression generation function unit 12 has, for example, an existential quantifier (∃) for all variables except the variable indicating an arbitrary performance value and the variable indicating the total unachieved amount with respect to the above design condition mathematical expression. ) Is added to generate a first-order predicate logic expression related to performance, for example, as follows.

For example, the first-order predicate logic expression generation function unit 12 assigns an existence symbol (∃) to all variables except an arbitrary design variable and a variable representing the total unachieved amount with respect to the above design condition mathematical expression. By doing so, for example, the first-order predicate logic expression for the following design variables is generated.

The feasible area mathematical expression generation function unit 13 obtains the feasible area mathematical expression by executing the qualifying symbol erasing process on the first-order predicate logical expression generated by the first-order predicate logical expression generation function unit 12 ( Step S14).

The visualization function unit 14 uses the above-mentioned feasible area mathematical expression generated by the feasible area mathematical expression generation function unit 13 to obtain each performance and the unachievable range, and each design variable and the unachievable range. Etc. are visualized (step S15). The visualization function unit 14 generates a screen showing an area in which the above-mentioned feasible area formula is established. The generated screen is transferred to, for example, the terminal 20 and displayed on the display unit 21, but the present invention is not limited to this example.

The feasible region mathematical expression generation function unit 13 can execute an arbitrary performance value and the total unachieved amount by, for example, performing an existing qualifying symbol elimination process on a first-order predicate logic expression related to performance. Find the area formula.

In the case of this example, the visualization function unit 14 uses the feasible region formula relating to the above-mentioned arbitrary performance value and the total unachieved amount, and the range in which the arbitrary performance value and the total unachieved amount can be taken. Generate a screen showing (area).

Further, the feasible region mathematical expression generation function unit 13 performs, for example, the existing qualifying symbol erasing process on the first-order predicate logic expression related to the design variable, so that the value of an arbitrary design variable and the total unreached amount can be obtained. Find the feasible area formula related to.

In the case of this example, the visualization function unit 14 takes the value of the arbitrary design variable and the total unreached amount by using the feasible region mathematical expression related to the value of the arbitrary design variable and the total unreached amount. Generate a screen showing the range (area) to be obtained.

Further, the multipurpose design support device 10 may further include a first setting unit 15 for adding an arbitrary constraint condition to the design condition formula generated by the design formula generation function unit 11. The first setting unit 15 displays, for example, a setting screen (not shown) for adding an arbitrary constraint condition on the display unit 21 of the terminal 20, and causes the user to set and input an arbitrary constraint condition. This setting data is acquired, and this constraint condition is concatenated with the above design condition formula by, for example, a logical product.

The first-order predicate logic expression generation function unit 12 is, for example, based on the design condition formula to which the arbitrary constraint condition is added (concatenated) as described above, and the first-order predicate logic expression and / and the design variable regarding the performance. Generate a first-order logic for.

Further, the multi-purpose design support device 10 may further include a second setting unit 16 for setting an arbitrary weight value for each performance-specific unachieved amount formula used in the overall unachieved amount formula. The second setting unit 16 displays, for example, a weight setting screen (not shown) for setting an arbitrary weight value on the display unit 21 of the terminal 20, and causes the user to set and input an arbitrary weight value. , Get this setting data. Then, this weight value is reflected in the entire unachieved amount formula. The above-mentioned design condition formula including such an entire undelivered amount formula is generated, and the processing of the first-order predicate logic formula generation function unit 12 and subsequent units is executed using such a design condition formula. become.

When the above input information (constraint condition information, performance information, desired level value information) is transferred from an arbitrary terminal 20, it is temporarily stored in a storage unit (memory or the like) (not shown) in the multipurpose design support device 10. NS. This is stored as, for example, a constraint condition formula, a performance formula, and a desired level value, which will be described later.

In addition, various mathematical formulas such as the mathematical formulas related to the unachieved amount from the desired level, the design condition formulas, the first-order predicate logic formulas, and the feasible region formulas generated by each of the functional units are also temporarily stored in the storage unit. Is remembered in.

When the user uses the multipurpose design support device 10, the operation may be started from the input of the input information, or may be started from the state in which the input information or various mathematical formulas are already stored.

Hereinafter, an example of the above-mentioned constraint condition formula, performance formula, and desired level value will be described.
First, as a premise, the product to be analyzed is a product having a plurality of performances, and here, for example, it is assumed that there are M performances, and each performance is a performance m (m; 1, 2, ..., M. ). If M = 4, a product having four performances of performance 1, performance 2, performance 3, and performance 4 will be analyzed.

As an example, in the case of Non-Patent Document 1, the product is a two-member truss, and its performance includes stress, member volume, and the like, and there are a plurality of design variables related to each performance.

For example, an example of the above constraint condition formula is a formula showing a constraint condition related to such a design variable, and a specific example thereof is a formula showing the range (minimum value to maximum value) that the value of the design variable can take as shown below. Is. The following specific example shows a constraint condition formula related to an arbitrary design variable (design variable 1) among a plurality of design variables.

Minimum value of design variable 1 ≤ value of design variable 1 ≤ maximum value of design variable 1

Of course, there are similar constraint formulas for other design variables. For example, if there is another design variable 2, the following design condition formulas will also be added.

Minimum value of design variable 2 ≤ value of design variable 2 ≤ maximum value of design variable 2

It is assumed that there are N design variables, and the constraint condition formula relating to an arbitrary design variable n (n; an arbitrary integer of 1 to N) is expressed as follows.

Minimum value of design variable n ≤ value of design variable n ≤ maximum value of design variable n

The constraint condition information may be regarded as the constraint condition mathematical expression, but the present invention is not limited to this example, and the constraint condition information is the maximum value and the minimum value, and the multipurpose design support device 10 has this constraint. The constraint condition formula may be generated by using the condition information.

The value of each performance is calculated based on the values of the plurality of design variables and the degree of influence. The degree of influence represents the influence of the value of the design variable on the performance. For each performance, a performance formula for obtaining the performance value is set using the degree of influence indicating how much the value of each design variable affects. This "impact degree" is included in the above performance information, and the value of each "impact degree" is arbitrarily set by the user, for example.

Further, for example, if a performance formula (a performance formula for obtaining the value of the performance) is shown as the performance m (m; 1, 2, ... M), it is as follows, for example.

Value of performance m = (value of design variable 1 x "degree of influence of design variable 1 on performance m")
+ (Value of design variable 2 x "Influence of design variable 2 on performance m")
・ ・ ・ ・ ・ ・ ・
+ (Value of design variable n x "Influence of design variable n on performance m")
・ ・ ・ ・ ・ ・ ・
+ (Value of design variable N x "Influence of design variable N on performance m")

The performance formula shows a method of calculating the performance value according to the value of each design variable. It should be noted that the performance formula exists corresponding to each performance, that is, there are as many performance formulas as there are performances.

In the above example of the performance formula, the case where the sum of the products of the values of each design variable and the degree of influence becomes the performance value is shown. This can be expressed as y = Ax, where x is the vector that summarizes the design variables, A is the matrix that summarizes the degree of influence, and y is the matrix that summarizes the performance. However, this is an example of a performance formula, and is not limited to this example.

The performance information sent from the terminal 20 may be a performance formula, or the performance information is the degree of influence, and the multipurpose design support device 10 uses this degree of influence to generate a performance formula. You may. In the case where the performance information is a performance formula, for example, the user of the terminal 20 sets an arbitrary performance formula, but the present invention is not limited to this example.

In addition, the desired level value of the performance is set for each performance. Also for this, for example, the user of the terminal 20 sets an arbitrary value. The desired level value is a target value of each performance that the user of the terminal 20 considers desirable. For example, "the desired level value of performance 1 = 1" or the like is set, but of course, the present invention is not limited to this example.

Further, not only the performance 1 but also other performances (performance 2, ..., Performance m, ... Performance M) are set with desired level values corresponding to the performances.

The design formula generation function unit 11 creates an unachieved amount formula as described below, for example. To do this, first, an "unachieved amount formula for each performance" is created, then an "overall unachieved amount formula" is created, and then a "unreached amount formula" is created using these.

First, the unachieved amount formula for each performance will be described. For example, the formula for obtaining the unachieved amount of the performance m (m; 1, 2, ..., M) (the unachieved amount formula of the performance m) is as follows.

That is, when the "value of the performance m" is equal to or more than the "desired level value of the performance m", the "unachieved amount of the performance m" = 0. When the "value of performance m" is less than the "desired level value of performance m", "the amount of unachieved performance m = the desired level value of performance m-the value of performance m" is set. Note that ∧ is the logical product and ∨ is the logical sum.

In this way, for each performance, when the performance value reaches the desired level, the unachieved amount for each performance becomes '0' (zero), and when the performance value does not reach the desired level. The difference between the performance value and the desired level value is the unachieved amount for each performance. In other words, the unachieved amount formula for each performance is created by combining the case where the performance value reaches the desired level and the case where the performance value does not reach the desired level by ORing.

Next, the "total unachieved amount" is the sum of the above "unachieved amount by performance". The "total unreached amount" is the "desired level" on the vertical axis of the screen (graph) shown in FIGS. 3, 4, 6, 7, 8, 8, 9, 10, 11, etc., which will be described later. Corresponds to "the amount not reached from the value" (the total amount not reached from the desired level value).

The calculation formula of the total unachieved amount (unreached amount from the desired level value) is expressed by the following formula (total unreached amount formula).

Unachieved amount from the desired level value = Unachieved amount of performance 1 + Unachieved amount of performance 2 + ... + Unachieved amount of performance M

Then, the "unachieved amount formula" is a logical product of all the unachieved amount formulas (m = 1, 2, ..., M) of each of the above performances m, and further, the "whole unreached amount formula". By combining "" with a logical product, it is created as follows.

Then, the design formula generation function unit 11 creates a "design condition formula" by using, for example, the "undelivered amount formula", the constraint condition formula, and the performance formula. This creates a "design condition formula" as follows, for example.

That is, the "design condition formula" includes the "undelivered quantity formula" created as described above, the above-mentioned constraint condition formula of all design variables n (n = 1, 2, ... N), and all of them. By combining the above performance formulas of performance m (m = 1, 2, ... M) with a logical product, it is created as follows.

However, the above-mentioned "constraint formulas for all design variables" are created, for example, by combining all the design variables n (n = 1, 2, ... N) with a logical product. That is,

Further, the above-mentioned "performance formula of all performances" is created by, for example, combining performance formulas with a logical product for all performances m (m = 1, 2, ... M). That is,

The first-order predicate logic expression generation function unit 12 creates a first-order predicate logic expression by using, for example, the “design condition mathematical expression” created as described above. This creates, for example, a first-order predicate logic expression for performance and / and a first-order predicate logic expression for design variables.

Next, a method of generating the first-order predicate logic expression related to the above performance and the first-order predicate logic expression related to the design variable by the first-order predicate logic expression generation function unit 12 will be described below.

Here, the above m (= 1, 2, ..., M) and n (= 1, 2, ... N) will be used for description.

First, the first-order logic formula for performance is an existential quantifier (existential quantifier) for all variables except "variables for specific performance" and "variables that represent the amount not reached from the desired level value" for the design condition formula. ∃) is added and generated. In other words, the "first-order logic formula for performance m" is based on the design condition formula (constraint condition formula for all design variables ∧ performance formula for all performances ∧ unachieved quantity formula). It is generated by adding an existence symbol (∃) to all variables except "variable to represent" and "variable to represent the amount not reached from the desired level value".

Therefore, for example, the first-order predicate logical formula for performance 1 is all variables except "variables representing the value of performance 1" and "variables representing the amount not reached from the desired level value" with respect to the design condition formula. Is generated by adding an existence symbol (∃) to.

In addition, the first-order predicate logic formulas for design variables have existential quantifiers (existential quantifiers) for all variables except "specific design variables" and "variables that represent the amount not reached from the desired level value" for the design condition formulas. Generate by adding ∃). In other words, the first-order predicate logical formula for the design variable n is "" The value of the design variable n is set to the value of the design variable n. It is generated by adding an existence symbol (∃) to all variables except "variable to represent" and "variable to represent the amount not reached from the desired level value".

Therefore, for example, the first-order predicate logical expression for design variable 1 is all except "variable representing the value of design variable 1" and "variable representing the amount not reached from the desired level value" with respect to the design condition formula. It is generated by adding an existence symbol (∃) to the variable of.

The feasible area mathematical expression generation function unit 13 obtains the feasible area mathematical expression by executing the existing qualifying symbol erasing process on the generated first-order predicate logical expression.

Next, a method of generating the feasible area mathematical expression by the feasible area mathematical expression generation function unit 13 will be described below.

The executable area mathematical expression generation function unit 13 performs, for example, the qualifying symbol erasing process for each of the above "first-order predicate logic expressions related to performance m" generated by the first-order predicate logic expression generation function unit 12. Then, each "executable area formula related to the performance m and the unachieved amount from the desired level value" is generated.

Further, the executable area mathematical expression generation function unit 13 for example, for each of the above-mentioned "first-order predicate logic expressions related to the design variable n" generated by the first-order predicate logic expression generation function unit 12, the qualifying symbol erasing process. By performing the above, the "executable area formula related to the design variable n and the unachieved amount from the desired level value" is generated.

In any case, the quantifier elimination process itself is an existing process and is not described here, but the feasible region related to the variable excluded with respect to the existence symbol (∃) assignment in the first-order predicate logic expression. The formula will be generated.

That is, as described above, in the "first-order predicate logic expression regarding the performance m", the "variable representing the value of the performance m" and the "variable representing the amount not reached from the desired level value" are excluded. An "executable area formula" relating to the performance m and the unachieved amount from the desired level value will be generated.

Similarly, in the "first-order predicate logical expression for the design variable n", the "variable representing the value of the design variable n" and the "variable representing the amount not reached from the desired level value" are excluded, so that the "design variable" is excluded. The "executable area mathematical expression" related to n and the amount not reached from the desired level value is generated. The visualization function unit 14 is the executable area mathematical expression generated by the executable area mathematical expression generation function unit 13. Is visualized to generate, for example, the screens shown in FIGS. 3 and 4. The generated screen is displayed on, for example, the display unit 21 of the terminal 20. The process itself for visualizing an arbitrary feasible region mathematical expression is an existing process and will not be described in particular here.

The visualization function unit 14 generates, for example, the performance screen shown in FIG. 3 and displays it by visualizing the above-mentioned "feasible region mathematical expression of the unachieved amount from the performance m and the desired level value". In the performance screen, the horizontal axis represents the value of performance m, and the vertical axis represents the “(total) unachieved amount from the desired level value”. In FIG. 3, since the performance screen related to the performance 1 is shown, the horizontal axis represents the value of the performance 1 and the vertical axis represents the “unachieved amount from the desired level value” (total unachieved amount).

The visualization of the "performance 1 and the unachievable amount of feasible region formula from the desired level value" is to paint the region shown by the diagonal line in FIG. 3 with, for example, a predetermined color. The area indicated by this diagonal line indicates the range of possible values of the “unreached amount from the desired level value” with respect to the value of performance 1. The area indicated by the diagonal line may be referred to as a “diagonal line area”. This applies not only to FIG. 3 but also to other drawings. Further, in the case of the performance screen, in addition to the shaded area, the “desired level value of performance 1” indicated by the dotted line in the figure may also be displayed.

The “unreached amount from the desired level value” on the vertical axis corresponds to the “total unreached amount” as described above, and therefore, the smaller the value, the more desirable the solution as a whole. From this, by referring to the "diagonal area", the value of performance 1 when the "total unachieved amount" is the smallest can be found (the unachieved amount in the optimum state and the value of performance 1 at that time can be found. ). This is the part indicated by ◯ in FIG. 3, and in the example of FIG. 3, the value of performance 1 at that time is a value between ‘-0.5’ and ‘0’. Note that ○ may not be displayed on the actual screen (it may be regarded as showing for the sake of explanation), but the present invention is not limited to this example. This also applies to other screen examples.

On the other hand, the larger the value (performance value) on the horizontal axis, the better. However, in the illustrated example, especially in a region where the value of performance 1 is larger than the desired level value, the larger the value of performance 1, the larger the “total unachieved amount”. In other words, from this display, how much should the user sacrifice the unachieved amount (overall performance) from the desired level value in order to improve a specific performance (performance value on the horizontal axis)? You will understand.

As a result, for example, it is possible to add a constraint condition regarding performance while observing the balance between the optimum value of the performance to be particularly emphasized and the total unachieved amount. Then, by adding a constraint and recalculating, it is possible to help the user to obtain a satisfactory solution.

Alternatively, the visualization function unit 14 generates, for example, the design variable screen shown in FIG. 4 and displays it by visualizing the above-mentioned "feasible region mathematical expression of the unachieved amount from the design variable n and the desired level value". In the design variable screen, the horizontal axis represents the value of the design variable n, and the vertical axis represents the “amount not reached from the desired level value”. In FIG. 4, since the performance screen related to the design variable 1 is shown, the horizontal axis represents the value of the design variable 1 and the vertical axis represents the “unachieved amount from the desired level value” (total unachieved amount).

The visualization of the "feasible region mathematical expression of the unachieved amount from the design variable 1 and the desired level value" is to paint the region shown by the diagonal line in FIG. 4 with, for example, a predetermined color. The area indicated by the diagonal line (diagonal line area) indicates the range of possible values of the “unreached amount from the desired level value” with respect to the value of the design variable 1.

By referring to the display of this "diagonal line area", the user can know the value of the design variable 1 when the "total unreached amount" is the smallest (the unreached amount in the optimum state and the design at that time). You can see the value of variable 1). In FIG. 4, it is a part indicated by ◯, and the value of the design variable 1 at that time is a value in the vicinity of ‘-0.3’.

In addition, the user can understand the relationship between a specific design variable and the total unachieved amount from this display. When designing, there may be design variables whose values are difficult to change. At that time, the design can be performed while observing the balance between the difficulty of the actual design and the total unachieved amount while observing this display.

Hereinafter, a specific example will be described.
In this specific example, it is assumed that there are four types of design variables and four types of performance, but of course, this is only an example.

Here, specific examples of each of the constraint condition formula, the performance formula, and the desired level value will be described. Further, specific examples of the above-mentioned "constraint condition formulas of all design variables" and "performance formulas of all performances" constituting the above design condition formulas will be described.

Hereinafter, they will be described in order.
First, a specific example of the constraint condition formula related to each of the four design variables 1, 2, 3 and 4 is shown below. This is as follows, where tn is a "variable indicating the value of the design variable n (n; 1, 2, 3, 4)".

F11: = -1 ≤ t1 ≤ 1; Constraint formula of design variable 1 F12: = -1 ≤ t2 ≤ 1; Constraint formula of design variable 2 F13: = -1 ≤ t3 ≤ 1; Constraint of design variable 3 Formula F14: = -1 ≤ t4 ≤ 1; Constraint formula of design variable 4

That is, in this example, the values of all the design variables n are restricted to be within the range of "minimum value (-1) to maximum value (+1)".

Here, it is assumed that the constraint condition mathematical expression of the design variable n is represented by F1n (F11, F12, F13, F14). Further, for the sake of simplicity, the maximum value is set to 1 and the minimum value is set to -1 for all design variables, but of course, the present invention is not limited to this example.

Then, in this example, "constraint formulas for all design variables" F1 is created by combining all the constraint formulas by a logical product as shown below.

Further, in this specific example, in the performance formula, ym is defined as "a variable indicating the value of performance m (m; 1, 2, 3, 4)", and "the degree of influence of the design variable n on performance m" is defined as the design. Multiply the value tun of the variable n and let the sum of the multiplication values be ym. As described above, since there are four types of performance in this specific example, m = 1, 2, 3, and 4, and specific examples of the calculation formulas for y1, y2, y3, and y4 are as follows.

F21: = y1 = −t1-2 × t2-t3 + 2 × t4; Performance formula of performance 1 F22: = y2 = 3 × t1-t3 + 2 × t4; Performance formula of performance 2 F23: = y3 = t1 + 2 × t2-2 × t4; Performance formula of Performance 3 F24: = y4 = -3 × t2 + 2 × t3 + 2 × t4; Performance formula of Performance 4

In the case of the above specific example, for example, regarding the performance 2, the "impact of the design variable 1 on the performance 2" is "+3", the "impact of the design variable 2 on the performance 2" is "0", and the "design variable 3 is". The degree of influence on the performance 2 is "-1", and the "degree of influence on the performance 2 by the design variable 4" is "+2". The value of each of these influence degrees is, for example, arbitrarily determined and set by the user or the like in advance, but is not limited to this example. As described above, here, it is assumed that the mathematical formula for obtaining the value ym of the performance m is expressed by F2m (F21, F22, F23, F24).

Then, in this example, the "performance formula of all performances" F2 is created by combining all the performance formulas by a logical product as shown below.

F2: = (F21∧F22∧F23∧F24)

Further, in this specific example, the desired level of all performances is set to "1", and specific examples of the desired level value for each performance are as follows.

Desired level value of performance 1 = 1
Desired level value of performance 2 = 1
Desired level value of performance 3 = 1
Desired level value of performance 4 = 1

Next, a specific example of the “unachieved amount formula for each performance” will be described. Here, the "performance m unachieved amount formula" F3m is generated assuming that the unachieved amount of the performance m is represented by the variable dm. Here, the “unachieved amount formula for each performance” F3m (m = 1, 2, 3, 4) is as follows.

In this example, the unachieved amount formula for each performance is generated by classifying the case where the value ym of each performance m is equal to or more than the desired level value (= 1) and the case where it is small.

Further, if the variable representing the "unreached amount from the desired level value" (total unachieved amount) is d, the sum of the unachieved amount dm of each performance is the "total unachieved amount" d. Generate the total unachieved amount formula; (below).

F30: = d = d1 + d2 + d3 + d4

Then, the unachieved amount formula F3 (below) is generated by combining all the "unreached amount formulas for each performance" F31 to F34 and the "total unachieved amount formula" d by a logical product.

Next, a specific example of the design condition formula will be described with reference to the above specific example.
The design formula generation function unit 11 combines the above-mentioned "constraint condition formula of all design variables" F1, the above-mentioned "performance formula of all performances" F2, and the above-mentioned unachieved quantity formula F3 by a logical product. Create the following design condition formula F.

This is as follows in the case of the above specific example.

Next, a specific example of the first-order predicate logic expression created by the first-order predicate logic expression generation function unit 12 will be described below. The method of generating the first-order predicate logic expression has already been described, and here, a specific example of the first-order predicate logic expression corresponding to the above specific example is shown.

Hereinafter, specific examples of the first-order predicate logic formula related to performance and the first-order predicate logic formula related to design variables will be sequentially described.

Here, it is assumed that Pm in the following description is a first-order predicate logic expression regarding the performance m (m = 1, 2, 3, 4), and Qn is a first-order predicate logic expression regarding the design variable n (). n = 1,2,3,4).

The first-order predicate logic formula Pm regarding the performance m is the “variable d representing the amount not reached from the desired level value” and the “specific performance” with respect to the design condition formula F (that is, F1∧F2∧F3) created above. It is generated by adding the existence symbol ∃ to all variables except "variable ym" that represents. The specific performance is the performance m in the first-order predicate logic formula Pm relating to the performance m. Therefore, for example, in the first-order predicate logic expression P1 relating to the performance 1, the specific performance is the performance 1. This is substantially the same for specific design variables described later.

From this, each first-order predicate logic formula Pm (m = 1, 2, 3, 4) according to the above specific example is, as an example, the first-order predicate logic formula P1 regarding performance 1 is as follows.

In the case of this example, the existence symbol ∃ is given to all the variables except the variable d and the “variable y1 indicating the value of performance 1” for the design condition formula F (that is, F1∧F2∧F3). As a result, the first-order predicate logical expression P1 relating to the performance 1 is generated.

Similarly, the first-order predicate logic formula P2 for performance 2, the first-order predicate logic formula P3 for performance 3, and the first-order predicate logic formula P4 for performance 4 are as follows, respectively.

The first-order predicate logic formula Qn regarding the design variable n is a "variable d representing the amount not reached from the desired level value" and a "specific" with respect to the design condition formula F (that is, F1∧F2∧F3) created above. It is generated by adding the existence symbol ∃ to all variables except "variable tun" that represents a design variable. From this, each first-order predicate logic equation Qn (n = 1, 2, 3, 4) according to the above specific example shows the first-order predicate logic equation Q1 regarding the design variable 1 as an example.

In the case of this example, the existence symbol ∃ is given to all the variables except the variable d and the "variable t1 indicating the value of the design variable 1" for the design condition formula F (that is, F1∧F2∧F3). By doing so, the first-order predicate logical expression Q1 regarding the design variable 1 is generated.

Similarly, the first-order predicate logic formula Q2 for the design variable 2, the first-order predicate logic formula Q3 for the design variable 3, and the first-order predicate logic formula Q4 for the design variable 4 are as follows, respectively.

The feasible region mathematical expression generation function unit 13 executes the existing qualifying symbol erasing process for each of the generated “first-order predicate logic expression Pm regarding performance m” (m = 1, 2, 3, 4). As a result, "the feasible region mathematical expression" Pm'of the unachieved amount from the performance m and the desired level value is generated in the following form, for example. Note that QE [] means a qualifying symbol erasing process, and for example, QE [P1] means a qualifying symbol erasing process for P1.

P1'= QE [P1]
P2'= QE [P2]
P3'= QE [P3]
P4'= QE [P4]

A part of the specific example of P1'generated according to the specific example is shown in FIG. 5, but this will not be described in particular.

Similarly, the feasible region mathematical expression generation function unit 13 has existing qualifying symbols for the above-generated “first-order predicate logical expression Qn regarding the design variable n” (n = 1, 2, 3, 4), respectively. By executing the erasing process, "the feasible region mathematical expression" Qn'of the unachieved amount from the design variable n and the desired level value is generated in the following form, for example.

Q1'= QE [Q1]
Q2'= QE [Q2]
Q3'= QE [Q3]
Q4'= QE [Q4]

The mathematical formula as a result of the qualifying symbol erasing process such as Pm'and Qn'is a feasible region for two variables to which the qualifying symbol is not added when the first-order predicate logical expression is generated. That is, for example, P1'is a mathematical formula indicating a feasible region for two variables, the variable d and the variable y1 indicating the value of performance 1. From this, as shown in FIG. 5, the variables related to P1'are only d and y1.

The visualization function unit 14 uses the above Pm'to generate, for example, the performance screen shown in FIG. 6 and display it on the display unit.

FIG. 6A shows the visualization result of P1'. FIG. 6B shows the visualization result of P2'. FIG. 6C shows the visualization result of P3'. FIG. 6D shows the visualization result of P4'. For example, in FIG. 6A, the vertical axis is the “unreached amount from the desired level value” and corresponds to the variable d, and the horizontal axis is the value of performance 1 and corresponds to the variable y1. In FIG. 6B, the vertical axis corresponds to the variable d and the horizontal axis corresponds to the variable y2. The same applies to FIGS. 6 (c) and 6 (d).

Regarding the display of FIGS. 6A to 6D, first, the “unreached amount from the desired level value” on the vertical axis means the “total unreached amount” as described above, so the value should be as much as possible. The smaller the better. Further, as for the performance value on the horizontal axis, the larger the value, the better the performance. Then, it is desirable that the performance value is equal to or higher than the desired level value (reaching the desired level value). The desired level value corresponding to each performance is shown by the vertical dotted line in the figure. In this example, the desired level value is ‘1’ for all the performances as described above.

In FIGS. 6 (a) to 6 (d), the circles indicate the places where the “unreached amount from the desired level value” (total unreached amount) is the smallest, that is, the “total unreached amount”. Shows the performance value when is the optimum value.

By viewing such a performance screen, the user can see, for example, the performance of each performance when the "unachieved amount from the desired level value" is the smallest (that is, when the total unachieved amount becomes the optimum value). I know the value. Also, by looking at the lower limit change on the lower right side of the figure, how does the total unachieved amount change when the specific performance is increased from the above "optimal value of the total unachieved amount"? I know what to do.

For example, referring to the example of FIG. 6A, when the value of performance 1 is the desired level value (= 1; indicated by the vertical dotted line), the “amount not reached from the desired level value” is the smallest ( In the figure, the part indicated by ○). Further, when the value of performance 1 is larger than the desired level value, it can be seen that the larger the value of performance 1, the larger the “amount not reached from the desired level value”.

On the other hand, for example, in the case of the performance 2 shown in FIG. 6B, it can be seen that even if the performance 2 is made larger than the optimum value (the part indicated by ◯), the “total unachieved amount” does not change much. Then, for example, it can be seen that there is room for consideration in the search under the condition that the performance 2 is larger than the optimum value (although the "total unachieved amount" is not optimal).

Further, for example, in the case of the performance 3 shown in FIG. 6 (c), the optimum value of the performance 3 (the part indicated by ◯) is smaller than the desired level value indicated by the vertical dotted line as shown in the figure, and becomes the desired level value. Not reached. From this, when considering making the performance 3 larger than the optimum value, in the illustrated example, the value of the performance 3 is between the optimum point (point indicated by ◯) and the desired level value (point indicated by the vertical dotted line). The change in the "total unachieved amount" is gradual, but the change in the "total unachieved amount" becomes very large in the area larger than the desired level value (point indicated by the vertical dotted line). From this, it can be seen that, for example, there is room for examination under the condition that the value of performance 3 is between the optimum point (point indicated by ◯) and the desired level value (point indicated by the vertical dotted line).

Further, the visualization function unit 14 uses the above Qm'to generate, for example, the design variable screen shown in FIG. 7. This screen is transferred to, for example, the terminal 20 and displayed on the display unit 21.

FIG. 7A shows the visualization result of Q1'. FIG. 7B shows the visualization result of Q2'. FIG. 7C shows the visualization result of Q3'. FIG. 7D shows the visualization result of Q4'. For example, in FIG. 7A, the vertical axis is the “amount not reached from the desired level value” and corresponds to the variable d, and the horizontal axis is the value of the design variable 1 and corresponds to the variable t1. In FIG. 7B, the vertical axis corresponds to the variable d and the horizontal axis corresponds to the variable t2. The same applies to FIGS. 7 (c) and 7 (d).

In FIGS. 7 (a) to 7 (d), the circles indicate the places where the “unreached amount from the desired level value” (total unreached amount) is the smallest, that is, the “total unreached amount”. Indicates the value of the design variable when is the optimum value.

By looking at such a design variable screen, for example, the user can know the value of each design variable when the "amount not reached from the desired level value" is the smallest. In addition, by referring to the design variable screen, it is possible to understand how the "unachieved amount from the desired level value" changes when the design variable is changed. Therefore, it is possible to know not only the solution in which the "amount not reached from the desired level value" is the smallest, but also how much the "amount not reached from the desired level value" changes when a specific design value is changed.

For example, in the case of the design variable 4 shown in FIG. 7 (d), as shown in the figure, even if the value of the design variable 4 is deviated from the optimum value (the part indicated by ◯) (increased or decreased). Also), it can be seen that the "total unachieved amount" is gradual (almost unchanged).

Further, in the display of FIGS. 6 (a) to 6 (d) and 7 (a) to 7 (d), the values of the design variables 1, 2, 3 and 4 are marked with a circle in FIGS. 7 (a) to 7 (d). When it is the value (optimum value) of the part indicated by (1), the value of each performance 1, 2, 3 (4) is the value (optimum value) of the part indicated by ○ in FIGS. 6 (a) to (d). Means. Therefore, the user can know the value of each design variable for optimizing the plurality of objective functions (performances) by referring to the displays of FIGS. 7A to 7D.

However, the "optimal" indicated from the displayed contents means the case where the total undelivered amount is the smallest. However, the optimal meaning is different for each user. For example, if a user wants to be equal to or higher than the desired level value in order to emphasize performance 3, in the example shown in FIG. 6 (c), the performance at the value (optimum value) indicated by a circle. As shown in the figure, the value of 3 does not reach the desired level value. In such a case, the user can search for a solution desired for himself / herself by adding a desired constraint, for example, as described later.

Here, in the above specific example, the constraint condition formula F is used.
F: = (F1∧F2∧F3)
However, it is also possible for the user to add a desired constraint to the constraint condition formula (for example, a constraint addition screen (not shown) is displayed and the user is allowed to add an arbitrary constraint. ), A screen that reflects this constraint will be generated and displayed, which is useful for analysis by the user.

Here, for example, an example in which the constraint condition formula F is shown below will be described.
In this example, the constraint formula F is as follows.

This is subject to the constraint that the variable y3 is greater than or equal to the desired level value (= 1). That is, an example is shown in which the design condition formula is restricted so that the value of performance 3 is always equal to or higher than the desired level value (= 1). If the constraint condition mathematical expression F is shown as corresponding to the specific example, it will be as follows, but this will not be described in particular.

The above example is an example in which an arbitrary constraint is imposed on an arbitrary performance value, but the present invention is not limited to this example, and for example, an arbitrary constraint can be imposed on the value of an arbitrary design variable.

8 and 9 show examples of screens generated by the visualization function unit 14 when the above constraint formula F is used. FIG. 8 shows a performance screen, and FIG. 9 shows a design change screen.

By referring to the performance screens shown in FIGS. 8A to 8D, for example, when the user wants to emphasize the performance 3 (when the performance 3 always wants to be equal to or higher than the desired level value), the other performance 1 , 2 and 4 can understand the range of possible values and the optimum value. Alternatively, in the case of the illustrated example, as shown in FIG. 8A, if performance 3 is to be emphasized, performance 1 does not reach the desired level value, and even in that case, performance 2 It can be seen that 4 can be equal to or higher than the desired level value.

By referring to the performance screens shown in FIGS. 8A to 8D, for example, the user should select a solution having a small “amount not reached from the desired level value” or “not yet reached from the desired level value”. Even if the "achievement amount" is made worse, it is possible to determine whether the other important performance values should be improved by adding the constraint again.

Alternatively, the user can refer to the design variable screens shown in FIGS. 9A to 9D, for example, in the case where performance 3 is to be emphasized (performance 3 is always desired to be equal to or higher than the desired level value). The value of each design variable for optimizing the "unreached amount" is known.

Further, the above-mentioned "total unachieved amount formula" F30 can be regarded as an example in which the weights of all "unreached amount of performance m" dm are set to "1". Then, not limited to this example, the weight value may be an arbitrary value (the user may arbitrarily set / change it on a setting screen (not shown), and an example is shown below. This example is an example in which the weight of "the amount of unachieved performance 3" d3 is changed from "1" to "2". In other words, this can be considered as an example in which the weight is changed so as to emphasize the amount of unachieved performance 3.

That is, in this example, the "total unachieved amount formula" F30 is as follows.

F30: = d = d1 + d2 + 2 × d3 + d4

Then, examples of the screen generated by the visualization function unit 14 according to this example are shown in FIGS. 10 and 11. FIG. 10 shows a performance screen, and FIG. 11 shows a design change screen.

By referring to the performance screens shown in FIGS. 10A to 10D, for example, the user can see the total unachieved amount when the weight is changed so as to emphasize the unachieved amount d3 of the performance 3, for example. You can see the relationship with each performance. As described above, when the weight value of only d3 is doubled, the value of the total unachieved amount d becomes large unless the value of d3 is reduced to some extent. Therefore, this is the performance 3. It means that the unachieved amount d3 of is emphasized.

Alternatively, the user can refer to, for example, the design change screens shown in FIGS. 11A to 11D, and change the weight so as to emphasize the unachieved amount of the performance 3, for example, the total unachieved amount. And the relationship between each design variable.

Further, in the example of FIG. 10, regarding the performance 3, since the optimum value indicated by the circle in FIG. 10 (c) is almost the desired level value, each of the values indicated by the circles in FIGS. 11 (a) to 11 (d). The value of the design variable can be regarded as the optimum solution for achieving the target for performance 3.

As explained above, according to the screen generated by the multi-objective design support device of this example, the performance (objective function) and the feasible region of "amount not reaching the desired level value" (overall according to the performance value). The range of values that the unachieved amount of can be taken) can be understood, and the relationship between the performance and the unachieved amount to the desired level can be understood.

In addition, according to the screen generated by the multipurpose design support device of this example, the feasible area of the design variable and the "unreached amount to the desired level value" (the total unachieved amount is taken according to the value of the design variable). The range of values to be obtained) is known, and the relationship between the design variable and the amount that has not reached the desired level can be understood.

From this, for example, the user can search for a solution that he / she is satisfied with while observing the relationship between a specific performance and the total unachieved amount.

FIG. 12 shows a configuration / functional block diagram of the multipurpose design support system of this example.
The multipurpose design support system of the illustrated example is a system having a multipurpose design support device 30 for supporting the design of a product having a plurality of performances and one or more terminal devices 40. The multipurpose design support device 30 is communicably connected to one or more terminal devices 40 via a network 50. Each terminal device 40 is communicably connected to the multipurpose design support device 30 via a network 50.

The multipurpose design support device 30 has a communication unit 38, the terminal device 40 has a communication unit 44, and these communication units 38 and 44 allow communication between the multipurpose design support device 30 and the terminal device 40 via the network 50. It will be realized.

The multipurpose design support device 30 includes a design formula generation function unit 31, a first-order predicate logic formula generation function unit 32, an executable area formula generation function unit 33, a visualization function unit 34, a first setting unit 35, and a second setting unit 36. These are the design formula generation function unit 11 of FIG. 1, the first-order predicate logic formula generation function unit 12, the feasible area formula generation function unit 13, the visualization function unit 14, the first setting unit 15, and the second setting unit. It may be regarded as the same processing function unit as that of 16, and is not particularly described here.

The terminal device 40 includes an input unit 41, a display unit 42, a processing unit 43, the communication unit 44, and the like.

The input unit 41 causes (by a user or the like) input arbitrary input information including a desired level value corresponding to each of the plurality of performances, and transfers this input information by the communication unit 44 or the like via the network 50. By doing so, the information is input to the multipurpose design support device 30.

The storage unit 37 included in the multipurpose design support device 30 temporarily stores, for example, the input information input in this way. Further, for example, some information obtained during processing by the various processing function units 31 to 34, a screen to be generated, and the like may be temporarily stored in the storage unit 37. ..

The screen generated by the visualization function unit 34 is transferred to the terminal device 40 via the network 50 by the communication units 38 and 44 and displayed on the display unit 42. The display unit 42 includes, for example, a display and the like.

The processing unit 43 included in the terminal device 40 is a processing function unit that controls the entire terminal device 40, and controls, for example, the input unit 41, the display unit 42, the communication unit 44, and the like.

Further, the present invention is not limited to the example of FIG. 12, and for example, the multipurpose design support device may have the same functions as the input unit 41 and the display unit 42. FIG. 13 shows a functional block diagram of the multipurpose design support device as such an example.

Similar to the multipurpose design support device 30 of FIG. 12, the multipurpose design support device 30'in the illustrated example has the design formula generation function unit 31, the first-order predicate logic formula generation function unit 32, the feasible region formula generation function unit 33, and the like. It has a visualization function unit 34, a first setting unit 35, a second setting unit 36, and a storage unit 37. These will not be described in particular. The multipurpose design support device 30'also has an input unit 41'and a display unit 42'. The input unit 41'has the same function as the input unit 41, and the display unit 42'has the same function as the display unit 42. Therefore, these will not be described in particular detail.

The input unit 41'is made to input arbitrary input information (by a user or the like) including a desired level value corresponding to each of the plurality of performances. Various processing function units 31 to 34 such as the design formula generation function unit 31 execute the above-mentioned processing using this input information, and the visualization function unit 34 generates the above-mentioned screen. Then, this screen is displayed on a display or the like by the display unit 42'.

In the multipurpose design support device 30', the communication unit 38 is not an indispensable configuration, and is not shown in FIG. 13 for this reason. However, although not shown, the multipurpose design support device 30'may have a communication unit 38.

FIG. 14 shows a hardware configuration example of the information processing device 50 (multipurpose design support device 10 (30, 30'), terminal device 20 (40), etc.) which is a computer included in the multipurpose design support system of this example. It is a figure.

In the configuration example shown in FIG. 14, the information processing device 50 includes a CPU 51, which is an example of a processor, a main storage device 52 such as a RAM, and an auxiliary storage device 53 such as a hard disk drive. Further, the information processing device 50 may further include an input device 54 such as a keyboard or a mouse and an output device 55 such as a liquid crystal display or a CRT display, but this configuration is not essential. The information processing device 50 may further include a portable storage medium read / write device 56 that writes data to the portable storage medium and reads data from the portable storage medium, but this configuration is not essential. The information processing device 50 may further include a communication interface device 57 that connects to a communication network such as the Internet or an intranet. These components 51 to 57 included in the information processing apparatus 50 are connected to each other via the bus 58.

A predetermined application program is stored in advance in the auxiliary storage device 53. When the CPU 51 executes this application program, various processing functions such as the multipurpose design support device 10 (30, 30') and the terminal device 20 (40) are realized. For example, when the CPU 51 executes this application program, for example, the design formula generation function unit 11, the first-order predicate logic formula generation function unit 12, the feasible region formula generation function unit 13, the visualization function unit 14, and the first setting Various processing functions such as unit 15 and second setting unit 16 are realized. Alternatively, when the CPU 51 executes this application program, for example, the design formula generation function unit 31, the first-order predicate logic formula generation function unit 32, the feasible region formula generation function unit 33, the visualization function unit 34, and the first setting Various processing functions such as a unit 35, a second setting unit 36, a storage unit 37, a communication unit 38, an input unit 41', and a display unit 42'are realized.

Alternatively, when the CPU 51 executes this application program, various processing functions such as the input unit 41, the display unit 42, the processing unit 43, and the communication unit 44 are realized.

Here, "/" basically means "or" or "or". From this, for example, "or / and" means "or, or,".

10 Multipurpose design support device 11 Design formula generation function unit 12 First-order predicate logic formula generation function unit 13 Executable area formula generation function unit 14 Visualization function unit 20 Terminal 21 Display unit 22 Input operation unit 30 Multipurpose design support device 31 Design formula generation Function unit 32 First-order predicate logical expression generation function unit 33 Executable area Formula generation function unit 34 Visualization function unit 35 First setting unit 36 Second setting unit 37 Storage unit 38 Communication unit 40 Terminal device 41 Input unit 42 Display unit 43 Processing Unit 44 Communication unit 51 CPU
52 Main storage device 53 Auxiliary storage device 54 Input device 55 Output device 56 Portable storage medium read / write device 57 Communication interface device

Claims (14)

A device to support the design of products with multiple performances.
A design formula generation unit that generates a design condition formula indicating the conditions related to the design based on predetermined input information including the desired level value corresponding to each of the plurality of performances.
A first-order predicate logic expression generator that generates a first-order predicate logic expression related to the performance and / and design variables based on the design condition formula, and a first-order predicate logic expression generator.
The feasible region formula generation unit for obtaining the feasible region formula by performing the qualifying symbol elimination process on the first-order predicate logic formula, and the feasible region formula generation unit.
A visualization unit that generates a screen showing the area where the feasible area formula is established, and
A multipurpose design support device characterized by having. The design formula generation unit generates a performance-specific unachieved amount formula indicating a performance-specific unachieved amount that is an unachieved amount with respect to the desired level value according to each performance, and the design condition formula is not achieved by the performance. The multipurpose design support device according to claim 1, wherein a mastery formula is included. The design formula generation unit generates a total unreached amount formula for obtaining the total unreached amount using the performance-specific unreached amount, and the design condition formula also includes the total unreached amount formula. 2. The multipurpose design support device according to claim 2. The design condition formula further includes a constraint condition for each of the plurality of design variables related to the performance, and a performance formula indicating the value of each performance using the plurality of design variables. The multipurpose design support device described in 3. The design formula generation unit combines the constraint condition formulas, the performance formulas, the unachieved quantity formulas for each performance, and the entire unachieved quantity formulas by a logical product to obtain the design condition formulas. The multipurpose design support device according to claim 4, wherein the multipurpose design support device is generated. The feasible region mathematical expression generation unit executes the qualifying symbol erasing process on the first-order predicate logical expression, so that it can execute the value of an arbitrary performance or / and design variable and the total unachieved amount. Find the area formula,
15. The multipurpose design support device described in any of them. The first-order predicate logic expression generator sets an existence symbol for all variables except the variable indicating the value of the performance or / and the design variable and the variable indicating the total unachieved amount with respect to the design condition formula. The multipurpose design support device according to claim 6, wherein the first-order predicate logic expression is generated by the addition. It further has a first setting unit for adding an arbitrary constraint condition to the design condition formula.
A claim characterized in that the first-order predicate logic expression generation unit generates a first-order predicate theory expression relating to the performance and / and the design variable based on a design condition mathematical expression to which an arbitrary constraint condition is added. The multipurpose design support device according to any one of 1 to 7. The invention according to any one of claims 3 to 5, further comprising a second setting unit for setting an arbitrary weight value for each performance-specific unreached amount formula used in the overall unreached amount formula. Multipurpose design support device. A computer of equipment to assist in the design of products with multiple performances,
A design formula generation unit that generates a design condition formula indicating the conditions related to the design based on predetermined input information including the desired level value corresponding to each of the plurality of performances.
A first-order predicate logic expression generator that generates a first-order predicate logic expression related to the performance and / and design variables based on the design condition formula, and a first-order predicate logic expression generator.
Relative first-order logic formulas generated by the first-order logic expression generating unit, by carrying out the quantifier elimination process, a feasible region formula generation unit for obtaining the feasible region formula,
A visualization unit that generates a screen showing the area where the feasible area formula holds.
A program to function as. A method to assist in the design of products with multiple performances.
Based on predetermined input information including the desired level value corresponding to each of the plurality of performances, a design condition formula indicating the conditions related to the design is generated.
Based on the generated design condition formula, a first-order predicate logic formula for the performance and / and the design variable is generated.
The feasible region formula is obtained by performing the qualifying symbol elimination process on the generated first-order predicate logic formula.
A multipurpose design support method characterized in that a computer generates a screen showing an area in which the feasible area mathematical expression holds. A system having a multipurpose design support device for supporting the design of a product having a plurality of performances and one or more terminal devices.
The terminal device has an input unit that passes arbitrary input information including a desired level value corresponding to each of the plurality of performances to the multipurpose design support device.
The multipurpose design support device is
Based on the predetermined input information, a design formula generation unit that generates a design condition formula indicating the conditions related to the design, and a design formula generation unit.
A first-order predicate logic expression generator that generates a first-order predicate logic expression related to the performance and / and design variables based on the design condition formula, and a first-order predicate logic expression generator.
The feasible region formula generation unit for obtaining the feasible region formula by performing the qualifying symbol elimination process on the first-order predicate logic formula, and the feasible region formula generation unit.
It has a visualization unit that generates a screen showing the area where the feasible area formula is established.
The terminal device is a multipurpose design support system characterized by having a display unit for displaying the screen. A multipurpose design support device for supporting the design of a product having a plurality of performances, which is communicably connected to one or more terminal devices via a network.
A design formula generation unit that generates a design condition formula indicating the conditions related to the design based on predetermined input information from the arbitrary terminal device, and a design formula generation unit.
A first-order predicate logic expression generator that generates a first-order predicate logic expression related to the performance and / and design variables based on the design condition formula, and a first-order predicate logic expression generator.
The feasible region formula generation unit for obtaining the feasible region formula by performing the qualifying symbol elimination process on the first-order predicate logic formula, and the feasible region formula generation unit.
A visualization unit that generates a screen showing the area where the feasible area formula is established, and
A multipurpose design support device characterized by having. A terminal device that is communicably connected to a multipurpose design support device to support the design of a product with multiple performances via a network.
An input unit that inputs arbitrary input information including a desired level value corresponding to each of the plurality of performances and passes it to the multipurpose design support device.
A display unit that displays a screen that is generated by the multipurpose design support device based on the input information and that shows the values of any of the performance and / and design variables and the possible range of the total unachieved amount.
Have,
The multipurpose design support device
A design formula generation unit that generates a design condition formula indicating a condition related to the design based on the input information by the input unit, and a design formula generation unit.
A first-order predicate logic expression generator that generates a first-order predicate logic expression related to the performance and / and design variables based on the design condition formula, and a first-order predicate logic expression generator.
The feasible region formula generation unit for obtaining the feasible region formula by performing the qualifying symbol elimination process on the first-order predicate logic formula, and the feasible region formula generation unit.
A visualization unit that generates a screen showing an area in which the feasible region formula is established and passes it to the display unit.
A terminal device characterized by having.

Images