Since many man-made systems consist of autonomous and interactive components, it is intrinsically difficult to analyze their abnormal behavior. The logical analysis of such a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method using two algebraic operations, named composition and minimization. Repetitive composition and minimization of component models with respect to a set of important events produces a new analysis model that has the same input output responses to an environment. An analysis example of the alternating bit protocol demonstrates the effectiveness of the proposed method showing that each message generated at the sender side eventually arrives to a receiver.키워드 : 시스템 분석, 시스템 합성, 이산사건 시스템, 모델 검증
There is a report that more than 10% of Korean elementary school students are classified into attention deficit/hyperactivity disorder (ADHD) symptom group. Children who seriously lack attention, like the ones with ADHD, are mainly dependent on medication. Medication, however, brings various kinds of side effects. Therefore, we need a way to improve attention, and lead children to voluntarily participate in it. In this study, we suggested a child-friendly attention improvement model by using children's favourite games. In addition, we developed a 3D tangible-serious game based on the suggested model. We conducted an experiment to identify the effects of the game developed in this study. As a result of the experiment, we could verify that the 3D tangible-serious game, which was developed in this study, helped improve children's attention.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.