A metrical method for time systems theory 時間システム論の距離的方法

この論文をさがす

著者

    • 松本, 敏民 マツモト, トシタミ

書誌事項

タイトル

A metrical method for time systems theory

タイトル別名

時間システム論の距離的方法

著者名

松本, 敏民

著者別名

マツモト, トシタミ

学位授与大学

東京工業大学

取得学位

工学博士

学位授与番号

甲第2444号

学位授与年月日

1992-03-26

注記・抄録

博士論文

目次

  1. 論文目録 / (0002.jp2)
  2. CONTENTS / p1 (0004.jp2)
  3. ACKNOWLEDGMENTS / p2 (0005.jp2)
  4. Introduction / p3 (0005.jp2)
  5. Mathematical Preliminaries / p7 (0007.jp2)
  6. Chapter1 Time Systems and Causal Metric / p11 (0009.jp2)
  7. §1 Time Systems / p11 (0009.jp2)
  8. §2 Causal Metric / p14 (0011.jp2)
  9. Chapter2 Automaton Type Time Systems / p18 (0013.jp2)
  10. §1 Automaton Type Time Systems and Classification of Automata / p18 (0013.jp2)
  11. §2 Characterization of Automaton Type Time Systems / p24 (0016.jp2)
  12. §3 Application / p31 (0019.jp2)
  13. Chapter3 Abstract Systems Over Non-Archimedean Metric Spaces / p40 (0024.jp2)
  14. §1 Abstraction of Causal Metric / p41 (0024.jp2)
  15. §2 Causal Systems and Their Universal State Spaces / p46 (0027.jp2)
  16. §3 More Results and Definitions / p50 (0029.jp2)
  17. Chapter4 Anatomy of Causal Systems and its Application / p54 (0031.jp2)
  18. §1 Finite Type Causal Systems and Finite Observability / p54 (0031.jp2)
  19. §2 Infinite Type Causal Systems and their Characterization / p64 (0036.jp2)
  20. §3 Application / p71 (0039.jp2)
  21. Chapter5 Towards Characterization of Finite Automaton Type Time Systems / p79 (0043.jp2)
  22. §1 Basic Results / p80 (0044.jp2)
  23. §2 Attacking The Conjecture / p85 (0046.jp2)
  24. §3 Decomposition of the Universal State Space of a Causal System / p91 (0049.jp2)
  25. §4 Dificulty in Characterization of Finite Automaton Type Time Systems / p93 (0050.jp2)
  26. CONCLUSIONS / p96 (0052.jp2)
  27. References / p100 (0054.jp2)
  28. Appendices / p101 (0054.jp2)
  29. Appendix A Time Set / p101 (0054.jp2)
  30. Appendix B Output-completeness(1) / p104 (0056.jp2)
  31. Appendix C Output-completeness(2) / p105 (0056.jp2)
0アクセス

各種コード

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