空調制御ネットワークにおける信号極性確定の分散アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
This paper proposes a distributed algorithm for adjusting the signal polarity of the control networks for building air-conditioners. As field connection work of the two wires to the controller may be straight or cross, each controller has both plus and minus polarity circuits. It starts the algorithm in the arbitary sequence, and then negociates each other to select the plus/minus polarity circuits in order to adjust the signal polarity. A Time Petri Net model was constructed for verification of the proposed algorithm. The model describes the required specification of the system, straight/cross connection of the controller to the network bus line and the polarity adjustment algorithm. The efficient Time Petri Net verification tool made it possible to verify the model.
- 2003-05-01
著者
関連論文
- 高信頼オンチップ非同期データ転送技術に関する一検討(高信頼化,2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009))
- BACnet/IPビル空調制御システムの通信トラフィックシミュレーション
- インターネットWEB空調監視システムのデータ伝送性能解析
- AI-1-9 ディペンダブルNOCへの挑戦(AI-1.デイベンダブルVLSIに向けて,依頼シンポジウム,ソサイエティ企画)
- 束データ方式による非同期式回路の動作合成手法の提案(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 束データ方式による非同期式回路の動作合成手法の提案(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 非同期式計算に基づくディペンダビリティ向上へのアプローチ(ディペンダブルコンピューティングシステム及び一般)
- 多値非同期式回路の形式的検証に関する研究
- 非同期式回路に基づく耐劣化故障性実現に関する考察(ディペンダブルコンピューティングシステム及び一般)
- 非同期式回路に基づく耐劣化故障性実現に関する考察(ディペンダブルコンピューティングシステム及び一般)
- 非同期式回路のFPGA実現とその評価(回路・設計手法)
- プロセス代数に基づく非同期式論理回路の設計検証 (非同期式回路/システム設計論文小特集)
- 空調制御ネットワークにおける自動冷媒系統識別ユニット番号バインディング
- 空調制御ネットワークにおける信号極性確定の分散アルゴリズム
- FPGA実装を想定した束データ方式による非同期式回路のフロアプラン手法の検討
- 束データ方式による非同期式回路の動作合成手法の提案(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 非同期式計算に基づくディペンダビリティ向上へのアプローチ(ディペンダブルコンピューティングシステム及び一般)
- FPGA実装を想定した束データ方式による非同期式回路のフロアプラン手法の検討 (ディペンダブルコンピューティング)
- FPGA実装を想定した束データ方式による非同期式回路のフロアプラン手法の検討 (VLSI設計技術)
- 8項 非同期式回路設計技術の現状(4節 通研講演会,第5章 国際会議・シンポジウム等)
- 高並列度仕様からの非同期式回路合成のための信号遷移挿入手法(論理合成,システムLSI設計とその技術)
- 高位仕様記述からの非同期式回路自動合成について(ハードウェア,フォーマルアプローチ論文)
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 資源制約に基づく高位非同期式回路仕様の変換について(ディペンダブルコンピュータシステム及び一般)
- 資源制約に基づく高位非同期式回路仕様の変換について(ディペンダブルコンピュータシステム及び一般)
- Force-Directed Scheduling アルゴリズムを用いた非同期式データパス回路合成と効率化の検討
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 長距離RS485計装信号伝送路における終端反射波のステップ関数重畳波形解析
- 組込みUART-CSMA/CD制御ネットワークのバースト負荷過渡特性の解析
- 終端抵抗を省略したUART-CSMA/CD制御ネットワーク伝送路の信号波形歪み解析(マイクロ波計測技術/一般)
- B-7-60 組込みマイコン衝突検知によるCSMA/CD制御ネットワークのバースト負荷伝送遅延特性(B-7.情報ネットワーク,一般講演)
- 組込み用マイコン衝突検知によるCSMA/CD制御ネットワークのバースト過渡性能特製(ユビキタスネットワーク,インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- 組込み制御ネットワーク用UART-CSMA/CD方式とそのバースト通信負荷特性(システムプログラム)
- 組込型マイコンUART衝突検知による空調制御CSMA/CDプロトコルの性能解析
- ビル用パッケージエアコンの BACnet 集中監視技術
- ビル用パッケージエアコンのインターネットWEB集中監視技術
- 非同期式回路の検証におけるIivenessクラスに関する考察
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- 空気調和機の動特性シミュレーションの研究
- 空調機動特性シミュレ-ションの研究 (冷熱小特集号)
- Net Unfoldingによるタイムペトリネットの効率的解析
- 有限遅延幅モデルにおける非同期式回路の検証について (テストと設計検証論文特集)
- 時間トレース理論に基づく非同期式回路の検証について
- Failure trace解析に基づくGasP回路の形式的検証
- 星状抽象ペトリネットの解析に関する研究
- 星状抽象ペトリネットの解析に関する研究
- 星状抽象ペトリネットの解析に関する研究
- ZBDDとpartial order reductionに基づく非同期式回路検証方式について
- 非同期式回路検証のためのレベル指向モデルとその効率的解析法について
- 非同期式回路検証のためのレベル指向モデルとその効率的解析法について
- データパスを含む非同期式回路の検証について
- ZBDDに基づく非同期式回路の検証方式
- ZBDDを用いた検証方式におけるpartial order reductionの適用について
- 非同期式回路検証器における使用記憶域削減について
- 非同期式回路検証器における使用記憶域削減について
- 非同期式回路検証器における使用記憶域削減について
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Implementing Fast Boolean QDI Function Blocks
- Implementing Fast Boolean QDI Function Blocks
- Implementing Fast Boolean QDI Function Blocks
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- n 安全タイムペトリネットの発火規則について
- シミュレーションを利用した形式的検証システム
- シミュレーションを利用した形式的検証システム
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 非同期式回路の高位合成について(デペンダブルコンピュータシステム及び一般)
- 非同期式回路の高位合成について(ディペンダブルコンピュータシステム及び一般)
- Partial Order Reductionに基づくTimed回路のsafety/timing failure検出アルゴリズムの効率化について
- 対称性及び抽象化を利用した検証方式の効率化 (テストと設計検証論文特集)
- 正規表現を利用したスケーラブル環状回路の検証
- 正規表現を利用したスケーラブル環状回路の検証
- 対称性及び抽象化を利用した検証方式の効率化
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法(微細化対応技術,デザインガイア2011-VLSI設計の新しい大地-)
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法(微細化対応技術,デザインガイア2011-VLSI設計の新しい大地-)
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 有限幅遅延モデルに基づく非同期式回路検証方式とその効率化(ペトリネットの応用特集号)
- ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて
- ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて
- ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2013)
- ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2013)