JP2010211783A - 設計支援装置、方法、及びプログラム - Google Patents
設計支援装置、方法、及びプログラム Download PDFInfo
- Publication number
- JP2010211783A JP2010211783A JP2009190359A JP2009190359A JP2010211783A JP 2010211783 A JP2010211783 A JP 2010211783A JP 2009190359 A JP2009190359 A JP 2009190359A JP 2009190359 A JP2009190359 A JP 2009190359A JP 2010211783 A JP2010211783 A JP 2010211783A
- Authority
- JP
- Japan
- Prior art keywords
- design
- expression
- variable
- relational expression
- polynomial
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/08—Probabilistic or stochastic CAD
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
- Complex Calculations (AREA)
Abstract
【解決手段】論理式置換部103は、論理式入力部102で入力された論理式又は目的関数モデル化部101からの目的関数近似多項式の一部を置換変数にて置換する。限量記号消去部104は、置換により得られる論理式から、限量記号が付された設計変数を消去することにより、置換変数及び限量記号が付されていない設計変数を含む関係式を生成する。サンプル点生成部105は、その関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成する。可能領域算出部106は、その関係式がとり得る可能領域を算出する。可能領域表示部107は、その可能領域を表示する。
【選択図】図1
Description
例えばSRAM(スタティック・ランダム・アクセス・メモリ)の設計においては、例えば図22に示されるように、設計の初期段階で、サイズ(面積:W×L)、Vth (SRAMを構成するトランジスタの動作閾値)、リーク電流、電源電圧等の設計量が計算される。
このような知見は、従来は設計者の知識/経験から決定することが多かったが、ものづくりの複雑化に従って、最適設計を支援する技術が要請されてきている。
論理式置換部は、論理式の一部を置換変数にて置換する。
可能領域算出部は、上記各サンプル点毎に、限量記号消去部が生成した関係式に基づいてその関係式に含まれる残りの設計変数の値を計算することにより、その関係式がとり得る可能領域を算出する。
開示する技術によれば、入力が目的関数近似多項式や簡単な関数式なので、シミュレータ計算を行わずに複数種類の設計変数間関係図を描画することが可能となり、様々な直感的知見を得ることが可能となる。
図1は、設計支援装置の第1の実施形態の構成図である。
論理式入力部102は、設計仕様を表現し、設計パラメータ及び設計条件を含む設計変数に関する関数式と、設計変数に付される限量記号と、設計変数及び関係式を結合する論理記号とを含む論理式を入力する。
論理式置換部103は、論理式入力部102が入力した論理式の一部を置換変数にて置換する。
可能領域算出部106は、上記各サンプル点毎に、限量記号消去部104が生成した関係式に基づいてその関係式に含まれる残りの設計変数の値を計算することにより、その関係式がとり得る可能領域を算出する。
上記構成を有する第1の実施形態の動作について、以下に説明する。
今例えば、設計者は、設計条件として歩留まりを選択し、歩留まりをできるだけ大きくするような設計パラメータの組を知りたいとする。SRAM等の設計においては通常、歩留まりを計算するための目的関数として、複数の目的関数が計算される。この目的関数を例えば、SNM、WMと呼ぶことにする。そして、歩留まりはこれら2つの目的関数値のうち小さいほうの値として定義されるとする。即ち、
歩留まり=min(SNM,WM) ・・・(1)
である。ここで、目的関数SNM及びWMは通常、所定の複数種類の設計パラメータ群を用いて、シミュレータにより数値計算することができる。従って一般には、上記(1)式を様々な設計パラメータ群に対して数値計算し、その計算結果の最大値を認識することにより、設計の目的を達成することができる。この処理は、複数の目的関数を同時に最適化する多目的最適化処理である。
SNM = -3.70880619227755703-1.815535443549214242e-2*x1+0.362756928799239723e-1*x2+0.529879430721035828e-1*x3-0.186187407180227748e-1*x4+0.378882808207316458e-1*x5+0.577218911880007530e-2*x6+15.4475497344388622*x7+7.61316609791377275*x8+11.1015094199909559*x9+11.1015094199909399*x10-1.84551068765900172*x11
・・・(2)
一般的には、SNMとWMは、次式のように表現できる。次式において、f1及びf2は、それぞれ例えば設計パラメータx1,...,x11に関する多項式の関数である。
SNM=f1(x1,...,x11)
WM=f2(x1,...,x11)
・・・(3)
この場合、前述の(1)式及び(3)式に基づいて、制約条件が、下記のように設定される。
SNM=f1(x1,...,x11)
WM=f2(x1,...,x11)
歩留まり=min(SNM,WM)
0 < xi < 1 (i=1,2,・・・,11)
上述の制約条件を論理式で表現すると、次式のようになる。
ex({x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
SNM > z and WM > z);
・・・(4)
ここで、exはexistsの意味であり、設計パラメータ(=設計変数)x1〜x11 に、存在限量記号が付されていることを示している。即ち、上記(4)式には、
∃x1, ∃x2, ∃x3, ∃x4, ∃x5, ∃x6, ∃x7, ∃x8, ∃x9, ∃x10, ∃x11
が設定されている。また、(4)式では、各設計パラメータxiが、0より大きく1より小さい値をとり得ることを示している。更に(4)式において、SNM とWMは、(3)式のSNMとWMに等価な設計変数であり、x1〜x11 に関する多項式表現となっている。zは歩留まりを表す設計変数である。
図1の設計支援装置の動作実施例2として、設計者が、(3)式で示される目的関数近似多項式SNM及びWMを用いて、歩留まりと特定の設計パラメータx1との関係を知りたいとする。
ex({x2,x3,x4,x5,x6,x7,x8,x9,x10,x11},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
SNM > z and WM > z);
・・・(5)
ここでは、設計パラメータx1においてのみ、存在限量記号が設定されていない。
ステップS503の判定がYESの場合には、可能領域算出部106は、ステップS502で生成したサンプル点群から1点を抽出する(図5のステップS504)。
なお、前述の動作実施例1の場合には、単純にzの範囲を示す関係式が得られるだけなので、特別な描画処理を実行する必要はない。
size=(1 + 2 * x4 + 3 * x5) * (6 + x2 + x3) ・・・(6)
ここで、x2、x3、x4、x5等の設計パラメータは、図22に示されるサイズを示す幅W1,W2,・・・や長さL1,L2・・・等に対応する。
Vth = f3(x1,x4,x7) ・・・(7)
更に、リーク電流Leakは例えば、指数関数f4を用いて、次式のような数式で表現される。
Leak = f4(x1,x4,x7) ・・・(8)
上記(7)式及び(8)式において、x1、x4、x7等は、所定の設計パラメータである。
SNM=f1(x1,...,x11)
WM=f2(x1,...,x11)
歩留まり=min(SNM,WM)
0 < xi < 1 (i=1,2,・・・,11)
size=(6 + x2 + x3) * (1 + 2 * x4 + 3 * x5)
上述の制約条件を論理式で表現すると、次式のようになる。
ex({x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
(1 + 2 * x4 + 3 * x5) * (6 + x2 + x3) = size and
SNM > z and WM > z);
・・・(9)
上述の論理式に対して、図1の限量記号消去部104が実行する図5のステップS501において、上記(9)式の論理式から、QE法により、限量記号が付されている設計変数(=設計パラメータ)x1〜x11 を消去する処理を実行しようとした場合を考える。この場合、(9)式においてsizeを示す関数は、設計パラメータに関する2次式となっているため、QE法における計算量が増加してしまい、限量記号消去部104の処理が実時間内に終了しなくなる可能性がある。
ex({x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
(1 + 2 * x4 + 3 * x5) = x and (6 + x2 + x3) = y and
SNM > z and WM > z);
・・・(10)
ステップS503の判定がYESの場合には、可能領域算出部106は、ステップS502で生成したサンプル点群から1点を抽出する(図6のステップS504)。
SNM=f1(x1,...,x11)
WM=f2(x1,...,x11)
歩留まり=min(SNM,WM)
0 < xi < 1 (i=1,2,・・・,11)
size=(6 + x2 + x3) * (1 + 2 * x4 + 3 * x5)=28
上述の制約条件に対して、図1の論理式置換部103が置換処理を行った結果得られる論理式は、次式のようになる。
ex({x1,x2,x3,x4,x5,x6,x7,x8,x9,x10},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
(1 + 2 * x4 + 3 * x5) = x and (6 + x2 + x3) = y and x*y=28 and
SNM > z and WM > z);
・・・(11)
ステップS503の判定がYESの場合には、可能領域算出部106は、ステップS502で生成したサンプル点群から1点を抽出する(図10のステップS504)。
SNM=f1(x1,...,x11)
WM=f2(x1,...,x11)
歩留まり=min(SNM,WM)
0 < xi < 1 (i=1,2,・・・,11)
size=(1 + 2 * x4 + 3 * x5) * (6 + x2 + x3)
Vth = f3(x1,x4,x7)
SNM=f1(x1,...,x11)
WM=f2(x1,...,x11)
歩留まり=min(SNM,WM)
0 < xi < 1 (i=1,2,・・・,11)
size=(1 + 2 * x4 + 3 * x5) * (6 + x2 + x3)
Leak = f4(x1,x4,x7)
動作実施例5の制約条件を論理式で表現すると、次式のようになる。
ex({x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
(1 + 2 * x4 + 3 * x5) * (6 + x2 + x3) = size and f3(x1,x4,x7) = f and
SNM > z and WM > z);
・・・(12)
ex({x2,x3,x5,x6,x8,x9,x10,x11},
(0 < x1 < 1) and (0 < x2 < 1) and (0 < x3 < 1) and (0 < x4 < 1) and
(0 < x5 < 1) and (0 < x6 < 1) and (0 < x7 < 1) and (0 < x8 < 1) and
(0 < x9 < 1) and (0 < x10 < 1) and (0 < x11 < 1) and
(1 + 2 * x4 + 3 * x5) = x and (6 + x2 + x3) = y and SNM > z and WM > z);
・・・(13)
その後、図1のサンプル点生成部105は、限量記号消去部104が生成した関係式において、その関係式内に残っている設計変数x1,x4,x7,x,yに関するサンプル点群を生成する(図14のステップS502)。
ステップS503の判定がYESの場合には、可能領域算出部106は、ステップS502で生成したサンプル点群から1点を抽出する(図14のステップS504)。
前述した動作実施例6のように、座標軸の情報に多項式以外の関数Fが含まれている場合には、ステップS1502の判定がYESとなる。この結果、論理式置換部103は、formula領域のFに関する部分を削除し(ステップS1506)、list領域にF内の引数(設計変数)を追加する(ステップS1507)。この動作は、例えば図16の1601から1602への状態遷移として示される。
因数の数nが1より大きければ、論理式置換部103は、formula領域内の各因数部分を新たな置換変数で置換し、formula領域にその内容を追加し(ステップS1509→S1510)、更に、list領域にその新たな置換変数を追加する(ステップS1511)。これは、前述の動作実施例3又は4に対応する。その後、論理式置換部103は、ステップS1503の判定処理に戻る。
以上説明した第1の実施形態では、可能領域表示部107が例えば図7に示されるような可能領域を表示させることができる。そして、設計者は、このような描画例に基づいて、サイズ毎に歩留まりの最大値がどのくらいになるかを、直感的に把握することができる。
図17に示される第2の実施形態の構成は、図1に示される設計支援装置の第1の実施形態の構成に追加されることにより、サイズと歩留まりの最大値との関係を関数式として算出することを可能にする。
最大値多項式群算出部1702にはまた、図1の限量記号消去部104から、射影因子多項式集合1705が入力する。
前述したように、図1の限量記号消去部104は、図1の論理式置換部103から出力される論理式から、QE法により、限量記号が付されている設計変数(=設計パラメータ)を消去する処理を実行する。QE法については、前述したように本出願の発明者著による公知文献1「計算実代数幾何入門:CADとQEの概要(数学セミナー第554号(2007年11月号)64−70頁(穴井宏和、横山和弘共著)、日本評論社)」に、その処理方法の概要が開示されている。更に、同じシリーズで、公知文献2「計算実代数幾何入門:QEによる最適化とその応用(数学セミナー第555号(2007年12月号)75−81頁)、公知文献3「計算実代数幾何入門:CADアルゴリズム(前半)(数学セミナー第556号(2008年1月号)76−83頁)、公知文献4「計算実代数幾何入門:CADアルゴリズム(後半)(数学セミナー第557号(2008年3月号)79−85頁)、及び公知文献5「計算実代数幾何入門:CADによるQE(数学セミナー第558号(2008年4月号)82−89頁)に、その処理方法の詳細が開示されている。図1の限量記号消去部104は、上記公知文献1〜5に記載の方法に基づいて、CAD(Cylindrical Algebraic Decomposition)と呼ばれる手法に基づくQE処理を実行し、限量記号が付されている設計変数(=設計パラメータ)を消去する。以下に、CADによるQE処理の概要を示す。
各Qiは、限量記号∀又は∃を表す。ここで、xk+1,xk+2,・・・,xnは限量記号付きの変数(設計パラメータ)を表す。一方、x1,・・・,xkは限量記号が付かない変数(設計パラメータ)を表し、自由変数と呼ばれる。
は、代数的命題文である。図1の限量記号消去部104は、この命題文に対して現れる多項式に対してCADを計算することで、上記命題文に等価な、限量記号の付かない自由変数x1,・・・,xkのみで表現される論理式を求めることができる。これが、CADを利用したQEと呼ばれる。
続いて、上述のように規定された各範囲Diにおいて、全てのjに対して、図19のステップS1903に示されるHが計算される。この計算では、各Di毎に、その範囲Diに含まれる最大値集合1704と、各多項式hjとの距離Hが計算される。
z(θ)≡minxf(x)=x1x2,
2x1+x2≧θ,
x1+3x2≧θ/2,
−1≦x1≦1,
−1≦x2≦1,
0≦θ≦1.
(z=x1x2∧2x1+x2≧θ∧x1+3x2≧θ/2∧−1≦x1≦1∧−1≦x2≦1∧0≦θ≦1).
Ψ1(z,θ):[[z-1≦0, 2z-θ+1≧0]]
Ψ1(z,θ):[[z-1≦0, 6z-θ+2≧0]]
このようにして設計者は、可能領域の最大値輪郭を、適切な多項式として把握でき、より自由度の高いものづくり設計が可能となる。
図21に示されるコンピュータは、CPU2101、メモリ2102、入力装置2103、出力装置2104、外部記憶装置2105、可搬記録媒体2109が挿入される可搬記録媒体駆動装置2106、及びネットワーク接続装置2107を有し、これらがバス2108によって相互に接続された構成を有する。同図に示される構成は上記システムを実現できるコンピュータの一例であり、そのようなコンピュータはこの構成に限定されるものではない。
可搬記録媒体駆動装置2106は、光ディスクやSDRAM、コンパクトフラッシュ(登録商標)等の可搬記録媒体2109を収容するもので、外部記憶装置2105の補助の役割を有する。
第1又は第2の実施形態によるシステムは、それに必要な機能を搭載したプログラムをCPU2101が実行することで実現される。そのプログラムは、例えば外部記憶装置2105や可搬記録媒体2109に記録して配布してもよく、或いはネットワーク接続装置2107によりネットワークから取得できるようにしてもよい。
102 論理式入力部
103 論理式置換部
104 限量記号消去部
105 サンプル点生成部
106 可能領域算出部
107 可能領域表示部
1701 最大値集合抽出部
1702 最大値多項式算出部
1703 可能領域値集合
1704 最大値集合
1705 射影因子多項式集合
1706 最大値多項式群
2101 CPU
2102 メモリ
2103 入力装置
2104 出力装置
2105 外部記憶装置
2106 可搬記録媒体駆動装置
2107 ネットワーク接続装置
2108 可搬記録媒体
Claims (10)
- 設計パラメータ又は設計条件を含む設計変数の間の関係を表示する設計支援装置において、
設計仕様を表現し、前記設計変数に関する関数式と、前記設計変数に付される限量記号と、前記設計変数及び前記関係式を結合する論理記号とを含む論理式を入力する論理式入力部と、
前記論理式の一部を置換変数にて置換する論理式置換部と、
該置換により得られる論理式から、前記限量記号が付された設計変数を消去することにより、前記置換変数及び前記限量記号が付されていない設計変数を含む関係式を生成する限量記号消去部と、
該関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成するサンプル点生成部と、
該各サンプル点毎に、前記関係式に基づいて該関係式に含まれる残りの設計変数の値を計算することにより、該関係式がとり得る可能領域を算出する可能領域算出部と、
該可能領域を表示する可能領域表示部と、
を含むことを特徴とする設計支援装置。 - 複数の前記設計パラメータから構成される設計パラメータ群サンプルを複数組入力し、該各組に対応する所定の目的関数の値を計算し、該目的関数の各値と前記各設計パラメータ群サンプルとに基づいて、前記目的関数を前記設計パラメータを含む多項式にて数式近似した目的関数近似多項式を算出する目的関数モデル化部を更に含み、
前記論理式入力部は、該目的関数近似多項式を、前記論理式の一部として入力する、
ことを特徴とする請求項1に記載の設計支援装置。 - 前記論理式置換部は、前記論理式を因数分解し、その結果得られる各因数を該各因数に対応する置換変数に置換する、
ことを特徴とする請求項1又は2の何れか1項に記載の設計支援装置。 - 前記論理式置換部は、前記論理式に含まれる複雑な多項式関数又は超越関数を削除し、該関数内の設計変数を前記論理式に残す置換を行う、
ことを特徴とする請求項1乃至3の何れか1項に記載の設計支援装置。 - 設計パラメータ又は設計条件を含む設計変数の間の関係を提示する設計支援装置において、
設計仕様を表現し、前記設計変数に関する関数式と、前記設計変数に付される限量記号と、前記設計変数及び前記関係式を結合する論理記号とを含む論理式を入力する論理式入力部と、
前記論理式から、前記限量記号が付された設計変数を消去することにより、前記置換変数及び前記限量記号が付されていない設計変数を含む関係式を生成する限量記号消去部と、
該関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成するサンプル点生成部と、
該各サンプル点毎に、前記関係式に基づいて該関係式に含まれる残りの設計変数の値を計算することにより、該関係式がとり得る可能領域を算出する可能領域算出部と、
前記可能領域から最大値の集合を最大値集合として抽出する最大値集合抽出部と、
前記限量記号消去部が前記限量記号が付された設計変数を消去する過程で算出される射影因子の多項式を射影因子多項式集合として入力し、前記最大値集合を該射影因子多項式集合中の各多項式とマッチングを取ることにより該最大値集合を最も良く表す多項式群を最大値多項式群として出力する最大値多項式群算出部と、
を含むことを特徴とする設計支援装置。 - 設計パラメータ又は設計条件を含む設計変数の間の関係を表示する設計支援方法において、
設計仕様を表現し、前記設計変数に関する関数式と、前記設計変数に付される限量記号と、前記設計変数及び前記関係式を結合する論理記号とを含む論理式を入力する論理式入力ステップと、
前記論理式の一部を置換変数にて置換する論理式置換ステップと、
該置換により得られる論理式から、前記限量記号が付された設計変数を消去することにより、前記置換変数及び前記限量記号が付されていない設計変数を含む関係式を生成する限量記号消去ステップと、
該関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成するサンプル点生成ステップと、
該各サンプル点毎に、前記関係式に基づいて該関係式に含まれる残りの設計変数の値を計算することにより、該関係式がとり得る可能領域を算出する可能領域算出ステップと、
該可能領域を表示する可能領域表示ステップと、
を含むことを特徴とする設計支援方法。 - 複数の前記設計パラメータから構成される設計パラメータ群サンプルを複数組入力し、該各組に対応する所定の目的関数の値を計算し、該目的関数の各値と前記各設計パラメータ群サンプルとに基づいて、前記目的関数を前記設計パラメータを含む多項式にて数式近似した目的関数近似多項式を算出する目的関数モデル化ステップを更に含み、
前記論理式入力ステップは、該目的関数近似多項式を、前記論理式の一部として入力する、
ことを特徴とする請求項6に記載の設計支援方法。 - 設計パラメータ又は設計条件を含む設計変数の間の関係を提示する設計支援装置において、
設計仕様を表現し、前記設計変数に関する関数式と、前記設計変数に付される限量記号と、前記設計変数及び前記関係式を結合する論理記号とを含む論理式を入力する論理式入力ステップと、
前記論理式から、前記限量記号が付された設計変数を消去することにより、前記置換変数及び前記限量記号が付されていない設計変数を含む関係式を生成する限量記号消去ステップと、
該関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成するサンプル点生成ステップと、
該各サンプル点毎に、前記関係式に基づいて該関係式に含まれる残りの設計変数の値を計算することにより、該関係式がとり得る可能領域を算出する可能領域算出ステップと、
前記可能領域から最大値の集合を最大値集合として抽出する最大値集合抽出ステップと、
前記限量記号消去ステップが前記限量記号が付された設計変数を消去する過程で算出される射影因子の多項式を射影因子多項式集合として入力し、前記最大値集合を該射影因子多項式集合中の各多項式とマッチングを取ることにより該最大値集合を最も良く表す多項式群を最大値多項式群として出力する最大値多項式群算出ステップと、
を含むことを特徴とする設計支援方法。 - 設計パラメータ又は設計条件を含む設計変数の間の関係を表示する設計支援用コンピュータに、
設計仕様を表現し、前記設計変数に関する関数式と、前記設計変数に付される限量記号と、前記設計変数及び前記関係式を結合する論理記号とを含む論理式を入力する論理式入力ステップと、
前記論理式の一部を置換変数にて置換する論理式置換ステップと、
該置換により得られる論理式から、前記限量記号が付された設計変数を消去することにより、前記置換変数及び前記限量記号が付されていない設計変数を含む関係式を生成する限量記号消去ステップと、
該関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成するサンプル点生成ステップと、
該各サンプル点毎に、前記関係式に基づいて該関係式に含まれる残りの設計変数の値を計算することにより、該関係式がとり得る可能領域を算出する可能領域算出ステップと、
該可能領域を表示する可能領域表示ステップと、
を実行させるためのプログラム。 - 設計パラメータ又は設計条件を含む設計変数の間の関係を提示する設計支援用コンピュータに、
設計仕様を表現し、前記設計変数に関する関数式と、前記設計変数に付される限量記号と、前記設計変数及び前記関係式を結合する論理記号とを含む論理式を入力する論理式入力ステップと、
前記論理式から、前記限量記号が付された設計変数を消去することにより、前記置換変数及び前記限量記号が付されていない設計変数を含む関係式を生成する限量記号消去ステップと、
該関係式に含まれる設計変数及び置換変数に対応する複数のサンプル点を生成するサンプル点生成ステップと、
該各サンプル点毎に、前記関係式に基づいて該関係式に含まれる残りの設計変数の値を計算することにより、該関係式がとり得る可能領域を算出する可能領域算出ステップと、
前記可能領域から最大値の集合を最大値集合として抽出する最大値集合抽出ステップと、
前記限量記号消去ステップが前記限量記号が付された設計変数を消去する過程で算出される射影因子の多項式を射影因子多項式集合として入力し、前記最大値集合を該射影因子多項式集合中の各多項式とマッチングを取ることにより該最大値集合を最も良く表す多項式群を最大値多項式群として出力する最大値多項式群算出ステップと、
を実行させるためのプログラム。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009190359A JP5375429B2 (ja) | 2009-02-12 | 2009-08-19 | 設計支援装置、方法、及びプログラム |
CA2692361A CA2692361C (en) | 2009-02-12 | 2010-02-08 | Design support apparatus and method |
US12/702,425 US8533653B2 (en) | 2009-02-12 | 2010-02-09 | Support apparatus and method for simplifying design parameters during a simulation process |
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009029260 | 2009-02-12 | ||
JP2009029260 | 2009-02-12 | ||
JP2009190359A JP5375429B2 (ja) | 2009-02-12 | 2009-08-19 | 設計支援装置、方法、及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010211783A true JP2010211783A (ja) | 2010-09-24 |
JP5375429B2 JP5375429B2 (ja) | 2013-12-25 |
Family
ID=42541434
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009190359A Active JP5375429B2 (ja) | 2009-02-12 | 2009-08-19 | 設計支援装置、方法、及びプログラム |
Country Status (3)
Country | Link |
---|---|
US (1) | US8533653B2 (ja) |
JP (1) | JP5375429B2 (ja) |
CA (1) | CA2692361C (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011028504A (ja) * | 2009-07-24 | 2011-02-10 | Fujitsu Ltd | 多目的最適化設計支援装置、方法、及びプログラム |
JP2014533387A (ja) * | 2011-12-12 | 2014-12-11 | アー・ファウ・エル・リスト・ゲゼルシャフト・ミト・ベシュレンクテル・ハフツング | 多基準の最適化問題の解を評価するための方法 |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5509952B2 (ja) * | 2010-03-16 | 2014-06-04 | 富士通セミコンダクター株式会社 | シミュレーション方法、シミュレーション装置、プログラム、及び記憶媒体 |
JP5418409B2 (ja) * | 2010-06-01 | 2014-02-19 | 富士通株式会社 | モデル式生成方法、装置及びプログラム |
JP5477242B2 (ja) * | 2010-09-22 | 2014-04-23 | 富士通株式会社 | 最適化処理プログラム、方法及び装置 |
US8438513B1 (en) * | 2011-12-30 | 2013-05-07 | Northeastern University | Quantifier elimination by dependency sequents |
CN113031572B (zh) * | 2021-03-31 | 2022-06-21 | 南京大学 | 一种系统安全验证的方法和装置 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0619951A (ja) * | 1992-07-01 | 1994-01-28 | Hitachi Ltd | 組合せ最適化方法及びその装置 |
JP2003132103A (ja) * | 2001-10-22 | 2003-05-09 | Hitachi Ltd | 設計支援方法及び設計支援装置 |
JP2003141192A (ja) * | 2001-11-01 | 2003-05-16 | Hitachi Ltd | 機械構造物の設計支援方法及び設計支援システム |
JP2005129015A (ja) * | 2003-09-30 | 2005-05-19 | Fujitsu Ltd | シミュレーションにおけるモデルパラメータ決定プログラム、および決定装置 |
JP2005254308A (ja) * | 2004-03-15 | 2005-09-22 | Matsushita Electric Ind Co Ltd | 鋳型方案簡易設計方法 |
JP2008302828A (ja) * | 2007-06-08 | 2008-12-18 | Toyo Tire & Rubber Co Ltd | タイヤの設計方法 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5719796A (en) * | 1995-12-04 | 1998-02-17 | Advanced Micro Devices, Inc. | System for monitoring and analyzing manufacturing processes using statistical simulation with single step feedback |
JP2000222440A (ja) | 1999-01-28 | 2000-08-11 | Sharp Corp | 部品の軽量最適化システムおよび方法ならびに部品の軽量最適化方法を実現するためのプログラムを記録したコンピュータ読取可能な記録媒体 |
JP2000267890A (ja) | 1999-03-19 | 2000-09-29 | Hitachi Ltd | シミュレーションプログラム実行方法及び装置 |
JP2001126087A (ja) | 1999-10-27 | 2001-05-11 | Toyota Central Res & Dev Lab Inc | 構造物の設計方法及び記録媒体 |
JP2008523516A (ja) * | 2004-12-10 | 2008-07-03 | アノバ・ソリューションズ・インコーポレーテッド | 集積回路設計および製造のための確率解析プロセス最適化 |
US7249333B2 (en) * | 2005-01-18 | 2007-07-24 | Microsoft Corporation | Quantified boolean formula (QBF) solver |
JP4190517B2 (ja) | 2005-05-30 | 2008-12-03 | 株式会社東芝 | プロセスモデルのパラメータ調整支援装置及び方法 |
JP2007053166A (ja) * | 2005-08-16 | 2007-03-01 | Toshiba Corp | 出来栄え予測装置、出来栄え予測方法及び半導体装置の製造方法 |
US7630852B1 (en) * | 2005-11-04 | 2009-12-08 | Arizona Board Of Regents | Method of evaluating integrated circuit system performance using orthogonal polynomials |
-
2009
- 2009-08-19 JP JP2009190359A patent/JP5375429B2/ja active Active
-
2010
- 2010-02-08 CA CA2692361A patent/CA2692361C/en not_active Expired - Fee Related
- 2010-02-09 US US12/702,425 patent/US8533653B2/en active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0619951A (ja) * | 1992-07-01 | 1994-01-28 | Hitachi Ltd | 組合せ最適化方法及びその装置 |
JP2003132103A (ja) * | 2001-10-22 | 2003-05-09 | Hitachi Ltd | 設計支援方法及び設計支援装置 |
JP2003141192A (ja) * | 2001-11-01 | 2003-05-16 | Hitachi Ltd | 機械構造物の設計支援方法及び設計支援システム |
JP2005129015A (ja) * | 2003-09-30 | 2005-05-19 | Fujitsu Ltd | シミュレーションにおけるモデルパラメータ決定プログラム、および決定装置 |
JP2005254308A (ja) * | 2004-03-15 | 2005-09-22 | Matsushita Electric Ind Co Ltd | 鋳型方案簡易設計方法 |
JP2008302828A (ja) * | 2007-06-08 | 2008-12-18 | Toyo Tire & Rubber Co Ltd | タイヤの設計方法 |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011028504A (ja) * | 2009-07-24 | 2011-02-10 | Fujitsu Ltd | 多目的最適化設計支援装置、方法、及びプログラム |
JP2014533387A (ja) * | 2011-12-12 | 2014-12-11 | アー・ファウ・エル・リスト・ゲゼルシャフト・ミト・ベシュレンクテル・ハフツング | 多基準の最適化問題の解を評価するための方法 |
Also Published As
Publication number | Publication date |
---|---|
US20100205574A1 (en) | 2010-08-12 |
CA2692361A1 (en) | 2010-08-12 |
JP5375429B2 (ja) | 2013-12-25 |
CA2692361C (en) | 2015-01-06 |
US8533653B2 (en) | 2013-09-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5375429B2 (ja) | 設計支援装置、方法、及びプログラム | |
JP4790816B2 (ja) | 並列マルチレート回路シミュレーション | |
Song et al. | Surrogate-based aerodynamic shape optimization of a civil aircraft engine nacelle | |
JP5282493B2 (ja) | 最適解関係表示装置、方法、及びプログラム | |
JP7302297B2 (ja) | 材料特性予測装置、材料特性予測方法、及び材料特性予測プログラム | |
JP5402351B2 (ja) | 多目的最適化設計支援装置、方法、及びプログラム | |
CN112561068B (zh) | 模拟方法、计算设备、经典设备、存储设备及产品 | |
JP2022536661A (ja) | 機械学習を用いた、迅速なデジタル原子炉設計 | |
CN108319799A (zh) | 一种自主水下航行器的外形多保真度优化设计方法 | |
Kochdumper et al. | Utilizing dependencies to obtain subsets of reachable sets | |
US10896270B2 (en) | Method for solving multi-fidelity optimization problems | |
JP5418409B2 (ja) | モデル式生成方法、装置及びプログラム | |
JP5163472B2 (ja) | パラメタ空間を分割してモデル化する設計支援装置、方法、及びプログラム | |
Pan et al. | One-step Monte Carlo global homogenization based on RMC code | |
JP2010122832A (ja) | Sram形状パラメータ等の多目的最適化設計支援装置、方法、及びプログラム | |
CN114925840A (zh) | 模拟方法、设备及存储介质 | |
US20160203105A1 (en) | Information processing device, information processing method, and information processing program | |
Macêdo et al. | Hybrid particle swarm optimization and tabu search for the design of large-scale water distribution networks | |
Poursalehi et al. | An adaptive mesh refinement approach for average current nodal expansion method in 2-D rectangular geometry | |
JP5477242B2 (ja) | 最適化処理プログラム、方法及び装置 | |
Ye et al. | A local character based method for solving linear systems of radiation diffusion problems | |
Tang et al. | i2Graph: An Incremental Iterative Computation Model for Large Scale Dynamic Graphs | |
CN116663262A (zh) | 反应堆物理热工耦合计算的方法及装置、电子设备 | |
CN117390576A (zh) | 用于核工程数据处理的高效缺失值填补方法、设备和介质 | |
Ferreira et al. | Efficient Selection of Reservoir Model Outputs within an Emulation Based Iterative Uncertainty Analysis |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20120405 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20130205 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130423 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130624 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20130827 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20130909 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5375429 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |