シーケンス制御回路の設計検証システム(1) : システム構成
スポンサーリンク
概要
- 論文の詳細を見る
各種の設計問題において、設計された結果が与えられた設計仕様を満たしているか否かの検証は不可欠である。現在、論理回路等の設計検証では、この検証法として数値シミュレーションによる方法が利用されている。しかしながら、高信頼性が要求される設計を中心として、数値シミュレーションによらないFormal Verification法が注目され始めている。本研究では、対象として変電所の制御保護装置の設計検証を取り上げ、定理証明法を利用した検証システムを開発した。以下では、設計検証システムの構成を中心に報告する。
- 社団法人情報処理学会の論文
- 1988-09-12
著者
-
吉澤 純一
東京電力株式会社
-
武藤 昭一
東京電力
-
武藤 昭一
東京電力株式会社
-
吉沢 純一
東京電力
-
小林 康弘
日立製作所
-
上田 至克
日立製作所
-
伊藤 順子
株式会社日立製作所
-
松田 聖
東京電力(株)システム研究所
-
山田 直之
日立製作所
-
伊藤 順子
日立製作所
-
元光 和夫
日立製作所
-
山田 直之
(株)日立製作所電力・電機開発本部
-
小林 康弘
(株)日立製作所日立研究所
-
松田 聖
東京電力株式会社システム研究所
-
吉澤 純一
東京電力(株)
-
上田 至克
日立
-
松田 聖
東京電力 システム研
関連論文
- 信頼性と経済性を協調させた最適系統運用の決定方法
- 既設配電線の取り込みと迂回を考慮した新設配電線経路の決定
- 新設配電線の連系経路決定問題へのタブー探索の適用
- 24pYF-3 財務データ分析に基づく企業工ージェントモデル(経済物理,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 実数値GAにおけるスキーマ保存を考慮した交叉方法の提案(社会システムと知能)
- 系統現象理解支援システムの構築と授業における利用について
- 遠方監視制御装置における信頼度評価値の算出方法について
- 電力における知能システム技術の適用例
- 教育的インタフェースを備えた保守教育支援システムADVISOR
- 知識工学的手法を応用した変電所レイアウト・システム(4) : レイアウト・システムの機能
- 知識工学的手法を応用した変電所レイアウト・システム(3) : 推論手法の特徴
- 時間資源配分アプローチによるプロジェクトスケジューリング手法
- B-24 投資リスクを最小とする開発プロジェクトスケジューリング手法(研究開発トラック,持続的発展価値を実現する戦略開発プロジェクト・プログラムマネジメント)
- 段階的開発プロジェクトの価値評価手法
- EBLとSBLを併用した変電所最適母線構成の設計
- 機械学習を用いた変電所機器構成設計システムの開発
- 機械学習法の変電所機器構成の設計への適用
- 時間協調を含むシーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
- 時間協調を含むシーケンス制御回路の設計検証システム(1) : システム構成
- シーケンス制御回路の設計検証システム(2) : 検証手法及び検証例
- シーケンス制御回路の設計検証システム(1) : システム構成
- ニューラルネットワークによるパズルの求解 : ホップフィールドネットワークで数独は解ける(社会システムと知能)
- ニューラルネットワークによるパズルの求解--ホップフィールドネットワークで数独は解ける (「社会システムと知能」および一般発表)
- 新設配電線の最適供給経路の決定手法
- 都市部における配電線増設位置決定アルゴリズム
- 負荷バランスを考慮した配電線の新設位置の決定
- 既設配電線の取り込みを考慮した電力供給経路決定手法(電力のOR)
- タブー探索による電力系統新設配電線の連系経路決定手法(電力のOR(2))
- 論理的制約関係を用いた電力設備の事故診断手法
- 電力設備事故診断のための状態表現手法
- 論理式による因果関係の解釈と状態の時間推論
- ハイパーシミュレータによる学習支援環境
- 時間、空間の表現を考慮した故障診断手法
- 因果の向きと可能性・必然性の表現に基づく設備の故障診断手法
- 複素重み付き意味ネットワークの提案とテキスト要約への応用(セッション9:ネットワークと知能)
- 複素重み付き意味ネットワークの提案とテキスト要約への応用(セッション9:ネットワークと知能,社会システムと知能)
- ホップフィールドネットワーク間の協調によるロボットの行動計画-倉庫番を例にして-
- ニューラルネットワークによるパズルの求解 : ホップフィールドネットワークで数独は解ける(社会システムと知能)
- ニューラルネットワーク間のインタラクションによるロボット行動計画の創発 : 倉庫番を例にして
- 資源山積み平準化のための大規模工程計画作成手法
- 制約条件を効率的に処理する推論方式の開発と計画問題への応用
- 工程計画の資源山積みを平準化する0-12次計画アルゴリズム
- 作業期間を可変とする工程平準化アルゴリズム(スケジューリング)
- 知識処理システム構築のための問題向き推論プログラム自動生成手法
- モジュール型知識情報処理システム(2) : 対象知識の入力支援法
- モジュール型知識情報処理システム(1) : 情報処理モジュール構成法
- 区間開閉器情報を用いた分散型電源発電量把握手法の実測評価
- 在庫機能を持たないサプライチェーン運用のリスク管理手法 : 需要リスクの下での運用計画最適化
- 2-B-3 供給不足リスク制約の下での生産・調達計画手法(5)(数理計画(2))
- 供給不足リスク制約の下での生産・調達計画手法(4)(ケース・スタディ)
- 供給不足リスク制約の下での生産・調達計画手法(3)(生産管理)
- 供給不足リスク制約の下での生産・調達計画手法(2)(生産管理(2))
- 供給不足リスク制約の下での生産・調達計画手法(モデリング(1))
- 遺伝的アルゴリズムを用いた最適な放射状系統の作成手法
- タブー探索法の改良とスケジューリング問題を用いた評価
- 電力需給運用における発電機運転計画作成(ORの適用事例)
- ニューラルネットワークとそのメタシステムによる組合せ最適化手法
- 普遍文法の進化的ニューラルモデル
- 大規模な巡回セールスマン問題に対するホップフィールドニューラルネットの性能比較
- 都市隣接性に基づく巡回セールスマン問題のニューラルネットによる解法とその評価
- 抑制層を導入したファジィニューラルネットワークの提案(セッション9:ネットワークと知能)
- 抑制層を導入したファジィニューラルネットワークの提案(セッション9:ネットワークと知能,社会システムと知能)
- 実数値GAにおけるスキーマ保存を考慮した交叉方法の提案(社会システムと知能)
- 資源山積みを目標形状に追従させる工程計画アルゴリズム(スケジューリング)
- 0-1計画問題の近似解法プログラムの開発と評価
- プラントレイアウト設計自動検証方式の開発
- 作業順序ネットワーク自動作成方式の開発
- 12pTC-14 財務諸表分析による企業活動の確率過程モデル(経済物理, 領域 11)
- 最適ポートフォリオ決定問題向け二次計画法の適用方式
- 分数計画と半正定値計画を用いた発電所負荷配分手法
- プログラマブルコントローラ用論理図の自動レイアウトプログラム
- 発電プラント展開接続図の設計検証システムの開発 : 結線関係の検証
- ニューラルネットワークによる数独の解法(機械学習によるバイオデータマインニング,一般)
- 多年度データのトレンド処理に基づいた最大電力予測
- 短期需要曲線予測の特性評価
- 需要予測における予報気象誤差の影響
- 類似性に基づく需要予測方式
- 操作手順生成知識の分類と手順の再構成について
- 遠方監視制御装置の保守計画手法
- GAによる汎化および特化ニューラルネット間の共進化とその応用
- GAニューロによる適応的エレベータ制御(社会システムと知能)
- GAニューロによる適応的エレベータ制御(社会システムと知能)
- ファジィエージェントを用いたネットオークション落札価格予想の提案(セッション4:市場取引とエージェント)
- ファジィエージェントを用いたネットオークション落札価格予想の提案(セッション4:市場取引とエージェント,社会システムと知能)
- 天候デリバティブの価格付けへ向けた日次降水量の確率モデル化
- 重回帰手法に基づいた最大需要予測支援システムの開発(ピーク電力の予測)
- 太陽光発電大量導入時の需給変動を抑制するための分散蓄電池システムの容量評価手法
- ゆらぎを伴う量子化対称結合神経回路網のダイナミクス
- ヒステリシス2値ニューロンからなる対称結合神経回路網のダイナミクス
- 整数計画問題を解く量子化対称結合神経回路網のエネルギー極小条件
- 巡回セールスマン問題の最適解を鋭く峻別する対称結合神経回路網の存在とその近似構成
- 巡回セールスマン問題の最適解を鋭く峻別する3次の対称結合神経回路網
- 最適解を鋭く峻別する対称結合神経回路網の構成法
- 対称結合神経回路網による性能保証付きクロスバー交換の考え方
- 対称結合神経回路網で巡回セールスマン問題を解く際の制約条件を満たす漸近安定点の分布
- 対称結合神経回路網で常に最適解が得られる組合せ最適化問題とその応用並びに限界
- The Programmer's Apprentice, C. Rich and R. C. Waters, ACM Press, 1990
- スパイキングニューラルネットワークの新学習アルゴリズム
- 太陽光発電大量導入時の需給変動を抑制するための分散蓄電池システムの容量評価手法
- 動的免疫ネットワークの多重化による創発的集団の形成(社会システムと情報技術)