http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
적합성 및 상호운용성 문제에의 응용을 위한 통신 시스템 모델링 언어
강성원(Sungwon Kang),이명성(Myung Sung Lee) 한국정보과학회 1996 정보과학회 컴퓨팅의 실제 논문지 Vol.2 No.2
이 논문에서는, 통신시스템 모델링하기 위한 형식언어를 개발한다. 이 언어를 사용하여, 구현의 올바름에 관련된 핵심개념들인 적합성관계와 상호운용성관계의 형식적 정의를 내린다. 이 정의에 기초하여, 적합성과 상호운용성사이의 근본적인 관계를 기술하고 증명한다. In this paper, a formal language for modeling communicating systems is developed. Using the language, central notions related to implementations correctness, i.e. conformance relation and interoperability relation, are formally defined. Based on these definitions, a fundamental relation between conformance and interoperability relations is stated and proved.
강성원(Sungwon Kang),신재휘(Jaehwi Shin),성종진(Jongjin Seong),홍경표(Kyowngpyo Hong) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.4
둘 혹은 그 이상의 개체가 협력하거나 통신할 때와 같이 상호작용할 때 그 상호작용의 올바른 정도를 상호운영성이라고 한다. 소프트웨어에서 상호운영성시험의 필요성은 복수의 소프트웨어 개체를 사용하여 주어진 기능 혹은 임무를 수행하는 시스템을 구축할 때 발생한다. 오늘날 소프트웨어가 더욱더 복잡한 문제를 해결하기 위하여 이용되고 소프트웨어시스템이 네트워크를 통하여 그 기능이 분산되어 더 풍부한 서비스를 제공하게 됨에 따라 상호운영성시험의 중요성은 더욱 더 커지고 있다. 이 논문은 상호운영과 상호운영성시험에 대한 근본적인 개념과 원리를 논의하고, 실제 상호운영성시험을 수행하기 위한 접근 방법을 논의함으로써 상호운영성시험을 위한 체계와 방법론을 제공한다. When two or more entities interact with each other as when they collaborate or communicate, the degree of correctness of the interactions is called interoperability. In software, the necessity of interoperability testing arises when we build a software system in which multiple interacting software entities are employed to perform the function or task of the system. These days as software is more and more being used to solve complex problems and through networking functions of software can be distributed to provide abundant services, the more the interoperability testing becomes important. This paper provides the framework and methodology for interoperability testing by discussing the fundamental concepts and principles that underlie interoperability and interoperability testing and the approaches for practicing interoperability testing.
펴기/접기 변환에 의한 비선형적 순환 프로그램의 중복계산 제거방법
강성원(Sungwon Kang) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.3
Burstall과 Darlington이 개발한 펴기/접기 프로그램 변환 시스템은, 적용되는 변환규칙의 수에 의하여 결정되는 search 공간의 크기를 제한하기 위한 전략을 필요로 한다. 이를 위하여 tupling전략은 아주 효과적이다. 이 전략은 성공적으로 적용될 때 시간과 공간의 복잡도에 있어서 극적인 개선을 보이는 중복계산이 제거된 프로그램을 가져온다. 그러나 이 전략은, 이항함수를 계산하는 프로그램과 같은 종류의 비선형적(non-linear) 프로그램을 선형적 혹은 반복적(iterative) 프로그램으로 변환시킬 수는 없다. 이 논문에서 우리는 먼저 일차 (first-order) 등식언어를 list comprehension을 포함하도록 확장하고 이를 위한 문맥에 기초한 변환규칙을 개발한다. 그리고, 이 장치를 사용하여 tupling전략이 그러한 변환을 가능하게 하는 기법으로 일반화될 수 있음을 보인다. The unfold/fold transformation system developed by Burstall and Darlington requires strategies to restrict the search space determined by the number of combinations of applicable rules. One powerful such strategy is the tupling strategy. The strategy has been shown to be useful for transformations which eliminate redundant computation. Programs resulting from such transformations often show dramatic Improvement in time and space complexity. The tupling strategy, however, cannot be used to transform certain non-linear recursive programs such as the binomial function program into equivalent linear or iterative programs. In this paper, we first extend the first-order equations language with list comprehension notation and develops context-based transformation rules involving list comprehensions. Then we show that with this machinery the tupling strategy can be generalized to a technique that makes such transformation possible.
프로그램 변형에 의한 중복계산을 가진 프로그램의 최적화
강성원(Sungwon Kang) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
Burstall과 Darlington의 unfold/fold 프로그램 변형방법은 순환등식으로 쓰인 다양한 종류의 프로그램의 최적화에 효과적임이 알려져 있다. 본 논문은 Burstall과 Darlington의 언어에 list comprehension을 도입하고, 문맥조건을 반영하는 프로그램 변형규칙을 소개한다. 이를 사용하여, 원래의 언어와 변형규칙만을 사용한 최적화 방법이 지금까지 알려져 있지 않았던 종류의 프로그램의 최적화가 가능하게 된다는 것을 본 논문은 보인다. 특히 본 논문에서 소개되는 프로그램 변형 전략은 중복계산이 들어 있는 프로그램의 변형으로 시행시간과 메모리 사용에 있어서 최적화를 가져온다.
손 동작 인식을 통한 사용자에게 편리한 핸드마우스 인터페이스 구현
강성원(Sungwon Kang),김철중(Chuljoong Kim),손원(Won Sohn) 한국방송·미디어공학회 2009 한국방송공학회 학술발표대회 논문집 Vol.2009 No.11
컴퓨터의 소형화로 휴대성과 공간의 제약이 없는 컴퓨터 인터페이싱 방법의 필요성이 증가하고 있으며, 이와 관련하여 인간-컴퓨터 상호작용(HCI)을 위한 제스처 기반의 제어방식에 대한 연구가 활발하게 진행되고 있다. 기존의 손동작 인터페이스 구현들은 컴퓨터를 제어하기 위하여 사용방법에 대한 선행학습이 필요하였다. 이 논문은 사용자의 손 모양과 손끝 정보만을 가지고 선행학습이 요구되지 않는 간편한 인터페이스 구현방법을 제안하였다. 이를 위해 1대의 웹캠과 인텔의 오픈소스 영상처리 라이브러리 OpenCv를 사용하였다. 차영상과 화소값 기반의 영상처리과정을 통해 실시간으로 손 영역을 추적하고 이를 이진화 시켰다. 손가락의 움직임도 값이 변하지 않도록 중심모멘트를 설정하여 마우스 커서 움직임을 상대적으로 활용하였다. 상황에 따라 손 끝점을 절대적 좌표로 활용하여 손이 웹캠에서 벋어날 때 움직임을 자연스럽게 연결시켰다. 마지막으로 검지의 움직임 하나 만으로 마우스 클릭 이벤트를 수행함으로써 보다 사용자에게 친숙한 핸드마우스 인터페이스를 구현하였다.