http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김한경(Kim Han-kyoung),구연설(Koo Yeon-seol) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
본 고에서는 시스템 구조에 따른 문서표준화 내용을 검토하고 그 문서들을 관리하는 CMIIS(Interactive Information System for Configuration Management)를 개발하였다. 특히, 이러한 개발을 형상 관리 차원에서 시도함으로서 종래의 형상 관리가 개발 완료후의 단순한 변경 상태 관리로 생각하는 개념을 시스템 개발과 도시에 이루어 지도록 개념 확장을 시도한다.
김한경 ( Han-kyoung Kim ),이광휘 ( Kwang-hui Lee ) 한국인터넷정보학회 2009 인터넷정보학회논문지 Vol.10 No.5
레이블 교환 망의 경로 설정을 위해 제안된 칼라 스레드 알고리즘을 패킷 교환 망에 적용하기 위하여 알고리즘 보완이 필요하다. 칼라 스레드 알고리즘은 스레드의 동작을 extend, rewind, stall, withdraw, merge로, 상태를 null, colored, transparent의 3종류로 정의하였지만 여기에 merged상태를 추가하였다. 또 루프 경로를 도출하기 위하여 스레드가 일단 중복이 되면 다시 새로운 칼라를 생성하여 unknown 홉 카운트를 갖는 스레드로 재차 확장하는 방식인데, 이를 수정하여, 업스트림 방향의 rewind 동작을 소스 노드에 의하여 다운스트림 방향으로 작동하도록 하였다. 스레드가 중복으로 접수되면 merge 동작에서 홉 카운트가 오름차 순이면 스레드의 병합을 시행하고, 그렇지 않는 경우에는 우선 스레드의 칼라가 투명해지거나 제거될 때까지 나중의 스레드를 stalling 시키도록 함으로써, unknown 홉 카운트를 갖는 새로운 칼라의 스레드 생성을 제거하였다. Colored thread algorithm, suggested to be used for the label switching network, needs to be modified for the packet switching network. In this paper, it is recommended to add a merged state, besides the 3 states - null, colored and transparent - which are resulted from the behaviors of extend, rewind, stall, withdraw and merge events. The original colored thread algorithm is designed to generate a new thread and extend it to the downstream direction with unknown hop count when the thread has revisited the node that was visited. It also suggested rewinding the thread to the downstream direction by the source node, instead of rewinding it upstream direction by the revisited node. If a node received multiple threads which had a same forward equivalent class, then it checks first whether the hop counts are ascending or not. If it is in ascending order, then threads are merged. Otherwise the later thread is stalled until the former thread`s color is to be changed to transparent or it is removed. This idea removes the effort of generating a new thread with unknown hop count.
김한경(Han-kyoung Kim),구연설(Yeon-seol Koo) 한국정보과학회 1996 정보과학회 컴퓨팅의 실제 논문지 Vol.2 No.2
본 논문에서는 교환기의 호제어 분야를 도메인으로 분류하고 그것을 분석하는 기법을 제시함으로써 주어진 소프트웨어 구조에 적합한 시스템 상수(invariants)를 추출하여 요구사항의 검증이 가능한가를 검토한다. 소프트웨어 요구사항은 시스템의 상태와 이벤트를 통하여 기술이 가능하다. 이벤트는 각 상태에서 조건 값의 변화로 기동이 되는데 이 이벤트의 발생에 따른 시스템의 동작을 시나리오로 정의한다. 조건들은 시스템 상수가 포함되는 일련의 충족 검사(safety assertions)로 활용될 수 있다. 이 시스템 상수 객체는 시스템의 실현 시에 소프트웨어의 구조에 많은 영향을 받는다. 본 분석 기법의 적용을 가능하게 하는 호제어 소프트웨어 시스템 구조를 제시하고, 주어진 구조하에서 객체지향 설계가 이루어지게 한다. In this paper, suggesting the classification and analyzing methodology of call control domains in switching system, it is reviewed on the verification of requirement specification with the system invariants which may be extracted properly according to the software system architecture. The software requirement specification could be described with states and events. The event can be triggered by the change of conditions in a certain state, and system behaviors may be defined as scenarios according to the event. The conditions can be used as safety assertions which include system invariants. The system invariants can be affected from software architecture in the phase of implementation With this analysis technique and the suggested software architecture, we can design a call control software of switching system with object-oriented concepts.
이창영(Chang-young Lee),김한경(Han-kyoung Kim),구연설(Yeon-seol Koo) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B
메세지 전송 시스템에서 도메인을 설정하기 위하여 유한상태 시스템의 모드, 조건, 그리고 사건에 대하여 고찰하고, 사건을 도메인으로 설정하여 명세화한다. 이를 위하여 추상화 타입(abstract type)과 대수적 명세화 기법을 검토하고, 이들을 통하여 도메인의 규격화를 시도한다. 아울러 명세서의 확장과 변경을 위해 signature, axiom, model의 설정방향을 제안한다.
정상국 ( Sang-kook Jeong ),김한경 ( Han-kyoung Kim ) 한국인터넷정보학회 2006 인터넷정보학회논문지 Vol.7 No.2
재구성(reconfiguration) 기능을 갖춘 SDR (Software Defined Radio) 시스템이 가져야할 소프트웨어 아키텍처와 컴포넌트들 사이에 필요한 프로토콜에 대한 분석을 수행하고 기능 구현을 위한 시스템 설계 내용을 제시한다. 이를 위해 SDR의 기술동향을 분석하고, SDR 시스템을 구축하기 위한 모델을 임베디드 시스템 (Embedded System)에 입각하여 설계하였다. SDR 시스템 아키텍처는 하드웨어, 운영체제, 미들웨어, 서비스 객체, 응용 계층으로 이루어지는 5계층 구조를 제시한다. SDR 시스템은 리눅스 운영체제 기반에서 구축하였으며, SDR의 주요 특징인 확장성 (scalability)과 재구성 기능이 상호보완적이 되도록 하였다. 5계층 구조에서 SDR의 핵심 기능인 소프트웨어 다운로드 (Software Download) 기능을 구현하기 위한 프로토콜 및 객체의 상태천이도를 수용하는 소프트웨어 설계 내용을 제시한다. Software architecture and protocols to be maintained between components for the reconfigurable SDR system is analyzed and suggest system design idea for the implementation of software. To do this, related surveys are reviewed and set up the system model with the structure of embedded system. SDR system architecture is suggested with five layered structure, consisted with hardware, operating system, middle-ware, service objects and application layer. SDR system is designed to be work on the basis of Linux operating system, and aimed to be scalable and reconfigurable. It is introduced the design result of software protocol and state transition diagram for the implementations of software download function which is the most important feature in SDR.