http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
마킹트리에 의한 PN 모델의 교착상태 탐색에 관한 연구
유헌창(H.C. Yu),손진곤(J.G. Shon),백두권(D.K. Baik),황종선(C.S. Hwang) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
Petri net으로 모델링된 시스템의 특성파악을 위해 도달성 트리를 이용함으로써 모델링된 시스템의 safeness, boundedness 등을 분석한다. 그러나, 도달성 트리를 이용하여 시스템의 교착상태(deadlock)를 탐색해 내는데는 제약점이 있다. 그 이유는 트리 구성시 places내의 토근(token)의 수를 나타내는 마킹(marking)내에 무한수를 표시하기 위해 특수문자 ω를 사용하기 때문이다. 이를 해결하기 위해 본 논문에서는 도달성 트리를 변형시킨 마킹트리를 정의하고, 마킹트리의 구성 알고리즘을 제안한다. 또한, 도달성 트리로 찾아내지 못하는 교착상태를 마킹트리를 이용하여 찾아낼 수 있음을 예를 들어 설명한다.
지능형 CAI시스템 개발을 위한 하이퍼미디어 기술에 관한 연구
왕숙희(Wang S. H.),김창화(Kim C. H.),곽덕훈(Kwak D. H.),백두권(Baik D. K.),황종선(Hwang C. S) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.2
본 논문에서는 지능적 컴퓨터 보조학습(Intelligent Computer Assited Instruction)에, 하이퍼텍스트와 멀티미디어를 함께 실현하는 하이퍼 미디어 기술을 적용시키기 위한 여러 요구사항들을 분석하였다. 또한 그 요구사항들을 충족시킬 수 있는 시스템 모형을 제시하고 HICAI(Hypermedia-based ICAI) 시스템을 설계하였으며, 그 설계에 따른 HICAI 시스템 프로토타입의 구현에 관하여 살펴보았다. 본 연구의 결과로, 컴퓨터 보조교육에 멀티미디어를 활용함으로써 교육효과의 극대화를 가져올 수 있으며 프로토타입 시스템은 터보파스칼 5.5와 사운드에디터, 보이스에디터를 이용하여 구현하였다.
종속 사이클을 갖는 복수 변수들의 자료 종속성 제거에 관한 연구
김병수(B S. Kim),박두순(D.S. Park),백두권(D K. Baik),황종선(C.S. Hwang) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
본 논문에서는 많은 내재된 병렬성을 가지고 있는 순자 프로그램을 병렬 처리 시스템에서 수행 가능한 병렬 처리 형태로 변환하는 기법들을 제시하였다. 기존의 cycle shrinking 기법[3]은 increment factor를 이용하여 단일 변수에 대한 병렬성 성능의 향상을 꾀하였으나, 여기에서는 종속 사이클을 가지는 단일 변수에 대해서는 기존의 cycle shrinking 방법보다 효율적인 방법을 제시하였고, 일반적인 n 개의 변수들에 대해서는 병렬성을 추출하는 "dependence removing"이라는 프로그램 재구조화 기법을 제시하였다.
EA 모델과 규칙을 기반으로 한 지능적 컴퓨터 보조교육 시스템의 설계 및 구현
인호(H. Yin),정영식(Y.S. Jeong),김창화(C.H Kim),백두권(D.X. Baik),황종선(C.S. Hwang) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
ICAI 시스템은 일반적으로 전문가 모듈, 교사 모듈, 학생모델 모듈 및 인터페이스 모듈의 4 가지 구성요소로 구성된다. 본 연구에서는 4 가지 모듈중에서 전문가 모듈과 교사 모듈의 기능을 수행하도록 하기 위한 지식베이스를 구축하였다. 먼저 필요한 지식베이스들을 분류하고 지식베이스를 구축하기 위한 접근방법들을 연구하였다. 구축된 지식베이스는 코스웨어 자체에 수정을 가하지 않고 학습전략(learning strategy)을 다양하게 하기 위해서 Domain Knowledge와 Control Knowledge로 분리하였고 Domain Knowledge는 EA 모델을 통하여 코스웨어를 구축하였으며, Control Knowledge는 규칙기반(rule-based)을 이용하여 학습진행 및 학습자 평가에 필요한 지식들을 구축하였다. 이들 기초로 하여 ERIC 시스템을 설계, 구현하였다.
동적 지식 표현을 위한 Belief Revision system
심정연(J.Y.Shim),백두권(D.K.BaiK),황종선(C.S.Hwang) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
기존에 우리가 다루어 온 지식표현들은 어떤 지식(Knowledge)들의 정적인 체계였다. 그러나 복잡한 현실세계를 다루는데 있어서 인간의 추론 메카니즘과 비교해볼 때 현재의 지식표현 방법들은 현재의 불확실하고 변화가능성이 있는 동적지식을 처리하는데 있어서 많은 한계점이 있다. 본 논문에서는 많은 장점을 가지는 객체지향화된 지식구조에 Belief Revision 개념을 추가함으로서 Belief 정도에 따라 지식구조를 동적으로 변화시킬 수 있는 방법을 제시한다. 이 방법들은 인간의 사고체계와 조금이나마 가까운 구조를 지향한 것이므로 전문가 시스템의 지식구조로서 좋은 역할을 할 수 있을 것 같다.
병렬처리 시스템에서의 효율적인 동기최적화 기법에 관한 연구
황종선,김병두,박두순 한국생산성학회 1992 生産性論集 Vol.6 No.1
This paper discusses an effective synchronization algorithm. It is different from the existing synchronization methods by inserting appropriate synchronization instructions between statements according to different kinds of data dependences. The overhead caused by too many synchronization instructions in a loop can be a critical problem. Synchronization optimization is a method which discriminates and eliminates the redundant synchronization instructions in a loop. In this paper, a new synchronization optimization algorithm - ICPG (Improved Controlled Path Graph) - is developed, and the algorithm is extended to the case of nested loops. In case of nested loops, the existing methods were not safe because of the incomplete management in hyper-rectangle areas, etc. But, the errorneous methods are completely corrected in this paper. Finally, performance analysis using simulation on the UNIX operating system is carried out. It is shown that the ICPG algorithm is much more effective than the existing methods.
Ku band용 초전도 마이크로스트립 안테나의 제작 및 특성 해석
정동철,이중근,김민기,박성진,황종선,한병성 전북대학교 공업기술연구소 1998 工學硏究 Vol.30 No.-
In this paper, a comparative study between superconducting microstrip antennas and gold antennas is reported in terms of the return loss, the characteristic impedance, efficiency and other various characteristics. HTS thin films used in this work were fabricated on YBa_2Cu_3O_7-x(YBCO)/MgO substrate. Superconducting microstrip antennas used in this work is that the feed line was directly inset a microstrip transmission line into 50 Ω region of the radiating patch. Measurements from HTS antennas and gold antennas showed that usable antennas could be made by using this architecture.