• 한국정보처리학회논문지
• /
• 제2권2호
• /
• pp.254-263
• /
• 1995

본 논문은 파이프라인 방식의 ASIC 데이타 경로를 제어하기 위한 무어 및 밀리식 의 시간 정지형 콘트롤러에 관한 연구이다. 조건분기(conditional branches)를 가진 데이타흐름도로 부터 무어 및 밀리식의 유한상태기(finite state machine) 콘트롤러 를 합성하는 방법을 소개한다. 콘트롤 합성은 콘트롤 명세서의 작성과 유한상태기의 합성으로 구성된다. 콘트롤 명세서를 작성하기 위한 과정들을 통해 상태표(state table)의 형태로 표현되는 유한상태기의 내역이 작성된다. 이 유한상태기를 여러 가지 다른 방식의 분할 과정과 축소화 과정을 거쳐 최소 면적을 가진 콘트롤러가 합성된다. 실험을 통해 두가지 콜트롤 방식의 특성을 비교하며 또한 두 모델의 비용과 성능의 영향 관계를 보여준다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2002년도 춘계종합학술대회
• /
• pp.466-468
• /
• 2002

본 논문은 새로운 무어 머신을 복제하는 진화 하드웨어를 제안하였다. 제안된 진화 하드웨어는 FPGA 상에서 효과적인 파이프라인, 병렬처리와 Handshaking을 구현했다. 유전자 알고리즘은 다양한 응용 분야의 NP 문제를 해결하는 방법으로 알려져 있으나 긴 계산 시간이 요구되기 때문에 하드웨어 유전자 알고리즘이 최근 관심사가 되고 있다. 기존의 하드웨어 유전자 알고리즘은 고정 길이의 염색체를 사용하지만 제안된 진화 하드웨어는 가변 길이의 염색체를 사용한다. 실험 결과는 제안된 진화 하드웨어가 무어 머신을 복제하는데 있어 적합함을 알 수 있다.

• 한국정보통신학회논문지
• /
• 제6권5호
• /
• pp.718-723
• /
• 2002

본 논문은 무어 머신을 복제하는 새로운 진화 하드웨어를 제안하였다. 제안된 진화 하드웨어는 FPGA 상에서 효과적인 파이프라인, 병렬처리와 Handshaking을 구현했다. 유전자 알고리즘은 다양한 응용 분야의 NP 문제를 해결하는 방법으로 알려져 있으나 긴 계산 시간이 요구되기 때문에 하드웨어 유전자 알고리즘이 최근 관심사가 되고 있다. 기존의 하드웨어 유전자 알고리즘은 고정 길이의 염색체를 사용하지만 제안된 진화 하드웨어는 가변 길이의 염색체를 사용한다. 실험 결과는 제안된 진화 하드웨어가 무어 머신을 복제하는데 있어 적합함을 알 수 있다.

• 대한화학회지
• /
• 제52권3호
• /
• pp.223-238
• /
• 2008

이 논문에 화학반응식 균형을 맞추기 위한 새로운 유사 역행렬법이 기술되었다. 여기에 제공된 방법은 Moore-Penrose 유사 역행렬을 사용한 Diophantin 행렬식의 해에 기초를 둔다. 방법은 전형적인 여러 화학반응식에 시험적용되었고 폭넓은 균형연구에서 모든 반응식에 매우 성공적이었다. 이 방법은 아무 제한없이 성공적으로 적용되고, 또한 새로운 화학반응식의 타당성에 대한 검증력도 있고, 만일 새식이 타당하다면 화학식 균형을 이룰 것이다. 여기서 다루어진 화학반응식들은 소수산화수를 지닌 원자를 포함하고 있다. 또한, 화학반응식의 확장된 행렬의 안정성에 대한 화학반응식의 안정성의 필요충분조건을 이 연구에 소개하였다.

• 천문학회보
• /
• 제39권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.

• 대한수학회보
• /
• 제52권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.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제2권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.

• 경영과학
• /
• 제12권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.

• 한국소음진동공학회논문집
• /
• 제21권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.

• Structural Engineering and Mechanics
• /
• 제54권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.