• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.354-357
• /
• 2004

According to the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by the digital communication channel. At the same time, the importance of the communication link is more pronounced than in the past. In this paper, new network-based protocol for Korean railway signaling has designed between CTC and SCADA system, and the overview of designed protocol is briefly represented. Using the informal method for specifying the communication protocol, a little ambiguity may be contained in the protocol. To clear the ambiguity contained in the designed protocol, we use LTS model to design the protocol for this interface link between CTC and SCADA, the LTS is an intermediate model for encoding the operational behavior of processes. And then, we verify automatically and formally the safety and the liveness properties through the model checking method. Especially, the modal ${\mu}$-calculus, which is a highly expressive method of temporal logic that has been applied to the model checking method. It will be expected to increase the safety, reliability and efficiency of maintenance of the signaling systems by using the designed protocol for railway signaling in Korea.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.243-250
• /
• 2020

Knowledge graph-based question answering not only requires deep understanding of the given natural language questions, but it also needs effective reasoning to find the correct answers on a large knowledge graph. In this paper, we propose a deep neural network model for effective reasoning on a knowledge graph, which can find correct answers to complex questions requiring multi-hop inference. The proposed model makes use of highly expressive bilinear graph neural network (BGNN), which can utilize context information between a pair of neighboring nodes, as well as allows bidirectional feature propagation between each entity node and one of its neighboring nodes on a knowledge graph. Performing experiments with an open-domain knowledge base (Freebase) and two natural-language question answering benchmark datasets(WebQuestionsSP and MetaQA), we demonstrate the effectiveness and performance of the proposed model.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.284-288
• /
• 2009

With explosively growing PPI databases, the computational approach for a prediction and configuration of PPI network has been a big stream in the bioinformatics area. Recent researches gradually consider physicochemical properties of proteins and support high resolution results with integration of experimental results. With regard to current research trend, it is very close future to complete a PPI network configuration of each organism. However, direct applying the PPI network to real field is complicated problem because PPI network is only a set of co-expressive proteins or gene products, and its network link means simple physical binding rather than in-depth knowledge of biological process. In this paper, we suggest a protein functional flow model which is a directed network based on a protein functions' relation of signaling transduction pathway. The vertex of the suggested model is a molecular function annotated by gene ontology, and the relations among the vertex are considered as edges. Thus, it is easy to trace a specific function's transition, and it can be a constraint to extract a meaningful sub-path from whole PPI network. To evaluate the model, 11 functional flow models of Homo sapiens were built from KEGG, and Cronbach's alpha values were measured (alpha=0.67). Among 1023 functional flows, 765 functional flows showed 0.6 or higher alpha values.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.4
• /
• pp.562-567
• /
• 2009

As a key mechanism of the human emotion interaction, Facial Expression is a powerful tools in HRI(Human Robot Interface) such as Human Computer Interface. By using a facial expression, we can bring out various reaction correspond to emotional state of user in HCI(Human Computer Interaction). Also it can infer that suitable services to supply user from service agents such as intelligent robot. In this article, We addresses the issue of expressive face modeling using an advanced active appearance model for facial emotion recognition. We consider the six universal emotional categories that are defined by Ekman. In human face, emotions are most widely represented with eyes and mouth expression. If we want to recognize the human's emotion from this facial image, we need to extract feature points such as Action Unit(AU) of Ekman. Active Appearance Model (AAM) is one of the commonly used methods for facial feature extraction and it can be applied to construct AU. Regarding the traditional AAM depends on the setting of the initial parameters of the model and this paper introduces a facial emotion recognizing method based on which is combined Advanced AAM with Bayesian Network. Firstly, we obtain the reconstructive parameters of the new gray-scale image by sample-based learning and use them to reconstruct the shape and texture of the new image and calculate the initial parameters of the AAM by the reconstructed facial model. Then reduce the distance error between the model and the target contour by adjusting the parameters of the model. Finally get the model which is matched with the facial feature outline after several iterations and use them to recognize the facial emotion by using Bayesian Network.

• Journal of the Korean Academy of Child and Adolescent Psychiatry
• /
• v.17 no.2
• /
• pp.91-97
• /
• 2006

The effects of the Attachment Promotion Therapy (APT) program for the autistic children were reviewed by 8 papers. The program was consisted with play activity centered mother-child interaction, educational activity for parents, lecture, video-feedback, and support. APT program was effective to improve the attachment behaviors and attachment security. And the mother's behaviors to her child became more child-centered, positively responsive, expressive supportively. Ninety six point seven percent of the mothers were satisfied with the APT program. They described that it was helpful to understand their children's developmental limitation and strength, to learn how to play with their children, to make supportive social network among the mothers, to minimize familial conflicts, and to make them much more comfortable with their children. They thought the APT Program was to be a steppingstone of the further educational program. APT program is an effective early intervention to promote social development and decrease autistic problems.

• Korean Institute of Interior Design Journal
• /
• v.14 no.6 s.53
• /
• pp.3-11
• /
• 2005

With development of digital technology and build-up of global network in the 21st century, Korea has recklessly accepted Western information and culture in recent years, thus causing damages to out identity. In the situation, restoration and development of traditions in a modern way will contribute to the creation of contemporary interiors. This study has analyzed and assessed the process through which traditional decorative elements have applied to contemporary interior decorations over the past ten years with a view to identify the trend of expressing traditional elements in comtemporary interiors. Designs that have applied traditional elements in a transfigure expression method amounted to 77 pieces, accounting for $43\%$ of the total investigated 178 designs, which was followed by 48 designs ($27\%$) of metaphor expression method and 39 designs ($22\%$) of symbol expression method, which express the tradition as interpreted by the designer. Designs that have adopted direct expression method amounted to no more than 14 pieces, accounting only for $8\%$ of the total designs. This result suggests that transformative, metaphoric and symbolic expressions that simplify or transform the original forms we more frequently used In the applications of traditional elements to modern interiors rather than directive expression that reproduces the original form as it was.

• Proceedings of the KSPS conference
• /
• 2007.05a
• /
• pp.41-44
• /
• 2007

In this paper, we introduce a system in which car navigation scenario is plugged multimodal interface based on multimodal middleware. In map-based system, the combination of speech and pen input/output modalities can offer users better expressive power. To be able to achieve multimodal task in car environments, we have chosen SCXML(State Chart XML), a multimodal authoring language of W3C standard, to control modality components as XHTML, VoiceXML and GPS. In Network Manager, GPS signals from navigation software are converted to EMMA meta language, sent to MultiModal Interaction Runtime Framework(MMI). Not only does MMI handles GPS signals and a user's multimodal I/Os but also it combines them with information of device, user preference and reasoned RDF to give the user intelligent or personalized services. The self-simulation test has shown that middleware accomplish a navigational multimodal task over multiple users in car environments.

• Archives of design research
• /
• v.20 no.2 s.70
• /
• pp.103-116
• /
• 2007

Art education in design has repeatedly stressed the importance of developing creativity. In the digital period, however, which shows rapid change in both forms and contents, it needs to be equipped with more flexible and systematic ways of approaching to the creativity development, especially involved with cultural diversity of the digital world. This paper primarily proposes a maximally efficient, productive creativity learning program in which the integration of expressive media and communication generates a comprehensive network of communicative information in the development of digital technologies, which, consequently, brings forth valuable cultural contents of art. The amalgamation of Won (2006)'s Prism Effect, with distinctive three devices, and the facilitator factors, with two different facilitators such as self-controlled and controlled plays, would function as a catalyst for cultural diversity in the digital forms and contents of art. And this will, consequently, result in producing a number of practices that can be classified and assorted for a later performance. This paper thus suggests a roadmap of how to develop the creativity learning program in which two categories of facilitators based on three thinking devices function to classify four activities. In addition, selected activities are shaped as a creativity learning program by generating learning practices with the formalizing instructional strategy that fit into a specialized educational environment and learners. The samples of loaming practice design show guidelines for practice and the results of learning activity. Therefore, the eventual goal of this paper would be to establish a creativity learning program that constitutes a highly systematized and modularized database to maximize the efficiency and productivity of the creativity development.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.21 no.2
• /
• pp.139-151
• /
• 2019

This study intends to present the directions for effective up-cycling design using Marquage painting through analysis of trends and the formative characteristics of fashion products. Research was conducted through a literature review (published papers, books and web site contents). Cases were analyzed by examining the contents of web sites of global luxury brands, representative workshops, and social network sites (SNS). The results of the study are categorized as follows, First, Marquage paintings are continuously used by global luxury brands and have developed as an expression of self-ownership and the personalization of one's identity. Second, fashion brands use Marquage painting as a customized service for sales. On the other hand, Marquage paintings are used as a kind of up-cycling to present old goods as brand new ones. Third, the patterns used in Marquage painting were classified into five types: geometric patterns, logo patterns, character patterns, lettering patterns, and art patterns. Moreover, formalization by Marquage patterns is represented by identification, customization, and up-cycling. Finally, to up-cycle the expressive features of Marquage- sustainability, scarcity, storytelling, and originality based on factors of up-cycling need to be reflected.

• The Research Journal of the Costume Culture
• /
• v.28 no.4
• /
• pp.420-428
• /
• 2020

This study analyzed the expression of hanbok in online fashion styling games, and examined the main themes of and user reactions to hanbok fashion styling games through semantic network analysis and sentiment analysis. KrKwic, Textom, and NodeXL were used for data collection and analysis. The findings of the study are as follows: First, depending on the designer's expressive method, hanbok fashion styling games provide typical traditional hanbok, modern hanbok, and dress-like fusion hanbok, demonstrating contents with various themes for different sexes, classes, and situations. Second, as a result of analyzing the themes of hanbok-related styling game contents, it turned out that the main themes are tradition, color, historical drama, fusion hanbok, holiday, and love. Most of them produce modernized hanbok that reflect the situation and utility rather than strictly traditional ones. Third, as a result of analyzing user reviews of hanbok styling game contents, positive factors mostly turned out to be the satisfaction of the hanbok contents, with the users also showing positive intent to wear hanbok. Through this, it was found out that hanboks portrayed in game contents could potentially cause the user's positive intent to wear hanbok. Negative factors turned out to be the discordance between the intrinsic image of hanbok and the game character's image.