【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Event-driven algorithms of logic computation for application in discrete control systems 離散制御系におけるアプリケーション用論理計算イベント駆動アルゴリズム

この論文をさがす

著者

    • Viatkin Valery ヴィアトキン ヴァレリ

書誌事項

タイトル

Event-driven algorithms of logic computation for application in discrete control systems

タイトル別名

離散制御系におけるアプリケーション用論理計算イベント駆動アルゴリズム

著者名

Viatkin Valery

著者別名

ヴィアトキン ヴァレリ

学位授与大学

名古屋工業大学

取得学位

博士(工学)

学位授与番号

甲第274号

学位授与年月日

1999-03-24

注記・抄録

博士論文

目次

  1. Contents / p1 (0004.jp2)
  2. 1 Introduction / p1 (0007.jp2)
  3. 2 Logic computation in discrete-event systems / p5 (0009.jp2)
  4. 2.1 Boolean computation and Decision Diagrams / p5 (0009.jp2)
  5. 2.2 Event-driven controller / p10 (0012.jp2)
  6. 2.3 Event-driven computation / p14 (0014.jp2)
  7. 2.4 Estimation of pre-computation and response generation / p17 (0015.jp2)
  8. 3 Time-optimal event-driven algorithm / p27 (0020.jp2)
  9. 3.1 Definition of index decision diagrams / p27 (0020.jp2)
  10. 3.2 Generation of IDD / p31 (0022.jp2)
  11. 3.3 Reevaluation of Boolean function using IDD / p32 (0023.jp2)
  12. 3.4 Conclusion / p34 (0024.jp2)
  13. 4 Extended Indexed Decision Diagrams / p36 (0025.jp2)
  14. 4.1 Further improvement of IDD / p36 (0025.jp2)
  15. 4.2 Extended search mapping / p36 (0025.jp2)
  16. 4.3 Distance definition of the search mapping / p42 (0028.jp2)
  17. 4.4 Log-IDD based on distance search mapping / p43 (0029.jp2)
  18. 4.5 Coordinate index definition of the binary search mapping / p45 (0030.jp2)
  19. 4.6 Further reduction of IDD size / p50 (0032.jp2)
  20. 4.7 Incremental update of IDD / p51 (0033.jp2)
  21. 5 Generalized decision diagrams / p56 (0035.jp2)
  22. 5.1 Definition / p56 (0035.jp2)
  23. 5.2 Event-driven traverse of orthonormal GDDs / p61 (0038.jp2)
  24. 5.3 Event-driven traverse of non-orthogonal diagrams / p63 (0039.jp2)
  25. 5.4 Logic expressions and logic circuits / p68 (0041.jp2)
  26. 5.5 Algorithm of reevaluation / p71 (0043.jp2)
  27. 6 Conclusion / p82 (0048.jp2)
  28. Acknowledgments / p84 (0049.jp2)
  29. Bibliography / p85 (0050.jp2)
  30. List of Publications / p93 (0054.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000173172
  • NII著者ID(NRID)
    • 8000000173448
  • DOI(NDL)
  • NDL書誌ID
    • 000000337486
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ