• Title/Summary/Keyword: Computer Synthesis

Search Result 660, Processing Time 0.025 seconds

A partitioning-based synthesis algorithm for the design of low power combinational circuits under area constraints (면적 제약조건하의 저전력 조합회로 설계를 위한 분할 기반 합성 알고리즘)

  • Choi, Ick-Sung;Kim, Hyoung;Hwang, Sun-Young
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.35C no.7
    • /
    • pp.46-58
    • /
    • 1998
  • In this paper, we propose a synthesis algorithm for the design of low powe rcombinational circuits under area constraints. The proposed algorithm partitions a given circuit into several subcircuits such that only a selected subcircuit is activated at a time, hence reduce unnecessary signal transitions. Partitioning of a given circuit is performed through adaptive simulated annealing algorithm employing the cost function reflecting poer consumption under area constraints. Experimental reuslts for the MCNC benchmark circuits show that the proposed algorithm generates the circuits which consume less power by 61.1% and 51.1%, when compared to those generated by the sis 1.2 and the precomputation algorithm, respectively.

  • PDF

Active-RC Circuit Synthesis for the Simulation of Current-Controllable Inductors and FDNRs (전류-제어 인덕터 및 FDNR 시뮬레이션을 위한 능동-RC 회로 합성)

  • Park, Ji-Mann;Shin, Hee-Jong;Chung, Won-Sup
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.40 no.12
    • /
    • pp.54-62
    • /
    • 2003
  • A systematic synthesis process is described lot the simulation of current-controllable inductors using operational transconductance amplifiers (OTAs). The process is used to obtain three circuits; two are believed It) be novel. The process is also applied to design current-controllable frequency-dependent negative resistances (FDNRs). Operation principles of designed circuits are presented and experimental results are used to verify theoretical predictions. The results show close agreement between predicted behavior and experimental performance. The application of a FDNR to a current-controllable band-pass filter is also presented.

Modeling for the Automation of Start-up Operation in Boiler Plant (보일러 플랜트의 Start-Up 운전자동화를 위한 모델링)

  • 윤영진;황규석
    • Journal of the Korean Society of Safety
    • /
    • v.12 no.1
    • /
    • pp.60-70
    • /
    • 1997
  • Since, human error is a major factor contributing to disaster during start-up of operation in Boiler plant. it is necessary to develop an automation system which prevent mode of operation that are known to be dangerous and to bring a loss of energy. The aim of this study is to suggest a model for the computer-aided synthesis of operation sequence as a part of automation system for start-up operation. Synthesis is accomplished by the formation of a hierarchical network of goals which decide sequence of operations. Hierarchical Network is formed by using method which upper goals ( i.e. upper operation al situation) are classified by the function of themselves into lower goals (i.e. lower operational situation). Knowledge for deciding operation sequence is generated by putting In order the knowledge of hazard operation and energy management.

  • PDF

A Study on the Synthesis of Four-Bur Linkage Generating Automatic Path by Using B-Spline Interpolation (B-스플라인 보간법에 의한 자동 경로 생성이 가능한 4절링크의 합성에 관한 연구)

  • Kim, Jin-Su;Yang, Hyun-Ik
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.16 no.10
    • /
    • pp.126-131
    • /
    • 1999
  • Up until now, it is said that no satisfactory computer solutions have been found for synthesizing four-bar linkage based on the prescribed coupler link curve. In our study, an algorithm has been developed to improve the design synthesis of four-bar linkage automatically generating prescribed path by using B-spline interpolation. The suggested algorithm generates the desired coupler curve by using B-spline interpolation, and hence the generated curve approximates as closely as to the desired curve representing coupler link trajectory. Also, when comparing each generated polygon with the control polygon, rapid comparison by applying convex hull concept. finally, optimization process using ADS is incorporated into the algorithm based on the 5 precision point method to reduce the total optimization process time. As for examples, three different four-bar linkages were tested and the results showed the effectiveness of the algorithm.

  • PDF

Logic Optimization Using Boolean Resubstitution (부울 대입에 의한 논리식 최적화)

  • Kwon, Oh-Hyeong
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.10 no.11
    • /
    • pp.3227-3233
    • /
    • 2009
  • A method for performing Boolean resubstitution is proposed. This method is efficiently implemented using division matrix. It begins by creating an algebraic division matrix from given two logic expressions. By introducing Boolean properties and adding literals into the algebraic division matrix, we make the Boolean division matrix. Using this extended division matrix, Boolean substituted expressions are found. Experimental results show the improvements in the literal counts over well-known logic synthesis tools for some benchmark circuits.

A Study on the fSDF Phase Filter for a Distortion Invariant Optical pattern Recognition (왜곡불변 광패턴인식을 위한 fSDF위상필터에 관한 연구)

  • 전석희;은재정;박완현;박한규
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.27 no.1
    • /
    • pp.137-142
    • /
    • 1990
  • A theory for the synthesis of a SDF including the filter modulation is suggested. In the filter synthesis, the iteration equation was used to iterate trial solution vectors. A computer simulation of the fSDF method using threshold binary images of the flight objects over a range of aspect angles was performed for POF and BPOF. The constructed fSDF filters are capable of obtaining the specified peak correlation response within a 1.7%-4.0% error range, after several iterations. However, the conventional pSDF/POFs, BPOFs are not. The results indicate POFs and BPOs can be made to perform well for distortion invariant optical pattern recognition using the fSDF method.

  • PDF

General Coupling Matrix Synthesis Method for Microwave Resonator Filters of Arbitrary Topology

  • Uhm, Man-Seok;Lee, Ju-Seop;Yom, In-Bok;Kim, Jeong-Phill
    • ETRI Journal
    • /
    • v.28 no.2
    • /
    • pp.223-226
    • /
    • 2006
  • This letter presents a new approach to synthesize the resonator filters of an arbitrary topology. This method employs an optimization method based on the relation between the polynomial coefficients of the transfer function and those of the $S_{21}$ from the coupling matrix. Therefore, this new method can also be applied to self-equalized filters that were not considered in the conventional optimization methods. Two microwave filters, a symmetric 4-pole filter with four transmission zeros (TZs) and an asymmetric 8-pole filter with seven TZs, are synthesized using the present method for validation. Excellent agreement between the response of the transfer function and that of the synthesized $S_{21}$ from the coupling matrix is shown.

  • PDF

Synthesis of Automatically Path-Generating Four-Bar Linkage Using NURBS (NURBS를 이용한 4절 링크의 자동 경로 생성)

  • Hwang, Deuk-Hyun;Yang, Hyun-Ik
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.18 no.6
    • /
    • pp.576-584
    • /
    • 2009
  • Up to now, it has been said that no satisfactory computer solution has been found for synthesizing four-bar linkage based on the prescribed coupler link curve. In our study, an algorithm has been developed to improve the design synthesis of four bar linkage based on the 5 precision points method. The suggested algorithm generates the desired coupler curve by using NURBS, and then the generated curve approximates as closely as possible to the desired curve representing coupler link trajectory. Also, when comparing each generated curve by constructing the control polygon, rapid comparison is easily achieved by applying convex hull of the control polygon. Finally, an optimization process using ADS is incorporated into the algorithm based on the 5 precision point method to reduce the total optimization process time. As for examples, two four bar linkages were tested and the result well demonstrated the effectiveness of the algorithm.

  • PDF

Algorithm for Autonomous Wall-Following of Wheeled Mobile Robots Using Reference Motion Synthesis and Generation of Hybrid System (하이브리드 시스템의 기준동작 구성과 생성에 의한 차륜형 이동로봇의 자율 벽면-주행 알고리즘)

  • Lim, Mee-Seub;Im, Jun-Hong
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.6 no.7
    • /
    • pp.586-593
    • /
    • 2000
  • In this paper we propose a new approach to the autonomous wall-following of wheeled mobile robots using hybrid system reference motion synthesis and generation. The hybrid system approach is in-troduced to the motion control of nonholonomic mobile robots for the indoor navigation problems. In the dis-crete event system the discrete states are defined by the user-defined constraints and the reference mo-tion commands are specified in the abstracted motions. The hybrid control system applied for the non-holonomic mobile robots can combine the motion planning and autonomous navigation with obstacle avoid-ance for the indoor navigation problem. Simulation results show that hybrid system approach is an effective method for the autonomous navigation in indoor environments.

  • PDF

A Study on Optimal Synthesis of Multiple-Valued Logic Circuits using Universal Logic Modules U$_{f}$ based on Reed-Muller Expansions (Reed-Muller 전개식에 의한 범용 논리 모듈 U$_{f}$ 의 다치 논리 회로의 최적 합성에 관한 연구)

  • 최재석;한영환;성현경
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.34C no.12
    • /
    • pp.43-53
    • /
    • 1997
  • In this paper, the optimal synthesis algorithm of multiple-valued logic circuits using universal logic modules (ULM) U$_{f}$ based on 3-variable ternary reed-muller expansions is presented. We check the degree of each varable for the coefficients of reed-muller expansions and determine the order of optimal control input variables that minimize the number of ULM U$_{f}$ modules. The order of optimal control input variables is utilized the realization of multiple-valued logic circuits to be constructed by ULM U$_{f}$ modules based on reed-muller expansions using the circuit cost matrix. This algorithm is performed only unit time in order to search for the optimal control input variables. Also, this algorithm is able to be programmed by computer and the run time on programming is O(p$^{n}$ ).

  • PDF