• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.7_8
• /
• pp.341-351
• /
• 2003

For debugging effectively the shared-memory programs with nested parallelism, it is important to detect efficiently the first races which incur non-deterministic executions of the programs. Previous on-the-fly technique detects the first races in two passes, and shows inefficiencies both in execution time and memory space because the size of an access history for each shared variable depends on the maximum parallelism of program. This paper proposes a new on-the-fly technique to detect the first races in two passes, which is constant in both the number of event comparisons and the space complexity on each access to shared variable because the size of an access history for each shared variable is a small constant. This technique therefore makes on-the-fly race detection more efficient and practical for debugging shared-memory programs with nested parallelism.

• ICROS
• /
• v.19 no.2
• /
• pp.34-38
• /
• 2013

자연계에서 빈번히 목격되는 군집 현상과 그 효용성의 고찰에 기인하여, 최근 다중 이동 로봇의 협업에 대한 연구가 활발히 수행되고 있다. 그 중, 본 논문에서는 다중 이동 로봇의 군집 제어 방법론들을 설명하고, 그와 관련된 최신 결과들도 소개한다. 특히 군집 제어 문제를 해결하기 위한 대표적인 방식인 행동 기반 접근법, 가상 구조 접근법, 선도-추종 접근법, 그래프 이론 기반 접근법 위주로 소개한다.

• Proceedings of the KAIS Fall Conference
• /
• 2001.05a
• /
• pp.176-179
• /
• 2001

최근 Java 언어가 갖는 다양한 특징은 전자상거래, 전자출판, 멀티미디어 응용 등에서 이용되고 있다. 본 논문에서는 Java 기반의 응용프로그램의 사용자 인터페이스를 위해 Java 쉘 구현하였으며 Java 쉘에서의 접근제어를 위한 응용 수준의 계층적 보안 정책의 관리를 위한 XML 기반의 DTD를 설계하였다. 설계된 DTD는 Java 쉘 사용자의 Java클래스 접근 및 원격 객체에 대한 접근을 제어하기 관리를 목적으로 한다. XML 기반의 사용자 형상정보는 Java 쉘의 명령어 수행을 위한 클래스 해석과정에서 적용하여 로컬 및 원격 자원에 대한 접근을 제어할 수 있도록 기능을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.326-328
• /
• 2003

본 논문에서는 최근 그 필요성이 크게 인식되고 있는 XML 문서에 대한 보호 방안을 접근제어 기법을 적용하여 해결하고자 한다. 일반적인 자원 또는 HTML 문서에 적용되는 접근 방법과 달리 XML 문서가 가지는 구조적 특성을 충분히 활용하여 XML 문서의 각 엘리먼트 레벨까지 소유주의 보호 권한(protection privilege)을 만족하면서, 적절한 사용권한을 가진 사용자에게 해당 XML 문서에 대한 접근과 변경을 수행하는 메커니즘을 제안한다.

• Journal of Practical Engineering Education
• /
• v.11 no.2
• /
• pp.291-303
• /
• 2019

The purpose of this research was to investigate the effect of the achievement goal orientation on college students' life satisfaction and sense of the belonging. This study used the analysis of the latent growth model to comprehend the slope of the 3 years longitudinal data. The result was that mastery approach and mastery avoidance affected the initial value of college life satisfaction, but not its slope as the time of 3 years went. On the other hand, performance approach was the opposite of mastery approach and mastery avoidance to college students' life satisfaction. Performance avoidance did not have an influence on both the initial value and the slope of college students' life satisfaction. The effect of the achievement goal orientation to the sense of belonging was also explored and its result was that mastery approach and mastery avoidance affected the initial value of the sense of belonging. However, it was different that performance approach did not influence the slope of the sense of belonging.

• The KIPS Transactions:PartA
• /
• v.16A no.2
• /
• pp.55-60
• /
• 2009

Race conditions in current Java programs must be detected because it may cause unexpected result by non-deterministic executions. For detecting such races during program execution, execution flows of all threads and all access events can be monitored. It is difficult for previous race detection techniques to monitor all threads and access events in actuality because these techniques analyze the files traced during program execution or modify original source programs and then monitor these programs. This paper presents a transparent scalable monitoring tool to detect races using JDI(Java Debug Interface) where JDI is 100% pure java interface to provide in JDPA(Java Platform Debugger Architecture) and is able to provide information corresponding to events occurred in run-time of programs. This tool thus can monitor execution flows of all threads and all access events without program modification. We prove transparency of the presented tool and grasp the efficiency of it using a set of published benchmark programs. As a result of this, the suggested tool can monitor all threads and accesses of these programs without their modification, and their monitoring time is increased to more than 20 times.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.9
• /
• pp.337-346
• /
• 2015

There is great need for efficient user rights management method to provide a flexible service on variety protocols, domains, applications of IoT environments. In this paper, we propose a IoT service platform with CapSG to provide efficient access control for IoT various services of the environment. CapSG uses a token including authentication and access rights to perform authentication and access control service entity providing services. In addition, the generated token for service management, delegation, revocation, and provides a function such as denied. Also, it provides functions such as generation, delegation, disposal and rejection for service token management. In this paper, it provides the flexibility and efficiency of the access control for various services require of the IoT because of it is available to access control specific domain service by using the token group for each domain and is designed to access control using specific service token of tokens group.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.746-748
• /
• 2003

범위 상위-k 질의는 질의 범위 내의 다차원 데이타 중 값 애트리뷰트를 기준으로 상위 k개의 레코드를 반환하는 질의로 공간 데이타베이스와 데이타 웨어하우스에서 분석을 위해 많이 사용되는 유용한 질의 형태이다. 이 논문에서는 계층 최대 R-트리의 선택적인 탐색을 통해 범위 상위-k 질의를 효과적으로 수행하는 기법을 제시한다. 질의 결과를 포함하지 않는 단말 노드를 접근하지 않고 질의를 수행할 수 있기 때문에 적은 노드 접근으로도 질의 수행이 가능하며, 질의 범위의 크기에 관계없이 거의 일정한 성능을 보인다. 두 개의 우선순위 큐를 사용하며 질의 수행 공간을 최소화 하며, In Sorted Node 기법을 통해 기존 R-트리와 같은 팬아웃을 보장할 수 있다.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.04a
• /
• pp.215-223
• /
• 2013

산업기술의 비약적인 발전으로 인해 오늘날 우리가 개발하거나 사용하는 시스템은 보다 기술의 고도화 양상을 보이고 있다. 따라서, 기존의 시스템이 지니고 있어 제공하는 단일 특성에서 벗어나 다양한 학제간 결합된 기술로 기존 시스템이 지니고 있는 관념적인 기능에서 벗어나 다기능을 제공하고 있다. 이로 인해, 기존의 개발단계에서는 보다 높은 설계 신뢰성이 요구되고 있다. 특히, 오늘날 우리사회는 시스템의 개발 성공이라는 안도에서 벗어나 시스템 운용 유지단계에서도 안전성 측면에서 매우 중요성을 인식하고 대비하고 있다. 따라서, 국내에서는 미흡한 상위 단계에서의 설계활동과 또한, 같은 시스템 수명주기 상에서의 시스템 안전활동을 동시에 고려한 동시공학적인 접근에 관한 연구를 본 연구팀은 지속적으로 수행해왔다. 따라서, 기존의 연구결과인 설계와 안전을 동시에 고려한 통합 설계 프로세스 모델에 대해, 시스템개발에 관련한 모든 이해당사자가 공통된 이해를 바탕으로 시스템설계와 안전 활동에 대해 상호 호완성과 공통된 인식을 갖고 접근할 수 있는 방안을 본 연구를 통해 수행하였다. 따라서, 본 연구는 모델기반 시스템공학 기법중 보편적인 언어인 공통 언어를 통해 기존 연구를 통해 제시한 통합설계 프로세스 모델을 구현에 관한 연구 수행을 통한 접근 방안에 관하여 논의하고 있다. 본 연구를 기반으로 향후 추가 연구를 수행한다면, 국내 대형복합시스템의 설계단계에서의 안전성을 동시 고려한 시스템 설계 신뢰성 확보를 위해 도움이 될 것으로 기대 된다.

• Journal of Gifted/Talented Education
• /
• v.20 no.3
• /
• pp.947-966
• /
• 2010

This study was to examine whether musically talented adolescents' passion and achievement goals influence their deliberate practice. Of the musically talented adolescents surveyed from two arts high schools in Seoul, Korea, 597 completed and returned the questionnaires. Their average age was 17.4 years. Paired t-test on musically talented adolescents' passion(i.e., harmonious passion, and obsessive passion) and achievement goals(i.e., mastery goals, performance-approach goals, and performance-avoidance goals) indicated that harmonious passion were higher than obsessive passion. Mastery goals were higher than performance-approach goals. And performance-approach goals were higher than performance-avoidance goals. Independent t-tests were measured between high and low deliberate practice(DP) groups. High DP group showed higher harmonious and obsessive passion, and mastery and performance goals than low DP group. It was also found that two types of passion(i.e., harmonious and obsessive) positively influenced on deliberate practice via mastery goals.