• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.10
• /
• pp.333-344
• /
• 2022

In a container-based cloud environment, multiple containers can share a graphical processing unit (GPU), and GPU sharing can minimize idle time of GPU resources and improve resource utilization. However, in a cloud environment, GPUs, unlike CPU or memory, cannot logically multiplex computing resources to provide users with some of the resources in an isolated form. In addition, containers occupy GPU resources only when performing GPU operations, and resource usage is also unknown because the timing or size of each container's GPU operations is not known in advance. Containers unrestricted use of GPU resources at any given point in time makes managing resource contention very difficult owing to where multiple containers run GPU tasks simultaneously, and GPU tasks are handled in black box form inside the GPU. In this paper, we propose a container management technique to prevent performance degradation caused by resource competition when multiple containers execute GPU tasks simultaneously. Also, this paper demonstrates the efficiency of container management techniques that analyze and propose the problem of degradation due to resource competition when multiple containers execute GPU tasks simultaneously through experiments.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.5
• /
• pp.23-30
• /
• 2021

In this paper, we propose an extended reality-based simultaneous multi presence system in a process of remote cooperative work. The proposed system generates a ring-shaped invisible screen which surrounds a user, and it provides position and manipulation of remote workspace and personal workspace. With the proposed system, the user easily navigates the several workspace for the remote collaboration or he/she selects a specific space for immersion. The proposed system also provides manipulation of personal workspace for the user during the remote cooperative work. We conducted a user study to prove effectiveness of the proposed system. According to the results, the proposed system increased understanding spatial information and usage of time during the remote cooperative work.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2418-2420
• /
• 2002

이동로봇의 위치 추정은 센서로부터 획득한 외부 환경에 대한 측정값과 지도상에 주어진 외부 환경에 대한 정보를 비교하여 로봇의 현재위치를 추정하는 작업이다. 반면 지도 생성은 로봇의 위치정보와 외부 환경에 대한 센서의 측정값을 이용하여 외부 환경의 주요한 특징점 들의 위치 정보를 추정하는 작업이다. 따라서 정확한 위치 추정을 위해서는 정확한 지도 정보가 필요하며, 정확한 지도 생성을 위해서는 로봇의 위치를 정확히 파악하고 있어야 한다. 그러므로 로봇의 위치 추정과 지도 생성을 동시에 수행하는 작업은 상당히 어려운 작업으로 알려져 있다. 본 논문에서는 로봇의 위치 추정과 지도 생성을 동시에 수행하기 위한 방법을 제시한다. 특히 부정확한 지도 정보를 고려한 위치 추정 방법과 부정확한 위치 정보를 고려한 지도 생성 방법에 대해 논의한다. 그리고 시뮬레이션을 통하여 불확실성을 고려하는 방법이 기존의 방법에 비해서 성능면에서 우수하다는 것을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.631-633
• /
• 2002

본 논문에서 제안하는 컴퓨터 지원 협동 작업 환경에서의 오류 문제를 위한 동시성 제어란 오류 발생 시에 오류도 하나의 명령어로 취급하고 명령어와 오류가 동시에 발생할 시에 명령어를 순서화해 주는 문제에 대한 시스템을 기술한다. 여기서 전체세션 관리자와 지역 세션 관리자는 분산되어 있고 참여자와 응용 프로그램은 복제된 구조를 갖는다. 즉, 전체 각 참여자가 필요한 view를 생성자가 분배한 abstraction으로 각자 지역적으로 생성한다. 이와 같은 과정으로 네트워크가 구성된다. 오류 및 명령어를 처리하는 컴퓨터와 결과가 보여지는 컴퓨터가 서로 다르기 때문에 오류 발생 또는 명령어 입력과 동시에 화면에 보여지지 않는 단절감이 발생한다. 이것을 제거하기 위하여 공유 윈도우에서 발생하는 이벤트의 결과를 지역윈도우에서 투영시키고 순서화 작업이 끝난 결과와 비교해서 다를 경우에만 새로이 뷰를 생성한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.568-570
• /
• 2004

Harel과 UML에서 제공하는 기존 개념의 상태챠트는 실시간 작업들의 동시성(concurrency)을 모델링하기 어려운 단점을 가진다. 본 논문에서는 이러한 문제점을 해결하기 위해 재진입 상태머신과 재진입 상태챠트라는 새로운 개념을 제안한다. 재진입 상태머신은 병렬적으로 실행할 작업들을 교차수행(interleave)함으로서, 상태챠트로 표현되는 실시간 작업들의 동시성(Concurrency)물 효과적으로 지원할 수 있다 이러한 재진입 상태머신을 기반으로, 재진입 상태챠트는 간결하고 풍부한 표현 의미를 제공하며, 아울러 동시적으로 처리되는 행동 모델들을 구체적으로 표현할 수 있다. 재진입 상태머신과 재진입 상태챠트를 이용하여 실시간 시스템을 구현하면 프로세스간 흑은 쓰레드간의 스위칭이 불필요해짐에 따라 그에 따른 실행 오버헤드를 최소화할 수 있다.

• The Journal of Korean society of community based occupational therapy
• /
• v.10 no.2
• /
• pp.1-9
• /
• 2020

Objective : The purpose of this study was to establish the concurrent validity of the Korean Occupational Balance Assessment(OBA) tool. Methods : This study was conducted on 1016 people from October 1 to October 25, 2019. Data collection was performed using OBA and Occupational Balance Questionnaire11(OBQ11). The data were analyzed by descriptive statistics, Pearson correlation. Results : There was a significant correlation between the scores of the three areas of OBA and the total score of OBQ11(p<.01). All three areas were analyzed with positive correlations. The time use area (r = .554) and occupation frequency area (r = .574) were found to be correlated. Most of the sub-factors in the occupation characteristics area (importance r = .582, goal achievement r = .633, enjoyment r = .649, health r = .650) were analyzed with high correlation. Conclusion : OBA has proven to be a valid and reliable assessment tool for measuring occupational balance. Further research needs to provide guideline on occupational balance for usefulness in clinical area.

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.295-301
• /
• 2007

온톨로지의 재사용을 위한 온톨로지 통합 연구가 진행 중이다. 기존의 온톨로지 통합 방법으로는 세 개 이상의 온톨로지를 한 번에 통합할 수 없으며, 다수의 작업자가 동시에 통합 작업을 할 수 없다는 단점이 있다. 따라서 본 논문에서는 메타 온톨로지를 이용하여 다수의 작업자가 다수의 온톨로지를 동시에 통합할 수 있는 온톨로지 통합 프로세스(OntoIntegProcess)를 제안하고, 온톨로지 통합 실험을 통해 제안한 온톨로지 통합 프로세스의 효용성을 확인한다.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.3
• /
• pp.16-25
• /
• 2003

Modeller is defined as the office work procedures(business processes), and that is systemically based upon the real-time collaborative operations by a set of actors, which is called group. This paper describes the design of the ICN editor that is operable under the real-time collaborative computing environment. We use the database agent that enables the ICN editor to operate among multiple actors(group) through the event-driven collaboration platform. Consequently, a set of workflow and business processes defined through this editor is not only stored onto database but also transformed into the format of the workflow process definition language(WPDL) that is a standardized worflow description and specification language proposed by the workflow management coalition(WfMC). This method can improve the performance of workflow processing by minimizing the workflow execution cost occurred during workflow definition.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.425-430
• /
• 2006

현재 대부분의 데스크탑 시스템에서 사용자는 단지 하나의 마우스를 사용해서 컴퓨터와 상호작용을 하고 있다. 본 논문에서는 각각의 손으로 동시에 두 개의 마우스들을 사용할 때, 작업 성능에 대한 효과를 살펴보고자 한다. 본 논문에서의 실험에서는 데스크탑 환경에 기반한 간단한 게임 (날아오는 총알 피하기와 잡기)에서 세 개의 독립 변수들로 한 손 또는 양 손 사용 여부, 주위 상황(총알)의 변화 속도, 그리고 두 커서(캐릭터)들간의 거리 차이를 사용하고, 종속 변수로 사용자의 작업 성능(부딪친 총알 개수)을 측정하였다. 실험 결과에 의하면, 두 커서 (또는 두 캐릭터)와의 동시 상호작용이 필요할 때 한 손보다는 양 손을 사용할 때의 작업 성능이 통계적으로 유의하게 좋았고, 두 커서 사이에 거리가 멀수록, 그리고 총알의 속도가 느릴수록 작업 성능은 유의하게 좋았다. 독립 변수들 사이에는 서로 유의한 교호작용이 나타나지 않았는데, 이것은 작업 성능에 대한 양손의 효과가 다른 독립 변수들의 각 레벨과는 상관이 없었다는 것을 의미한다.