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