Search

The digitization of intangible cultural heritage provides the basis for its protection and inheritance. In this paper, we extracted the classes and interrelationships corresponding to each element for the content of Yi Intangible Cultural Heritage, constructed the data model and accomplished the relationship abstraction of different classes. Based on the structure of different data classes, the correlation between spatial change and non-heritage status is explored. The data model is proposed to cluster non-heritage data based on SWC-WMD distance, which improves the similarity calculation based on WMD distance. The association analysis of non-heritage item classes was performed using Yi folk dance as an example, and the overall non-heritage data was analyzed by clustering. In Yi folk dance, the association formed a network correlation graph with N2, N3, and N12 as the three main centers, in which the dance class items associated with N2, N3, and N12 were 9, 9, and 8, respectively. Mining out the relationships among NH items helps to better the overall NH protection.

Abstract: In relational semantics, the input-output semantics of a program is a relation on its set of states. We generalise this in considering elements of Kleene algebras as semantical values. In a nondeterministic context, the demonic semantics is calculated by considering the worst behaviour of the program. In this paper, we concentrate on while loops. Calculating the semantics of a loop is difficult, but showing the correctness of any candidate abstraction is much easier. For deterministic programs, Mills has described a checking method known as the while statement verification rule. A corresponding programming theorem for nondeterministic iterative constructs is proposed, proved and applied to an example. This theorem can be considered as a generalisation of the while statement verification rule to nondeterministic loops. The paper generalises earlier relation-algebraic work to the setting of modal Kleene algebra, an extension of Kozen’s Kleene algebra with tests that allows the internalisation of weakest liberal precondition and strongest liberal postcondition operators. [Copyright &y& Elsevier]