• Title/Summary/Keyword: Moore Method

Search Result 74, Processing Time 0.033 seconds

Automated Synthesis of Moore and Mealy-model Time-stationary Controllers for Pipelined Data Path of Application Specific Integrated Circuits (파이프라인 방식의 ASIC 데이타 경로를 위한 무어 및 밀리식 시간 정지형 콘트롤 러의 자동 합성)

  • Kim, Jong-Tae
    • The Transactions of the Korea Information Processing Society
    • /
    • v.2 no.2
    • /
    • pp.254-263
    • /
    • 1995
  • In this paper we discuss Moore and Mealy-model Time-stationary control schemes of pipelined data paths of Application Specific, Integrated Circuits (ASICs). We developed a method to synthesize both a Moore and a Mealy-style Finite State Machine(FSM) controller specifications given a pipelined data path with conditional branches. The control synthesis task consists of the generation of control specification and the FSM synthesis. The control specification procedure generates a FSM specification in the form of a state table. The different partitioning schemes are applied to each FSM controller so as to minimize the total area. Experimental results show the characteristics of the two different control styles and the effects of these two models on cost and performance.

  • PDF

The clone of Moore machine using Hardware genetic algorithm (하드웨어 유전자 알고리즘을 이용한 무어 머신의 복제)

  • 권혁수;박세현;이정환;노석호;서기성
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2002.05a
    • /
    • pp.466-468
    • /
    • 2002
  • This paper proposes a new type of evolvable hardware for implementing the clone of Moore State machine. The proposed Evolvable Hardware is employed efficient pipeline parallelization, handshaking mechanism and fitness function in FPGA Genetic Algorithm(GA) has known as a method of solving NP problem in various applications. Since a major drawback of the GA is that it needs a long computation time, the hardware implementation of Genetic Algorithm is focused on in recent studies. Conventional hardware GA uses the fired length of chromosome but the proposed Evolvable Hardware uses the variable length of chromosome by the efficient 16 bit Pipeline Unit. Experimental results show that the proposed evolvable hardware is applicable to the implementation of the clone for Moore State machine

  • PDF

The clone of Moore machine using hardware genetic algorithm (하드웨어 유전자 알고리즘을 이용한 무어 머신의 복제)

  • 서기성;박세현;권혁수;이정환;노석호
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.6 no.5
    • /
    • pp.718-723
    • /
    • 2002
  • This paper proposes a new type of evolvable hardware for implementing the clone of Moore State machine. The proposed Evolvable Hardware is employed efficient pipeline parallelization, handshaking mechanism and fitness function in FPGA. Genetic Algorithm(GA) has known as a method of solving NP problem in various applications. Since a major drawback of the GA is that it needs a long computation time, the hardware implementation of Genetic Algorithm is focused on in recent studies. Conventional hardware GA uses the fixed length of chromosome but the proposed Evolvable Hardware uses the variable length of chromosome by the efficient 16 bit Pipeline Unit. Experimental results show that the proposed evolvable hardware is applicable to the implementation of the clone for Moore State machine.

A New Pseudoinverse Matrix Method For Balancing Chemical Equations And Their Stability (화학반응식 균형과 안정성을 위한 새로운 유사 역행렬법)

  • Risteski, Ice B.
    • Journal of the Korean Chemical Society
    • /
    • v.52 no.3
    • /
    • pp.223-238
    • /
    • 2008
  • this work is given a new pseudoniverse matrix method for balancing chemical equations. Here offered method is founded on virtue of the solution of a Diophantine matrix equation by using of a Moore-Penrose pseudoinverse matrix. The method has been tested on several typical chemical equations and found to be very successful for the all equations in our extensive balancing research. This method, which works successfully without any limitations, also has the capability to determine the feasibility of a new chemical reaction, and if it is feasible, then it will balance the equation. Chemical equations treated here possess atoms with fractional oxidation numbers. Also, in the present work are introduced necessary and sufficient criteria for stability of chemical equations over stability of their extended matrices.

Small scale Structure of Galactic Molecular Clouds toward Continuum Sources by KVN

  • Han, Junghwan;Yun, Young Joo;Park, Yong-Sun
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.39 no.2
    • /
    • pp.82-82
    • /
    • 2014
  • One of the subjects in clouds' structure and development is small scale structure of interstellar cloud. The possibility of AU scale structure (Marscher et al. 1993; Moore & Marscher 1995; Roy et al. 2012) is discussed, and this small scale structure is considered as the result of hydrogen volume density (Moore & Marscher 1995), or small-scale chemical and other inhomogeneities (Liszt & Lucas 2000). In order to study this subject with emission line, extremely high resolution is mandatory by VLBI system. However, the alternative method could be observing the absorption line of interstellar cloud on the continuum object. In this case, the resolution would be restricted to the size of the continuum object, if the size of the object is smaller than the resolution of a used telescope. We observed the previous researchers' three objects (BLLAC, NRAO150, B0528+138), whose spectrums are changed from 1993 to 1998 (Liszt & Lucas 2000), with KVN. Through KVN observation, we found the changes of optical depth spectrum compared with the previous spectrums. We will discuss the optical depth spectrum variation by time variation and the meaning of it.

  • PDF

SEMI-CONVERGENCE OF THE PARAMETERIZED INEXACT UZAWA METHOD FOR SINGULAR SADDLE POINT PROBLEMS

  • YUN, JAE HEON
    • Bulletin of the Korean Mathematical Society
    • /
    • v.52 no.5
    • /
    • pp.1669-1681
    • /
    • 2015
  • In this paper, we provide semi-convergence results of the parameterized inexact Uzawa method with singular preconditioners for solving singular saddle point problems. We also provide numerical experiments to examine the effectiveness of the parameterized inexact Uzawa method with singular preconditioners.

SINGULAR INTEGRAL EQUATIONS AND UNDERDETERMINED SYSTEMS

  • KIM, SEKI
    • Journal of the Korean Society for Industrial and Applied Mathematics
    • /
    • v.2 no.2
    • /
    • pp.67-80
    • /
    • 1998
  • In this paper the linear algebraic system obtained from a singular integral equation with variable coeffcients by a quadrature-collocation method is considered. We study this underdetermined system by means of the Moore Penrose generalized inverse. Convergence in compact subsets of [-1, 1] can be shown under some assumptions on the coeffcients of the equation.

  • PDF

Tabu Search methods to minimize the number of tardy jobs in nonidentical parallel machine scheduling problem (동일하지 않는 병렬기계 시스템에서 지연작업수를 최소화하는 Tabu Search 방법)

  • 전태웅;강맹규
    • Korean Management Science Review
    • /
    • v.12 no.3
    • /
    • pp.177-185
    • /
    • 1995
  • This paper presents a Tabu Search method to minimize a number of tardy jobs in the nonidentical parallel machine scheduling. The Tabu Search method employs a restricted neighborhood for the reduction of computation time. In this paper, we use two different types of method for a single machine scheduling. One is Moore's algorithm and the other is insertion method. We discuss computational experiments on more than 1000 test problems.

  • PDF

Estimation of Vibration Level Inside an Engine Based on Rigid Body Theory and Measurement Technology (강체 운동 해석 및 실험을 통한 엔진 내부 진동 예측에 관한 연구)

  • Kim, Byung-Hyun;Park, Jong-Ho;Kim, Eui-Yeol;Lee, Sang-Kwon;Kim, Tae-Jeong;Heo, Jeong-Ki
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.21 no.11
    • /
    • pp.1043-1050
    • /
    • 2011
  • This paper presents practical results for the estimation of vibration level inside a powertrain based on the rigid body theory and measurement. The vibration level of inside powertrain has been used for the calculation of excitation force of an engine indirectly. However it was difficult to estimate or measure the vibration level inside of a powertrain when a powertrain works on the driving condition of a vehicle. To do this work, the rigid body theory is employed. At the first, the vibration on the surface of a powertrain is measured and its results are secondly used for the estimation the vibration level inside of powertrain together with rigid body theory. Also did research on how to decrease the error rate when the rigid body theory is applied. This method is successfully applied to the estimation of the vibration level on arbitrary point of powertrain on the driving condition at the road.

Dynamic analysis of deployable structures using independent displacement modes based on Moore-Penrose generalized inverse matrix

  • Xiang, Ping;Wu, Minger;Zhou, Rui Q.
    • Structural Engineering and Mechanics
    • /
    • v.54 no.6
    • /
    • pp.1153-1174
    • /
    • 2015
  • Deployable structures have gained more and more applications in space and civil structures, while it takes a large amount of computational resources to analyze this kind of multibody systems using common analysis methods. This paper presents a new approach for dynamic analysis of multibody systems consisting of both rigid bars and arbitrarily shaped rigid bodies. The bars and rigid bodies are connected through their nodes by ideal pin joints, which are usually fundamental components of deployable structures. Utilizing the Moore-Penrose generalized inverse matrix, equations of motion and constraint equations of the bars and rigid bodies are formulated with nodal Cartesian coordinates as unknowns. Based on the constraint equations, the nodal displacements are expressed as linear combination of the independent modes of the rigid body displacements, i.e., the null space orthogonal basis of the constraint matrix. The proposed method has less unknowns and a simple formulation compared with common multibody dynamic methods. An analysis program for the proposed method is developed, and its validity and efficiency are investigated by analyses of several representative numerical examples, where good accuracy and efficiency are demonstrated through comparison with commercial software package ADAMS.