• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2127-2136
• /
• 1998

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

• Nuclear Engineering and Technology
• /
• 제20권1호
• /
• pp.35-46
• /
• 1988

원자로의 설계나 안전성 분석을 위해서는 핵연료 집합체 내의 유동 구조와 열전달에 대한 지식이 매우 중요하다. 따라서 핵연료 집합체 내의 유체 온도 분포를 정확히 계산하기 위해서는 냉각재 유로 내에서의 속도분포를 정확히 알아야 하는데 이것은 복잡한 난류 현상 때문에 예측하기가 매우 어렵다. 본 연구는 비등방성을 고려한 2-방정식 모형을 사용하여 속도분포를 구하고 핵연료 표면에서의 균일열속을 가정하므로써 유로내에서의 속도 분포를 예측하였다. 수치해는 Galerkin유한 요소법에 의해 핵연료봉 표면까지 구하여졌다. 수치 결과는 알려진 실험치 및 계산치와 비교되어 잘 일치하고 있고, 또한 난류 비등방성이 유로 내의 평균속도와 온도분포에 영향을 미치고 있음을 보았다. 그리고 조밀한 삼각 배열 핵연료 집합체(P/D=1.05-1.3) 내에서 나트륨 냉각재를 사용한 경우의 Nu-P/D관계식을 수립하였다.

• Nuclear Engineering and Technology
• /
• 제24권3호
• /
• pp.319-328
• /
• 1992

일차원 구에서 유한요소법의 Galerkin formulation이 일차형태의 단일 에너지 중성자 수송방정식의 적분법에 적용되었다. 구분적으로 1차 혹은 2차인 Lagrange 다항식들이 선형대수 방정식들의 집합을 만들기 위해 적분법에 있는 각의존 중성자속(angular flux)에 대하여 활용되었다. 수치해석이 균질구에서의 임계문제와 비균질구에서의 scalar flux 분포에 대해서 행해졌다. 공간과 각에 대하여 연속적인 유한요소를 사용한 균질구에서의 임계문제에 대한 유한요소법의 결과들은 이론적인 해들자 비교되었다. 비균질 문제에서는 각자 공간에 대하여 불연속 유한요소를 사용하여 구한 scalar flux 분포는 ANISN code에 의한 계산결과와 잘 일치하였다.

• 전자공학회논문지SC
• /
• 제46권2호
• /
• pp.7-14
• /
• 2009

본 논문에서는 불확실성을 가지는 비선형 시스템에 대한 강인 유한 시간 안정화 문제를 고려한다. 불확실성은 시변 외란 혹은 이미 알고 있는 옹골 집합에 포함된 파라미터들이다. 제안된 설계기법은 역진기법(backstepping)과 추가된 다이나믹스를 이용한 다이나믹 지수 보정법(dynamic exponent scaling)에 기반을 두고 있으며, 이로부터 다이나믹 스무스 궤환 제어기(dynamic smooth feedback controller)가 유도된다. 페루프 시스템의 유한 시간 안정과 제어기의 유한함은 각각 유한 시간 안정에 관한 리아푸노프 안정 이론과 새로운 개념인 '차수 지표자(degree indicator)'를 이용하여 증명된다.

• 대한기계학회논문집A
• /
• 제36권10호
• /
• pp.1255-1260
• /
• 2012

분말직송압연에 따른 티타늄 분말 집합체의 치밀화 거동을 연구하였다. 이와 관련하여 실험 시 나타나는 롤-밀림 현상을 분석하기 위한 이론적 모델을 개발하였으며, 이를 통해 보다 실질적인 유한요소 해석을 수행하였다. 개발된 롤-밀림 모델을 통해 공정변수에 따른 롤-밀림의 경향을 정량적으로 파악하였으며, 분말직송압연 공정의 유한요소 해석을 통해 판재의 위치 별 최종 상대 밀도를 비교적 정확히 예측할 수 있었다. 아울러 공정 시 분말집합체의 치밀화 현상을 이해하기 위해 분말-롤 간 접촉 압력 및 전단응력을 계산하였으며 이를 통해 분말의 물림현상이 나타나는 영역을 보다 명확히 확인할 수 있었다.

• 정보보호학회논문지
• /
• 제12권2호
• /
• pp.11-20
• /
• 2002

본 논문에서는 q는 p의 멱승이고, $F_{q^{n}}$이 원소의 개수가 $q^{n}$ 개인 유한체라 할 때, $F_{q^{n}}${0}으로부터의 $F_{q}$ 로의 차균형 성질을 갖는 d-동차함수로부터 (equation omitted) 순회상대차집합이 얻어질 수 있음을 보인다. 이에 따라 주기가 $q^{n}$ -1이고, 이상적인 자기상관성질을 갖는 p진 시퀀스 Helleseth-Gong 시퀀스 및, d-형 시퀀스로부터 (equation omitted)의 파라미터를 갖는 새로운 순회상대차집합을 생성시킨다.

• 대한기계학회논문집
• /
• 제15권1호
• /
• pp.19-27
• /
• 1991

본 연구에서는 그래프 이론에 기초한 이단계 번호 부여 방법에 목표밴드폭을 도입하여 계산시간이 짧으면서도 효율적으로 번호를 부여할 수 있는 방법을 제안하고 자 한다.

• 한국정보통신학회논문지
• /
• 제15권10호
• /
• pp.2181-2187
• /
• 2011

본 논문에서는 GMW 수열과 No 수열에 의해서 생성된 이진 수열들의 집합을 소개하고 분석한다. 집합안의 각 수열들은 주기 $N=2^n-1$이고 n=2m 이며 $2^m$개의 수열들이 있다. 합성된 수열의 자기상관계수와 상호상관계수 그리고 선형스팬을 구한다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2001년도 추계학술대회 논문집
• /
• 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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.571-573
• /
• 2001

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