논리프로그램을 위한 데이터플로우 모델상에서 모드와 지연수행이 단일화에 미치는 역할

정태충(Tae Choong Chung),조정완(Jung Wan Cho) 한국정보과학회 1987 정보과학회논문지 Vol.14 No.1

It is natural to associate the logic program with dataflow architecture because parallelisms in both logic program and dataflow architecture are very high. Among the parallelisms in the logic programs, the argument-parallelism is extensively studied in this paper. There are three important factors which affect the construction of a dataflow graph for literal unification. They are the mode, how to treat the share-variables in the head arguments, and whether to adopt sequential or parallel execution of argument unifications. In this paper, six kinds of head literal unification graphs are suggested based on the above factors, and they are compared by a simulation in view of the argument-parallelism, efficiency, and space requirement. From the simulation based on a rough estimation of same parameters, it was shown that the mode and the lazy execution of share node in the head literal are very important for the overall efficiency and the argument-parallelism. It was also found that the sequential graph has the disadvantages in all the aspects. 프로그램으로서의 논리프로그램과 컴퓨터구조로서의 데이터플로우 구조는 둘 다 높은 병렬성을 가지고 있으므로, 자연스럽게 둘을 연관지을 수 있다. 논리프로그램의 병렬성 중에서도 특히 인수병렬성(Argument pararellism)을 광범위하게 논하였다. 단일화 데이터 플로우 그래프의 형태는 세가지 중요한 요소의 영향을 받는다. 첫째는 모드이고 둘째는 변수가 헤드리터럴(head literal)에 있는 인수들에 의해 공유되는 방식, 셋째는 인수들의 단일화가 순차적이냐 병렬적이냐 하는 것이다. 이 논문에서는 위의 요소에 따라, 여섯 종류의 단일화 그래프를 제시했으며, 인수병렬성의 관점, 효율성, 기억장치 요구량의 관점에서 시뮬레이션으로 비교했다. 시뮬레이션의 결과로부터 모드와 헤드리터럴에 있는 공유노드의 지연수행이 전반적 효율성과 인수병렬성에 극히 중요하다는 것을 발견하였다. 또한 순차적 그래프는 모든 면에서 불리하다는 것도 알아내었다.

음절 위주의 한글 로마자 표기 형식

정태충(Chung TaeChoong),강혜숙(Kang HeySook) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1B

문체부는 1997년 4월 29일 한글 로마자 표기법 개정 시안을 발표했고[3], 5월 6일에는 개정시안에 대한 공청회를 가졌다. 이 시안은 이번 공청회 및 외무부등 여타 관련 부서와 각계의 의견 수렴을 거쳐 곧 확정된다고 한다. 그런데 많은 관련 학자들은 표기형식의 중요성을 간과하고 있어 한글의 특성에 맞는 음절위주의 로마자를 제안한다. 실험결과도 좋아 다음의 로마자 규정안에 포함되길 희망한다.

RLVisualizer: 강화학습의 문제의 학습궤적을 시각화하는 응용

정태충(Chung, TaeChoong),Le Pham Tuyen 한국콘텐츠학회 2017 한국콘텐츠학회 종합학술대회 논문집 Vol.2017 No.5

자동화 항만에서의 게이트 구조물 및 최적 운영방식 설계

홍동희,정태충,Hong, Dong-Hee,Chung, Tae-Choong 한국정보처리학회 2003 정보처리학회논문지 A Vol.10 No.5

The quantity of container transportation of the world habors is constantly increasing by 8.8 per year until 2011. Present port facilities will not satisfy it. So facility expansion is necessary. Because the processing cost in the harbor becomes to 30% of total transportation expense, major pors inthe world are making an effort in the automation facilities to solve the problems of higher labor costs and indufficient labor and to maximize the efficiency of the work and use of the land. Especially, the automation of the gate, which is the place of cargo's appearance and disappearance, the node which creates the information, is now rising as the important issue. In this study suggest more efficient design for port gate automation. First, calculate scale of gate complex, and compare of 1 step gate and 2 step, and optimal design for automated operation method of gate process. 세계항만의 컨테이너 물동량은 2011년까지 연평균 8.8%로 꾸준히 증가할 것으로 예상하고 잇으며, 기존 항만 시설로는 이러한 추세를 충족시키 수 없기 때문에 시설 확충은 필연적이다. 그리고 항만에서 발생되는 비용이 전체 물동량에 발생되는 비용의 30%를 차지하고 있기 때문에 세계 주요항만에서는 점차 높아지는 인건비와 부족한 노동력 문제를 해결하고 토지 이용과 작업 능률을 극대화하기 위한 항만 시설의 자동화에 노력을 기울이고 있다. 특히, 항만시설 중에서도 화물이 발생되고 소멸되는 장소로서 정보의 시작점과 종착점이 되는 게이트의 자동화가 무엇보다도 중요한 이슈로 대두되고 있다. 본 연구에서는 항마의 게이트를 최적으로 자동화하는데 적합한 설계 방안을 제시하고자 한다. 먼저 게이트의 적정 규모를 산정하고, 1단계 게이트와 2단계 게이트 운영방식을 비교하며, 최적의 게이트 자동화 운영 방식을 설계한다.

Ant Colony System에서 효율적 경로 탐색을 위한 지역갱신과 전역갱신에서의 추가 강화에 관한 연구

이승관,정태충,Lee, Seung-Gwan,Chung, Tae-Choong 한국정보처리학회 2003 정보처리학회논문지B Vol.10 No.3

Ant Colony System(ACS) 알고리즘은 조합 최적화 문제를 해결하기 위한 메타 휴리스틱 탐색 방법이다. 이것은 greedy search뿐만 아니라 exploitation of positive feedback을 사용한 모집단에 근거한 접근법으로 Traveling Salesman Problem(TSP)를 풀기 위해 제안되었다. 본 논문에서는 전통적 전역갱신과 지역갱신 방법에 개미들이 방문한 각 간선에 대한 방문 횟수를 강화값으로 추가한 새로운 방법의 ACS를 제안한다. 그리고 여러 조건 하에서 TCS 문제를 풀어보고 그 성능에 대해 기존의 ACS 방법과 제안된 ACS 방법을 비교 평가해, 최적해에 더 빨리 수렴함을 실험을 통해 알 수 있었다. Ant Colony System (ACS) Algorithm is new meta heuristic for hard combinatorial optimization problem. It is a population based approach that uses exploitation of positive feedback as well as greedy search. It was first proposed for tackling the well known Traveling Salesman Problem (TSP). In this paper, we introduce ACS of new method that adds reinforcement value for each edge that visit to Local/Global updating rule. and the performance results under various conditions are conducted, and the comparision between the original ACS and the proposed method is shown. It turns out that our proposed method can compete with tile original ACS in terms of solution quality and computation speed to these problem.

집단간 긍정적.부정적 상호작용을 이용한 다중 집단 개미 모델

이승관,정태충,Lee, Seung-Gwan,Chung, Tae-Choong 한국정보처리학회 2003 정보처리학회논문지B Vol.10 No.7

Ant Colony Optimization (ACO) is new meta heuristics method to solve hard combinatorial optimization problem. It is a population based approach that uses exploitation of positive feedback as well as greedy search. It was firstly proposed for tackling the well known Traveling Salesman Problem (TSP) . In this paper, we introduce Multi Colony Ant Model that achieve positive interaction and negative interaction through Intensification and Diversification to improve original ACS performance. This algorithm is a method to solve problem through interaction between ACS groups that consist of some agent colonies to solve TSP problem. In this paper, we apply this proposed method to TSP problem and evaluates previous method and comparison for the performance and we wish to certify that qualitative level of problem solution is excellent. 개미 집단 최적화는 최근에 제안된 조합 최적화 문제를 해결하기 위한 메타 휴리스틱 탐색 방법으로, 그리디 탐색뿐만 아니라 긍정적 반응의 탐색을 사용한 모집단에 근거한 접근법으로 순회 판매원 문제를 풀기 위해 처음으로 제안되었다. 본 논문에서는 기존의 개미 집단 시스템의 성능을 향상시키기 위해 강화와 다양화를 통한 집단간 긍정적 상호작용과 부정적 상호작용을 수행하는 다중 집단 개미 모델을 제안한다. 이 알고리즘은 TSP 문제를 해결하기 위해 몇 개의 에이전트 집단으로 이루어진 ACS 집단간의 상호작용을 통해 문제를 해결하는 방법이다. 본 논문에서는 이 제안된 방법을 TSP 문제에 적용해 보고 그 성능에 대해 기존의 ACS 방법과 비교 평가해, 문제 해결의 질적 수준이 우수하다는 것을 실험을 통해 알아보고자 한다.

무선 센서네트워크의 에너지 효율적 집단화에 관한 연구

이상학,정태충,Lee Sang Hak,Chung Tae Choong 한국정보처리학회 2004 정보처리학회논문지 C : 정보통신,정보보안 Vol.11 No.7

Wireless sensor networks is a core technology of ubiquitous computing which enables the network to aware the different kind of context by integrating exiting wired/wireless infranet with various sensor devices and connecting collected environmental data with applications. However it needs an energy-efficient approach in network layer to maintain the dynamic ad hoc network and to maximize the network lifetime by using energy constrained node. Cluster-based data aggregation and routing are energy-efficient solution judging from architecture of sensor networks and characteristics of data. In this paper. we propose a new distributed clustering algorithm in using distance from the sink. This algorithm shows that it can balance energy dissipation among nodes while minimizing the overhead. We verify that our clustering is more en-ergy-efficient and thus prolongs the network lifetime in comparing our proposed clustering to existing probabilistic clustering for sensor network via simulation. 무선 센서네트워크는 광범위하게 설치되어 있는 유무선 네트워크 인프라에 다양한 센서 디바이스를 결합하여 감지된 환경데이터를 응용 서비스와 연결하여 상황인지를 가능케 하는 유비쿼터스 컴퓨팅의 핵심기술이다. 하지만 자원이 제한된 노드를 이용해서 역동적인 애드 혹 네트워크를 유지하며 네트워크의 생존시간을 최대화하기 위해서는 네트워크 계층에서 효율적인 에너지 사용 방법을 필요로 한다. 집단화(Clustering)를 통한 데이터의 병합과 전송은 센서 네트워크의 구조와 데이터 특성에 비추어 에너지 효율적인 방법이다. 본 논문에서는 싱크로부터의 거리 정보를 이용해 분산된 방법으로 집단을 구성하는 새로운 방법을 제안하였다. 제안한 방법은 집단 구성에 따르는 추가적인 비용을 최소화하면서 전체 네트워크 노드간의 에너지 소모를 균등하게 유지할 수 있었다. 시뮬레이션을 통해 기존의 센서네트워크를 위해 제안된 확률적 집단 구성과 비교해 에너지 사용에 보다 효율적이었으며 이를 통해 네트워크의 생존시간을 늘릴 수 있었다.

다중 네트워크 인터페이스를 지원하는 액세스 포인트 개발에 관한 연구

이상학,정태충,Lee, Sang-Hak,Chung, Tae-Choong 한국정보처리학회 2004 정보처리학회논문지 A Vol.11 No.3

최근 무선 랜의 확산과 블루투스 등의 개인 무선 통신의 발전으로 네트워크 환경은 점차 유무선 구분 없이 쉽게 네트워크에 접속할 수 있도록 변화되고 있다. 또한, 가정 내의 노트북, PDA 등의 네트워크 군기의 증가는 초고속 인터넷 라인을 공유하여 이용하고 기기 간에 네트워크를 구성해 작업하는 환경을 필요로 한다. 본 논문에서는 유무선 네트워크에 구분 없이 손쉽게 연결할 수 있고 인터넷에 접속할 수 있는 다중 네트워크 인터페이스를 지원하는 유무선 통합 액세스 포인트를 개발하여 기능을 시험하고 성능을 검증하였다. 각기 다른 네트워크간의 통합을 이루고 성능을 보장하기 위한 시스템 하드웨어 설계, 개발 단계부터 프로토콜 소프트웨어 개발까지 실질적 개발내용을 기술하고, 다양한 형태의 기기를 통한 네트워크 접속 시험을 통해 연동 및 성능에 대한 결과를 보였다. Increasing popularity of WLAN and advancement of WPAN allow user to connect to the Internet easily today. The increasing of number of networking mobile device such as laptop and PDA requires computing devices to share high speed Internet line or work on networks in most cases. This has stimulated the demand of access point that supports multiple network interfaces. This paper describes the process of design, implementation and test of the wired/wireless integrated access point that supports multiple network interfaces such as wired LAN, wireless LAN, Bluetooth, and Broadband network. We designed and developed the hardware system and protocol software to integrate heterogeneous network. The system has shown compatibility with standard specification and good performance through testing with various network devices.

자동화항만의 야드 운영시스템 레이아웃 설계

홍동희,정태충,Hong, Dong-Hee,Chung, Tae-Choong 한국정보처리학회 2003 정보처리학회논문지D Vol.10 No.1

동북아 중심 항만의 기반을 다지기 위해 자동화항만의 건설이 시급히 요청되고 있다. 따라서 우리나라에 적합한 자동화항만의 운영시스템 레이아웃 설계방안을 제시하고자 한다. 본 논문에서는 자동화항만의 운영시스템이 추구해야말 목표를 충족시키며, 각 자동화 장비를 통한 화물의 수출입 이동경포에 따라 운영시스템의 모델을 4가지로 구분하고 여러 입력 요소들을 변경시켜 가며 시행착오를 거쳐 동적으로 분석해 나감으로서 최적의 운영시스템 모델을 선정하고, 그에 대한 수출입화물별 야드 운영시스템 레이아웃을 설계하였다. 특히 미래의 자동화항만에서는 어떠한 자동화 장비를 사용하느냐에 따라 그 생산성이 달라진다. 그러나 현실적으로 비용측면과 현재의 작업 흐름을 도외시 할 수 없기 때문에 현재의 작업을 최적화하고 현재의 사용 장비와 자동화 장비의 대체로 작업의 혼선이 발생하지 않은 방법을 선택하여 레이아웃을 설계하였다. 본 논문의 야드 운영시스템에서 기술한 장비들은 Q/C(Quay Crane)을 제외한 모든 야드 장비가 완전자동화를 전제로 한 것이다. Construction of automated terminal it urgently demanded to gain the foundation of hub-port in north east Asia. Therefore we suggest an adequate operating system layout of automated terminal in Korea. In this paper the aim of automated terminal operating system is satisfied. four basic models are divided according to moving course of export and import cargo of each automated equipments, several input data are changed and analyzed dynamically by Trial and Error method, and then an optimized operating system model is selected, and designed for yard operating system layout on the basis of the selected model. Particularly, the productivity of automated port is up to the kind of automated equipments. However, because expense and present work process must be considered actually. In order to prevent confusion of the work, the method to optimize the present work and substitute prevent equipments and automated equipments was designed. It is a premise that ail the yard equipments described in this paper must be automatic except quay crane.

Ant-Q 학습을 이용한 Gale-Shapley 문제 해결에 관한 연구

김현,정태충,Kim, Hyun,Chung, Tae-Choong 한국정보처리학회 2011 정보처리학회논문지B Vol.18 No.3

본 논문에서는 생물학의 개미들이 학습을 통해 목표를 획득하는 방법을 응용한 Ant-Q 알고리즘(Ant Q learning System)[1]을 Gale-Shapley[2]알고리즘을 통해 제시되었던 안정된 결혼문제(SMP: Stable Marriage Problem)[3]의 새로운 해법을 찾기 위해 적용 하였다. SMP는 남성($m_i$)들과 여성($w_j$)들은 각자 자신이 좋아하는 이상형에 대한 선호도(PL: preference list)를 바탕으로 안정이면서도 최선의 짝을 찾는 것을 목표로 하고 있다. Gale-Shapley 알고리즘은 남성(혹은 여성) 위주로 안정적(stability)인 짝(Matching)을 성사시키므로 다양한 조건을 수용하지 못한다. 본 논문에 적용된 Ant-Q는 개미(Ant)의 페로몬을 활용한 학습인 ACS(Ant colony system)에 강화학습의 일종인 Q-학습[9]을 추가한 방법으로, SMP의 새로운 해법을 찾을 수 있었다. In this paper, we propose Ant-Q learning Algorithm[1], which uses the habits of biological ants, to find a new way to solve Stable Marriage Problem(SMP)[3] presented by Gale-Shapley[2]. The issue of SMP is to find optimum matching for a stable marriage based on their preference lists (PL). The problem of Gale-Shapley algorithm is to get a stable matching for only male (or female). We propose other way to satisfy various requirements for SMP. ACS(Ant colony system) is an swarm intelligence method to find optimal solution by using phermone of ants. We try to improve ACS technique by adding Q learning[9] concept. This Ant-Q method can solve SMP problem for various requirements. The experiment results shows the proposed method is good for the problem.