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) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
Burstall과 Darlington의 unfold/fold 프로그램 변형방법은 순환등식으로 쓰인 다양한 종류의 프로그램의 최적화에 효과적임이 알려져 있다. 본 논문은 Burstall과 Darlington의 언어에 list comprehension을 도입하고, 문맥조건을 반영하는 프로그램 변형규칙을 소개한다. 이를 사용하여, 원래의 언어와 변형규칙만을 사용한 최적화 방법이 지금까지 알려져 있지 않았던 종류의 프로그램의 최적화가 가능하게 된다는 것을 본 논문은 보인다. 특히 본 논문에서 소개되는 프로그램 변형 전략은 중복계산이 들어 있는 프로그램의 변형으로 시행시간과 메모리 사용에 있어서 최적화를 가져온다.
Sungwon Kang(강성원),Ju Woo,Yoon Jin Jeong,Hun Lee,Jin-geun Rhee 한국분석과학회 2021 학술대회논문집 Vol.2021 No.11
ICP (Inductively Coupled Plasma) MS (Mass Spectrometer) is a mass spectrometer that is widely used to analyze metal components. ICP MS is an instrument capable of analyzing almost all metal components. Since ICP MS can detect even trace metal components, the sensitivity needs to be increased. In order to detect mainly the analyte ion components ionized in the input Ar plasma, the method mainly used by other major companies" equipment is equipped with an off-axis ion lens so that the ions passing through the sampler cone mainly pass only the ions through the characteristics of several ion optics. Through an off axis ion lens, ions must then be set to enter a beam approximately parallel to the axial direction of the next lens components. When entering the collision/reaction chamber, argide components are removed by optimizing the incident position and velocity of ions, and only the most ion components to be analyzed must pass. Through this, the resolution at the detection stage is improved making it possible to detect ions even in trace amounts (tens of ppt to hundreds of ppt). In this paper, we performed a simulation to find the condition that ions can enter parallel to the axial direction after the off-axis while maximizing the ion transmittance in the off-axis lens. The range of ion incident energy off-axis lens shape, and ion current range were examined through ion lens optics simulation to ensure that ions pass smoothly without colliding with the lens under certain conditions.
펴기/접기 변환에 의한 비선형적 순환 프로그램의 중복계산 제거방법
강성원(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),신재휘(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.