離散事象システムモデルとその詳細化の代数的仕様記述
スポンサーリンク
概要
- 論文の詳細を見る
- 1994-01-31
著者
-
小野木 克明
名古屋大学大学院工学研究科
-
兼重 明宏
豊田工業高等専門学校機械工学科
-
西村 義行
東邦大学理学部 情報科学科
-
兼重 明宏
大島商船高等専門学校
-
胡 小華
豊橋技術大学
-
小野木 克明
豊橋技術大学
-
西村 義行
豊橋技術大学
関連論文
- 与えられた動作を行う条件/事象ネットの最小実現に関する考察
- 条件/事象ネットの補助事象なし設計問題とその解法
- 条件/事象ネット設計問題の一つの定式化とその可解性
- 3012 PIC マイコン制御製品開発による総合演習教育の試み
- 「小学生がつくるロボットコンテスト」を通じた協同教育の実践
- ペトリネット解析手法を利用したプラント異常の検知
- 「高度総合工学創造実験」による創造性教育の実践
- DSPリアルタイムシミュレータシステムによる制御系設計教育
- (199)エジソン型人材の教育方法についての提案 : 徳山高専機械電気工学科の創造教育(セッション57 創成教育X)
- (198)創造製作を核とする創造性を育成するものづくり教育(セッション57 創成教育X)
- 創造力を育成するためのものづくり教育の実践
- PIC マイコン制御製品開発による総合演習教育
- 3422 徳山高専における学生特許
- 3011 PIC を用いた創造的ものつくり教育
- 3008 創造教育としての創造製作の実践
- NeO に基づく並行システム解析・設計のための支援システムの開発
- グラフ構造に基づく計算モデル構築システムの開発 : モデル変換系の自動生成
- 並行システムモデルNeOとその解析
- 離散事象系モデリングの一手法について
- 与えられた動作を行う条件/事象ネットの最小実現に関する考察
- p-インバリアントを利用した離散事象システムの異常診断(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 2高専間におけるJava搭載マイコンを用いた太陽光発電監視ネットワークシステムの構築
- 自律走行天井クレーンのための障害物認識と経路計画
- 条件/事象ネットモデルを用いた離散事象の制御
- 離散事象システムモデルとその詳細化の代数的仕様記述
- 離散事象システムの段階的詳細化について
- 制御教育トレーニングシステムを用いた制御工学教育の実践(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- シーケンス制御を含む離散事象システムの設計と診断
- 2目的をもつ待ち行列系のスケジューリング
- バッチ制御のための操作手順の合成
- 周期動作を行う条件/事象ネットの構成
- 条件/事象ネットに基づくシーケンス制御系のモジュラ設計
- 条件/事象ネットに基づくシーケンス制御系の設計
- 半言語の階層記述とそれの条件/事象ネット構成問題への応用
- 半言語による離散事象システム理論の展開
- 仕様に階層表現を用いた条件/事象ネットの構成
- 不等号制約条件をもつペトリネットのフィードバック制御
- 条件/事象ネットの制御に関する考察
- 半言語とそれの離散事象システム論への応用
- 半言語の上の演算とそれに基づく条件/事象ネットの構成
- 半言語の上の演算とそれに基づく条件/事象ネットの構成
- 条件/事象ネット構成問題の解法に関する考察
- 条件/事象ネットに基づく離散事象システムの階層設計
- シーケンス制御実習プログラムの作成
- 鋳造設備研究部会活動報告
- 地域に根ざした共同教育の提案
- FMS指向天井クレーンのリアルタイム搬送制御システムの開発(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- 簡易スポット溶接の試作とその溶接強度の評価(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- 高専における実践的な国際化教育の現状調査と本校における今後の取り組み(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- 実践的な国際化教育の本校の現状と企業の現状調査(徳山工業高等専門学校校外発表論文,学術講演,著書,分担執筆など)(平成14年・9・6〜平成15年・9・5)
- 簡易スポット溶接機の試作
- 荷位置情報に基づく3次元天井クレーンのモデリングと搬送制御 : 第2報, ローブ長変化を考慮した荷位置フィードバック制御系の構築
- 荷位置情報に基づく3次元天井クレーンのモデリングと搬送制御 : 第1報, 荷位置モデルの導出
- 高等専門学校における実践的な国際化教育のあり方(第2報)高専の現状調査と今後の取り組み
- 高等専門学校における実践的な国際化教育のあり方(第1報)本校〔大島商船高等専門学校〕の現状と企業の現状調査
- 障害物認識と経路計画を考慮した天井クレーンの自律化
- 与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム
- 補助事象なし条件/事象ネット構成問題の解集合を求める一方法
- 与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム
- 部分同一化近似法における部分問題の解法に関する考察
- 部分同一化近似に基づく組合せ最適化問題の近似解法
- 生産環境変化に即応できる意思決定プロセスのモデリング (システム数理と応用)
- 生産環境変化に即応できる意思決定プロセスのモデリング (信号処理)
- 生産環境変化に即応できる意思決定プロセスのモデリング (VLSI設計技術)
- 生産環境変化に即応できる意思決定プロセスのモデリング (回路とシステム)
- 制御教育トレーニングシステムを用いた制御工学教育
- 巻き上げ, カーブ軌道を有する天井クレーンの搬送制御
- 鋳物工場自動化のための制御設計技術と応用
- 振動抑制と目標値追従性を考慮したクレーンによる液体コンテナ搬送制御
- 3次元液体タンクの最適搬送制御と液位, 粘性変化に対する制振ロバスト性
- 倒立振子の振り上げ非線形プロセスの制御
- アントコロニー最適化法に基づく2目的巡回セールスマン問題の解法について(一般,コンカレントシステム及び一般)
- 1A2-A14 高専-豊橋技科大間における遠隔制御システムを用いた体験型学習
- 条件/事象ネットの冗長性について
- S2002-1-6 シーケンス制御系設計実習装置の製作と実習プログラムの作成(技術教育・工学教育(1),社会変革を技術で廻す機械工学)
- 時空間微分法によるオプティカルフロ-の検出可能性と3次元運動推定の一方法
- プロセスシステム工学
- 1P1-G09 高専-豊橋技科大間における臨場感を考慮した遠隔制御システムと授業への応用
- 8-223 国立高専機構における制御技術に関連する産学連携教育((20)産学連携教育-III,口頭発表論文)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 2A2-G07 オンラインの障害物認識,経路計画,搬送制御を考慮した天井クレーンの自律化(生産システム・生産機器メカトロニクス)
- 与えられた動作を行う条件/事象ネットの最小実現(システムと制御)
- 分解法に基づく2目的巡回セールスマン問題の解法とその評価
- 分解法に基づく2目的巡回セールスマン問題の解法とその評価
- 修正した可達木とそれのペトリネットの可達問題への応用