• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.10
• /
• pp.73-80
• /
• 1995

In this paper, a synthesis tool using matrix operations for designing multi-level Reed Muller circuits is described which has been named as MRM (Multi-level Reed Muller Minimizer). The synthesis method which uses matrix operations has advantages in effectively minimizing chip area, delay optimization and fault detection capability. However, it uses only truth-table type maps for inputs, synthesizing only small circuits. To overcome the weakness, our method accepts two-level description of a logic function. Since the number of cubes in the two-level description is small, the input matrix becomes small and large circuits can be synthesized. To convert two-level representations into multi-level ones, different input patterns are extracted to make a map which can be fed to the matrix operation procedure. Experimental results show better performance than previous methods. The matrix operation method presented in this paper is new to the society of Reed Muller circuits synthesis and provides solid mathematical foundations.

• Journal of the Korean Institute of Gas
• /
• v.5 no.1
• /
• pp.37-44
• /
• 2001

OPS(Operating Procedure Synthesis) systems can reduce the time and effort involved in OPS, make the analysis more thorough and detailed, and minimize or eliminate human errors. And OPS systems capture the expertise needed to create operating procedures and allow this experience to be used in the new situations. But there are the limitations of the OPS techniques that have been used. So in order to resolve this Problem, in this work we have proposed a new approach to utilize temporal constraints and specific process knowledge in temporal logic and description logic. We have demonstrated its remarkable effectiveness in a boiler plant.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.8 no.4
• /
• pp.1-6
• /
• 1971

This paper derives an effective method for detecting hazards in TANT networks and a synthesis procedure for hazard-free, minimal TANT networks. The basic idea of the method is analogous to McCluskey's theory for combinational switching networks, but it is characterized by introducing consensus operation to test for the presence of hazards. Illustrative examples are also given.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.4 no.1
• /
• pp.13-21
• /
• 1967

A low pass filter is synthesized with R, C and negative impedance converters(NIC). The filter has a 4-th order elliptic function, which gives best magnitude approximation with equi-ripple characteristics both in pass and stop band. And experimental investigations have been made on the effect of the anticipated deviation of the NIC conversion factor and of possible loaded operation. Through the study, it has been cocluded that: 1. For minimum pole-zero sensitivity with respect to the NIC conversion factor, the network of a parallel RC-NIC configuration is preferable and the Horowitz polynomial decomposition method is applied in the synthesis procedure. 2. A few percentage variation of the NIC conversion factor changes the frequency and amplitude characteristics of the filter by nearly negligible amount. 3. With a load resistance below the critical value, the filter turns into an oscillator.

• Journal of the Korean Geophysical Society
• /
• v.4 no.3
• /
• pp.163-173
• /
• 2001

This paper deals with scheduling problems which are the most important subtask in High-Level Synthesis. Especially, we have concentrated our attentions on the data-path scheduling which can get the structural informaion trom the behavioral algorithm as a first step in synthesis procedure. Suggest Forward scheduling methode is executed the ASAP and ALAP scheduling to use the fifth - order elliptic wave filter of a standard benchmark moedl, and then it is drawing up T.N matrix table by the number resource and control-step, using the table extract of the simple than down-limit value of the control-step for the number of given resource th use this table. All of existing list scheduling techniques determine the priority function first, and then do the operation scheduling, But, the suggested forward scheduling technique does the schedule first, and determines the priority functions if needed in scheduling process.

• The Journal of Engineering Research
• /
• v.4 no.1
• /
• pp.35-45
• /
• 2002

This paper deals with the scheduling problems which are the most important subtask in High-Level Synthesis. Especially, we have concentrated our attentions on the data-path scheduling which can get the structural informations from the behavioral algorithm as a first step in synthesis procedure. Suggest Forward scheduling methode is executed the ASAP and ALAP scheduling to use the fifth – order elliptic wave filter of a standard benchmark model, and then it is drawing up T.N matrix table by the number of resource and control-step, using the table extract of the simple than down-limit value of the control-step for the number of given resource to use this table. All of existing list scheduling techniques determine the priority functions first, and then do the operation scheduling, But, the suggested forward scheduling technique does the schedule first, and determines the priority functions if needed in scheduling process.

• IE interfaces
• /
• v.24 no.2
• /
• pp.156-163
• /
• 2011

The radiopharmaceutical synthesis for PET (positron emission tomography) is composed of chemical reactions using automated synthetical equipment. Due to the radioactive material, the automated equipment is being frequently developed to replace human operators who conduct dangerous, repetitive and dexterous operations. As to operation, the manipulating program is commonly coded using the spread sheet while the whole actuators are mapped in every step. The process map (program) is changed according to such parameters as temperature of reactor, keeping time, mixture sequence and amount of reagent. In cases of customizing the automated synthetical equipment or developing the new radiopharmaceuticals, lots of experiments should be conducted and the programming mistake is not allowed as it can lead abnormal control of the equipment to leak the radioactive materials. The exact process map has depended on trial and error manner. Thus, this study developed the methodology to tabulate the synthetical process to convert the process map automatically while the synthetical module formation is represented by a network model. The proposed method is validated using the actual radiopharmaceutical synthetical procedure.

• Proceedings of the KSPS conference
• /
• 1996.10a
• /
• pp.435-447
• /
• 1996

In this paper, we propose the method that extracts the speech feature using the hearing model through signal processing techniques. The proposed method includes the following procedure ; normalization of the short-time speech block by its maximum value, multi-resolution analysis using the discrete wavelet transformation and re-synthesize using the discrete inverse wavelet transformation, differentiation after analysis and synthesis, full wave rectification and integration. In order to verify the performance of the proposed speech feature in the speech recognition task, korean digit recognition experiments were carried out using both the DTW and the VQ-HMM. The results showed that, in the case of using DTW, the recognition rates were 99.79% and 90.33% for speaker-dependent and speaker-independent task respectively and, in the case of using VQ-HMM, the rate were 96.5% and 81.5% respectively. And it indicates that the proposed speech feature has the potential for use as a simple and efficient feature for recognition task

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.8
• /
• pp.972-979
• /
• 1999

QFT(Quantitative Feedback Theory) is a very practical design technique that emphasizes the use of feedback for achieving the desired system performance tolerances in despite of plant uncertainty and disturbance. The fundamental concept of QFT is a loop shaping procedure that a suitable controller can be found by shaping a nominal loop transfer function. The loop shaping synthesis involves the identification of a structure and the specialization of parameter optimization of a desired system. This paper presents an improved loop shaping approach of QFT with model validation using GA(Genetic Algorithm). The method presented in this paper removes the problems of iterative operation, transformation error, and model validation in the conventional methods without consideration of frequency domain.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.3199-3201
• /
• 1999

Convolutional coding with Viterbi decoding is known as a powerful method for forward error correction among many kinds of channel coding methods. This paper presents a soft decision Viterbi decoder which has systolic array trace-back architecture[1]. Soft decision is known as more effective method than hard decision and most of digital communication systems use soft decision. The advantage of using a systolic array decoder is that the trace-back operation can be accomplished continuously in an array of registers in a pipe-line fashion, instead of waiting for the entire trace-back procedure to be completed at each iteration. Therefore it may be suitable for faster communication system. We described operations of each module of the decoder and showed results of the logic synthesis and functional simulation.