• Journal of applied mathematics & informatics
• /
• 제18권1_2호
• /
• pp.585-589
• /
• 2005

In [1], the structure of C(2,2) is determined as the polynomial ring in 5 variables. In this work, we show that C(2,3) is a free module over the subring of 9 variables. We explicitly give a presentation of C(2, 3) as free module over the polynomial ring.

• 방사성폐기물학회지
• /
• 제21권1호
• /
• pp.149-164
• /
• 2023

As part of the safety case development for generic disposal sites in Korea, it is necessary to develop generic assessment models using various geosphere-biosphere interfaces (GBIs) and potentially exposed groups (PEGs) that reflect the natural environmental characteristics and the lifestyles of people in Korea. In this study, a unique modeling strategy was developed to systematically construct and select Korean generic biosphere assessment models. The strategy includes three process steps (combination, screening, and experts' scoring) for the biosphere system conditions. First, various conditions, such as climate, topography, GBIs, and PEGs, were combined in the biosphere system. Second, the combined calculation cases were configured into interrelation matrices to screen out some calculation cases that were highly unlikely or less significant in terms of the exposure dose. Finally, the selected calculation cases were prioritized based on expert judgment by scoring the knowledge, probability, and importance. The results of this study can be implemented in the development of biosphere assessment models for Korean generic sites. It is believed that this systematic methodology for selecting the candidate calculation cases can contribute to increasing the confidence of future site-specific biosphere assessment models.

• 한국농공학회논문집
• /
• 제56권3호
• /
• pp.1-9
• /
• 2014

The aim of this study is to develop a simulation model for analyzing 2D truss structure using Generic Agricultural System Simulator (GASS). Although the truss is simple structure, numerical methods based on matrix analysis are cumbersome and complicated. This study suggests simple and convenient methods to remove calculating steps for whole stiffness matrices. The simulation environment based on independency of object-oriented components on GASS consists of component development and component deploy stages. A component for a truss structure is implemented based on equilibrium equations at nodes. The simulator can analyze truss structures through deploying components with attributes and links. The examples using GASS show intuitive graphical results of the movements of truss nodes.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권5호
• /
• pp.560-570
• /
• 1999

This paper formulates the suboptimal robust Kalman filtering problem into two coupled Linear Matrix Inequality (LMI) problems by applying Lyapunov theory to the augmented system which is composed of the state equation in the uncertain linear system and the estimation error dynamics. This formulations not only provide the sufficient conditions for the existence of the desired filter, but also construct the suboptimal robust Kalman filter. The proposed filter can guarantee the optimized upper bound of the estimation error variance for uncertain systems with parametric uncertainties in both the state and measurement matrices. In addition, this paper shows how the problem of finding the minimizing solution subject to Quadratic Matrix Inequality (QMI), which cannot be easily transformed into LMI using the usual Schur complement formula, can be successfully modified into a generic LMI problem.

• 한국컴퓨터정보학회논문지
• /
• 제11권3호
• /
• pp.141-149
• /
• 2006

본 논문에서는 회로 설계 소프트웨어에서 사용되는 primal-dual 최적화 문제의 해를 구하기 위해 필요한 삼중 행렬 곱셈 연산 ($P=AHA^{t}$)의 성능 개선에 관하여 연구하였다. 이를 위하여 삼중 행렬 곱셈 연산의 속도를 개선하기 위하여 기존의 2단계 연산 방법을 대신하여 1단계 연산 방법을 제안하고 성능을 분석하였다. 제안된 방법은 희소 행렬 H의 블록 대각 구조의 특성을 이용하여 부동 소숫점 연산량을 감소시킴으로써 성능 개선을 이루었으며 더불어 메모리 사용량도 기존 방법에 비하여 50% 이하로 감소하였다. 그 결과 Intel Itanium II 플랫폼에서 기존 2단계 연산 방법과 비교하여 속도 면에서 주어진 실험 데이터 집합에 대하여 평균 2.04 의 speedup을 얻었다. 또한 본 논문에서는 플랫폼의 메모리 지연량과 예측된 캐쉬 미스율을 이용한 성능 모델링을 통하여 이와 같은 성능 개선 수치의 가능 범위를 보이고 실측된 성능개선을 평가하였다. 이와 같은 연구는 희소 행렬의 성능 개선 연구를 기본 연산이 아닌 복합 연산에 적용하는 연구로써 큰 의미가 있다.