• 제목/요약/키워드: Operation procedure synthesis

검색결과 16건 처리시간 0.025초

MRM: 상징행렬을 이용한 다단계 리드뮬러회로의 합성 도구 (MRM : A synthesis Tool for Multi-level Reed Muller Circuits using Symbolic Matrix)

  • 이귀상;창준영
    • 전자공학회논문지A
    • /
    • 제32A권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.

  • PDF

시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발 (Development of Automatic Synthesis System for Operating Procedures Using Temporal Logic and Description Logic)

  • 허보경;황규석
    • 한국가스학회지
    • /
    • 제5권1호
    • /
    • pp.37-44
    • /
    • 2001
  • 운전절차 활성 시스템은 운전절차 합성에 필요한 시간과 노력을 줄여주고 좀더 자세하게 운전절차를 분석해 줄 뿐 아니라 인적오류를 줄여주거나 제거해주는 역할을 수행한다. 또한 운전절차를 생성하는데 필요한 전문가들의 지식을 가지고 있어 새로운 상황에 사용할 수 있도록 한다. 그러나 기존의 시스템들은 많은 한계성을 가지고 있다. 따라서 본 연구에서는 이러한 문제를 해결하기 위해 시간논리와 표현논리로 공정의 특성지식과 시간적인 제약조건을 다루는 새로운 접근방법을 제안하여 보일러 공장에 적용하여 그 유효성을 입증하였다.

  • PDF

TANT 회로의 Hazard에 대한 고찰 (A Study on Hazards in TANT Networks)

  • 고경식
    • 대한전자공학회논문지
    • /
    • 제8권4호
    • /
    • pp.1-6
    • /
    • 1971
  • 본논문에서는 TANT 회로의 hazard를 검출하는데 효과적인 방법과 hazard가 없는 최소 TANT 회로의 합성절차를 착시하였다. TANT 회로의 harvard검출의 기본개념은 일반조합논리회로에 관한 McCluskey의 이론과 상통하지만 hazard의 존재여부를 검토하는데 consensus산법을 도입한 것은 본방법의 특이한 점이다.

  • PDF

스케듈링 기법 연구 (SCHEDULING TECHNIQUE FOR CONTROL STEP)

  • 송정영;백남우
    • 지구물리
    • /
    • 제4권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.

  • PDF

제어구간에 의한 스케듈링 기법 (Scheduling Technique for Control Step)

  • 송정영;백남우
    • 공학논문집
    • /
    • 제4권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.

  • PDF

네트워크 모델링을 통한 방사성의약품 합성 프로세스 맵 자동생성 시스템 (The Automatical Process Map Generation Using Network Representation In Radiopharmaceutical Synthesis)

  • 이철수;허은영;김종민;김동수
    • 산업공학
    • /
    • 제24권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.

Speech Feature Extraction Based on the Human Hearing Model

  • Chung, Kwang-Woo;Kim, Paul;Hong, Kwang-Seok
    • 대한음성학회:학술대회논문집
    • /
    • 대한음성학회 1996년도 10월 학술대회지
    • /
    • 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

  • PDF

GA를 이용한 개선된 루프 형성법을 갖는 QFT 설계방법 (A Design Method of QFT with Improved Loop Shaping Approach using GA)

  • 김주식;이상혁;유정웅
    • 대한전기학회논문지:전력기술부문A
    • /
    • 제48권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.

  • PDF

역추적 방식의 시스토릭 어레이 구조를 가진 연판정 비터비 복호기의 설계 (VLSI Design of Soft Decision Viterbi Decoder Using Systolic Array Architecture)

  • 김기보;김종태
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1999년도 하계학술대회 논문집 G
    • /
    • 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.

  • PDF