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

Abstract

To provide a screen capable of grasping a relationship between each performance and a total unachieved amount to a demand level.SOLUTION: A design formula generation function unit 11 generates a design condition formula expressing all conditions related to the design, on the basis of input information including a demand level value corresponding to each of a plurality of performances. A first-order predicate logic equation generation function unit 12 generates first-order predicate logic equations concerning performance and the like on the basis of the design condition formula and the like. An executable area numerical expression generation function unit 13 obtains an executable area numerical expression by executing qualifying symbol deletion processing on the first-order predicate logical equation. A visualization function unit 14 visualizes each performance and a range that can be taken by unachieved amount, or the like, using the executable area numerical expression.SELECTED DRAWING: Figure 1

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 design by performing numerical analysis using 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 the design problem of a two-member truss. Here, there is disclosed a technique for enumerating a set of design variables (Pareto solutions) that are difficult to provide for a plurality of purposes in which there are trade-off relationships such as member volume and stress.

  As a method for obtaining a solution to the multi-objective optimization problem, there is a demand level method (for example, Non-Patent Document 2). This is a method in which a designer inputs a desired desire level value of each objective function, and a solution with a small error between the desire level and each objective function is calculated by optimization. If there are only unachieved solutions at the solicitation level and you are not satisfied with the balance of the unsatisfied degree of the obtained solution, enter the solicitation level again and take an interactive approach to solve the optimization problem again. There is.

  On the other hand, a technique for optimizing a system by expressing a problem such as system control by a first-order predicate logical expression and solving it is known (see, for example, Non-Patent Documents 3 and 4). Specifically, for a logical expression in which polynomial equations or inequalities are combined with a combination symbol such as logical product (∧) or logical sum (∨), a universal symbol (generally called a quantifier) for some variables ( Generate a first-order predicate formula with ∀) and existence symbol (∃). Then, the system is optimized by erasing the variable (bound variable) with a quantifier in this first-order predicate logical expression and deriving a logical expression that other variables (free variables) should satisfy.

  Patent Document 1 discloses a technique for visualizing a range of values (executable regions) that can be taken by each objective function by using a quantifier elimination method.

JP 2009-169557 A

Yuki Ogi, Shoichiro Kawaji, Masanobu Ohara, Atsushi Ishigame, Keiichi Sato: Solving multi-objective PSO and constraint sensitivity analysis, and 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 and Kazuhiro Yokoyama, “QE Calculation Algorithms and Their Applications Optimization by Formula Processing”, The University of Tokyo Press, August 2011, p.214-221 Yoshio Tange, Satoshi Kiryu, Tetsuro Matsui, Yoshikazu Fukuyama: Visualization of energy optimization problem considering supply and demand balance for energy conservation prior examination, IEEJ Transactions C, Vol.134, No.1, pp.78-84 ( 2014)

  In the solicitation level method, the relationship between the objective function (performance) and the unachieved amount to the solicitation level was not known. In addition, when the technique of Patent Document 1 is used, the relationship between the objective function (performance) and the amount that has not reached the desired level has not been understood. Therefore, when the specific solution cannot be satisfied with the optimum solution searched by the demand level method, it has not been understood how the unachieved amount from the demand level changes when the specific performance is increased. As a result, there was no index for deciding whether to adopt a solution with a good amount not reached from the desired level or to search for another solution. In other words, even if the unachieved amount was not optimal, it was not known whether there was a good solution for both the performance to be emphasized and the unachieved amount.

  In addition, in the solicitation level method, it has not been understood how the unachieved amount to the solicitation level changes when the design variable value is changed. For this reason, there is no guideline on how to change the solution derived as a result of optimization when the design value is difficult to design in practice.

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

The multipurpose design support apparatus of the present invention is an apparatus for supporting the design of a product having a plurality of performances, and has the following functional units.
A design formula generation unit that generates a design condition formula indicating a condition related to the design based on predetermined input information including a demand level value corresponding to each of the plurality of performances;
A first-order predicate logical expression generation unit that generates a first-order predicate logical expression related to performance or / and a design variable based on the design condition formula;
An executable area formula generation unit that obtains an executable area formula by performing a quantifier elimination process on the first-order predicate logical formula;
A visualization unit that generates a screen showing an area where the executable area formula is satisfied:

  According to the multipurpose design support apparatus and the like of the present invention, it is an apparatus for supporting the design of a product having a plurality of performances, and the relationship between each performance and the total unachieved amount to the demand level can be grasped. A screen can be provided.

It is a system configuration figure of the multipurpose design support system of this example. It is a process flowchart figure of a multipurpose design support apparatus. It is an example of a performance screen. It is an example of a design variable screen. It is a figure which shows a part of specific example of the executable area | region numerical formula produced | generated. (A)-(d) is a specific example of a performance screen. (A)-(d) is a specific example of a design variable screen. (A)-(d) is a specific example of a performance screen. (A)-(d) is a specific example of a design variable screen. (A)-(d) is a specific example of a performance screen. (A)-(d) is a specific example of a design variable screen. It is a structure and functional block diagram of the multipurpose design support system of this example. It is a structure and functional block diagram of the multipurpose design support apparatus of this example. It is an example of hardware constitutions, such as a multipurpose design support apparatus.

Embodiments of the present invention will be described below 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 includes a multipurpose design support apparatus 10 and a terminal 20. As an example, the multipurpose design support system is a client server system in which the multipurpose design support apparatus 10 is a server apparatus, the terminal 20 is a client apparatus, and the server apparatus and the client apparatus are connected to a network. It is not restricted to this example. The multipurpose design support apparatus 10 and the terminal 20 are connected to a network (not shown) (for example, a LAN or the Internet), and are configured to be able to transmit / receive data to / from each other via the network.

  The multipurpose design support apparatus 10 is an apparatus that supports the design work of the user of each terminal 20 in this example, and has a function that supports a design work related to, for example, “a product having a plurality of performances that determine quality”. Device. However, the present invention is not limited to this example. For example, the multipurpose design support apparatus 10 may be an apparatus that supports the design work of the user of the own apparatus. In this case, input of input information described later and display of the generated screen are performed in the multipurpose design support apparatus 10. Will be done.

  The terminal 20 is a personal computer or the like, for example, and includes 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 solicitation level value information.

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

  The performance information is information for obtaining a performance value corresponding to the value of each design variable. For example, the performance information is, for example, the degree of influence of the design variables on the performance, and a performance value calculation formula (performance formula) or the like is generated using the degree of influence. However, the performance information is not limited to this example. Absent. For example, the performance information may be a performance formula. The solicitation level value information is an arbitrarily set solicitation level value corresponding to each performance.

The input information is transmitted to the multipurpose design support apparatus 10 via the network.
Based on this input information, the multipurpose design support apparatus 10 executes a predetermined process to generate a design support screen (performance screen, design variable screen, etc. described later), and displays this design support screen on the display unit of the terminal 20. 21 is displayed. The multipurpose design support apparatus 10 is an apparatus 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 apparatus 10 may be a multipurpose design support system configured to input input information or display a design support screen.

The multipurpose design support apparatus 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, an executable area 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 apparatus 10.
As described above, the multipurpose design support apparatus 10 is, for example, a server apparatus, and the hardware configuration thereof may be a configuration of a general server apparatus (not shown). For example, an arithmetic processor such as a CPU, a hard disk, a memory, and the like Storage device, communication function and the like. 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 Processing such as the generation function unit 13, the visualization function unit 14, the first setting unit 15, and the second setting unit 16 is realized.

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

  First, the multipurpose design support apparatus 10 acquires the input information (constraint condition information, performance information, demand level value information, etc.) using an input function unit (not shown) (step S11).

  Based on the input information and the like, the design formula generation function unit 11 generates a formula related to the unachieved amount to the demand level, a design condition formula expressing all the conditions at the time of design, and the like (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 demand level value corresponding to each of a plurality of performances.

  The design formula generation function unit 11 generates, for example, an unachieved amount formula for each performance, which is a formula for obtaining an unachieved amount by performance, which is an unachieved amount for the desired level of the performance according to each performance, The design condition formula includes a formula for unachieved amounts by performance.

  The design formula generation function unit 11 further generates, for example, an overall unachieved amount formula for determining the overall unachieved amount using the unachieved amount by performance, and the design condition formula includes the entire unachieved amount formula. Make sure to include the achievement formula.

  The design formula generation function unit 11 further includes, for example, a constraint formula for each of a plurality of design variables related to the performance and a performance formula that is a calculation formula for each performance value using the plurality of design variables. Be included in the formula.

  For example, the design formula generation function unit 11 combines the design conditions by combining all the constraint conditions, the performance formulas, the performance unachieved formulas by performance, and the overall unachieved formulas. Generate mathematical formulas.

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

  For example, the first-order predicate logical expression generation function unit 12 adds an existence symbol (∃) to all variables except the variable indicating an arbitrary performance value and the variable indicating the total unachieved amount with respect to the design condition expression. ) Is generated, for example, a first-order predicate logical expression relating to the following performance is generated.

  For example, the first-order predicate logical 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 in the design condition formula. Thus, for example, a first-order predicate logical expression relating to the following design variable is generated.

  The executable area formula generation function unit 13 obtains an executable area formula by performing a quantifier elimination process on the first-order predicate logical formula generated by the first-order predicate logical formula generation function 12 ( Step S14).

  The visualization function unit 14 uses the executable area formula generated by the executable area formula generation function unit 13 to obtain a range that each performance and unachievable amount can take, and a range that each design variable and unachievable amount can take. Etc. are visualized (step S15). The visualization function unit 14 generates a screen indicating an area where the executable area formula is established. For example, the generated screen is transferred to the terminal 20 and displayed on the display unit 21, but is not limited to this example.

  The executable area formula generation function unit 13 can execute an arbitrary performance value and an overall unachieved amount by executing the existing limit symbol elimination processing on the first-order predicate logical formula related to performance, for example. Find the area formula.

  In the case of this example, the visualization function unit 14 uses the executable area formula relating to the above arbitrary performance value and the total unachieved amount, and the possible range of the arbitrary performance value and the entire unachieved amount. A screen showing (area) is generated.

  In addition, the executable area formula generation function unit 13 performs, for example, an existing limit symbol elimination process on the first-order predicate logical formula related to the design variable, thereby determining the value of an arbitrary design variable and the total unachieved amount. The feasible area formula relating to is obtained.

  In this example, the visualization function unit 14 uses the executable area formula related to the value of the arbitrary design variable and the total unachieved amount to obtain the value of the arbitrary design variable and the entire unachieved amount. A screen showing the range (area) to be obtained is generated.

  The multipurpose design support apparatus 10 may further include a first setting unit 15 that adds an arbitrary constraint condition to the design condition formula generated by the design formula generation function unit 11. For example, the first setting unit 15 displays a setting screen (not illustrated) for adding an arbitrary constraint condition on the display unit 21 of the terminal 20, for example, and allows the user to set and input an arbitrary constraint condition. The setting data is acquired, and the constraint condition is connected to the design condition formula by, for example, logical product.

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

  The multipurpose design support apparatus 10 may further include a second setting unit 16 that sets an arbitrary weight value for each performance unachieved amount formula used for the entire unachieved amount formula. For example, the second setting unit 16 displays a weight setting screen (not shown) for setting an arbitrary weight value on the display unit 21 of the terminal 20, for example, and allows the user to set and input an arbitrary weight value. This setting data is acquired. Then, this weight value is reflected in the overall unachieved amount formula. The above design condition formula including the entire unachieved formula is generated, and the processes after the first-order predicate logic formula generation function unit 12 are executed using such a design condition formula. become.

  When the input information (constraint condition information, performance information, demand 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 apparatus 10. The This is stored, for example, as a constraint condition formula, a performance formula, and a solicitation level value described later.

  In addition, various mathematical formulas such as mathematical formulas related to the unachieved amount from the demand level generated by the functional units, the design condition mathematical formulas, the first-order predicate logical formulas, and the executable area mathematical formulas are also temporarily stored in the storage unit. Is remembered.

  When the user uses the multipurpose design support apparatus 10, the operation may be started from the input of the input information, or may be started from the state where the input information or various mathematical expressions are already stored.

Hereinafter, an example of the constraint condition formula, the performance formula, and the demand level value will be described.
First, as a premise, a product to be analyzed is a product having a plurality of performances. Here, for example, 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 is an analysis target.

  As an example, in the case of Non-Patent Document 1, the product is a two-member truss, and the performance includes stress and member volume, 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 the 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 follows. It is. The following specific example shows a constraint condition expression related to an arbitrary design variable (design variable 1) among a plurality of design variables.

        Design variable 1 minimum value ≤ Design variable 1 value ≤ Design variable 1 maximum value

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

        Design variable 2 minimum value ≤ Design variable 2 value ≤ Design variable 2 maximum value

  It is assumed that there are N design variables, and the constraint equation relating to an arbitrary design variable n (n: an arbitrary integer from 1 to N) is expressed as follows.

        Minimum value of design variable n ≦ value of design variable n ≦ maximum value of design variable n

  Note that the constraint condition information may be regarded as the constraint formula, 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 apparatus 10 has the constraint value. A constraint condition expression may be generated using the condition information.

  Each performance value is calculated based on the values of the plurality of design variables and the degree of influence. The degree of influence represents the influence that the value of the design variable has on the performance. For each performance, a performance formula for determining the performance value is set using the degree of influence indicating how much the value of each design variable affects. This “influence degree” is included in the performance information, and the value of each “influence degree” is arbitrarily set by the user, for example.

  Further, for example, if a performance formula (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 “degree of influence of design variable 2 on performance m”)
・ ・ ・ ・ ・ ・ ・
+ (Value of design variable n × “degree of influence of design variable n on performance m”)
・ ・ ・ ・ ・ ・ ・
+ (Value of design variable N x “degree of influence of design variable N on performance m”)

  The performance formula indicates a method for calculating the performance value according to the value of each design variable. Note that the performance formulas exist corresponding to the respective performances, that is, the number of performance formulas exists.

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

  Note that 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 apparatus 10 generates a performance formula using this degree of influence. May be. 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.

  For each performance, a demand level value for the performance is set. For example, the user of the terminal 20 sets an arbitrary value. The solicitation level value is a target value for each performance that the user of the terminal 20 considers desirable. For example, although “desired level value of performance 1 = 1” is set, 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 each set with a demand level value corresponding to the performance.

  The design formula generation function unit 11 creates an unachieved formula, for example, as described below. First, an “unachieved amount formula for each performance” is created, an “overall unachieved amount formula” is created, and these are used to create an “unachieved amount formula”.

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

  That is, when the “value of performance m” is equal to or greater than the “requirement level value of performance m”, “unreachable amount of performance m” = 0. When “value of performance m” is less than “desired level value of performance m”, “unachieved amount of performance m = desired level value of performance m−value of performance m”. Note that ∧ is a logical product, and ∨ is a logical sum.

  Thus, for each performance, when the performance value has reached the demand level, the unachieved amount by performance is “0” (zero), and when the performance value has not reached the demand level. The difference between the performance value and the desired level is the unachieved amount for each performance. In other words, the performance unsatisfied formula is created by logically summing the cases where the performance value reaches the demand level and the case where the performance value does not reach the demand level.

  Next, the “total unachieved amount” is the sum of the “unachieved amounts by performance”. The “total amount not achieved” is the “requirement level” on the vertical axis of the screen (graph) shown in FIG. 3, FIG. 4, FIG. 6, FIG. 7, FIG. This is equivalent to “unachieved amount from value” (total unreached amount from the desired level).

  The calculation formula for the total unachieved amount (unachieved amount from the desired level) is expressed by the following mathematical formula (overall unachieved amount formula).

Unachieved amount from the desired level = performance 1 unachieved amount + performance 2 unreached amount + ... + performance M unreached amount

  The “unachieved amount formula” combines all the unachieved amount formulas (m = 1, 2,..., M) of each performance m with a logical product. "Is combined with logical product, and it is created as follows.

  Then, the design formula generation function unit 11 creates a “design condition formula” using, for example, the “unreachable formula”, the constraint formula, and the performance formula. For example, a “design condition formula” is created as follows.

  That is, the “design condition formula” includes the “unreachable formula” created as described above, the above constraint formulas for all design variables n (n = 1, 2,... N), By combining the above performance formulas of the performance m (m = 1, 2,... M) with a logical product, it is created as follows.

  However, the “constraint condition formula for all design variables” is created, for example, by combining the constraint formulas with logical product for all design variables n (n = 1, 2,... N). That is,

  The “performance formulas for all performances” are created, for example, by combining the performance formulas for all performances m (m = 1, 2,... M) by logical product. That is,

  The first-order predicate logical expression generation function unit 12 creates a first-order predicate logical expression using, for example, the “design condition mathematical expression” created as described above. For example, a first-order predicate logical expression related to performance and / or a first-order predicate logical expression related to a design variable is created.

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

  Here, description will be made using m (= 1, 2,..., M) and n (= 1, 2,... N).

  First, the first-order predicate logical formulas for performance are present in all variables except for “variables of specific performance” and “variables representing the unachieved amount from the demand level” for the design condition formula. It is generated with ∃). In other words, “first-order predicate logical expression related to performance m” is expressed as follows, with respect to the design condition formula (constraint condition formula of all design variables∧performance formula of all performance∧unreachable formula) It is generated by assigning an existence symbol (∃) to all variables except “Variables to be represented” and “Variables representing unachieved amounts from the desired level”.

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

  In addition, the first-order predicate logical expression related to the design variable includes the existence symbol (for the design condition expression) except for the “specific design variable” and the “variable representing the unachieved amount from the demand level value”. It is generated by giving (ii). In other words, the first-order predicate logical expression related to the design variable n is expressed as ““ value of the design variable n ”with respect to the design condition formula (constraint formula of all design variables 変 数 performance formula of all performance∧unreachable formula). It is generated by assigning an existence symbol (∃) to all variables except “Variables to be represented” and “Variables representing unachieved amounts from the desired level”.

  Therefore, for example, the first-order predicate logical expression related to the design variable 1 is all except for “a variable representing the value of the design variable 1” and “a variable representing the unachieved amount from the demand level value” with respect to the design condition mathematical expression. It is generated by adding the existence symbol (∃) to the variable of.

  The executable area formula generation function unit 13 obtains an executable area formula by performing an existing quantifier elimination process on the generated first-order predicate logical formula.

  Next, a method for generating an executable area formula by the executable area formula generation function unit 13 will be described below.

  The executable area formula generation function unit 13 performs, for example, a quantifier elimination process on each of the above-mentioned “first order predicate logical expressions related to performance m” generated by the first order predicate logical expression generation function unit 12. Thus, each “executable area formula relating to the performance m and the unachieved amount from the desired level value” is generated.

  In addition, the executable area formula generation function unit 13 performs, for example, each of the above-described “first-order predicate logical expressions related to the design variable n” generated by the first-order predicate logical expression generation function unit 12. As a result, the “executable area formula relating to the design variable n and the unachieved amount from the demand level value” is generated.

  In any case, the quantifier elimination process itself is an existing process, and is not particularly described here, but by this, an executable area related to a variable excluded with respect to the existence symbol (∃) assignment in the first-order predicate logical expression. A mathematical formula will be generated.

  That is, as described above, in the “first-order predicate logical expression regarding the performance m”, “the variable indicating the value of the performance m” and “the variable indicating the unachieved amount from the demand level value” are excluded. An executable area formula "relating to the performance m and the unachieved amount from the demand level value is generated.

Similarly, in the “first-order predicate logical expression relating to design variable n”, “variable representing the value of design variable n” and “variable representing the unachieved amount from the demand level value” are excluded. An executable area formula relating to n and the unachieved amount from the desired level value is generated. The visualization function unit 14 generates the executable area formula generated by the executable area formula generation function unit 13. For example, and the screen shown in FIGS. 3 and 4 is generated. The generated screen is displayed on the display unit 21 of the terminal 20, for example. Note that the process itself for visualizing an arbitrary executable area formula is an existing process, and is not specifically described here.

  For example, the visualization function unit 14 generates and displays the performance screen illustrated in FIG. 3, for example, by visualizing the “performance m and the unachievable executable area formula from the desired level value”. In the performance screen, the horizontal axis represents the value of performance m, and the vertical axis represents “the total amount not achieved from the desired level”. In FIG. 3, since the performance screen related to performance 1 is shown, the horizontal axis represents the value of performance 1, and the vertical axis represents the “unreachable amount from the desired level” (total unreachable amount).

  The visualization of the “performance 1 and the unreachable executable area formula from the desired level value” is to paint the area indicated by the oblique lines in FIG. 3 with a predetermined color, for example. The hatched area indicates a range of possible values of the “unreachable amount from the desired level” with respect to the performance 1 value. It should be noted that the hatched area may be referred to as a “hatched area”. This applies not only to FIG. 3 but also to other drawings. In addition, in the case of the performance screen, in addition to the hatched area, “desired level value of performance 1” indicated by a dotted line in the figure may be displayed.

  The “unreachable amount from the demand level value” on the vertical axis corresponds to the “total unreachable amount” as described above. Therefore, the smaller the value, the better the overall solution. From this, referring to the “hatched area”, the value of performance 1 when the “total unachieved amount” is the smallest is known (the unachieved amount in the optimum state and the value of performance 1 at that time are known) ). This is indicated by a circle 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”. It should be noted that ◯ may not be displayed on the actual screen (it may be assumed that it is shown for explanation), but is not limited to this example. The same applies to other screen examples.

  On the other hand, the larger the value (value of performance) on the horizontal axis, the better. However, in the example shown in the figure, in particular, in the region where the value of performance 1 is larger than the desired level, the “total unreached amount” increases as the value of performance 1 increases. In other words, how much the user needs to sacrifice the unachieved amount (overall performance) from the desired level to improve the specific performance (value of the horizontal axis) from this display, I will understand.

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

  Or the visualization function part 14 produces | generates and displays the design variable screen shown, for example in FIG. 4, for example by visualizing the said "design variable n and the unreached amount executable area numerical formula from a demand 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 that has not been achieved from the desired level”. 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” (total unreached amount).

  The visualization of “the executable area formula of the unachievable amount from the design variable 1 and the desired level value” is to paint the area shown by hatching in FIG. 4 with a predetermined color, for example. This hatched area (hatched area) indicates the range of possible values of the “unreachable amount from the desired level” with respect to the value of the design variable 1.

  The user can know the value of the design variable 1 when the “total unachieved amount” is the smallest by referring to the display of the “hatched area” (the unachieved amount in the optimum state and the design at that time) You can see the value of variable 1.) In FIG. 4, the position is indicated by a circle, and the value of the design variable 1 at that time is a value in the vicinity of ‘−0.3’.

  Further, the user can understand the relationship between the 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, while viewing this display, it is possible to design while looking at the balance between the actual design difficulty and the overall unachieved amount.

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

  Here, specific examples of the constraint condition formula, the performance formula, and the demand level value will be described. Further, specific examples of the “constraint condition formula for all design variables” and the “performance formula for all performance” that constitute the design condition formula will be described.

In the following, description will be made sequentially.
First, specific examples of constraint condition expressions relating to the four design variables 1, 2, 3, 4 are shown below. This is as follows, where tn is a “variable indicating the value of design variable n (n; 1, 2, 3, 4)”.

F11: = − 1 ≦ t1 ≦ 1; constraint equation of design variable 1 F12: = − 1 ≦ t2 ≦ 1; constraint equation of design variable 2 F13: = − 1 ≦ t3 ≦ 1; constraint condition of design variable 3 Formula F14: = − 1 ≦ t4 ≦ 1; constraint formula for design variable 4

  In other words, in this example, a constraint is imposed on the values of all design variables n within the range of “minimum value (−1) to maximum value (+1)”.

  In this case, the constraint condition formula of the design variable n is represented by F1n (F11, F12, F13, F14). In addition, for the sake of simplicity, the maximum value is 1 and the minimum value is −1 for all the design variables. However, the present invention is not limited to this example.

  In this example, the “constraint condition formula for all design variables” F1 is created by combining all the constraint formulas by logical product as follows.

  Further, in this specific example, the performance formula is such that ym is “a variable indicating the value of performance m (m; 1, 2, 3, 4)”, and “the degree of influence of design variable n on performance m” is the design. By multiplying the value tn of the variable n, the sum of the multiplied values is taken as 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 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 performance 2, for example, “degree of influence of design variable 1 on performance 2” is “+3” “degree of influence of design variable 2 on performance 2” is “0” and “design variable 3 is The “degree of influence on the performance 2” is “−1”, and the “degree of influence of the design variable 4 on the performance 2” is “+2”. These influence values are determined and set in advance by the user or the like, for example, but are not limited to this example. As described above, here, the mathematical formula for obtaining the value ym of the performance m is represented by F2m (F21, F22, F23, F24).

  In this example, the “performance formula of all performances” F2 is created by combining all the performance formulas with logical products as follows.

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

  Further, in this specific example, the demand level of all performances is set to “1”, and specific examples of the demand level values for each performance are as follows.

Desire level of performance 1 = 1
Desire level of performance 2 = 1
Desire level of performance 3 = 1
Desire level of performance 4 = 1

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

  In this example, the unachieved amount formula for each performance is generated for each case depending on whether the value ym of each performance m is greater than or equal to the desired level (= 1).

  Further, if a variable representing “unachieved amount from the demand level” (total unachieved amount) is d, the formula F30 (the sum of unachieved amounts dm of each performance becomes “total unachieved amount” d) The overall unachieved formula;

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

  Then, an unachieved amount formula F3 (below) is formed by combining all the “unachieved amount formulas by performance” F31 to F34 and the “overall unachieved amount formula” d.

Next, a specific example of the design condition formula will be described below using the above specific example.
The design formula generation function unit 11 combines the “constraint condition formulas for all design variables” F1, the “performance formula for all performances” F2, and the unachieved formula F3 by a logical product. The following design condition formula F is created.

  This is as follows in the specific example.

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

  Hereinafter, specific examples of the first order predicate logical expression related to the performance and the first order predicate logical expression related to the design variable will be sequentially described.

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

  The first-order predicate logical expression Pm related to the performance m is expressed by the “variable d representing the unachieved amount from the demand level value” and the “specific performance” for the design condition formula F created above (ie, F1∧F2∧F3). It is generated by assigning an existence symbol ∃ to all variables except “variable ym”. The specific performance is the performance m in the first order predicate logical expression Pm related to the performance m. Therefore, for example, in the first-order predicate logical expression P1 related to the performance 1, the specific performance is the performance 1. The same applies to specific design variables described later.

  Accordingly, each first-order predicate logical expression Pm (m = 1, 2, 3, 4) corresponding to the above specific example is, for example, the first-order predicate logical expression P1 related to the performance 1 is as follows.

  In this example, the existence symbol 存在 is assigned to all variables except the variable d and “variable y1 indicating the value of performance 1” for the design condition formula F (ie, F1ＦF2∧F3). Thus, the first order predicate logical expression P1 related to the performance 1 is generated.

  Similarly, the first-order predicate logical expression P2 related to the performance 2, the first-order predicate logical expression P3 related to the performance 3, and the first-order predicate logical expression P4 related to the performance 4 are as follows.

  The first-order predicate logical expression Qn related to the design variable n is “variable d representing the unachieved amount from the demand level” and “specific” with respect to the design condition formula F created above (that is, F1∧F2∧F3). It is generated by assigning an existence symbol ∃ to all variables except the variable tn representing the design variable. Thus, each first-order predicate logical expression Qn (n = 1, 2, 3, 4) corresponding to the above specific example shows a first-order predicate logical expression Q1 related to the design variable 1 as an example.

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

  Similarly, the first-order predicate logical expression Q2 related to the design variable 2, the first-order predicate logical expression Q3 related to the design variable 3, and the first-order predicate logical expression Q4 related to the design variable 4 are as follows.

  The executable area formula generation function unit 13 executes the existing limit symbol erasure processing on the generated “first-order predicate logical expression Pm regarding the performance m” (m = 1, 2, 3, 4), respectively. As a result, “an executable area expression Pm ′ that has not been achieved from the performance m and the demand level value” Pm ′ is generated in the following form, for example. Note that QE [] means a quantifier erasure process. For example, QE [P1] means a quantifier erasure 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 is not particularly described.

  Similarly, the executable area formula generation function unit 13 applies the existing limit symbol to the generated “first-order predicate logical expression Qn regarding the design variable n” (n = 1, 2, 3, 4), respectively. By executing the erasing process, an “unreachable executable area formula“ Qn ”from the design variable n and the desired level value” Qn ′ is generated in the following form, for example.

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

  The mathematical expression as the result of the quantifier elimination process such as Pm ′ and Qn ′ is an executable area for the two variables to which the quantifier is not given when the first order predicate logical expression is generated. That is, for example, P1 'is a mathematical expression indicating an executable area for two variables, variable d and "variable y1 indicating the value of performance 1." Thus, as shown in FIG. 5, the variables relating to P1 'are only d and y1.

  The visualization function unit 14 uses the Pm ′ to generate, for example, a 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 amount that has not been achieved from the demand 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. 6C and 6D.

  6 (a) to 6 (d), the “unreachable amount from the desired level” on the vertical axis means the “total unreachable amount” as described above. Smaller is better. Further, the larger the value of the performance value on the horizontal axis, the better the performance. And it is desirable that the value of performance is as high as possible or higher (reach the desired level). The desired level value corresponding to each performance is indicated by a vertical dotted line in the figure. In this example, the desired level value is ‘1’ for all the performances as described above.

  6 (a) to 6 (d), a circle indicates a portion where the “unreachable amount from the desired level” (total unreachable amount) is the smallest, that is, “total unreachable amount”. Shows the performance value when becomes the optimum value.

  For example, when the user sees such a performance screen, for example, when the “unreachable amount from the desired level” is the smallest (that is, when the overall unreachable amount is the optimum value), I know the value. Also, by looking at the lower limit change on the lower right side of the figure, how the overall unachieved amount changes when the specific performance is increased from the value that is the “optimum value of the overall unachieved amount” above. I know what to do.

  For example, referring to the example of FIG. 6A, when the value of performance 1 is the solicitation level value (= 1; indicated by a vertical dotted line), the “unreachable amount from the solicitation level value” is the smallest ( (Indicated with circles in the figure) Further, when the value of performance 1 is larger than the desired level, it can be seen that the larger the value of performance 1, the greater the “unachieved amount from the desired level”.

  On the other hand, in the case of the performance 2 example shown in FIG. 6B, for example, it can be seen that even if the performance 2 is made larger than the optimum value (location indicated by ◯), the “total unachieved amount” hardly changes. Then, for example, it can be seen that there is room for examination even when the performance 2 is larger than the optimal value (although the “total unachieved amount” is not optimal).

  Further, for example, in the case of the performance 3 example shown in FIG. 6C, the optimum value of performance 3 (the portion indicated by ◯) is smaller than the solicitation level value indicated by the vertical dotted line as shown in FIG. Not reached. Accordingly, when considering that the performance 3 is made larger than the optimum value, in the example shown in the figure, the value of the performance 3 is between the optimum point (a portion indicated by a circle) and a desired level value (a portion indicated by a vertical dotted line). The change in the “total unachieved amount” is gradual, but the “total unachieved amount” has a very large change amount in an area larger than the solicitation level value (the portion indicated by the vertical dotted line). From this, for example, it can be seen that there is room for examination under the condition that the value of performance 3 is between the optimum point (location indicated by ◯) and the desired level value (location indicated by the vertical dotted line).

  Further, the visualization function unit 14 generates, for example, a design variable screen illustrated in FIG. 7 using the Qm ′. This screen is transferred to the terminal 20, for example, 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 that has not been reached from the desired level” 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. 7C and 7D.

  In FIGS. 7A to 7D, the ◯ marks indicate locations where the “unreachable amount from the desired level” (total unreachable amount) is the smallest, that is, “total unreachable amount”. Indicates the value of the design variable when becomes the optimum value.

  By viewing such a design variable screen, for example, the user can know the value of each design variable when the “unreachable amount from the desired level” is the smallest, for example. Further, by referring to the design variable screen, it can be seen how the “unreachable amount from the demand level value” changes when the design variable is changed. Therefore, not only the solution with the smallest “unreachable amount from the desired level value” but also how much the “unreachable amount 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. 7D as an example, as shown in the figure, the value of the design variable 4 may be shifted from the optimal value (location indicated by ○) (decrease even if it is increased). It can be seen that the “total amount not achieved” is moderate (almost unchanged).

  6 (a) to (d) and FIGS. 7 (a) to (d), the values of the design variables 1, 2, 3, and 4 are indicated by ○ in FIGS. 7 (a) to (d). The values of the performances 1, 2, 3, and 4 become the values (optimum values) indicated by the circles in FIGS. 6 (a) to 6 (d). Means. Therefore, the user can know the values of the design variables for optimizing a plurality of objective functions (performances) by referring to the displays of FIGS.

  However, “optimal” indicated from the display content means that the total unachieved amount is the smallest. However, the optimum meaning differs for each user. For example, when a certain user wants to be equal to or higher than the desired level in order to place importance on performance 3, in the example shown in FIG. 6C, the performance at the value (optimum value) indicated by a circle The value of 3 does not reach the desired level as shown in the figure. In such a case, for example, as will be described later, this user can search for a desired solution by adding desired constraints.

In the above specific example, the constraint formula F is
F: = (F1∧F2∧F3)
However, for example, the user can add a desired constraint to the constraint formula (for example, display a constraint addition screen (not shown) and allow the user to add an arbitrary constraint). ), A screen reflecting this restriction is generated and displayed, which is useful for analysis by the user.

Here, for example, a description will be given of an example in which the constraint condition formula F is shown as follows.
In this example, the constraint condition formula F is as follows.

  This is in addition to the constraint that the variable y3 is equal to or greater than the demand level value (= 1). That is, an example is shown in which a constraint is added to the design condition formula so that the value of performance 3 is always equal to or greater than the desired level (= 1). If the constraint condition formula F is shown as corresponding to the above 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. However, the present invention is not limited to this example. For example, an arbitrary constraint can be imposed on an arbitrary design variable value.

  Examples of screens generated by the visualization function unit 14 when the constraint formula F is used are shown in FIGS. FIG. 8 shows a performance screen, and FIG. 9 shows a design change screen.

  For example, the user refers to the performance screen shown in FIGS. 8A to 8D, for example, when he / she wants to place importance on the performance 3 (when the performance 3 is necessarily higher than the desired level), the other performance 1 , 2, and 4 can be obtained in the range of values and the optimum value. Alternatively, in the case of the example shown in the figure, as shown in FIG. 8A, when it is desired to place importance on the performance 3, the performance 1 does not reach the desired level, and even in that case, the performance 2, It can be seen that 4 can be greater than or equal to the desired level.

  For example, by referring to the performance screens shown in FIGS. 8A to 8D, the user should select a solution having a small “unreachable amount from the solicitation level value” or “ Even if the “reasonable amount” is made worse, it is possible to determine whether another performance value to be emphasized should be improved by adding a constraint again.

  Alternatively, the user refers to, for example, the design variable screens shown in FIGS. 9A to 9D, for example, when the performance 3 is to be emphasized (when the performance 3 is necessarily higher than the demand level) The value of each design variable for optimizing the “unreachable amount” is known.

  Further, the above-mentioned “total unachieved amount formula” F30 can be regarded as an example in which the weights of all “unachieved amounts of performance m” dm are set to ‘1’. In addition 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. In this example, the weight of the “performance 3 unachieved amount” d3 is changed from “1” to “2”. In other words, this may be considered as an example in which the weight is changed so as to emphasize the amount of performance 3 that has not been achieved.

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

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

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

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

  Alternatively, for example, the user refers to the design change screen shown in FIGS. 11A to 11D, for example, when the weight is changed so as to place importance on the unachieved amount of performance 3, for example, the entire unreached amount And the relationship between each design variable.

  Further, in the example of FIG. 10, for the performance 3, the optimum value indicated by a circle in FIG. 10C is almost the desired level, so each of the performance indicated by a circle in FIGS. 11A to 11D. The value of the design variable may be regarded as an optimal solution that achieves the target for the performance 3.

  As described above, according to the screen generated by the multi-purpose design support device of this example, the performance (objective function) and the executable area of the “unreachable amount to the desired level” (the entire value according to the performance value) The range of possible values of the unachieved amount) can be understood, and the relationship between the performance and the unachieved amount to the desired level can be seen.

  In addition, according to the screen generated by the multi-purpose design support device of this example, the design variable and the executable area of the “unreachable amount to the solicitation level value” (the total unreachable amount depends on the design variable value). The range of values that can be obtained), and the relationship between the design variables and the amount of unsatisfied levels.

  Thus, for example, the user can search for a solution that he / she satisfies while looking at the relationship between the specific performance and the total unachieved amount.

FIG. 12 shows a configuration / function block diagram of the multipurpose design support system of this example.
The multipurpose design support system in the illustrated example is a system including a multipurpose design support apparatus 30 for supporting the design of a product having a plurality of performances and one or more terminal devices 40. The multipurpose design support apparatus 30 is connected to one or more terminal apparatuses 40 via a network 50 so that they can communicate with each other. Each terminal device 40 is communicably connected to the multipurpose design support device 30 via the network 50.

  The multipurpose design support apparatus 30 includes a communication unit 38, and the terminal apparatus 40 includes a communication unit 44, and communication between the multipurpose design support apparatus 30 and the terminal apparatus 40 via the network 50 is performed by the communication units 38 and 44. Realized.

  The multipurpose design support apparatus 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 include the design formula generation function unit 11, the first-order predicate logical expression generation function unit 12, the executable area formula generation function unit 13, the visualization function unit 14, the first setting unit 15, and the second setting unit of FIG. 16 may be regarded as the same processing function unit as that of FIG.

  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 inputs arbitrary input information including a demand level value corresponding to each of the plurality of performances (by a user or the like), and transfers the input information via the network 50 by the communication unit 44 or the like. By doing so, the multipurpose design support apparatus 30 is caused to input.

  For example, the input information input in this manner is temporarily stored in the storage unit 37 of the multipurpose design support apparatus 30. Further, in the storage unit 37, for example, any information obtained during the processing by the various processing function units 31 to 34, a generated screen, and the like may be temporarily stored. .

  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.

  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.

  Moreover, it is not restricted to the example of FIG. 12, For example, a multipurpose design support apparatus may be provided with the function equivalent to the said input part 41 and the display part 42. FIG. FIG. 13 shows a functional block diagram of such a multi-purpose design support apparatus.

  The multi-purpose design support apparatus 30 ′ of the illustrated example is similar to the multi-purpose design support apparatus 30 of FIG. 12, the design formula generation function unit 31, the first-order predicate logical expression generation function unit 32, the executable area formula generation function unit 33, It has a visualization function unit 34, a first setting unit 35, a second setting unit 36, and a storage unit 37. These are not specifically described. The multipurpose design support apparatus 30 ′ further includes an input unit 41 ′ and a display unit 42 ′. The input unit 41 ′ has a function equivalent to that of the input unit 41, and the display unit 42 ′ has a function equivalent to that of the display unit 42. Therefore, these will not be described in detail.

  The input unit 41 ′ inputs (by a user or the like) arbitrary input information including a demand 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-described processing using this input information, so that the visualization function unit 34 generates the above-described screen. Then, this screen is displayed on a display or the like by the display unit 42 '.

  In the multipurpose design support apparatus 30 ′, the communication unit 38 is not an essential component and is not shown in FIG. 13. However, although not shown, the multipurpose design support apparatus 30 ′ may be configured to include the communication unit 38.

  FIG. 14 shows a hardware configuration example of an information processing apparatus 50 (multipurpose design support apparatus 10 (30, 30 ′), terminal apparatus 20 (40), etc.) that is a computer included in the multipurpose design support system of this example. FIG.

  In the configuration example illustrated in FIG. 14, the information processing apparatus 50 includes a CPU 51 that 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 apparatus 50 may further include an input device 54 such as a keyboard and 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 apparatus 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 is connected 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 a bus 58.

  The auxiliary storage device 53 stores a predetermined application program in advance. When the CPU 51 executes this application program, various processing functions such as the multipurpose design support apparatus 10 (30, 30 ') and the terminal apparatus 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 executable area formula generation function unit 13, the visualization function unit 14, the first setting Various processing functions such as the unit 15 and the second setting unit 16 are realized. Alternatively, when the CPU 51 executes the application program, for example, the design formula generation function unit 31, the first-order predicate logical expression generation function unit 32, the executable area formula generation function unit 33, the visualization function unit 34, the first setting Various processing functions such as the unit 35, the second setting unit 36, the storage unit 37, the communication unit 38, the input unit 41 ′, and the 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”. Thus, for example, “or / and” means “or or and”.

DESCRIPTION OF SYMBOLS 10 Multipurpose design support apparatus 11 Design formula production | generation function part 12 First order predicate logic formula production | generation function part 13 Executable area | region formula production | generation function part 14 Visualization function part 20 Terminal 21 Display part 22 Input operation part 30 Multipurpose design support apparatus 31 Design formula production | generation Functional part 32 First-order predicate logical expression generation functional part 33 Executable area mathematical expression generation functional part 34 Visualization functional part 35 First setting part 36 Second setting part 37 Storage part 38 Communication part 40 Terminal device 41 Input part 42 Display part 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 (15)

An apparatus for supporting the design of a product having a plurality of performances,
A design formula generation unit that generates a design condition formula indicating a condition related to the design based on predetermined input information including a demand level value corresponding to each of the plurality of performances;
A first-order predicate logical expression generation unit that generates a first-order predicate logical expression related to the performance or / and design variable based on the design condition formula;
An executable area formula generation unit for obtaining an executable area formula by performing a quantifier elimination process on the first-order predicate logical formula,
A visualization unit for generating a screen showing an area where the executable area formula is satisfied;
A multipurpose design support apparatus characterized by comprising:   The design formula generation unit generates a performance unachieved amount formula indicating an unachieved amount by performance, which is an unachieved amount for the demand level value corresponding to each performance, and the design condition formula is undeclared by performance. The multipurpose design support apparatus according to claim 1, further comprising: a mathematical expression formula.   The design formula generation unit generates an overall unachieved amount formula for obtaining an overall unachieved amount using the unachieved amount by performance, and the design condition formula includes the overall unachieved amount formula The multipurpose design support apparatus according to claim 2, wherein:   The design condition formula further includes a constraint formula for each of a plurality of design variables related to the performance and a performance formula indicating the value of each performance using the plurality of design variables. 3. The multipurpose design support apparatus according to 3.   The design formula expression unit combines the constraint condition formulas, the performance formulas, the performance unachieved formulas for each performance, and the overall unachieved formulas by logical product, thereby obtaining the design condition formulas. The multipurpose design support apparatus according to claim 4, wherein the multipurpose design support apparatus is generated. The executable area formula generation unit can execute an arbitrary performance or / and a value of a design variable and an overall unachieved amount by executing the quantifier elimination process on the first-order predicate logical formula. Find the area formula,
The said visualization part shows the range which can take the value of arbitrary performance or / and a design variable, and the total unachieved amount as said area | region using the said executable area | region formula, The said area | region is characterized by the above-mentioned. The multipurpose design support apparatus according to any one of the above.   The first-order predicate logical expression generation unit adds existence symbols to all variables except the variable indicating the performance or / and the value of the design variable and the variable indicating the total unachieved amount with respect to the design condition expression. The multipurpose design support apparatus according to claim 6, wherein the first-order predicate logical expression is generated by assigning. A first setting unit for adding an arbitrary constraint condition to the design condition formula;
The first-order predicate logic expression generation unit generates a first-order predicate logic expression related to the performance or / and the design variable based on a design condition expression to which the arbitrary constraint is added. The multipurpose design support apparatus according to any one of 1 to 7.   6. The apparatus according to claim 3, further comprising a second setting unit configured to set an arbitrary weight value for each performance unachieved amount formula used in the overall unachieved amount formula. Multipurpose design support device. A computer of an apparatus for supporting the design of a product having a plurality of performances;
A design formula generation unit that generates a design condition formula indicating a condition related to the design based on predetermined input information including a demand level value corresponding to each of the plurality of performances;
A first-order predicate logical expression generation unit that generates a first-order predicate logical expression related to the performance or / and design variable based on the design condition formula;
An executable area formula generation unit for obtaining an executable area formula by performing a quantifier elimination process on the first-order predicate formula generated by the first-order predicate formula,
A visualization unit for generating a screen showing an area where the executable area formula is satisfied;
Program to function as. A method for supporting the design of a product having multiple performances, comprising:
Based on predetermined input information including a demand level value corresponding to each of the plurality of performances, a design condition formula indicating a condition related to the design is generated,
Based on the generated design condition formula, a first order predicate logical formula for the performance or / and the design variable is generated,
For the generated first-order predicate logical expression, by executing a quantifier elimination process, an executable area mathematical expression is obtained,
A multi-purpose design support method, wherein a screen showing an area where the executable area formula is established is generated. A multi-purpose design support apparatus for supporting design of a product having a plurality of performances, and a system having one or more terminal devices,
The terminal device includes an input unit that passes arbitrary input information including a demand level value corresponding to each of the plurality of performances to the multipurpose design support device;
The multi-purpose design support device includes:
Based on the predetermined input information, a design formula generation unit that generates a design condition formula indicating a condition related to the design;
A first-order predicate logical expression generation unit that generates a first-order predicate logical expression related to the performance or / and design variable based on the design condition formula;
An executable area formula generation unit for obtaining an executable area formula by performing a quantifier elimination process on the first-order predicate logical formula,
A visualization unit for generating a screen showing an area where the executable area formula is established;
The multipurpose design support system, wherein the terminal device includes a display unit for displaying the screen. A multipurpose design support apparatus for supporting the design of a product having a plurality of performances, which is communicably connected to one or more terminal apparatuses via a network,
A design formula generation unit that generates a design condition formula indicating a condition related to the design based on predetermined input information from any of the terminal devices;
A first-order predicate logical expression generation unit that generates a first-order predicate logical expression related to the performance or / and design variable based on the design condition formula;
An executable area formula generation unit for obtaining an executable area formula by performing a quantifier elimination process on the first-order predicate logical formula,
A visualization unit for generating a screen showing an area where the executable area formula is satisfied;
A multipurpose design support apparatus characterized by comprising: A multipurpose design support device for supporting the design of a product having a plurality of performances, and a terminal device communicably connected via a network,
An input unit that inputs arbitrary input information including a demand level value corresponding to each of the plurality of performances and passes the input information to the multipurpose design support device;
A display unit for displaying a screen showing a range of possible values of the performance or / and design variables and the overall unachieved amount generated by the multipurpose design support apparatus based on the input information;
The terminal device characterized by having. The multi-purpose 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;
A first-order predicate logical expression generation unit that generates a first-order predicate logical expression related to the performance or / and design variable based on the design condition formula;
An executable area formula generation unit for obtaining an executable area formula by performing a quantifier elimination process on the first-order predicate logical formula,
A visualization unit that generates a screen showing an area where the executable area formula is established and passes it to the display unit;
The terminal device according to claim 14, comprising: