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.
회화의 위기-실제인가 공론(空論)인가 혹은 이론의 위기인가?
강성원(Kang, Sungwon) 한국예술종합학교 미술원 조형연구소 2002 Visual Vol.1 No.-
Image represents the real entity of value. Artists have been producing a great variety of images which commemorate, verify, or create the value of the time. Representing the need of the time as a symbolic power, paintings have formed the basis of the cultural production. However, it is true that things are getting lesser favorable for paintings. Nevertheless, they could again become the aesthetic foundation of all image-makings, if they return to this traditional function. For this they should retrieve their original value as craft. Since the crisis of painting is at issue, it is the time to make the new map of art more related to the question of designing every-day life itself through reading manifold aesthetic strata of painting and other new media like installation or photography.
펴기/접기 변환에 의한 비선형적 순환 프로그램의 중복계산 제거방법
강성원(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을 도입하고, 문맥조건을 반영하는 프로그램 변형규칙을 소개한다. 이를 사용하여, 원래의 언어와 변형규칙만을 사용한 최적화 방법이 지금까지 알려져 있지 않았던 종류의 프로그램의 최적화가 가능하게 된다는 것을 본 논문은 보인다. 특히 본 논문에서 소개되는 프로그램 변형 전략은 중복계산이 들어 있는 프로그램의 변형으로 시행시간과 메모리 사용에 있어서 최적화를 가져온다.