「"ペトリ・ネツト"」の検索結果 | NDLサーチ

検索結果 51 件

タイトルでまとめる

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

紙図書

二神透, 愛媛大学 [著][二神透]2005-2006<Y151-H17510125>

国立国会図書館

件名防災計画 / 中山間地域 / ペトリネット / 緊急車両 / 互助避難 / シナリオ

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

紙図書

廣田豊彦, 九州産業大学 [著][廣田豊彦]2002-2004<Y151-H14580382>

国立国会図書館

件名ビジネスプロセス / ユースケース図 / ペトリネット / IDEFO / ERモデル

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

紙図書

米田友洋, 国立情報学研究所 [著][米田友洋]2003-2004<Y151-H15300009>

国立国会図書館

件名リアルタイムソフトウェア / 形式的検証 / レベルタイムペトリネット / Partial order reduction / 階...

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

紙図書

栗原謙三, 神奈川大学 [著][栗原謙三]2003-2004<Y151-H15560227>

国立国会図書館

件名高信頼 / 高開発効率 / Factory Automationシステム / 制御ソフトウェア / ソフトウェア開発手法 / ペトリネット

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

紙図書

辻孝吉, 愛知県立大学 [著][辻孝吉]2002-2004<Y151-H14550403>

国立国会図書館

件名ペトリネット / 離散事象 / コンカレント / 量子ネット / ネット...

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

紙図書

木俣昇, 金沢大学 [著][木俣昇]2006-2007<Y151-H18510144>

国立国会図書館

件名防災計画の再編 / シナリオシミュレータ / 自冶体合併 / 緊急車両出動計画 / 避難計画 / ペトリネット / 地震時行動の阻害要因 / GPSデータ活用

時制データベースからの知識獲得に関する研究 : 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>

国立国会図書館

件名自律分散ペトリネツト離散事象並行処理大規模システムネツト理論グラフ理論...

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

紙図書

菊野, 亨, 大阪大学1998-1999<Y151-H10680354>

国立国会図書館

件名ソフトウエア開発プロセスペトリネツトシミユレータパラメータコスト見積り品質予測

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

紙図書

角田, 良明, 大阪大学1997-1998<Y151-H09650413>

国立国会図書館

件名通信サービス競合ペトリネツトインバリアント検出状態爆発非決定性

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

紙図書

潮, 俊光, 大阪大学1997-1999<Y151-H09650470>

国立国会図書館

件名ハイブリツドシステム安定性ハイブリツドペトリネツトロバスト制御故障診断スーパバイザ制御

背景画像上でのペトリネットシミュレーション構築法による地震防災計画の動的支援研究

紙図書

木俣昇, 金沢大学 [著][木俣昇]2004-2005<Y151-H16510111>

国立国会図書館

件名地震時防災計画支援 / ペトリネット / シナリオの動的化 / 視覚型シミュレーション / 地震...

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

紙図書

宮野, 悟, 東京大学2000-2002<Y151-H12480080>

国立国会図書館

件名遺伝子ネツトワ-ク知識発見質的ネツトワ-クブ-リアンネツトワ-クマイクロアレイハイブリツドペトリネツトシステムバイオロジ- 学習

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

紙図書

木俣昇, 金沢大学 [著][木俣昇]2002-2003<Y151-H14580476>

国立国会図書館

件名ペトリネット / シミュレーションソフト / 図解手法 / 空間占有性記...

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

紙図書

木俣, 昇, 金沢大学1998-1999<Y151-H10650523>

国立国会図書館

件名ペトリネツトシミユレーシヨン車両衝突事故 CED変換モデル認知ミス...

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

紙図書

米田, 友洋, 東京工業大学1997-1998<Y151-H09680329>

国立国会図書館

件名形式的検証非同期式回路有限遅延幅モデルタイムペトリネツト時間トレース理論 Partial order reduct...

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

紙図書

松本, 忠, 福井大学1996-1998<Y151-H08650460>

国立国会図書館

件名離散事象システム可到達性ペトリネツト実行可能発火シーケンス数理計画法スケジユーリング

ITSを活用した公共交通活性化のための計画立案評価支援システムの開発研究

紙図書

高山, 純一, 金沢大学2000-2001<Y151-H12650527>

国立国会図書館

件名公共交通計画コミユニテイバス最適バス路線網遺伝的アルゴリズムバス優先信号交通行動分析ネツトワーク交通流ペトリネツト

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

紙図書

市川, 惇信, 国立環境研究所1991-1993<Y151-H03452191>

国立国会図書館

件名神経回路網学習能力ペトリネツト可達集合