年 〜
年

検索結果 51 件

中山間地における相互扶助型災害時避難システムと救援システム構築

中山間地における相互扶助型災害時避難システムと救援システム構築
紙図書
二神透, 愛媛大学 [著][二神透]2005-2006<Y151-H17510125>
国立国会図書館
  • 件名防災計画 / 中山間地域 / ペトリネット / 緊急車両 / 互助避難 / シナリオ

協調業務支援ソフトウェア開発のための多視点業務モデリングに関する研究

協調業務支援ソフトウェア開発のための多視点業務モデリングに関する研究
紙図書
廣田豊彦, 九州産業大学 [著][廣田豊彦]2002-2004<Y151-H14580382>
国立国会図書館
  • 件名ビジネスプロセス / ユースケース図 / ペトリネット / IDEFO / ERモデル

レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究

レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究
紙図書
米田友洋, 国立情報学研究所 [著][米田友洋]2003-2004<Y151-H15300009>
国立国会図書館
  • 件名リアルタイムソフトウェア / 形式的検証 / レベルタイムペトリネット / Partial order reduction / 階...

高信頼・高開発効率を実現する、FAシステム制御ソフトウェアの開発手法

高信頼・高開発効率を実現する、FAシステム制御ソフトウェアの開発手法
紙図書
栗原謙三, 神奈川大学 [著][栗原謙三]2003-2004<Y151-H15560227>
国立国会図書館
  • 件名高信頼 / 高開発効率 / Factory Automationシステム / 制御ソフトウェア / ソフトウェア開発手法 / ペトリネット

量子ネットモデルを用いた大規模コンカレントシステムの系統的解析・設計に関する研究

量子ネットモデルを用いた大規模コンカレントシステムの系統的解析・設計に関する研究
紙図書
辻孝吉, 愛知県立大学 [著][辻孝吉]2002-2004<Y151-H14550403>
国立国会図書館
  • 件名ペトリネット / 離散事象 / コンカレント / 量子ネット / ネット...

自冶体統合に伴う防災計画再編支援のためのシナリオシミュレータシステムの提供研究

自冶体統合に伴う防災計画再編支援のためのシナリオシミュレータシステムの提供研究
紙図書
木俣昇, 金沢大学 [著][木俣昇]2006-2007<Y151-H18510144>
国立国会図書館
  • 件名防災計画の再編 / シナリオシミュレータ / 自冶体合併 / 緊急車両出動計画 / 避難計画 / ペトリネット / 地震時行動の阻害要因 / GPSデータ活用

時制データベースからの知識獲得に関する研究 : Studies on knowledge discovery from temporal databases

時制データベースからの知識獲得に関する研究 : Studies on knowledge discovery from temporal databases
紙図書
三浦孝夫, 法政大学 [著][三浦孝夫]2002-2003<Y151-H14580392>
国立国会図書館
  • 件名時制データベース / データ発見 / 知識獲得 / 決定木 / k次伝播SOM / OLAP / カラーペトリネット / パターン獲得

超高速非同期式システムのための設計および検証ツ-ルに関する研究

超高速非同期式システムのための設計および検証ツ-ルに関する研究
紙図書
米田, 友洋, 国立情報学研究所2000-2002<Y151-H12680334>
国立国会図書館
  • 件名非同期式回路 形式的検証 3値2線式符号 高位記述 有限幅遅延モデル タイムペトリネツト Partial order reduction

自律分散型ネツトモデルによる大規模情報処理システムの系統的解析・設計に関する研究

自律分散型ネツトモデルによる大規模情報処理システムの系統的解析・設計に関する研究
紙図書
辻, 孝吉, 愛知県立大学1999-2000<Y151-H11680420>
国立国会図書館
  • 件名自律分散 ペトリネツト 離散事象 並行処理 大規模システム ネツト理論 グラフ理論...

マルチメデイアネツトワークにおけるサービス競合のモデル化と解決

マルチメデイアネツトワークにおけるサービス競合のモデル化と解決
紙図書
角田, 良明, 大阪大学1997-1998<Y151-H09650413>
国立国会図書館
  • 件名通信サービス 競合 ペトリネツト インバリアント 検出 状態爆発 非決定性

ネツト理論に基づくソフトウエア開発プロセスの予測評価とそのフイードバツク

ネツト理論に基づくソフトウエア開発プロセスの予測評価とそのフイードバツク
紙図書
菊野, 亨, 大阪大学1998-1999<Y151-H10680354>
国立国会図書館
  • 件名ソフトウエア開発プロセス ペトリネツト シミユレータ パラメータ コスト見積り 品質予測

神経回路網と論理式表現の学習能力の相違

神経回路網と論理式表現の学習能力の相違
紙図書
市川, 惇信, 国立環境研究所1991-1993<Y151-H03452191>
国立国会図書館
  • 件名神経回路網 学習能力 ペトリネツト 可達集合

高位レベルの制御のためのハイブリツドスーパーバイザの設計と制御系検証システムの試作

高位レベルの制御のためのハイブリツドスーパーバイザの設計と制御系検証システムの試作
紙図書
潮, 俊光, 大阪大学1997-1999<Y151-H09650470>
国立国会図書館
  • 件名ハイブリツドシステム 安定性 ハイブリツドペトリネツト ロバスト制御 故障診断 スーパバイザ制御

有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究

有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究
紙図書
米田, 友洋, 東京工業大学1997-1998<Y151-H09680329>
国立国会図書館
  • 件名形式的検証 非同期式回路 有限遅延幅モデル タイムペトリネツト 時間トレース理論 Partial order reduct...

ペトリネツトによる車両衝突事故シミユレーシヨンの開発と危険箇所対策への応用

ペトリネツトによる車両衝突事故シミユレーシヨンの開発と危険箇所対策への応用
紙図書
木俣, 昇, 金沢大学1998-1999<Y151-H10650523>
国立国会図書館
  • 件名ペトリネツト シミユレーシヨン 車両衝突事故 CED変換モデル 認知ミス...

cDNAマイクロアレイデ-タからの知識発見に関する情報科学的基礎付け

cDNAマイクロアレイデ-タからの知識発見に関する情報科学的基礎付け
紙図書
宮野, 悟, 東京大学2000-2002<Y151-H12480080>
国立国会図書館
  • 件名遺伝子ネツトワ-ク 知識発見 質的ネツトワ-ク ブ-リアンネツトワ-ク マイクロアレイ ハイブリツドペトリネツト システムバイオロジ- 学習

ペトリネツトモデルを用いた大規模生産システムの系統的解析・設計に関する研究

ペトリネツトモデルを用いた大規模生産システムの系統的解析・設計に関する研究
紙図書
辻, 孝吉, 愛知県立大学1996-1997<Y151-H08650468>
国立国会図書館
  • 件名ペトリネツト 離散事象システム 生産システム CIM FA 制御系列 並...

数理計画法による離散事象システムの動作解析と応用

数理計画法による離散事象システムの動作解析と応用
紙図書
松本, 忠, 福井大学1996-1998<Y151-H08650460>
国立国会図書館
  • 件名離散事象システム 可到達性 ペトリネツト 実行可能発火シーケンス 数理計画法 スケジユーリング

造船CIMのための生産計画のシステム化に関する研究

造船CIMのための生産計画のシステム化に関する研究
紙図書
野本, 敏治, 東京大学1995-1997<Y151-H07305042>
国立国会図書館
  • 件名生産計画 CIM 工程計画 日程計画 ペトリネツト 製品モデル 工場モデル 工場シミユレータ

動的図解手法としてのペトリネットソフトウェア開発とその交通・防災計画への応用研究

動的図解手法としてのペトリネットソフトウェア開発とその交通・防災計画への応用研究
紙図書
木俣昇, 金沢大学 [著][木俣昇]2002-2003<Y151-H14580476>
国立国会図書館
  • 件名ペトリネット / シミュレーションソフト / 図解手法 / 空間占有性記...