Microprocessor 를 이용한 계측장치에 관한 연구

김종상(Chong Sang Kim),심원(Won Sim) 대한공업교육학회 1978 대한공업교육학회지 Vol.3 No.1

In this paper, a study was made to realize the digital voltmeter using microprocessor. The DVM was composed of M 6800 microprocessor with simple analog subsystem and software. To achieve analog to digital conversion, successive approximation techniques was used. MC 6820 PIA interfaced the analog subsystem and digital subsystem-microprocessor. The hard wired-logic functions of conventional DVM was substituted by MC 6800 software. The advantages of using microprocessor are to get maximum, minimum and average of iterative measuring data. Also autorange was solved by software.

Local ares network의 모델링과 성능평가

김종상(Chong Sang Kim),민상렬(Sang Yul Min),송운호(Woon Ho Song) 한국정보과학회 1984 정보과학회논문지 Vol.11 No.2

본 논문을 실제적이고 해석적으로 풀이가 가능한 Local Area Network의 성능 평가에 대하여 기술하였다. 특히 본 논문에서는 유한 buffer와 resource의 획득에서 발생하는 간섭에 중점을 두었다. 본 논문의 Local area Network는 2개의 host processor, 1개의 IMP, 3개의 disk unit와 여러개의 data link로 구성되어 있다. This paper presents a case study of the development of a realistic, but analytically soluble, model of a local area network. Particular attention was paid to the effect of finite buffer, and to contention and interference effects caused by simultaneous resource possession. The system configuration of this local area network includes two host processors, one IMP, three disk units, and several data links.

커트세트와 관련된 그래프 알고리즘

김종상(Chong Sang Kim),황희융(Hee Yeung Hwang),조유근(Yoo Kun Cho),표창우(Chang Woo Pyo) 한국정보과학회 1982 정보과학회논문지 Vol.9 No.2

현재 s-t cutset enumeration algorithm의 upper bound는 cutset 당 O(n+m)이다. 여기서 n은 주어진 그래프의 vertex 수이고, m은 edge 수이다. 본 논문에서는 planar graph에서 articulation vertex를 쉽게 찾을 수 있는 data structure와 algorithm을 제시하였고, 이 algorithm을 사용할 경우 planar graph에서 s-t cutset enumeration algorithm은 O(μ · max/zEv{d(z)ℓ_(max)(C(z))})외 time complexity 와 O(n²)의 space complexity를 가짐을 보였다. 여기서 d(1)는 vertex z의 degree이고, ℓ_(max)(C(z))는 vertex z에 incident 한 region 각각을 둘러싸고 있는 cycle들의 length들 중 최대값을 나타내며, μ는 cutset 의 수를 나타낸다. The current upper bound of the s-t cutset enumeration algorithm in an undirected graph is O (μ(n+m)), where n is the number of vertices, m is the number of edges, and μ is the number of s-t cutsets. In this paper well-defined data structures and an algorithm are presented for deciding whether a given vertex v of an undirected planar graph is an articulation vertex or not and if these data structures and algorithm are used for the present cutset enumeration algorithm for a planar graph, its time complexity can be improved to be of O(μ-max{d(i)ℓ_(max) (c(1))}) with the same space complexity of O(n²), where d(i) is the degree of the vertex 1 and ℓ_(max)(c(1)) is the maximal value of the lengths of cycles which are defined by the interior regions incident to the vertex 1 in the given undirected planar graph.

이기종 간의 분산 화일 시스템 구성에 관한 연구

김종상(Kim Chong Sang),김철기(Kim Choel Kie),문수복(Moon Sue Bok) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1

분산 시스템은 단일 집중형 시스템에 비하여 성능의 향상, 확장성, 장애시의 유용성, 자원의 공유 등의 잇점을 지닌다. 본 논문에서는 분산 계층을 통해 사용자 수준에서 처리하는 이기종 간의 분산 화일 시스템을 설계하고, VAX-11/750 UNIX 4 3 BSC 시스템과 Internetworking 소프트웨어인 UNET을 이식한 PC-AT UNIX System V 시스템에 구현하였다.

Tail-Clustering 方法을 利用한 tree 文法의 推論에 관한 연구

김종상(Chong Sang Kim),김동수(Dong Soo Kim) 한국정보과학회 1982 정보과학회논문지 Vol.9 No.1

In this paper the inference method for tree grammar, the tail-clustering method, is considered. Because the expansive tree grammar can be regarded as the generalization of the regular string grammar, the tail-clustering method which is one of the inference methods for the regular string grammar can be applied to the inference of tree grammar. This method has the advantage of not requiring the parameter selection and sublanguage grouping, and can infer the grammar which is exactly the sub grammar of true grammar. 본 논문은 tree 문법의 초론 방법인 tail-clustering 방법에 관한 연구이다. Expansive tree 문법은 regular string 문법의 일반적인 경우라 간주할 수 있으므로 regular sting 문법의 추론 방법의 하나인 tail-clustering 방법을 tree 문법의 추론에 응용할 수 있다. 이 방법은 매개변수 선택이나 sublanguage 조합을 필요로 하지 않으며, 추론하고자 하는 진짜 문법의 부분집합이 되는 문법을 찾아낼 수 있다.

감소된 입력 차원을 가지는 경쟁 학습 신경망을 사용한 패턴 인식

김종완(Kim Jongwan),안제성(Ahn Jesung),김종상(Kim Chong Sang),조성원(Cho Seongwon),황희융(Hwang Heeyeung) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.10

클래스 판정 방식을 갖는 다중 신경망을 사용하는 새로운 경쟁 학습 알고리즘을 제안한다. 기존의 신경망들은 주어진 입력 차원의 모든 성분들을 사용하여 학습하고 인식을 수행한다. 하지만 패턴 인식 문제들에 적용시켜 보면 모든 차원 성분들이 인식 작업에 필요한 것은 아니고, 어떤 경우에는 특정 차원이 인식을 어렵게 만드는 경우도 발생한다. 본 논문에서는 입력 차원 성분의 일부를 제거하여 학습시킨다. 우리는 기존의 경쟁 학습 알고리즘들과 달리 학습 종료후 애매한 출력 뉴런은 인식 작업에서 제외하므로써 인식률을 향상시켰다. 다중 신경망을 통합하여 인식 클래스를 결정하기 위하여 3가지의 판정 방식을 개발하였다. 원격 탐사 데이타를 사용한 실험에서 제안한 방법은 기존의 방법들에 비하여 우수한 결과를 보였다. A new competitive learning algorithm using an ensemble of neural networks with a consensus scheme is proposed. Conventional neural networks utilize all the dimensions of the original input patterns for learning and classification. However, a particular attribute of the input patterns does not necessarily contribute to classification and may even cause misclassification in certain cases. In this paper, we use the reduced input dimension for training a neural network. Unlike the conventional competitive learning algorithms, we eliminate ambiguous output neurons which cannot be assigned to any class in order to improve classification accuracy. We have developed three consensus schemes to judge the class using multiple neural networks. The experimental results with remote sensing data indicate the superiority of the proposed method in comparison to the conventional methods.

위성간링크를 이용하는 저궤도위성망을 위한 호 수용제어 기법

김병완(Kim Byoung-Wan),민상렬(Sang Lyul Min),양현석(Hyun Suk Yang),김종상(Chong Sang Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A

저궤도위성망에서는 각 위성들이 주어진 궤도를 따라 동적으로 이동하기 때문에 주기적으로 링크 연결의 재구성이 일어나며 이에 따라서 기존의 진행중인 호들은 링크 연결의 변화에 따라 새롭게 경로배정되어야 한다. 이 과정에서 일부의 호들은 새로 주어진 경로 상의 채널 부족으로 말미암아 비자발적으로 봉쇄당할 가능성이 있다. 이와 같은 진행중호봉쇄는 사용자 측면에서 서비스의 질을 크게 떨어뜨리는 요소로 작용한다. 이러한 진행중호봉쇄를 줄이기 위해 본 논문에서는 재구성되는 저궤도위성망의 예측성을 이용하는 새로운 호수용제어 기법을 제안한다. 제안된 호 수용 기법의 유효성을 검증하기 위해 본 연구에서는 Odyssey™ 시스템과 유사한 간단한 저궤도위성망에 대해 시뮬레이션을 수행하였다. 실험 결과는 본 논문에서는 제안된 기법이 약간의 초기호봉쇄율을 희생함으로써 망 재구성 시의 진행중호봉쇄율을 크게 감소시킬 수 있음을 준다.

RISC 프로세서를 대상으로 한 최악 실행시간 분석의 정확도에 대한 과예측 원인별 영향 분석

김성관(Sung-Kwan Kim),민상렬(Sang Lyul Min),하란(Rhan Ha),김종상(Chong Sang Kim) 한국정보과학회 1999 정보과학회 컴퓨팅의 실제 논문지 Vol.5 No.4

실시간 태스크의 최악 실행시간을 예측할 때 과예측이 발생하는 원인은, 첫째 프로그램의 동적인 최악 실행 행태를 정적으로 분석하는 것이 근본적으로 어렵기 때문이며, 둘째 최근의 RISC 형태 프로세서에 포함되어 있는 파이프라인 실행 구조와 캐쉬 등이 그러한 정적 분석을 더욱 어렵게 만들기 때문이다. 그런데 기존의 연구에서는 각각의 과예측 원인을 해결하기 위한 방법에 대해서만 언급하고 있을 뿐 분석의 정확도에서 각 원인이 차지하는 비중에 대해서는 언급하고 있지 않다. 이에 본 연구에서는 최악 실행시간 예측시 과예측을 유발하는 원인들, 즉 분석 요소들의 영향을 정량적으로 조사함으로써 기존의 최악 실행시간 분석 기법들이 보완해야 할 방향을 제시하고자 한다. 본 연구에서는 실험이 특정 분석 기법에 의존하지 않도록 하기 위하여 시뮬레이션 방법에 기반한다. 이를 위해 분석 요소별 스위치가 포함된 MIPS R3000 프로세서를 위한 시뮬레이터를 구현하였는데, 각 스위치는 해당 분석 요소에 대한 분석의 정확도 수준을 결정한다. 모든 스위치 조합에 대해서 시뮬레이션을 반복 수행한 다음 분산 분석을 수행하여 어떤 분석 요소가 가장 큰 영향을 끼치는지 고찰한다. Existing analysis techniques for estimating the worst case execution time (WCET) of real-time tasks still suffer from significant overestimation due to two types of overestimation sources. First, it is unavoidably difficult to predict dynamic behavior of programs statically. Second, pipelined execution and caching found in recent RISC-style processors even more complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important Thus, in this paper, we quantitatively analyze the Impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the timing analysis for the corresponding overestimation source. After repeating simulation for all of the switch combinations, we perform the variance analysis and study which factor has the largest impact on the accuracy of the predicted WCETs.

저궤도 위성 시스템을 위한 망 설계와 경로배정

김병완(Kim Byoung-Wan),장홍성(Chang Hong-Seong),이창건(Chang-Gun Lee),최양희(Yanghee Choi),민상렬(Sang Lyul Min),양현석(Hyun Suk Yang),김종상(Chong Sang Kim) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B

본 논문은 저궤도 위성 시스템에서 위성간 링크를 이용하여 위성망을 구성할 때 발생하는 링크할당과 경로 배정 문제를 다루고 있다. 저궤도 위성의 기하학적 상호 위치는 시간의 흐름에 따라 동적으로 변화한다. 따라서, 위성간 링크는 위성간 가시성의 변화에 따라 계속적으로 해제되고 할당된다. 본 논문에서는 연속적으로 변화하는 저궤도 위성 시스템을 위성 운행의 규칙성과 주기성을 기반으로 하여 서로 독립적인 유한개의 상태를 가지는 유한상태기계(FSM, Finite State Machine)로 모델링한다. 이렇게 모델링된 유한상태기계의 각 상태내에서 시스템은 시간에 대해 정적인 위성 상호간 가시성과 통신요구 패턴을 가진다. 정적인 각 상태에서 링크할당 문제는 최적 경로배정의 성능이 최적인 링크할당을 찾는 문제로 정의되고 최적 경로배정 문제는 위성간 통신요구량이 예측된 통신 요구 패턴에 비례할 때 최대한의 회선 연결을 수용하기 위한 다중경로배정을 정하는 문제로 정의된다. 이 최적 경로배정 문제를 부문제로서 포함하고 있는 최적 링크할당 문제는 NP-hard 문제로서 직접적인 최적화 방법으로 해결하기는 매우 어렵다. 그러므로 본 논문에서는 링크할당 문제를 최적 해에 가깝게 푸는 반복향상기법(iterative improvement method)을 제시한다. 이 반복향상기법에서는 이전의 망 위상(링크할당)을 변화시켜 새로운 망 위상을 생성하는 단계와 새로운 망 위상에 대해 최적 경로배정 문제를 풀고 새로운 망 위상을 채택할 것인지 이전의 망위상을 유지할 것인지를 결정하는 단계로 구성되어 있다. 이러한 반복을 제어하는 기법으로 시뮬레이티드 어닐링(simulated annealing) 기법을 사용한다. 시뮬레이션 결과는 이러한 기법들을 이용한 최적화 기법이 음성 호를 서비스하는 실제적인 저궤도 위성 시스템에 적용되면 호의 봉쇄확률을 낮출 수 있음을 보여준다.

4. D-Algorithm에 의한 다치논리 회로의 결함해석

김종렬(Kim, Jong Ryeol),김종상(Kim, Chong Sang) 대한전자공학회 1981 대한전자공학회 학술대회 Vol.1981 No.8