• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2127-2136
• /
• 1998

비평가인자 함수 언어는 비평가인자 어의로 인하여 기존의 von Neumann 형 병렬기에서 효율적인 수행을 어렵게 하는 미세수준의 동적 스케줄링 단위로 병합하는 과정이 중요하다. 이러한 과정을 스레드 분할이라 한다. 본 논문에서는 비평가인자 함수 프로그램을 스레드로 분할하는 자료형 분리집합 분할이라는 스레드 분할 알고리즘을 제안한다. 자료형 분리 집합 분할 알고리즘은 자료형을 비교할 수 없는 입력명과 출력명 사이에는 잠재 종속이 존재할 수 없다는 사실을 이용하여 스레드 분할을 수행한다. 이 방법을 사용하면 기존의 스레드 분할 방법에서 실패하는 스레드의 병합이 가능하며, 기존의 분할 알고리즘보다 더 큰 스레드를 생성할 수 있다.

• Nuclear Engineering and Technology
• /
• v.20 no.1
• /
• pp.35-46
• /
• 1988

The prediction of clad surface temperatures is important to the design and the safety anlaysis of nuclear reactor. The accurate prediction requires the detailed knowledge of the flow structure and heat transfer, which is complicate due to anisotropic turbulent phenomena. A two-equation model including anisotropic eddy viscosity model is applied to forecast the velocity distribution. And the temperature field is calculated with uniform wall heat flux. The Galerkin's weighted residual finite element method has been used to calculate the turbulent quantities right up to the wall. The numerical results show good agreement with available data and that turbulence anisotropy strongly affects on the mean flow and thus the temperature field. And Nu-P/D correlation is established for sodium coolant in close-packed equilateral triangular bundle in the P/D range of 1.05 to 1.30.

• Nuclear Engineering and Technology
• /
• v.24 no.3
• /
• pp.319-328
• /
• 1992

The Galerkin formulation of the finite element method is applied to the integral law of the first-order form of the one-group neutron transport equation in one-dimensional spherical geometry. Piecewise linear or quadratic Lagrange polynomials are utilized in the integral law for the angular flux to establish a set of linear algebraic equations. Numerical analyses are performed for the scalar flux distribution in a heterogeneous sphere as well as for the criticality problem in a uniform sphere. For the criticality problems in the uniform sphere, the results of the finite element method, with the use of continuous finite elements in space and angle, are compared with the exact solutions. In the heterogeneous problem, the scalar flux distribution obtained by using discontinuous angular and spatical finite elements is in good agreement with that from the ANISN code calculation.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.46 no.2
• /
• pp.7-14
• /
• 2009

In this paper we consider the problem of global finite-time stabilization for a class of uncertain nonlinear systems which include uncertainties. The uncertainties are time-varying disturbances or parameters belong to a known compact set. The proposed design method is based on backstepping and dynamic exponent scaling using an augmented dynamics, from which, a dynamic smooth feedback controller is derived. The finite-time stability of the closed-loop system and boundedness of the controller are preyed by the finite-time Lyapunov stability theory and a new notion 'degree indicator'.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.10
• /
• pp.1255-1260
• /
• 2012

The densification behavior of titanium powder in the direct powder rolling process was investigated. An analytical model for the roll-backlash phenomenon during this process was proposed to conduct a realistic finite element analysis. Furthermore, the roll-backlash was quantitatively analyzed, and the relative densities of the greenstrip along the rolling direction were precisely estimated. Finally, the slip and nip phenomena were identified by calculating the contact pressure and shear stress between the titanium powder and the roller in order to understand the densification behavior of the powder during the rolling process.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.2
• /
• pp.11-20
• /
• 2002

In this paper, for many prime power q, it is shown that new cyclic relative difference sets with parameters (equation omitted) can be constructed by using d-homogeneous functions on $F_{q^{n}}${0} over $F_{q}$ with difference-balanced property, where $F_{q^{n} }$ is a finite field with $q^{n}$ elements. Several new cyclic relative difference sets with parameters (equation omitted) are constructed by using p-ary sequences of period $q^{n}$ -1 with ideal autocorrelation property introduced by Helleseth and Gong and d-form sequences.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.1
• /
• pp.19-27
• /
• 1991

A new bandwidth reduction algorithm is developed by combining the two-step approach and the frontal ordering scheme. In the two-step approach, finite elements are numbered first, followed by nodal numbering based on the graph theory. The concept of wave front is incorporated into it to control the cardinality of the set of adjacent nodes and the bandwidth to be achieved. They are controlled systematically by rational selection of next candidates with the purpose of getting the smaller bandwidth efficiently. Eighteen meshes are renumbered and the results are compared with those of well-known algorithms. The results demonstrate the efficiency and the reliability of the proposed algorithm.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.10
• /
• pp.2181-2187
• /
• 2011

In this paper, a family of binary sequences generated by GMW sequences and No sequences is introduced and analyzed. Each sequence within a family has period $N=2^n-1$, n=2m and there are $2^m$ sequences within that family. We obtain auto and cross-correlation values and linear span of the synthesized sequence.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2001.10a
• /
• pp.309-312
• /
• 2001

FEM simulating system of the cross-rolling texture formation offers a systematic and efficient way of exploring the relationship between the process variables and the state of plastic anisotropy of sheet product. Cross-rolled sheets possess higher average plastic strain ratios and lower planer anisotropy than those of the straight-rolled sheets. The employed model is a finite-element polycrystal model which each element used in FEM is assumed to be a crystal having different orientation by Takahashi. Texture development, deformation textures due to cross-rolling are predicted for face-centered cubic sheet metal. Crystal orientations are assigned on the basis of the pole figures obtained by X-ray diffraction. Development of anisotropy during cross rolling of an fcc sheet material is predicted theoretically with respected to flow stress and R-value in tensile test.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.571-573
• /
• 2001

본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.