JP5452296B2 - 装置モデル変換器およびそれを用いた情報システム - Google Patents
装置モデル変換器およびそれを用いた情報システム Download PDFInfo
- Publication number
- JP5452296B2 JP5452296B2 JP2010055284A JP2010055284A JP5452296B2 JP 5452296 B2 JP5452296 B2 JP 5452296B2 JP 2010055284 A JP2010055284 A JP 2010055284A JP 2010055284 A JP2010055284 A JP 2010055284A JP 5452296 B2 JP5452296 B2 JP 5452296B2
- Authority
- JP
- Japan
- Prior art keywords
- input
- model
- configuration information
- output data
- data
- 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.)
- Expired - Fee Related
Links
Images
Description
以下、本発明の各実施例について、以下に示した具体的な実施の形態に沿って図面を参照しながら詳細に説明する。但し、本発明は、後述する実施の形態に限定されるものではない。
1011 上記装置が機能として持つ論理回路
102 上記装置のクロック計測箇所
1021 上記装置のクロック計測ピン
103 上記装置への入力箇所
1031 上記装置への入力ピン
1032 上記装置への入力ピン
1033 上記装置への入力ピン
104 上記装置からの出力箇所
1041 上記装置からの出力ピン
201 上記装置の構成情報として存在するスキーマ
202 上記装置の構成情報
203上記装置の制約条件
301 上記装置の入出力データ組
302 上記装置の入出力データ組
401 上記におけるモデル変換器の構成情報入力処理
402 上記におけるモデル変換器の制約条件決定処理
403 上記におけるモデル変換器の入出力データ入力処理
404 上記におけるモデル変換器の装置モデル推定処理
501 上記モデル推定処理の制約条件適用処理
502 上記モデル推定処理の入出力データ組正規化処理
503 上記モデル推定処理の頻度学習処理
504 上記モデル推定処理の学習結果判断処理
505 上記モデル推定処理の学習結果からの推定処理
506 上記モデル推定処理の真理値表からの推定処理
601 入出力データ組301から制約条件203を満たさないデータを削除したデータ
602 入出力データ組302から制約条件203を満たさないデータを削除したデータ
701 入出力データ組601の入力データと出力データの関係を正規化したデータ
702 入出力データ組602の入力データと出力データの関係を正規化したデータ
801 入出力データ組701,702の出現頻度を計算したデータ
1001 第2の実施形態のモデル化対象の装置
10011 上記装置が機能として持つ論理回路
1002 上記装置のクロック計測箇所
10021 上記装置のクロック計測ピン
1003 上記装置への入力箇所
10031 上記装置への入力ピン
10032 上記装置への入力ピン
10033 上記装置への入力ピン
1004 上記装置からの出力箇所
10041 上記装置からの出力ピン
1101 上記装置の構成情報として存在するスキーマ
1102 上記装置の構成情報
1103 上記装置の制約条件
1201 上記装置の入出力データ組
1202 上記装置の入出力データ組
1301 上記におけるモデル変換器の構成情報入力処理
1302 上記におけるモデル変換器の制約条件決定処理
1303 上記におけるモデル変換器の入出力データ入力処理
1304 上記におけるモデル変換器の装置モデル推定処理
1401 上記におけるモデル推定処理の制約条件適用処理
1402 上記におけるモデル推定処理の入出力データ組正規化処理
1403 上記におけるモデル推定処理の頻度学習処理
1404 上記におけるモデル推定処理の学習結果判断処理
1405 上記におけるモデル推定処理の学習結果からの推定処理
1406 上記におけるモデル推定処理の真理値表からの推定処理
1501 入出力データ組1201の入力データと出力データの関係を正規化したデータ
1502 入出力データ組1202の入力データと出力データの関係を正規化したデータ
1601 入出力データ組1501,1502の出現頻度を計算したデータ
Claims (12)
- 装置に対する任意の入力データと、前記入力データに対する前記装置の処理結果としての出力データと、前記装置の構成情報とを入力情報とし、
前記入力情報から前記装置のモデルを推定するモデル推定処理を行い、
前記モデル推定処理によって変換された装置モデルを出力する装置モデル変換器であって、
入力された装置の構成情報から、装置の入力データと出力データの組が取り得る制約条件を求め、入力情報における複数の入出力データ組から、前記制約条件を満たす入出力データ組を求め、前記制約条件を満たす入出力データ組を基に、装置のモデルを推定することを特徴とする装置モデル変換器。 - 請求項1において、
前記装置の構成情報は、前記装置の構成情報のスキーマと、前記装置の構成情報とを含むことを特徴とする装置モデル変換器。 - 請求項1において、
前記装置の前記入力データ及び前記出力データは、時系列情報を含むことを特徴とする装置モデル変換器。 - 請求項3において、
前記装置の構成情報は、前記装置の構成情報のスキーマと、前記装置の構成情報とを含むことを特徴とする装置モデル変換器。 - 請求項3において、
前記時系列情報を含む装置の入力データ及び出力データは、装置のクロックの任意の間隔または任意の時間周期での取得データであることを特徴とする装置モデル変換器。 - 請求項5において、
前記装置の構成情報は、前記装置の構成情報のスキーマと、前記装置の構成情報とを含むことを特徴とする装置モデル変換器。 - 装置モデル変換器を備え、
該装置モデル変換器は、
装置に対する任意の入力データと、前記入力データに対する前記装置の処理結果としての出力データと、前記装置の構成情報とを入力情報とし、
前記入力情報から前記装置のモデルを推定するモデル推定処理を行い、
前記モデル推定処理によって変換された装置モデルを出力する情報システムであって、
入力された装置の構成情報から、装置の入力データと出力データの組が取り得る制約条件を求め、入力情報における複数の入出力データ組から、前記制約条件を満たす入出力データ組を求め、前記制約条件を満たす入出力データ組を基に、装置のモデルを推定することを特徴とする情報システム。 - 請求項7において、
前記装置の構成情報は、前記装置の構成情報のスキーマと、前記装置の構成情報とを含むことを特徴とする情報システム。 - 請求項7において、
前記装置の前記入力データ及び前記出力データは、時系列情報を含むことを特徴とする情報システム。 - 請求項9において、
前記装置の構成情報は、前記装置の構成情報のスキーマと、前記装置の構成情報とを含むことを特徴とする情報システム。 - 請求項9において、
前記時系列情報を含む装置の入力データ及び出力データは、装置のクロックの任意の間隔または任意の時間周期での取得データであることを特徴とする情報システム。 - 請求項11において、
前記装置の構成情報は、前記装置の構成情報のスキーマと、前記装置の構成情報とを含むことを特徴とする情報システム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010055284A JP5452296B2 (ja) | 2010-03-12 | 2010-03-12 | 装置モデル変換器およびそれを用いた情報システム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010055284A JP5452296B2 (ja) | 2010-03-12 | 2010-03-12 | 装置モデル変換器およびそれを用いた情報システム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2011191837A JP2011191837A (ja) | 2011-09-29 |
JP5452296B2 true JP5452296B2 (ja) | 2014-03-26 |
Family
ID=44796717
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010055284A Expired - Fee Related JP5452296B2 (ja) | 2010-03-12 | 2010-03-12 | 装置モデル変換器およびそれを用いた情報システム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5452296B2 (ja) |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2625355B2 (ja) * | 1993-09-09 | 1997-07-02 | 日本電気株式会社 | 順序回路の論理検証方法 |
JPH09293092A (ja) * | 1996-04-30 | 1997-11-11 | Oki Electric Ind Co Ltd | 電子回路のモデル化方法及び電子回路のシミュレーション方法 |
JP2000353185A (ja) * | 1999-06-10 | 2000-12-19 | Sharp Corp | 論理回路の故障シミュレーション方法及び装置 |
JP2001022807A (ja) * | 1999-07-08 | 2001-01-26 | Mitsubishi Electric Corp | シミュレーション装置 |
JP2002073719A (ja) * | 2000-08-31 | 2002-03-12 | Hitachi Ltd | 回路動作モデル記述の生成方法および論理設計検証装置 |
-
2010
- 2010-03-12 JP JP2010055284A patent/JP5452296B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2011191837A (ja) | 2011-09-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5227254B2 (ja) | プロセスモデルの状態量のリアルタイム計算方法およびシミュレータ | |
US9147026B2 (en) | Method and system of change evaluation of an electronic design for verification confirmation | |
JP2005507128A5 (ja) | ||
US10430536B1 (en) | Method and apparatus for yield calculation using statistical timing data that accounts for path and stage delay correlation | |
JP7320885B2 (ja) | 製造プロセスのためのシステム、方法、および媒体 | |
US11892819B2 (en) | Control device, control system, control method, and computer-readable storage medium | |
US8621402B2 (en) | Model-based fill | |
US9129075B2 (en) | Mesh generation system | |
WO2017090475A1 (ja) | 情報処理システム、関数作成方法および関数作成プログラム | |
Franciosa et al. | Rapid response diagnosis of multi-stage assembly process with compliant non-ideal parts using self-evolving measurement system | |
US10296693B2 (en) | Three-dimensional composite solid component modeling | |
US8428914B2 (en) | Method and simulator for real-time calculation of state variables of a process model | |
US9047434B2 (en) | Clustering for processing of circuit design data | |
JP5452296B2 (ja) | 装置モデル変換器およびそれを用いた情報システム | |
US20200202232A1 (en) | Production record data analyzer | |
US20210192098A1 (en) | Anti-constraint configuration and enforcement for computer-aided design (cad) models | |
KR101807585B1 (ko) | 유한요소 해석을 이용한 설계 자동화 장치 및 방법 | |
JP6649731B2 (ja) | Fpgaからリードバックするための信号の特定 | |
JP2013248667A (ja) | 板状金属部品の深絞り加工シミュレーションのための演算モデルを生成するシステムおよび方法 | |
JP4529964B2 (ja) | シミュレーション装置、シミュレーション方法及びシミュレーションプログラム | |
JP2012083934A (ja) | スキャンタイム見積り装置、スキャンタイム見積りプログラム及び記録媒体 | |
US10108761B2 (en) | Predictive simulation | |
TW201714107A (zh) | 電力狀態覆蓋度量標準及其估計方法 | |
CN106648667A (zh) | 一种基于需求的系统icd设计方法 | |
EP4371026A1 (en) | Metadata prediction for product design |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20120802 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20130501 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130521 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130619 |
|
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: 20131203 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20131227 |
|
LAPS | Cancellation because of no payment of annual fees |