プラントレイアウト設計自動検証方式の開発
スポンサーリンク
概要
- 論文の詳細を見る
We have developed an automatic method to verify pipe routes of industrial plant layout design. The proposed method couples symbolic computation and numerical computation for efficient verification. Design constraints are extracted by forward chaining based on pipe specifications and expertise represented in the form of if-then rule. Space data necessary for verification are not prepared beforehand but generated in the process of chaining in order to reduce the amount of input data. The constraints are converted to the frame form representation. The function corresponding to each constraint compares the layout design with the constraint by numerical computation making reference to the frame. This method easily corresponds to the change of design criteria or verification object because it is a knowledge based system. The proposed method was experimentally applied to layout design of an industrial plant and all the constraint violations were detected automatically.
- 日本シミュレーション学会の論文
- 1990-09-15
著者
-
小林 康弘
(株)日立製作所・日立研
-
小林 康弘
日立製作所
-
小林 康弘
日立
-
小林 康弘
(株)日立製作所日立研究所
-
吉田 健一
(株)日立製作所
-
満田 透
(株)日立製作所エネルギー研究所
-
吉田 健一
(株)日本製作所基礎研究所
-
好永 俊昭
(株)日立製作所日立工場
-
好永 俊昭
日立 日立工場
-
小林 康弘
(株)日立製作所エネルギー研究所
関連論文
- 24pYF-3 財務データ分析に基づく企業工ージェントモデル(経済物理,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 知識工学的手法を応用した変電所レイアウト・システム(4) : レイアウト・システムの機能
- 知識工学的手法を応用した変電所レイアウト・システム(3) : 推論手法の特徴
- 時間資源配分アプローチによるプロジェクトスケジューリング手法
- B-24 投資リスクを最小とする開発プロジェクトスケジューリング手法(研究開発トラック,持続的発展価値を実現する戦略開発プロジェクト・プログラムマネジメント)
- 段階的開発プロジェクトの価値評価手法
- EBLとSBLを併用した変電所最適母線構成の設計
- 機械学習を用いた変電所機器構成設計システムの開発
- 時間協調を含むシーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
- 時間協調を含むシーケンス制御回路の設計検証システム(1) : システム構成
- シーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
- シーケンス制御回路の設計検証システム(1) : システム構成
- 高速・高精度IPメータの試作
- 資源山積み平準化のための大規模工程計画作成手法
- 制約条件を効率的に処理する推論方式の開発と計画問題への応用
- 工程計画の資源山積みを平準化する0-12次計画アルゴリズム
- 作業期間を可変とする工程平準化アルゴリズム(スケジューリング)
- 知識処理システム構築のための問題向き推論プログラム自動生成手法
- モジュール型知識情報処理システム(2) : 対象知識の入力支援法
- モジュール型知識情報処理システム(1) : 情報処理モジュール構成法
- 知識処理応用による設計支援システムの高度化
- 記号処理による設計検証(2)
- 区間開閉器情報を用いた分散型電源発電量把握手法の実測評価
- IP Usage情報管理におけるXMLデータ連携方式の検討
- IP Usage情報管理におけるXMLデータ連携方式の検討
- CORBAベース統合アーキテクチャと基地局管理システムへの適用
- CORBAベース統合アーキテクチャと基地局管理システムへの適用
- CORBAベース統合アーキテクチャと基地局管理システムへの適用
- 在庫機能を持たないサプライチェーン運用のリスク管理手法 : 需要リスクの下での運用計画最適化
- 2-B-3 供給不足リスク制約の下での生産・調達計画手法(5)(数理計画(2))
- 供給不足リスク制約の下での生産・調達計画手法(4)(ケース・スタディ)
- 供給不足リスク制約の下での生産・調達計画手法(3)(生産管理)
- 供給不足リスク制約の下での生産・調達計画手法(2)(生産管理(2))
- 供給不足リスク制約の下での生産・調達計画手法(モデリング(1))
- 遺伝的アルゴリズムを用いた最適な放射状系統の作成手法
- タブー探索法の改良とスケジューリング問題を用いた評価
- 電力需給運用における発電機運転計画作成(ORの適用事例)
- ニューラルネットワークとそのメタシステムによる組合せ最適化手法
- 資源山積みの局所区分平準化を考慮した工程計画アルゴリズムの開発
- WWWデータアクセスパターンを考慮したキャッシングシステム
- ベクトルペナルティ型拡張ラグランジュ関数の逐次二次計画法への適用
- 資源山積みを目標形状に追従させる工程計画アルゴリズム(スケジューリング)
- 高速自動微分法に基づく総和・総乗演算式の偏導関数計算プログラム作成手法の開発
- 0-1計画問題の近似解法プログラムの開発と評価
- 事例ベース推論 (「計画問題と人工知能」〔第2回〕)
- 多属性効用理論を応用した知識獲得方式
- 組合せ最適化問題の準最適解の改良方法
- 組合せ最適化問題の準最適解の生成方法
- プラントレイアウト設計自動検証方式の開発
- 総和・総乗演算式の自動微分手法の開発
- プラント機器の予防保全計画支援システム
- 知識処理を応用したプラント作業工程計画支援方式
- 多属性効用理論を応用した知識獲得方式
- 逐次二次計画法に基づく非線形最適化プログラムの開発
- 知識処理とニューラルネットによる最適スケジューリング手法の検討
- 高速自動微分法を用いた最適化プログラム用数式入力機能の開発
- 作業順序ネットワーク自動作成方式の開発
- 大規模エキスパートシステムの開発における知識獲得 (「学習と知識獲得技術の新展開」)
- 逐次二次計画法プログラムの実用的問題への適用
- 12pTC-14 財務諸表分析による企業活動の確率過程モデル(経済物理, 領域 11)
- 最適ポートフォリオ決定問題向け二次計画法の適用方式
- 分数計画と半正定値計画を用いた発電所負荷配分手法
- 検索機能を内蔵した独立型・開放型文献集 : 10周年記念 CD-ROM 制作の経験
- ヒューリスティックな探索手法を用いたプラントレイアウト修正方式
- 弾塑性形配管支持装置の配管系への適用に関する研究 : 第2報, 支持配管系振動特性試験のシミュレーション解析
- 弾塑性型配管支持装置の配管系への適用に関する研究 : 第1報,単体特性試験および配管系の振動特性試験
- プラント向け景観シミュレーションシステム
- プラント建設のための仮設足場の配置計画手法
- 天候デリバティブの価格付けへ向けた日次降水量の確率モデル化
- 逐次二次計画法を用いた非線形最適化手法の開発
- 設計・研究用データ管理システムの開発
- 知識工学を売る会社テクノレッジ(談話室)
- テレコミュニケーション管理[IV]:新しい管理パラダイム
- 大規模多次元特徴ベクトルのハッシュに基づく検索法の性能比較
- ビデオ検索のためのMPEG-7 Video signatureのdirect-mapped cacheへの適用法の検討
- ビデオ検索のためのMPEG-7 Video signatureのdirect-mapped cacheへの適用法の検討
- Tiny LSHに基づいた大規模ビデオ検索(画像・映像処理)
- 太陽光発電大量導入時の需給変動を抑制するための分散蓄電池システムの容量評価手法
- 知的インタフェースにおけるユーザモデリングと適応機能(ユーザモデリングと適応的インタラクション)
- 有用希少イノシトールのバイオアベイラビリティーとバイオコンバージョン生産(食の機能・安全を科学する-おいしさから生理活性,安全性の評価まで)
- 画像と音声の特徴量を用いた直交Tiny LSHによる大規模ビデオ検索(テーマセッション,大規模マルチメディアデータを対象とした次世代検索およびマイニング)
- 画像と音声の特徴量を用いた直交Tiny LSHによる大規模ビデオ検索(テーマセッション,大規模マルチメディアデータを対象とした次世代検索およびマイニング)
- 2Da11 かつお節のかび付けに用いられるAspergillus repens MK82由来アスパルティックプロテアーゼIIの精製と特性解析(酵素学・酵素工学,一般講演)
- 1Kp15 Geobacillus kaustophilus HTA426のイノシトール脱水素酵素遺伝子の解析(代謝工学,一般講演)
- SURF特徴量の粗量子化に基づく類似ビデオの検索手法
- WWW用分散キャッシュ構成の検討
- Schaffer, C. : Overfitting Avoidance as Bias, Machine Learning, Vol.10, pp.153-178 (1993).
- Process I/O情報を利用したユーザコマンド予想ルールの学習
- MPEG-7 Video Signatureを特徴量とした直交Tiny LSH法への適用法の検討(一般セッション,実世界文字認識と理解)
- 太陽光発電大量導入時の需給変動を抑制するための分散蓄電池システムの容量評価手法
- 類型パターンの抽出に基づく帰納的学習と演繹的学習の統合
- 高度な利用者認証が利用可能なネットワークを対象とした柔軟なアクセス制御の一実装
- 代謝アドオンシステムと物質生産(代謝工学,バイオ技術10年の軌跡,創立90周年記念特別企画)
- 認証をアウトソースするネットワークスイッチの機能設計(サービス管理,運用管理技術,セキュリティ管理,及び一般)
- 有用希少イノシトールの微生物生産 : 新たなイノシトール代謝経路の発見とその応用
- 2Ca07 かつお節のかび付けに用いられるAspergillus repens MK82由来アスパルティックプロテアーゼII遺伝子のクローニング(酵素学,酵素工学,一般講演)
- 2Ca08 Pseudomonas aeruginosa ME-4由来卵殻膜分解酵素の遺伝子クローニングと発現(酵素学,酵素工学,一般講演)
- 2Ca09 Bacillus subtilis FP-133由来耐塩性菌体外アミラーゼの精製と特性解析(酵素学,酵素工学,一般講演)
- SURF特徴量の粗量子化に基づく類似ビデオの検索手法(IPTV,画像符号化,ストリーム技術,マルチメディアホームネットワーキング,ウェアラブルコンピューティング,コンテンツネットワーク,モバイルマルチキャスト及び一般)
- SURF特徴量の粗量子化に基づく類似ビデオの検索手法(IPTV,画像符号化,ストリーム技術,マルチメディアホームネットワーキング,ウェアラブルコンピューティング,コンテンツネットワーク,モバイルマルチキャスト及び一般)