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

정태충(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)에 있는 인수들에 의해 공유되는 방식, 셋째는 인수들의 단일화가 순차적이냐 병렬적이냐 하는 것이다. 이 논문에서는 위의 요소에 따라, 여섯 종류의 단일화 그래프를 제시했으며, 인수병렬성의 관점, 효율성, 기억장치 요구량의 관점에서 시뮬레이션으로 비교했다. 시뮬레이션의 결과로부터 모드와 헤드리터럴에 있는 공유노드의 지연수행이 전반적 효율성과 인수병렬성에 극히 중요하다는 것을 발견하였다. 또한 순차적 그래프는 모든 면에서 불리하다는 것도 알아내었다.

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.

컨테이너 터미널 운영을 위한 의사결정시스템 설계의 최적화에 관한 연구

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

Container terminals need decisions in the course of daily-24 hour and 365 day - operations, and all these decisions are inter-related. The ultimate goal of Decision Support System is to minimize ship loading/unloading time, resources used to handle the workload, and congestion on the roads inside the terminal. It is also to make the best possible use of the storage space available. Therefore, the necessity of decision support tools are emphasized to enhance the operational efficiency of container shipping terminals more, because of limits and complexity of these decisions. So, in thia paper, we draw evaluation items for Decision Support Systems and suggest optimization strategy of evaluation items which have the greatest influence on Decision Support system, that is, yard stacking allocation, RTGC deployment among blocks, and YT allocation to QCs. We also estimate the efficiency of Decision Support System design by simulation using G2 language, comparing ship loading/unloading time. 컨테이너 터미널에서느 매일 24시간, 365일 운영하는 데에 있어서 다양한 의사결정을 필요로 하며, 이 모든 의사결정들은 상호 관계를 가지게 된다. 이러한 의사결정의 궁극적인 목표는 선박 작업시간, 작업 처리를 위해 사용되는 자원들, 터미널 내부 도로의 혼잡도 등을 최소화하는 것이다. 또한 필요한 저장 공간을 효율적으로 이용하는 것이다. 따라서 컨테이너 터미널의 운용 효율을 더 한층 강화하기 위해서는 이러한 의사결정의 범위와 복잡성이 더해지게 되어 의사결정 도구의 필요성이 강조될 수 밖에 없다. 이 논문은 이러한 목적을 위해 의사결정시스템을 위한 평가요소들을 도출하고, 의사결정시스템 설계에 가장 큰 영향을 주는 평가요소, 즉 야드장치장 배경, RTGC 배정, QC당 YT 배정의 최적화 전략을 제안한다. 그리고 G2 언어를 상요한 시뮬레이션에 의해 의사결정시스템 설계의 효율성을 선박작업시간 비교를 통하여 평가한다.

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.

스마트폰 환경에서 MCRDR 엔진 기반의 효율적인 사용자 감성 추출에 관한 연구

허태호 ( Tae Ho Heo ),이승룡 ( Sungyoung Lee ),정태충 ( Tae Choong Chung ) 한국정보처리학회 2013 한국정보처리학회 학술대회논문집 Vol.20 No.1

스마트폰은 현대인에게 없어서는 안 될 필수품이 되었다. 기존의 휴대용 전화처럼 단순 연락 수단이라는 의미를 넘어 컴퓨터가 할 수 있는 거의 모든 기능을 내장하고 있으며, 여러 가지 센서들을 내장하여 그 활용 가능성이 높고, 수많은 종류의 어플리케이션들을 이용하여 추가적인 편의 서비스도 사용할 수 있다. 이렇듯 개개인의 생활과 밀착되어 사용되는 스마트폰은 사용자의 정보를 수집할 수 있는 최적의 기기이다. 스마트폰에서 얻은 사용자 정보, 즉 각종 센서를 이용한 행위 인지 정보, GPS를 이용한 이동 경로 정보, 음성 정보, 텍스트 정보 등을 활용하여 사용자의 감성정보를 추출하고, 이러한 감성정보에 기반하여 각 사용자에게 알맞은 서비스(어플리케이션)를 추천하는 맞춤형 지능서비스 제공 기술의 개발이 가능하다. 이러한 기술 개발의 핵심사항은 사용자의 감성을 정확히 추출하는 것이다. 본 논문에서는 MCRDR 이론을 적용하여 보다 정확한 감성 추출 기법을 제안하고자 한다.

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

홍동희,정태충,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.

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

이승관,정태충,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.2

RF 기술 및 무선 네트워크의 발전은 다양한 형태의 새로운 네트워크가 제시되고 개발될 수 있도록 하였다. 다양한 응용분야에서 사용될 수 있는 블루투스 기술은 가장 많이 알려진 무선 개인 영역 네트워크(WPAN : Wireless Personal Area Network) 표준이다. 음성, 데이터의 동시처리가 가능한 무선 네트워크 통신 표준인 블루투스는 표준 프로파일을 기반으로 하여 다양한 응용 애플리케이션들이 나와 있다. 본 논문에서는 블루투스 기기들의 네트워크 접속을 위한 블루투스 네트워크 액세스 포인트(AP: Access Point) 개발에 대해 기술하였다. 이미 시장에 출시되어 있는 블루투스 마우스, 키보드, 헤드셋 등의 주변장치와 다르게 액세스 포인트는 네트워크 접속장치로서 다중접속, 전송 속도 등을 안정적으로 지원해야 한다. 임베디드 시스템 상에서 표준 규격을 만족하는 블루투스 액세스 포인트를 구현하기 위해 시스템을 설계, 개발하였으며, 블루투스 프로토콜 코어 스택과 프로파일을 구현하여 기능 및 성능을 평가하였다. 다양한 제품과의 접속 테스트를 통해 규격에 호환됨을 보였고, 기존의 블루투스 프로토콜 스택과 비교하여 우수한 네트워크 성능 평가 결과를 나타내었다. Recent advancement in RF technology and wireless communications has enabled the development of noble networks. Bluetooth that can be used in various application field is a kind of WPAN(Wireless Personal Area Network) standard that is widely known. Bluetooth enables voice and data applications to operate simultaneously. Various applications have been implemented based on standard Profiles. In this paper, we describes the development of Biuetooth network AP(Access Point) system for network connection of Bluetooth devices. Unlike headset, mouse, and keyboard, the access point should have capability to support multiple connection and stabilized network throughput. We have designed and developed the hardware system, core stack and profiles on embedded system to comply with standard specification. Our system showed compatibility and good protocol performance through testing with lots of products that is available in market.

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

이상학,정태충,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.