JP2012043125A - 表示処理プログラム、表示処理方法及び情報処理装置 - Google Patents
表示処理プログラム、表示処理方法及び情報処理装置 Download PDFInfo
- Publication number
- JP2012043125A JP2012043125A JP2010183013A JP2010183013A JP2012043125A JP 2012043125 A JP2012043125 A JP 2012043125A JP 2010183013 A JP2010183013 A JP 2010183013A JP 2010183013 A JP2010183013 A JP 2010183013A JP 2012043125 A JP2012043125 A JP 2012043125A
- Authority
- JP
- Japan
- Prior art keywords
- solution
- storage unit
- expression
- data
- data storage
- 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
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
- G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/06—Multi-objective optimisation, e.g. Pareto optimisation using simulated annealing [SA], ant colony algorithms or genetic algorithms [GA]
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Mathematical Physics (AREA)
- General Physics & Mathematics (AREA)
- Pure & Applied Mathematics (AREA)
- Mathematical Optimization (AREA)
- Mathematical Analysis (AREA)
- Computational Mathematics (AREA)
- Data Mining & Analysis (AREA)
- Theoretical Computer Science (AREA)
- Operations Research (AREA)
- Algebra (AREA)
- Databases & Information Systems (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Navigation (AREA)
Abstract
【解決手段】本方法は、コスト関数の近似式とコスト空間における経路と設計パラメータ空間における探索範囲とから制約式を生成し、制約式に対する解の論理式を限定子除去法で取得し、制約式に対する解の論理式に、設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、複数の点の各々について解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した設計パラメータ空間を表示する。
【選択図】図4
Description
x=f(x,y)=(256/9)*p2−(272/9)*p−2*q+124/9 (1)
y=g(x,y)=(16/3)*p+7*q+11/3 (2)
∃x∃y[−0.5≦p≦1.5∧−0.5≦q≦1.5∧x=f(p,q)∧y=g(p,q)∧d((x,y),l)<e]
但し、l={(x,y)∈R2|x+y=15∧5≦x≦10}
lは、経路の式を表している。また、d((x,y),l)<eは、コスト空間における点(x,y)と経路lとの距離が経路幅e未満であるという制約を表している。
複数の設計パラメータとコストとの関係を表すコスト関数の近似式のデータを格納するコスト関数データ格納部に格納されている前記コスト関数の近似式のデータと、コスト空間における経路のデータと設計パラメータ空間における探索範囲のデータとを格納するデータ格納部に格納されている前記経路のデータと前記探索範囲のデータとから制約式を生成する生成ステップと、
前記制約式に対する解の論理式を限定子除去処理部から取得し、当該解の論理式のデータを解論理式データ格納部に格納するステップと、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する表示ステップと、
を、コンピュータに実行させるための表示処理プログラム。
前記コスト空間における経路の始点に相当する、前記設計パラメータ空間における点である第2の始点を、前記コスト関数の近似式と前記設計パラメータ空間における探索範囲とから算出するステップ
をさらに前記コンピュータに実行させ、
前記表示ステップにおいて、前記第2の始点を包含する第2の表示物を配置して表示する
付記1記載の表示処理プログラム。
前記データ格納部には前記経路の幅の値がさらに格納されており、
前記制約式及び前記解の論理式は前記経路の幅を表す変数を含んでおり、
前記表示ステップにおいて前記解の論理式に前記データ格納部に格納されている前記経路の幅の値をさらに代入する
付記1又は2記載の表示処理プログラム。
ユーザから前記経路の幅の第2の値の入力を受け付けるステップと、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値と前記経路の幅の第2の値とを代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する第2表示ステップと、
をさらに前記コンピュータに実行させるための付記3記載の表示処理プログラム。
前記表示ステップが、
前記設計パラメータ空間における探索範囲を格子状に区切り、格子点の座標値を、前記解論理式データ格納部に格納されている前記解の論理式に代入することで、前記格子点の各々について前記解の論理式の真偽を判断するステップと、
真と判断された前記格子点に当該格子点を包含する所定サイズの表示物を配置した前記設計パラメータ空間を表示するステップ
を含む付記1乃至4のいずれか1つ記載の表示処理プログラム。
前記表示ステップが、
真と判断された前記格子点に配置された前記所定サイズの表示物を格子状に分割し、分割によって生成された小表示物の各々の中心点の座標値を前記解論理式データ格納部に格納されている前記解の論理式に代入することで、前記小表示物の中心点の各々について前記解の論理式の真偽を判断するステップと、
偽と判断された中心点の小表示物を前記所定サイズの表示物から除去するステップと、
をさらに含む付記5記載の表示処理プログラム。
前記制約式が、前記設計パラメータ空間における探索範囲において前記コスト関数の近似式を満たし且つ前記コスト空間の点と前記コスト空間における経路との距離が前記経路の幅未満という制約を満たす前記コスト空間の点群が存在することを表す式である
付記1乃至6のいずれか1つ記載の表示処理プログラム。
複数の設計パラメータとコストとの関係を表すコスト関数の近似式のデータを格納するコスト関数データ格納部に格納されている前記コスト関数の近似式のデータと、コスト空間における経路のデータと設計パラメータ空間における探索範囲のデータとを格納するデータ格納部に格納されている前記経路のデータと前記探索範囲のデータとから制約式を生成する生成ステップと、
前記制約式に対する解の論理式を限定子除去処理部から取得し、当該解の論理式のデータを解論理式データ格納部に格納するステップと、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する表示ステップと、
を含み、コンピュータにより実行される表示処理方法。
複数の設計パラメータとコストとの関係を表すコスト関数の近似式のデータを格納するコスト関数データ格納部に格納されている前記コスト関数の近似式のデータと、コスト空間における経路のデータと設計パラメータ空間における探索範囲のデータとを格納するデータ格納部に格納されている前記経路のデータと前記探索範囲のデータとから制約式を生成し、前記制約式に対する解の論理式を限定子除去処理部から取得し、当該解の論理式のデータを解論理式データ格納部に格納する制約式処理部と、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する表示処理部と、
を有する情報処理装置。
110 パラメータ値格納部 120 コストデータ格納部
130 コスト関数生成部 140 コスト関数格納部
150 入力部 160 入力データ格納部
170 制約式処理部 180 解論理式格納部
190 表示処理部 200 表示データ格納部
210 出力部
Claims (9)
- 複数の設計パラメータとコストとの関係を表すコスト関数の近似式のデータを格納するコスト関数データ格納部に格納されている前記コスト関数の近似式のデータと、コスト空間における経路のデータと設計パラメータ空間における探索範囲のデータとを格納するデータ格納部に格納されている前記経路のデータと前記探索範囲のデータとから制約式を生成する生成ステップと、
前記制約式に対する解の論理式を限定子除去処理部から取得し、当該解の論理式のデータを解論理式データ格納部に格納するステップと、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する表示ステップと、
を、コンピュータに実行させるための表示処理プログラム。 - 前記コスト空間における経路の始点に相当する、前記設計パラメータ空間における点である第2の始点を、前記コスト関数の近似式と前記設計パラメータ空間における探索範囲とから算出するステップ
をさらに前記コンピュータに実行させ、
前記表示ステップにおいて、前記第2の始点を包含する第2の表示物を配置して表示する
請求項1記載の表示処理プログラム。 - 前記データ格納部には前記経路の幅の値がさらに格納されており、
前記制約式及び前記解の論理式は前記経路の幅を表す変数を含んでおり、
前記表示ステップにおいて前記解の論理式に前記データ格納部に格納されている前記経路の幅の値をさらに代入する
請求項1又は2記載の表示処理プログラム。 - ユーザから前記経路の幅の第2の値の入力を受け付けるステップと、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値と前記経路の幅の第2の値とを代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する第2表示ステップと、
をさらに前記コンピュータに実行させるための請求項3記載の表示処理プログラム。 - 前記表示ステップが、
前記設計パラメータ空間における探索範囲を格子状に区切り、格子点の座標値を、前記解論理式データ格納部に格納されている前記解の論理式に代入することで、前記格子点の各々について前記解の論理式の真偽を判断するステップと、
真と判断された前記格子点に当該格子点を包含する所定サイズの表示物を配置した前記設計パラメータ空間を表示するステップ
を含む請求項1乃至4のいずれか1つ記載の表示処理プログラム。 - 前記表示ステップが、
真と判断された前記格子点に配置された前記所定サイズの表示物を格子状に分割し、分割によって生成された小表示物の各々の中心点の座標値を前記解論理式データ格納部に格納されている前記解の論理式に代入することで、前記小表示物の中心点の各々について前記解の論理式の真偽を判断するステップと、
偽と判断された中心点の小表示物を前記所定サイズの表示物から除去するステップと、
をさらに含む請求項5記載の表示処理プログラム。 - 前記制約式が、前記設計パラメータ空間における探索範囲において前記コスト関数の近似式を満たし且つ前記コスト空間の点と前記コスト空間における経路との距離が前記経路の幅未満という制約を満たす前記コスト空間の点群が存在することを表す式である
請求項1乃至6のいずれか1つ記載の表示処理プログラム。 - 複数の設計パラメータとコストとの関係を表すコスト関数の近似式のデータを格納するコスト関数データ格納部に格納されている前記コスト関数の近似式のデータと、コスト空間における経路のデータと設計パラメータ空間における探索範囲のデータとを格納するデータ格納部に格納されている前記経路のデータと前記探索範囲のデータとから制約式を生成する生成ステップと、
前記制約式に対する解の論理式を限定子除去処理部から取得し、当該解の論理式のデータを解論理式データ格納部に格納するステップと、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する表示ステップと、
を含み、コンピュータにより実行される表示処理方法。 - 複数の設計パラメータとコストとの関係を表すコスト関数の近似式のデータを格納するコスト関数データ格納部に格納されている前記コスト関数の近似式のデータと、コスト空間における経路のデータと設計パラメータ空間における探索範囲のデータとを格納するデータ格納部に格納されている前記経路のデータと前記探索範囲のデータとから制約式を生成し、前記制約式に対する解の論理式を限定子除去処理部から取得し、当該解の論理式のデータを解論理式データ格納部に格納する制約式処理部と、
前記解論理式データ格納部に格納されている前記解の論理式に、前記データ格納部に格納されている前記設計パラメータ空間における探索範囲内における複数の点の各々の座標値を代入することで、前記複数の点の各々について前記解の論理式の真偽を判断し、真と判断された点に当該点を包含する表示物を配置した前記設計パラメータ空間を表示する表示処理部と、
を有する情報処理装置。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010183013A JP5434849B2 (ja) | 2010-08-18 | 2010-08-18 | 表示処理プログラム、表示処理方法及び情報処理装置 |
US13/115,593 US8843351B2 (en) | 2010-08-18 | 2011-05-25 | Display processing technique of design parameter space |
CA2741277A CA2741277C (en) | 2010-08-18 | 2011-05-30 | Display processing technique of design parameter space |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010183013A JP5434849B2 (ja) | 2010-08-18 | 2010-08-18 | 表示処理プログラム、表示処理方法及び情報処理装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012043125A true JP2012043125A (ja) | 2012-03-01 |
JP5434849B2 JP5434849B2 (ja) | 2014-03-05 |
Family
ID=45594747
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010183013A Active JP5434849B2 (ja) | 2010-08-18 | 2010-08-18 | 表示処理プログラム、表示処理方法及び情報処理装置 |
Country Status (3)
Country | Link |
---|---|
US (1) | US8843351B2 (ja) |
JP (1) | JP5434849B2 (ja) |
CA (1) | CA2741277C (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5477242B2 (ja) * | 2010-09-22 | 2014-04-23 | 富士通株式会社 | 最適化処理プログラム、方法及び装置 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007179288A (ja) * | 2005-12-28 | 2007-07-12 | Nissan Motor Co Ltd | パレート新領域探索装置,パレート新領域探索プログラムが記録された媒体,パレート新領域探索表示装置及びパレート新領域探索方法 |
JP2009169558A (ja) * | 2008-01-14 | 2009-07-30 | Fujitsu Ltd | 製造バラつきを考慮した多目的最適化設計支援装置、方法、及びプログラム |
JP2009169557A (ja) * | 2008-01-14 | 2009-07-30 | Fujitsu Ltd | 多目的最適化設計支援装置、方法、及びプログラム |
JP2009258879A (ja) * | 2008-04-15 | 2009-11-05 | Toyota Motor Corp | 設計支援装置 |
JP2010009342A (ja) * | 2008-06-27 | 2010-01-14 | Fujitsu Ltd | 多目的最適化設計の設計改善支援装置、方法、及びプログラム |
JP2010061439A (ja) * | 2008-09-04 | 2010-03-18 | Fujitsu Ltd | 最適解関係表示装置、方法、及びプログラム |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005025445A (ja) | 2003-07-01 | 2005-01-27 | Omron Corp | 最適化問題計算装置および方法 |
-
2010
- 2010-08-18 JP JP2010183013A patent/JP5434849B2/ja active Active
-
2011
- 2011-05-25 US US13/115,593 patent/US8843351B2/en active Active
- 2011-05-30 CA CA2741277A patent/CA2741277C/en active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007179288A (ja) * | 2005-12-28 | 2007-07-12 | Nissan Motor Co Ltd | パレート新領域探索装置,パレート新領域探索プログラムが記録された媒体,パレート新領域探索表示装置及びパレート新領域探索方法 |
JP2009169558A (ja) * | 2008-01-14 | 2009-07-30 | Fujitsu Ltd | 製造バラつきを考慮した多目的最適化設計支援装置、方法、及びプログラム |
JP2009169557A (ja) * | 2008-01-14 | 2009-07-30 | Fujitsu Ltd | 多目的最適化設計支援装置、方法、及びプログラム |
JP2009258879A (ja) * | 2008-04-15 | 2009-11-05 | Toyota Motor Corp | 設計支援装置 |
JP2010009342A (ja) * | 2008-06-27 | 2010-01-14 | Fujitsu Ltd | 多目的最適化設計の設計改善支援装置、方法、及びプログラム |
JP2010061439A (ja) * | 2008-09-04 | 2010-03-18 | Fujitsu Ltd | 最適解関係表示装置、方法、及びプログラム |
Also Published As
Publication number | Publication date |
---|---|
JP5434849B2 (ja) | 2014-03-05 |
CA2741277C (en) | 2015-12-01 |
US8843351B2 (en) | 2014-09-23 |
US20120046915A1 (en) | 2012-02-23 |
CA2741277A1 (en) | 2012-02-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108073682A (zh) | 基于参数视图函数查询数据库 | |
JP5163472B2 (ja) | パラメタ空間を分割してモデル化する設計支援装置、方法、及びプログラム | |
EP2546799B1 (en) | Method of aligning and three-dimensional profile evaluating system | |
JP2005285130A (ja) | 蛋白質相互作用ネットワークの分割視覚化技法 | |
JP2011215823A (ja) | 流体シミュレーションにおける境界位置決定方法 | |
JP2011154439A (ja) | 最適化処理プログラム、方法及び装置 | |
CN113850917B (zh) | 三维模型体素化方法、装置、电子设备及存储介质 | |
CN115798654A (zh) | 一种模型材料处理方法、装置、设备及介质 | |
JP2011096190A (ja) | 有限要素法解析方法、有限要素法解析装置及び有限要素法解析プログラム | |
KR20150112832A (ko) | 산출 프로그램, 산출 장치 및 산출 방법 | |
JP5434849B2 (ja) | 表示処理プログラム、表示処理方法及び情報処理装置 | |
EP2522952A2 (en) | Method for generating error image and system for generating error image | |
JP5458814B2 (ja) | 数値処理プログラム、方法及び装置 | |
EP4145327A1 (en) | System for estimating characteristic value of material | |
JP5477242B2 (ja) | 最適化処理プログラム、方法及び装置 | |
KR102329365B1 (ko) | 개발 지원 장치, 개발 지원 시스템, 및, 개발 지원 방법 | |
KR20220125208A (ko) | 실험 포인트 추천 장치, 실험 포인트 추천 방법 및 반도체 장치 제조 시스템 | |
JP5817341B2 (ja) | 情報処理方法、プログラム及び装置 | |
JP7029056B2 (ja) | 分割領域生成プログラム、分割領域生成装置、および分割領域生成方法 | |
JP4977193B2 (ja) | 任意の実数群から探索点の最近傍値を探索する方法 | |
JP6915237B2 (ja) | 情報処理装置、シミュレータ結果表示方法、及びシミュレータ結果表示プログラム | |
WO2021161503A1 (ja) | 設計プログラムおよび設計方法 | |
JP2020149498A (ja) | データ処理装置、表示制御システム、データ処理方法およびプログラム | |
JP2015072556A (ja) | 設計支援方法、設計支援プログラム、設計支援装置、および半導体集積回路 | |
JP7310191B2 (ja) | 運転計画方法および運転計画装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20130604 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20131029 |
|
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: 20131112 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20131125 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5434849 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |