• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.281-286
• /
• 2007

유비쿼터스 컴퓨팅이란 사용자에게 지속적인 서비스를 제공해주는 컴퓨팅 환경을 말한다. 끊임없이 동적으로 변하는 유비쿼터스 환경에서 수많은 상황데이터가 발생을 하고 상황정보로 추상화하는 과정이 필수적이다. 상황인지시스템은 동적인 상황정보에 대한 생성, 조작, 공유 등이 일관성 있게 이루어져야 한다. 이러한 상황정보의 조작을 위한 수많은 상황인지 모델이 제시되고 연구되어 왔다. 본 논문에서는 유비쿼터스 환경을 위한 온톨로지 기반 상황인지 시스템을 제시한다. 상황정보에 대한 생성, 컨텍스트 추론, 지식의 공유을 위해 온톨로지 표준언어인 OWL을 사용한 컨텍스트 온톨로지를 생성한다. 디바이스의 상황정보 생성을 위해 SWRL 규칙언어를 사용하고 생성된 디바이스 상황에 고장진단 및 수리서비스를 제공하기 위해 규칙추론기반 언어인 Jess를 사용하고 OWL기반의 컨텍스트 온톨로지와의 연계를 위해 Jess Tab API를 사용한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Journal of the Korea Society for Simulation
• /
• v.20 no.1
• /
• pp.9-18
• /
• 2011

Recently, in the era of low carbon and green growth, the importance of railway transportation is being emphasized However, there is a lack of research on simulation for railway depot. This paper presents the development of the dynamic simulator for LRT(Light Rail Transit) depot. This study presents explanations of requirement analysis, architecture, database design, simulation algorithm, and design and development of the simulation tool. The dynamic LRT depot simulation tool consists of four modules; a Network Editor to create and modify information regarding railroad, train, signal, turnout, job and station, a Simulator to calculate train movement algorithm, a Reporter to show simulation results in table and graphs, and an Animator to animate simulation results dynamically. It is hoped that this study on general details of structure, design and development of LRT depot dynamic simulator will perform as a good reference to future development of new simulation tools.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.11
• /
• pp.2997-3009
• /
• 1998

독자-필자 문제(readers-writers problem)를 위한 기존의 스케쥴링 정책들은 대부분 독자나 필자 중 어느 한 쪽에 편향된 처리 성향을 가지고 있기 때문에 응답 시간이나 처리량, 둘 중 하나의 성능이 상당히 좋지 않은 특성이 있다. 본 논문에서는 이러한 문제를 개선하고자 새로룬 동적 스케쥴링 정책인 CAP(Counter-based Adaptive Priority)을 제안한다. CAP은 동시에 수행될 수 없는 필자에게 가중치를 주는 기법과 소수의 독자를 무작정 지연시키는 것을 막기 위한 에이징(aging) 기법을 동적으로 결합하여 사용하고 있다. CAP은 기는(starvation) 문제를 가지고 있지 않으며 주어진 상황에 동적으로 대응하는 능력을 가지고 있기 때문에 처리량과 응답 시간 모두 FCFS에 비하여 더 우수하다. 제안된 정책에 대한 효과성을 입증하기 위하여 세마포어 기반의 해법을 제시하고 사건-기반 시뮬레이션을 사용하여 기존의 정책들과 성능을 비교하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.11
• /
• pp.2874-2883
• /
• 1998

프로그램 조각화 기법은 프로그램을 이해하기 쉬운 조각 단위로 분해하여 소프트웨어 개발자나 유지보수다사 프로그램을 쉽게 이해할 수 있도록 지원한는 방법이다. 본 논문ㅇ세는 변수-변수 관련성을 이용하여 정확하고 수행 가능한 프로그램 조각을 추출하는 동적 프로그램 조각 추축 알고리즘을 제안한다. 각 문장에서 변경되는 변수와 참조되는 변수로 나누어서 변수 집합을 계산하고, 선언부에 있는 문장에 대해 변수-변수 관련성을 계산한다. 변수-변수 관련성을 계산할 때는 선언부의 변수가 다른 문장에서 변경되는 변수로 사용된 경우와 참조되는 변수로 사용된 경우를 별도로 조사하여 변경되는 변수 집합은 무조건 관련 집합에 포함시키고, 문장에서 참조되는 변수들은 문장들을 다시 비교하여 기준 변수와 관련된 문장만을 추출하여 관련 집합에 포함시킨다. 제안한 알고리즘은 C 언어를 대상으로 실험한 결과 정확하고 수행 가능한 동적 조각을 추출하였고, 기존의 방법들보다 관련 문자을 찾기 위한 문장의 비교횟수를 평균 42%까지 감소시켰다. 기준 변수가 많을수록 기준 변수와 관련이 없는 변수가 많을수록 문장의 비교 횟수가 현저하게 감소하였다.

• Journal of Internet Computing and Services
• /
• v.8 no.5
• /
• pp.35-43
• /
• 2007

Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.6
• /
• pp.1419-1424
• /
• 2013

Passive optical networks (PONs) are the emerging solution for access networks since PONs provide high bandwidth and the low operation cost. In recent, the new solution in access networks is TWDM PON which is a mixture of WDM (wavelength-division multiplexing) and TDM (time-division multiplexing). This paper proposes a new MAC (media access control) protocol for TWDM PON. In addition, this paper proposes and evaluates a new dynamic bandwidth allocation method for TWDM PON.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.6
• /
• pp.1016-1026
• /
• 1994

In this paper, we have studied load balancing problems in distributed systems. The nodes of distributed systems exchange periodically system state information each other. The information is stored in history. Based on the information, we compute an expected load index(ELI) using a five-degree interpolation polynomial in Newton`s backward difference interpolation formula. A new location policy of dynamic load balancing systems makes use of the ELI. We show that its performance is better than that of the existing load balancing algorithm through a simulation study.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.6
• /
• pp.417-421
• /
• 2007

Recently, many studies have focused on extracting transliteration pairs from bilingual texts. Most of these studies are based on the statistical transliteration model. The paper discusses the limitations of previous approaches and proposes novel approaches called dynamic window and tokenizer to overcome these limitations. Experimental results show that the average rates of word and character precision are 99.0% and 99.78%, respectively.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.671-674
• /
• 2002

동적 메모리 할당 방식은 사전에 그 메모리의 크기를 결정할 수 없는 경우에 효과적인 프로그래밍 기술이다. 하지만 메모리 조각화 문제와 최악의 경우 실행 시간을 예측할 수 없는 단점 때문에 실시간 시스템에는 거의 적용되지 않고 있다. 본 연구에서는 리눅스 기반의 실시간 시스템을 위한 동적 메모리 할당 알고리즘인 QB(Ouick-Buddy)를 제안한다 제안된 알고리즘은 작은 크기의 메모리 요구에 대해서 워드 크기별로 프리 리스트를 관리하고, 큰 크기의 메모리 요구에 대해서는 이진 버디 시스템을 이용하여 관리한다. 이 알고리즘에서는 작은 크기의 메모리 요구에 대해 완전-적합(exist-fit) 전략을 사용하여 메모리 이용 효율을 증가시킨다. 또한 큰 크기의 메모리 요구에 대해서 버디 시스템을 적용함으로써 외부 조각화를 제거시키고 처리량(throughput)을 증가시킨다. 제안된 알고리즘의 성능을 확인하기 위해서 제안된 알고리즘과 이진 버디 시스템(binary buddy system), 빠른-적합(quick-fit)의 메모리 이용 효율성 및 메모리 조각화 율을 비교할 것이다.