Determination of Compositional Systems Through Systemic Modeling

被引:1
|
作者
Pitombeira, Liduino [1 ]
机构
[1] Univ Fed Rio de Janeiro, Grp Pesquisas MusMat, Rio De Janeiro, Brazil
关键词
Systemic modeling; Compositional system; Compositional planning; Guarnieri's Ponteios;
D O I
10.1007/978-3-319-71827-9_23
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
In this paper we propose the systemic modeling of Camargo Guarnieri's Ponteio No. 1 with the aim of identifying a hypothetical compositional system that gave rise to this work. From this compositional system we will plan a new work for woodwind trio. The model, specifically related to the harmonic syntax and the melodic gestures, is encoded into two algorithms written in Python and MATLAB.
引用
收藏
页码:298 / 311
页数:14
相关论文
共 50 条
  • [1] Compositional and uniform modeling of hybrid systems
    Benveniste, A
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 579 - 584
  • [2] Compositional Data Modeling through Dirichlet Innovations
    Makgai, Seitebaleng
    Bekker, Andriette
    Arashi, Mohammad
    MATHEMATICS, 2021, 9 (19)
  • [3] Compositional modeling and refinement for hierarchical hybrid systems
    Alur, R
    Grosu, R
    Lee, IS
    Sokolsky, O
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 105 - 128
  • [4] Compositional Cyber-Physical Systems Modeling
    Bakirtzis, Georgios
    Vasilakopoulou, Christina
    Fleming, Cody H.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
  • [5] Compositional tourists' expenditure: Modeling through Dirichlet regression
    Brida, Juan Gabriel
    Lanzilotta, Bibiana
    Moreno, Leonardo
    TOURISM ECONOMICS, 2023, 29 (06) : 1442 - 1460
  • [6] Local liveness for compositional modeling of fair reactive systems
    Alur, R
    Henzinger, TA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 166 - 179
  • [7] PARTICLE SYSTEMS WITH SINGULAR INTERACTION THROUGH HITTING TIMES: APPLICATION IN SYSTEMIC RISK MODELING
    Nadtochiy, Sergey
    Shkolnikov, Mykhaylo
    ANNALS OF APPLIED PROBABILITY, 2019, 29 (01): : 89 - 129
  • [8] A framework for heterogeneous formal modeling and compositional verification of avionics systems
    Aït-Ameur, Y
    Delmas, R
    Wiels, R
    Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 223 - 232
  • [9] MODEST: A compositional modeling formalism for hard and softly timed systems
    Bohnenkamp, Henrik
    D'Argenio, Pedro R.
    Hermanns, Holger
    Katoen, Joost-Pieter
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (10) : 812 - 830
  • [10] Novel runtime systems support for adaptive compositional modeling in PSEs
    Varadarajan, S
    Ramakrishnan, N
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2005, 21 (06): : 878 - 895