Proceedings of the 2nd International Conference on Literature, Art and Human Development (ICLAHD 2020)

Compositional Stochastic Model Checking Probabilistic Automata via Assume-Guarantee Reasoning

Authors
Xueyi Zhong
Corresponding Author
Xueyi Zhong
Available Online 17 December 2020.
DOI
https://doi.org/10.2991/assehr.k.201215.395How to use a DOI?
Keywords
Cultural and creative products, Chinese style, Nike, the Palace Museum
Abstract

With analysis on two highly discussed Chinese style culture and creative products (Nike Air Foamposite One Tianjing and Jade Hare & Laurel washi tapes from the Palace Museum), this paper attempts to explore whether they indicate different Chinese and western philosophy and aesthetics, discussing about the preference of traditional Chinese art. It will be divided into four parts, each of which analyzes the two respectively, following the comparison section. Preliminary results suggest that with different philosophy and language context system between China and western countries, the two products have different understanding about Chinese style. The author also argues that designers ought to study more on Chinese culture rather than elements, including history and color preference, in order not to awkwardly violate cultural taboo. Further researches on more Chinese style culture and creative products of the Palace Museum and Nike or products in the same category are suggested.

Copyright
© 2020, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2nd International Conference on Literature, Art and Human Development (ICLAHD 2020)
Series
Advances in Social Science, Education and Humanities Research
Publication Date
17 December 2020
ISBN
978-94-6239-304-2
ISSN
2352-5398
DOI
https://doi.org/10.2991/assehr.k.201215.395How to use a DOI?
Copyright
© 2020, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Xueyi Zhong
PY  - 2020
DA  - 2020/12/17
TI  - Compositional Stochastic Model Checking Probabilistic Automata via Assume-Guarantee Reasoning
BT  - Proceedings of the 2nd International Conference on Literature, Art and Human Development (ICLAHD 2020)
PB  - Atlantis Press
SP  - 65
EP  - 70
SN  - 2352-5398
UR  - https://doi.org/10.2991/assehr.k.201215.395
DO  - https://doi.org/10.2991/assehr.k.201215.395
ID  - Zhong2020
ER  -