• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.446-451
• /
• 1992

In this paper, we propose a method to manage production system easily for operators when either equipments or products are changed. And we explain the scheduling AI tool which realizes the proposal method. The tool's knowledge expression consists of models, rules, mathematical expression and fuzzy logic. The model expresses the relations between products and manufacture, and properties of products. The models are separated into three type, equipment model, operation model, and product model. These models are classified by applicable fields as the assembly process or continuous plant process, The model expression of each type is based on object oriented paradigm. We report systems utilizing our approach.

• Journal of the Optical Society of Korea
• /
• 제20권4호
• /
• pp.464-469
• /
• 2016

All-optical non-return-to-zero (NRZ) -to- return-to-zero (RZ) data-format conversion has been successfully demonstrated using a semiconductor optical amplifier in a fiber-loop mirror (so-called SOA-loop mirror) with a continuous-wave (CW) holding beam. The converted RZ signal after pulse compression has been used to create a 40 Gb/s OTDM (Optical Time Division Multiplexing) signal. Here is proposed an NRZ-to-RZ conversion method without any additional optical clocks, unlike conventional methods based on optical AND logic. In addition, it has the merit of operating at various bit-rate speeds without any controlling device. Moreover, it has a simple structure, and it can be used for all-optical bit-rate-flexible clock recovery.

• 한국정밀공학회지
• /
• 제31권2호
• /
• pp.125-131
• /
• 2014

Winding is an integral operation in almost every roll-to-roll continuous process and center-winding is suitable and general scheme in the winding system. However, the internal stresses within center-wound rolls can cause damage such as buckling, spoking, cinching, etc. It is therefore necessary to analyze the relationship between taper tension in winding section and internal stress distribution within center-wound roll to prevent the winding failure. In this study, an optimal taper tension control method with parabolic taper tension profile for producing high quality wound roll was developed. The new logic was designed from analyzing the winding mechanism by using the stress model in center-wound rolls. The performance of the proposed taper tension profile was verified experimentally.

• Journal of Computing Science and Engineering
• /
• 제5권1호
• /
• pp.85-110
• /
• 2011

Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent realtime requirements. In this paper we showed how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We used MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the quality-of-service management mechanisms of RT-STREAM, a prototype system for data stream management. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and quality of service.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제13권3호
• /
• pp.224-230
• /
• 2013

In this paper, we introduce certain types of continuous functions and intuitionistic fuzzy ${\theta}$-compactness in intuitionistic fuzzy topological spaces. We show that intuitionistic fuzzy ${\theta}$-compactness is strictly weaker than intuitionistic fuzzy compactness. Furthermore, we show that if a topological space is intuitionistic fuzzy retopologized, then intuitionistic fuzzy compactness in the new intuitionistic fuzzy topology is equivalent to intuitionistic fuzzy ${\theta}$-compactness in the original intuitionistic fuzzy topology. This characterization shows that intuitionistic fuzzy ${\theta}$-compactness can be related to an appropriated notion of intuitionistic fuzzy convergence.

• 산업경영시스템학회지
• /
• 제22권51호
• /
• pp.231-240
• /
• 1999

A major concern in Concurrent Engineering is the control and management of workload in a period of process. As a general rule, leveling the peak of workload in certain period is difficult because concurrent processing is comprised of various processes, including overlapping, paralleling looping and so on. Therefore, the workload management with resource constraints is so beneficial that effective methods to analyze design process are momentous. This study presents the Timed Petri Nets approach of precedence logic networks, and provides an alternative for users to analyze constraint processes to resolve conflicts of resources. Another approach to Continuous Time Markov Chain using Stochastic Petri Nets is also proposed. These approaches are expected to facilitate resolving resource constrained scheduling problems more systematically in Concurrent Engineering environment.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제14권3호
• /
• pp.216-221
• /
• 2014

In this paper, we introduce the concept of generalized double fuzzy semi-basically disconnected space and related notions such as (r, s)-generalized fuzzy semiopen-$F_{\sigma}$ sets, (r, s)-generalized fuzzy semiclosed-$G_{\delta}$ sets, generalized double fuzzy $semi^*$-open function, generalized double fuzzy $semi^*$-continuous function and generalized double fuzzy $semi^*$-irresolute function. Some interesting properties and characterizations of the concepts introduced are studied.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2014년도 하계학술대회
• /
• pp.157-159
• /
• 2014

In this paper, we introduce SlimSRP, an ultra-low-power digital signal processor (DSP) solution for mobile audio and voice applications. So far, application processors (APs) have taken charge of all the tasks in mobile devices. However, they have suffered from short battery life problems to deal with complex usage scenarios, such as always-on voice trigger with continuous audio playback. From extensive analysis of audio and voice application characteristics, SlimSRP is designed to relive the performance and power burden of APs. It employs three-issue VLIW architecture, and the major low-power and high-performance techniques include: (1) an optimized register-file architecture friendly for constants generation, (2) a powerful instruction set to reduce the number of register file accesses and (3) a unique instruction compression scheme that contributes to saved memory size and reduced cache miss. An implementation of SlimSRP runs at up to 200MHz and the logic occupies 95K NAND2 gates in Samsung 28LPP process. The experimental results demonstrate that a MP3 decoder application with a 128kbps 44.1kHz input can run at 5.1MHz and the logic consumes only 22uW/MHz.

• 한국지능시스템학회논문지
• /
• 제7권2호
• /
• pp.70-78
• /
• 1997

여러 가지 고급 제어 이론들에 관한 연구가 심도있게 진행되고 있음에도 불구하고 아직까지 산업현장에는 여러가지 변형된 형태의 PID 제어기가 널리 사용되고있다. 이는 PID 제어기 자체가 가진 제어 구조의 단순성, 효율성, 강건성, 그리고 제어 기술자들에 대한 친밀감 등에 기인한다. 또한 요즘 제어 분야에서는 퍼지 이론을 도입하는 연구가 활발히 진행되고 있다. 특히, 퍼지 이론을 사용해서 거의 모든 함수들을 근사화시킬 수 있다는 연구 결과들이 발표되면서 수학적으로 안정성 및 강건성을 명확히 증명하기에 다소 미흡하였던 퍼지 논리 제어에 관한 연구가 활기를 띠고 있다. 본 논문에서는 먼저 간단한 퍼지 제어기로부터 선형 PID 제어기를 유도한다. 그리고 나서 다소 일반적인 경우의 퍼지 제어기를 사용하여 산업 현장에서 가장 널리 사용되고있는 선형PID 제어기를 유도하여 결굴 PID 제어기는 퍼지 제어기의 일종에 불과함을 입증할 것이다.

• 한국정보통신학회논문지
• /
• 제9권3호
• /
• pp.587-594
• /
• 2005

본 논문에서는 시분할 방식을 확장하여 윈도를 통해 비터비 복호화 되는 단위를 다중으로 버퍼링하고 병렬적으로 처리하는 비터비 복호화기를 구현한다. 연속적으로 입력되는 신호를 복호화 길이의 배수로 버퍼링한 후 이를 고속의 비터비 복호화기 셀을 이용하여 병렬적으로 복호화를 수행한다. 비터비 복호화기 셀의 사용수에 비례하여 데이터 출력율을 얻을 수 있는데 입력 버퍼의 프로그래밍 및 수정에 따라서 이러한 동작을 만족시킬 수 있다. 구현된 비터비 복호화기 셀은 해밍 거리 계산을 위한 HD 블록, 각 상태의 계산을 위한 CM 블록, 비교를 위한 CS 블록, 그리고 trace-back을 위한 TB 블록 및 LIFO 등으로 구성된다. 비터비 복호화기 셀은 ALTERA의 APEX20KC EP20K600CB652-7 FPGA에서 $1\%(351;cell)$의 LAB(Logic a..ay block)를 사용하여 최대 139MHz에서 안정적으로 동작할 수 있었다. 또한 비터비 복호화기 셀과 입출력 버퍼링을 위한 회로를 포함한 전체 비터비 복호화기는 약 $23\%$의 자원을 사용하면서 최대 1Gbps의 데이터 출력율을 가질 수 있도록 설계하였다.