• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.12
• /
• pp.2834-2851
• /
• 1997

In this paper, a design and implementation of VHDL compiler front-end, aims at supporting the full-set of VHDL '87 & '93 LRM and carring out the preprocessing of VHDL-to-C, is described. The VHDL compiler front-end includes 1)the symbol tree of analyzed data to represent the hierarchy, the scope and visibility, the overloading and homograph, the concurrent multiple stacks in VHDL, 2)the data structure and supportig routies to deal with the objects, the type and subtype, the attribute and operation in VHDL, 3)the analysis of the concurrent/sequential statements, the behavior/structural descriptions, of semantic token and the propagation of symbol & type to improve the registration and retrieval procedure of analyzed data. In the experiments with Validation Suite, the VHDL compiler front-end could support the full-set specification of VHDL LRM '87 & '93; and in the experiments to asses the performance of symantic token for the VHDL hierachy/visibility/concurrency/semantic checking, the improvement of about 20-30% could be achieved.

• Journal of KIISE
• /
• v.43 no.5
• /
• pp.531-540
• /
• 2016

Development of various sensors attached to mobile and wearable devices has led to increasing recognition of current context-based service to the user. In this study, we proposed a probabilistic model for recognizing user's food intake context, which can occur in a great variety of contexts. The model uses low-level sensor data from mobile and wrist-wearable devices that can be widely available in daily life. To cope with innate complexity and fuzziness in high-level activities like food intake, a context model represents the relevant contexts systematically based on 4 components of activity theory and 5 W's, and tree-structured Bayesian network recognizes the probabilistic state. To verify the proposed method, we collected 383 minutes of data from 4 people in a week and found that the proposed method outperforms the conventional machine learning methods in accuracy (93.21%). Also, we conducted a scenario-based test and investigated the effect contribution of individual components for recognition.

• Journal of the Korea Convergence Society
• /
• v.8 no.9
• /
• pp.161-174
• /
• 2017

This study aimed to provide basic data for oral health promotion in adults by analyzing causal relationships for oral health practice determinants. A total of 204 questionnaires obtained from adults living in Busan and Gyeongnam area were analyzed to verify the study model with the Smart PLS v2.0 M2 software. Among oral health belief factors, the severity of and susceptibility to oral disease and benefit of oral care behavior affected oral health-related self-efficacy. The self-efficacy on ordinary oral health care behavior significantly affected overall oral health practice. The severity of and susceptibility to oral disease and benefit of oral disease prevention behavior affected toothbrushing habit and oral examination and training through toothbrushing-related self-efficacy. Therefore, the increased oral health-related self-efficacy through strategic efforts, including various training media development, with improved awareness of oral health belief by continuous oral health care program development will lead to continuous oral health practice in adults.

• Journal of the Korean Geographical Society
• /
• v.42 no.4
• /
• pp.560-581
• /
• 2007

The purpose of this paper is to present a conceptual framework and a stage of development of trust building and to study the factors affecting on the trust building in economics space. Conceptual framework on trust building in economics space is combined of in the three approaches. The macro(structural and institutional) approach includes normative and regulative factors(laws, norms), and positionality in social and economic systems(beliefs, political ideologies, institutions). The meso(intersubjective) approach contains the personal fronts(expressive factors, social cues, significant symbols) and settings(physical space, intermediary such as technologies & knowledges). The micro(subjective) approach comprises the willingness(internalization of value) and calculation(risk and uncertainties analysis) of economic actors. According to sustainable cooperation among economic actors, trust building to the macro(structural and institutional) level, the meso(intersubjective) level, and the micro(subjective) level develop by stages. The factors such as long-term and repeated interaction, information sharing and reciprocity, interdependence and asset specificity, uncertainty, proximity, and culture & norm of corporate and formal institution are determinants on the trust building across economic actors in economic space.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.84-86
• /
• 1999

인터넷 쇼핑몰에서 고객의 취향에 맞게 구성된 광고 및 정보서비스 제공을 위하여, 다수 에이전트와 광고 제공 기법을 이용하여 설계한 시스템구조와 프로토타입 시스템을 소개한다. 본 시스템에서는 고객의 프로파일을 작성하고, 구매성향 데이터를 저장하는 개인화 에이전트와 사용자의 행위를 모니터링하여 로그 파일에 저장하는 모니터링 에이전트 그리고 로그파일을 분석하여 개인화 서비스에 적용할 수 있는 유용한 마케팅 정보를 추출하는 분석 에이전트, 마지막으로 추출된 마케팅 정보와 구매력을 바탕으로 광고 선정 알고리즘을 이용하여 개인화된 광고 및 정보 서비스를 제공한다. 이러한 멀티 에이전트 기반의 인터넷 쇼핑몰구조는 전자상거래에서의 맞춤 서비스를 제공함으로써 고객의 지속적인 방문을 유도하고자 한다.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.27-36
• /
• 2012

This study aims to find out the effectiveness of regulation of promotional gifts and exemption of charges by analyzing the judgement criterion of illegality and the corrective action taken by regulatory agencies and suggests effective way of regulation. The results show that recently the differences of price-cut is getting bigger. In addition, Fair Trade Commission has considered discounts as unfair predatory price only if price is below the cost. But in the telecommunication business law enacted by Korea Communications Commission, 'expected profits per subscriber' has been applied as a key criterion. KCC's criterion is based not on the expected profit of individual service provider but on the averaged profit of services providers. It doesn't consider differences of service quality and the cost structure between dominant firm and late comers. Prohibition act of user discrimination result in the increase of subscriber and operating profits of late comers but this is not direct purpose of regulation. It can be desirable in the aspect of fair competition but since it may reduce consumer welfare, the criterion needs to be reconsidered.

• Journal of Korea Water Resources Association
• /
• v.53 no.9
• /
• pp.671-680
• /
• 2020

This study aims to explore structural properties and central actors of the local water policy system through a network approach, and to suggest practical implications for establishing collaborative water governance at the local level. Especially, this study conducts a social network analysis to empirically analyze the actors' roles and relationships of water management in Jeju Special Self-Governing Province and represent them with sociograms. In this study, the local water management network is divided into two dimensions: official work network, public-private policy network based on information-sharing and consultation. Also, the networks are divided into a whole network and two sectoral networks(water-use/water-quality). This study found some meaningful differences of structural properties and central actors not only in the official work networks and the policy networks but also in the water-use networks and the water-quality networks. Thus, public managers should diagnose and manage the relational properties among multiple stakeholders in local water sector through a network perspective. In particular, (1)co-operation between the administrative departments responsible for water-use and water-quality, and (2)information-sharing and consultation among public and private stakeholders should be improved to establish collaborative local water governance.

• Korean journal of communication and information
• /
• v.51
• /
• pp.5-25
• /
• 2010

The purpose of this research examined the relationship between the level of news usage on Influenza A(H1N1) and media users' behavioral intention toward health protection. Specifically, the study investigated causal relationships among exposure of media information on Influenza A(H1N1) as an independent variable, psychological protection motivation factors such as perceived severity, vulnerability, response efficacy, & self-efficacy as mediated variables and behavioral intention on personal and public health protection as dependent variables using structure equation model analysis. Self-reported questionnaires were administrated to 460 college students. The result indicated the followings. First, the level of news usage on Influenza A(H1N1) was not statistically significant on influencing behavioral intention toward personal and public health protection. Second, perceived severity, vulnerability, and self-efficacy were significant variables on behavioral intention toward personal health protection whereas perceived vulnerability and response efficacy were significant on public health protection. The function among factors in protection motivation theory is dependent upon whom protected from illness.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.405-413
• /
• 2001

이 연구는 상거래 대화의 진행 구조에 따른 화행상의 특징을 분석하는 데 목적이 있다. 상거래 대화는 일상 대화와는 달리, 특정 상황에서 특정 목적을 수행하기 위한 대화이다. 대화가 목적 달성을 위하여 단계적으로 진행되는데, 단계마다는 화행에서 특징적인 양상을 보인다. 이 연구에서는 상거래 대화의 진행 단계 구조를 '(시작 단계) - 매매 준비 단계 - 매매 흥정 단계 - 매매 결정 단계 - 매매 행위 단계 - (종결 단계)'와 같이 분석한다. 다음으로 화행에 대해서는 상거래 대화에서 나타나는 화행의 유형과 빈도를 조사하여 일반적인 특징을 살펴본다. 그리고 응대의 개념을 도입하여 각 진행 단계별로 나타나는 화행과 응대를 분석하여 상거래 대화 화행의 역동적인 양상을 고찰한다.