• International Journal of Contents
• /
• v.12 no.2
• /
• pp.24-30
• /
• 2016

Ontology is known to be one of the most important technologies in achieving semantic web. It is critical as it represents the knowledge in a machine readable state. World Wide Web Consortium (W3C) has been contributing to the development of ontology for the last several years. However, the recommendation of W3C left out HTML despite the massive amount of information it contains. Also, it is difficult and time consuming to keep up with all the technologies especially in the case of constructing ontology. Thus, we propose a module and methods that reuse HTML documents, extract necessary information from HTML tags and mapping it to OWL 2. We will be combining two kinds of approaches which will be the structural refinement for making an ontology skeleton and linguistic approach for adding detailed information onto the skeleton.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1255-1258
• /
• 2012

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 워크플로우에 따라 서비스가 설계되어 조합된다. 대표적인 웹서비스 명세언어인 BPEL의 검증방법에는 Petri nets, Abstract State Machine(ASM), BPE-Calculus 등이 존재한다. 하지만 기존의 방법은 설계와 검증이 분리되어 있어 일관성이 부족하고, 시각화 문제, 동일성, 시간에 대한 제약조건의 문제점이 존재한다. 이에 대한 해결방안으로 이동성, 재구성성, 동일성, 시간속성 등의 새로운 분석 방법을 제시하는 Onion 언어가 제안되었다. 본 논문은 BPEL로 명세된 서비스를 Onion 시스템에 적용시키기 위한, 변환 과정에 대해서 다룬다. 이에 대한 과정으로 BPEL의 액티비티를 Onion으로 변환하고, 워크플로우 패턴을 적용하여, 3 가지 패턴을 Onion OVL로 변환을 적용하였다. 이를 통하여 BPEL을 Onion OVL로 변환하는데 문제가 없음을 보였으며, 효율적인 표현이 가능함을 보였다. 추후 Onion 시스템의 컴포넌트로 적용하여, BPEL로 작성된 서비스를 Onion 시스템을 통해 분석/검증할 수 있다.

• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.500-519
• /
• 2019

The blooming of social media has simulated interest in sentiment analysis. Sentiment analysis aims to determine from a specific piece of content the overall attitude of its author in relation to a specific item, product, brand, or service. In sentiment analysis, the focus is on the subjective sentences. Hence, in order to discover and extract the subjective information from a given text, researchers have applied various methods in computational linguistics, natural language processing, and text analysis. The aim of this paper is to provide an in-depth up-to-date study of the sentiment analysis algorithms in order to familiarize with other works done in the subject. The paper focuses on the main tasks and applications of sentiment analysis. State-of-the-art algorithms, methodologies and techniques have been categorized and summarized to facilitate future research in this field.

• International journal of advanced smart convergence
• /
• v.7 no.4
• /
• pp.154-160
• /
• 2018

Sometimes, literature therapy is done by literature question. Participants naturally get the effect of literature therapy depending on when and what questions we ask. This study aims to lead the discussion of Gosijo's literature physiology ignited by the question. Gosijo, the subject of the study, described the depressed present state of the poetic narrator in the first and second line. By the way, poetic narrator asked a question in the first phrase of the last line and led the action potential. And in the second phrase of the last line, the poetic narrator called the code of sadness and the sadness code came. We have plotted this as Emotion Codon. The result of Emotion Codon at this time was that the narrative of Gosijo ignites the literature therapy mechanism through sadness.

• Electronics and Telecommunications Trends
• /
• v.36 no.6
• /
• pp.67-77
• /
• 2021

Since Richard Feynman presented the concept of quantum computers, quantum computing have been identified today overcoming the limits of supercomputing in various applications. Quantum hardware has steadily developed into 50 to hundreds of qubits of various quantum hardware technologies based on superconductors, semiconductors, and trapped ions over 40 years. However, it is possible to use a NISQ (Noisy Intermediate Scale Quantum) level quantum device that currently has hardware constraints. In addition, the software environment in which quantum algorithms for problem solving in various applications can be executed is pursuing research with quantum computing software such as programming language, compiler, control, testing and verification. The development of quantum software is essential amid intensifying technological competition for the commercialization of quantum computers. Therefore, this paper introduces the trends of the latest technology, focusing on quantum computing software platforms, and examines important software component technologies.

• Journal of Advanced Information Technology and Convergence
• /
• v.10 no.1
• /
• pp.45-56
• /
• 2020

Despite extensive research, performance enhancement of keyphrase (KP) extraction remains a challenging problem in modern informatics. Recently, deep learning-based supervised approaches have exhibited state-of-the-art accuracies with respect to this problem, and several of the previously proposed methods utilize Bidirectional Encoder Representations from Transformers (BERT)-based language models. However, few studies have investigated the effective application of BERT-based fine-tuning techniques to the problem of KP extraction. In this paper, we consider the aforementioned problem in the context of scientific articles by investigating the fine-tuning characteristics of two distinct BERT models - BERT (i.e., base BERT model by Google) and SciBERT (i.e., a BERT model trained on scientific text). Three different datasets (WWW, KDD, and Inspec) comprising data obtained from the computer science domain are used to compare the results obtained by fine-tuning BERT and SciBERT in terms of KP extraction.

• Annual Conference of KIPS
• /
• 2009.04a
• /
• pp.440-443
• /
• 2009

그래픽 언어 기반의 요구사항 작성은 임베디드 시스템의 RBT(Requirement-Based Testing)을 위해 적절한 요구사항 모델링이다. 본 논문은 그래픽 언어기반으로 작성된 요구사항을 상태 기반으로 해석하고, 테스트 케이스를 자동으로 생성하기 위한 방법에 대해 논한다. 먼저 요구사항 다이어그램의 구성을 살펴 보고, REED 라는 도구를 통해 실제 작성된 하나의 요구사항을 바탕으로 테스트 케이스 생성을 위한 모델 전체의 상태 공간을 정의하고 상태 공간과 테스트 케이스 생성에 대해 논한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.6
• /
• pp.145-151
• /
• 1995

The first-order Taylor series expansion can be evaluated analytically from the formulated symbolic nonlinear dynamic equations. A closed-form linear dynamic euation is derived about a nominal trajectory. The state space representation of the linearized dynamics can be derived easily from the closed-form linear dynamic equations. But manual symbolic expansion of dynamic equations and linearization is tedious, time-consuming and error-prone. So it is desirable to manipulate the procedures using a computer. In this paper, the analytic linearization is performed using the symbolic language MATHEMATICA. Two examples are given to illustrate the approach anbd to compare nonlinear model with linear model.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.12
• /
• pp.54-62
• /
• 1996

To get the time response characteristics of the hydrostatic transmission, seaborne winch is modelde by using bond graphs. After modeling of its basic elements, it is represented as power flow, and the determination of variable causality. The state equations are derived by using CAMP. As dynamic stabilites and solutions are investigated by perturbation method and direct integration, winch system is stable. Simulations are performed under the conditions of low speed, high speed, and maximum tension. The pressure and flow rate of the hydrostatic transmission have a big overshoot. But when it is comparaed to the empirical data with simulation results, it is similar to each other. When a lead compensator is applied to improve response characteristics of the hydrostatic transmission, rise time and overshoot of the system are improved.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.2
• /
• pp.269-277
• /
• 1986

This paper proposes a new algorithmic state machine(ASM) chart and a new hardware description for automatic logic design of VLSI. To describe the behavioral characteristics of the design specification, the conventional ASM chart is modified, and a new hardware description language, SDL, is proposed. The SDL is one-to-one correspondent to the proposed ASM chart symbol, and can be used in a hierachical design of VLSI. As a design example, we obtain a logic circuit diagram of gate lebel utilizing a SDL hardware compiler after drawing an ASM chart and describing in SDL.