• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.491-499
• /
• 2007

In this paper, we present a design method of the ternary logic circuits based on Reed-Muller expansions. The design method of the presented ternary logic circuits checks the degree of each variable for the coefficients of Reed-Holler Expansions(RME) and determines the order of optimal control input variables that minimize the number of Reed-Muller Expansions modules. The order of optimal control input variables is utilized the computation of circuit cost matrix. The ternary logic circuits of the minimized tree structures to be constructed by RME modules based on Reed-Muller Expansions are realized using the computation results of its circuit cost matrix. This method is only performed under unit time in order to search for the optimal control input variables. Also, this method is able to be programmed by computer and the run time on programming is $3^n$.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.11 no.6
• /
• pp.379-387
• /
• 1986

The architecture and design of a highperformance general-purpose microprogrammable sequential controller are presented. Conventional sequential controllrs are limited by speed, memory requirement, flexibility and programming ease. The proposed controller solves those limitations. it has a fixed hardware and is microprogrammable throutgh firmware modification. It is especially designed for complex high-speed sequential controllers requiring large I/O capabilities, such as industrial process ocntroller or power electronic conversion controller.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• pp.254-260
• /
• 1991

본 연구는 CAD데이터로 부터 부품의 형상을 인식하여 CAD시스템과 인터페이스된 자동공정설계시스템을 지식공학적 접근방법을 도입하여 개발하고자 함이 연구의 목적이다. 연구의 대상은 NC선반가공용 회전형상부품을 대상으로 하며, CAD시스템은 AutoCAD를, 소프트웨어개발에 사용된 프로그래밍언어는 Turbo-C(Version 2.0)를, 전문가시스템셀(Expert System Shell)은 CLIPS를 이용하여 개인용컴퓨터(PC)를 사용하여 개발한다. 본 연구의 내용은 NC선반가공용 회전형상부품을 대상으로 CAD/CAPP 데이터베이스 생성과 부품형상인식, 공정 및 작업의 선정, 가공순서의 결정에 대한 알고리즘을 개발하고, 공학적 규칙 및 전문가의 경험적 지식을 획득하여 지식베이스를 구축하며, 이 지식베이스를 사용한 공정설계 전문가시스템의 개발에 관한 연구의 중간결과이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.657-659
• /
• 2000

네트워크 처리속도의 증가로 네트워크 컴퓨팅 환경에서의 작업이 늘고 있다. 플랫폼 독립성이라는 특성을 내세운 자바는 일반적인 이 기종간의 네트워크에서의 프로그래밍 언어로 많이 이용되고 있다. 그리고 이러한 네트워크 컴퓨팅 환경에서 병렬 프로그램 디버깅의 어려움으로 인해 자바 병렬 프로그램을 위한 디버거의 필요성이 요구되고 있다. 기존의 디버거들은 이런 병렬 환경에서의 디버깅을 각 프로세서에 하나의 순차디버거를 붙인 디버깅 환경을 제공한다. 그러나 병렬 프로그램은 순차프로그램과 다른 재실행시의 비결정적인 특성을 가지고 있음으로 일반적인 순차 디버거를 이용한 디버깅은 의미가 없다. 본 논문에서는 자바로 구현된 네트워크 컴퓨터(JaNeC)에서 병렬프로그램을 디버기하기 위하여 재실행 시 실행 순서를 보장하는 자바 디버거를 소개한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.12-17
• /
• 2000

본 연구에서는 다 물류센터 문제를 해결하기 위한 통합 차량운송계획모델의 연구로서 다음과 같은 3단계모델을 개발하였다. 첫 번째 단계로서 다 물류센터의 문제를 단일 물류센터 문제로 변환하는 단계로서 물류센터별 공급 가능한 수요지를 선정하기 위한 방법인 구역할당모델(Sector-Clustering Model)을 개발하였으며, 두 번째 단계에서는 구역할당이 이루어진 단일 물류센터별로 차량경로 계획문제를 해결하기 위하여 개선된 Saving 알고리즘을 개발하여 차량종류 및 운송능력 등을 고려한 차량경로계획모델 (VRP)을 개발하였다. 세 번째 단계에서는 차량경로별 차량운송거리 및 시간을 최소화하는 최적차량운송순서계획 모델 GA-TSP을 개발하였다. 또한 객체지향 프로그래밍기법(Object Oriented Programming)을 기반으로 하여 사용자를 위한 GUI-Type 프로그램을 개발하고 다 물류센터의 통합차량운송계획을 위한 실 예를 들어 본 모델의 우수성을 보였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1721-1724
• /
• 2010

멀티코어의 등장과 병렬 프로그래밍의 확산으로 lock-free 동기화 기법에 대한 관심과 필요성이 더욱 커지고 있지만, 대부분의 lock-free 동기화 기법들이 구현 복잡도와 동작시 오버헤드로 인해 실제 활용되는 사례는 미비하다. 하지만, RCU(Read-Copy Update) 기법의 등장으로 다양한 운영체제에서 이를 구현하여 활용하고, 최근에는 게임 서버와 같은 응용 프로그램에서도 이를 활용하려는 시도가 늘어나고 있지만, 기존에 제안된 URCU(Userspace RCU) 기법들은 메모리 순서오류 문제 해결을 위한 메모리 장벽 호출 및 reader와 updater 간의 IPC 등으로 충분한 성능을 보여주지 못하고 있다. 이에 본 논문에서는 페이지 폴트를 이용한 URCU 기법을 제안하고, 이를 구현하여 기존의 URCU 기법들과 실험을 통하여 평가하였다.

• Journal of KIISE:Databases
• /
• v.31 no.4
• /
• pp.395-408
• /
• 2004

A conjunctive Boolean text query refers to a query that searches for tort documents containing all of the specified keywords, and is the most frequently used query form in information retrieval systems. Typically, the query specifies a long list of keywords for better precision, and in this case, the order of keyword processing has a significant impact on the query speed. Currently known approaches to this ordering are based on heuristics and, therefore, cannot guarantee an optimal ordering. We can use a systematic approach by leveraging a database query processing algorithm like the dynamic programming, but it is not suitable for a text query with a typically long list of keywords because of the algorithm's exponential run-time (Ο(n2$^{n-1}$)) for n keywords. Considering these problems, we propose a new approach based on a property called the join sequence separability. This property states that the optimal join sequence is separable into two subsequences of different join methods under a certain condition on the joined relations, and this property enables us to find a globally optimal join sequence in Ο(n2$^{n-1}$). In this paper we describe the property formally, present an optimization algorithm based on the property, prove that the algorithm finds an optimal join sequence, and validate our approach through simulation using an analytic cost model. Comparison with the heuristic text query optimization approaches shows a maximum of 100 times faster query processing, and comparison with the dynamic programming approach shows exponentially faster query optimization (e.g., 600 times for a 10-keyword query).

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.10
• /
• pp.24-33
• /
• 1990

Since a number of welding points are distributed in an automobile part, the number of welding points alloted to each robot are large. So, there is an increasing need of an optimal sequence planning to minimize the total welding time. In this paper, an off-line programming scheme for effective teaching of a spot welding robot is presented. A collision free, optimal welding sequence planning is done through applying the modified Traveling Salesman Problem algorithm. Also, a data extraction method from an existing general CAD system is presented for reuse of the existing exact model data produced by a model designer and easy constructing the world model data base. The result show that the proposed system could enhance the efficiency of spot welding robot in automobile industry.

• Journal of Korea Multimedia Society
• /
• v.16 no.7
• /
• pp.802-809
• /
• 2013

In this paper, we propose the similarity measurement method between two program codes by counting the frequency and length of continuous patterns of specifiers and keywords, which exist in two program codes. In addition, we propose the visualization method of this analysis result by formal concept analysis. Proposed method considers adjacencies of specifiers or keywords, which have not been considered in the previous similarity measurements. Proposed method can detect the plagiarism by analyzing the pattern in each function regardless of the order of function call and execution. In addition, the result of the similarity measurement is visualized by the lattice of formal concept analysis to increase the user understanding about the relations between program codes. Experimental results showed that proposed method succeeded in 96% plagiarism detections. Our method could be applied into the analysis of general documents.

• The Journal of the Korea Contents Association
• /
• v.15 no.8
• /
• pp.46-52
• /
• 2015

Most stage directors and designers make use of controling and moving lots of stage set or device as a large automation device or machine to achieve dramatic effect in their performances. Specially, it is very important to use a programmable multi-chain hoist system which is able to move high speed as well as to lift heavy loads. This paper proposes a multi chain hoist servo system to lift or lower a heavy load of about l ton for public performances' stage. It is automatically operated, electrically driven by a control console with a PTP trajectory generation algorithm, a realtime network control algorithm, and 4 step sequential safety algorithm. The efficiency and performance of the developed system are verified through a series of experiments.