Compositional Stochastic Model Checking Probabilistic Automata via Assume-Guarantee Reasoning

DOI

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)

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  - 10.2991/assehr.k.201215.395
ID  - Zhong2020
ER  -