ペトリネット評価への順序概念の導入とシステム検証について
スポンサーリンク
概要
- 論文の詳細を見る
従来のペトリネットは,トランジションの発火評価順序を考慮していないため,現実のシステムの動作を完全には記述できない.その原因を分析し,従来のペトリネットに評価順序に概念を導入し,動的システムのモデルを実現する.そして,評価順序を考慮したペトリネットの解析を簡単にするためBoolean Marking Net(BMN)の提案を行う.このBMNでモデル化されたシステムのバグ検証や動作の解析に必要な概念を評価順序を用いていくつか導入し,システムの検証にとって,有効かつ重要であることを述べる.
- 1993-09-30
著者
関連論文
- 無線Ad-Hocネットワークを用いた地域見守りシステムの現状と今後の計画(次世代ネットワーク,電力線通信,無線通信方式,一般)
- 無線Ad-Hocネットワークを用いた地域見守りシステムの開発と評価(無線,ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般)
- 無線アドホックネットワークを用いた地域見守りシステムについて(無線分散ネットワーク(WDN)特集セッション:招待講演,無線分散ネットワーク(WDN)特集セッション及び一般講演)
- 無線ネットワークを用いた地域見守りシステムにおける児童集中時のパケット抑制プロトコルの実装と評価(無線ネットワーク)
- ブリッジ型ファイアウォールシステムによる生産設備を含むネットワーク管理の実現(ネットワーク管理・設計,無線)
- 情報演習における苦手意識のバロメーターに基づく授業改善とその評価 (特集 次世代情報教育の構築に向けて) -- (情報教育環境)
- 出先機関向け税証明発行システムにおけるセキュアなプリンティングシステムの導入と評価(システムセキュリティ)
- セキュアなプリンティングシステムにおける出力プリンタ制限機能の拡張について(システムセキュリティ)
- 情報工学科学生に対するアルゴリズム的思考法教育の実践と評価(e-Learningと教育品質の保証・向上/一般)
- 社会人遠隔学習者に対する教育の質保証 : ICTを活用した包括的サポートシステム(e-Learningと教育品質の保証・向上/一般)
- 有限位相空間における等径的近傍について
- 有限位相空間における膨張・収縮処理とプリント配線パターン検査への応用
- 生産設備を含むネットワーク管理のためのARP Spoofingを用いた通信制御システムの開発と評価(ネットワーク管理/制御/設計)
- 騒音制御におけるダクトの伝達特性
- 遠隔地からの学内ネットワーク接続システムの開発と評価(SIP/NGN・一般)
- 無線ネットワークを用いた児童見守りシステムにおける消費電力を考慮した移動端末制御通信方式の提案(低消費電力化)
- 招待講演 無線アドホックネットワークを用いた地域見守りシステムについて (アドホックネットワーク)
- 改良した無線ネットワークプロトコルARIB STD-T67の実装と評価 : 近接中継機の重複パケット送信抑制(無線ネットワーク)
- 無線ネットワークプロトコルARIB STD-T67の改良 : 近接中継機の重複パケット送信抑制(ネットワーク一般)
- 無線ネットワークプロトコルARIB STD-T67の改良 : 高負荷マルチホップ環境下におけるパケット損失への対応(無線)
- 無線ネットワークを用いた地域見守りシステムにおける児童集中時のパケット抑制プロトコルについて(システム,マルチホップ,移動衛星通信,無線通信一般)
- 端末数が多い無線通信におけるアクセスプロトコルARIB STD-T67の評価と改良(システム,マルチホップ,移動衛星通信,無線通信一般)
- Webを用いたドリル型CAIシステムによる大学講義とその評価
- 重畳ストリーミングシステム : ビットレートの変動による帯域への影響の軽減に向けて(トラヒック、性能評価,トラヒック、NW評価、性能、リソース管理・制御、トラヒックエンジニアリング、NW信頼性・レジリエンシ、一般)
- 様々なネットワーク環境に適応した通信方式を自動選択するVPNシステムの提案(ネットワークアーキテクチャ,一般)
- 遠隔地からの学内ネットワーク接続システムの提案と開発(ネットワークシステム,一般)
- 電子透かしを用いた認証システムの提案
- 多進SD数系におけるRSA暗号の高速化処理の提案
- 社会人遠隔学習者に対する包括的サポートの実践とサポート支援システムの開発 (e-Learningの実践と学習支援システム/一般)
- 社会人遠隔学習者に対するeラーニングを用いた質保証の実践と評価 (eラーニング環境のデザインと実践運用)
- 社会人遠隔学習者に対する包括的遠隔サポートの実践と評価 (e-learningの質保証/一般)
- AS-5-6 無線Ad-Hocネットワークを用いた高齢者安否確認システムの開発(AS-5.安全・安心な生活のための情報通信ネットワーク,シンポジウムセッション)
- 情報演習におけるエクセル強化の授業改善とその評価 : 2007年度,2008年度入学生の調査より(e-Learningと教育品質の保証・向上/一般)
- 高精細映像を用いた同期式遠隔講義の高度化--映像の撮影範囲変化による受講者の印象について (大学の情報教育/一般)
- 情報工学科学生に対するアルゴリズム的思考法教育手法の提案と実践 (大学の情報教育/一般)
- 中心多様体と弱非線形系H^∞制御
- 追従制御問題の一解法と, マニピュレータ制御への応用
- オフィスにおける既存システムとの連携によるセキュアなプリンティングシステムのサーバレス化の提案と評価(オフィスシステム,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- オフィスにおけるセキュアなプリンティングシステムの認証機能とユーザおよび機器のデータ管理機能の既存システムへの統合(オフィスシステム,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- セキュアなプリンティングシステムのオフィスへの導入のための改良と評価(オフィスシステム,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- 無線Ad-Hocネットワークを用いた地域見守りシステム (アドホックネットワーク)
- 無線Ad-Hocネットワークを用いた地域見守りシステムにおける子機送信タイミング分散手法の評価(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 無線アドホックネットワークを用いた地域見守りシステムについて(無線分散ネットワーク(WDN)特集セッション:招待講演,無線分散ネットワーク(WDN)特集セッション及び一般講演)
- 無線アドホックネットワークを用いた地域見守りシステムについて(無線分散ネットワーク(WDN)特集セッション:招待講演,無線分散ネットワーク(WDN)特集セッション及び一般講演)
- センサーネットワーク端末の小型化と省電力化に関する提案と評価(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 無線ネットワークを用いた地域見守りシステムにおける送信プロトコルの改良とその評価(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク, NW安全性,及び一般)
- ET2009-80 組込みシステム開発演習における授業時間外学習を支援する遠隔実習システム(学習データの蓄積・分析・共有/一般)
- ET2009-72 Moodleにおける複数コース間のコンテンツ共有支援システムの開発(学習データの蓄積・分析・共有/一般)
- ET2009-71 Web教材への書き込み共有システムにおける更新追随処理の改善と評価(学習データの蓄積・分析・共有/一般)
- Verification of logic circuits using Mizar and its application to an adder circuit on a radix-$2^k$SD number (Topics in Information Sciences and Applied Functional Analysis)
- 音声・データ統合ネットワーク環境におけるスロットリングの性能解析
- ファジィ集合族のコンパクト性とファジィ最適制御の存在
- 5近傍におけるディジタル線分について
- 有限位相空間におけるディジタル線分について
- 離散空間における位相幾何学と表面検査における傷の検出への応用
- 粗近傍を用いた画像ノイズの除去について
- 電子透かしを用いた認証システムの提案
- 電子透かしを用いた認証システムの提案
- Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (Topics in Information Sciences and Applied Functional Analysis)
- 最適な通信方式を自動選択する仮想プライベートネットワークシステムの提案(オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- AS-3-12 無線Ad-Hocネットワークを用いたバスロケーションシステムの開発(AS-3.安全・安心な生活のための情報通信技術,シンポジウムセッション)
- AS-3-11 無線Ad-Hocネットワークによる地域見守りシステムの開発(AS-3.安全・安心な生活のための情報通信技術,シンポジウムセッション)
- AS-3-10 無線ネットワークを用いた地域見守りシステムの信頼性向上に関する提案(AS-3.安全・安心な生活のための情報通信技術,シンポジウムセッション)
- 個人認証をベースとした接続制限が可能な暗号化通信システムの開発
- 組織内各種情報管理のためのWebグループウェア活用へのLDAP応用
- スケジュール管理のためのデータ管理モデルに関する検討
- Webによるネットワーク管理支援ツールの開発
- Webグループウェアにおける組織内各種情報管理へのLDAPの適用と実装
- RSA暗号処理における剰余演算の高速アルゴリズムについて
- RSA暗号処理における剰余演算の高速アルゴリズムについて
- 太陽光発電の最大出力制御
- 機器組み込み用並行処理言語coroutine Cの設計とその処理系の実現
- 算術式計算における誤答分析システムとその評価
- ある階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによるある最適制御の存在
- 関数形言語とその入力・表現ツール : 新しい一般言語の提案
- 情報演習における苦手のバロメーター仮説に基づく授業改善とその稗価 (次世代情報教育の構築に向けて/一般)
- 情報演習における苦手のバロメーターに関する調査研究--アンケート結果に基づく仮説の構築 (eラーニング環境のデザインとHRD(Human Resource Development)/一般)
- ルーティング情報を用いない双方向匿名通信手法の提案(ネットワークモデルと通信プロトコル,インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- 11-328 信州大学IT大学院の現状 : 遠隔学習者に対する包括的サポートの試み(口頭発表論文,オーガナイズドセッション「e-ラーニング」-II)
- ブリッジ型ファイヤーウォールシステムとその遠隔制御方式について
- 「メモが書けるWebページ」を実現するシステムの開発と評価(教育におけるセキュリティ/一般)
- 情報工学科学生に対するアルゴリズム的思考法教育手法の改善 (情報教育の国際化/一般)
- 信州大学インターネット大学院計画について
- 弱非線形系H∞制御における中心多様体と状態フィードバック解
- NBV空間のファジィ集合族のコンパクト性とファジィ制御への応用
- 画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
- 微分方程式を用いた帯域フィルタ処理の高速化と変復調システムへの応用
- 逐次リアルタイム復号処理が可能な2値画像圧縮法
- クロックモデルによるディジタル回路のタイミング検証法
- セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
- ペトリネット評価への順序概念の導入とシステム検証について
- CASEツールとしての論理カラーペトリネット(LC-net)の能力
- クロックモデルによるデジタル回路のタイミング検証法
- 制御ソフトウェアに適したペトリネットの拡張
- ソフトウェアによる振幅変復調の実現 : 放送方式
- 逐次リアルタイム復合処理が可能な2値画像圧縮法
- 制御システムのモデル化に適するように拡張した論理カラ-ペトリネット
- 15) ソフトウェアによる振幅変復調の実現(放送方式研究会)
- 逐次リアルタイム復合処理が可能な2値画像圧縮法
- 制御システムのモデル化に適するように拡張した論理カラ-ペトリネット