• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.3
• /
• pp.134-143
• /
• 2001

NUMA 구조 다중 프로세서 시스템에서는 상호 연결망으로서의 버스의 제약을 극복하기 위해 지점간 링크를 이용한 링 구조가 제안되었다. 링 구조 NUMA 시스템에서, 전송이 페이지 단위(2K 바이트 이상)로 이루어지는 디스크 입출력 요구는 지점간 링크에 대한 오랜 접근을 요구하여 지점간 링크의 트래픽을 증가시키는 원인으로 작용한다. 본 논문에서는 지점간 링크의 트래픽을 줄이기 위한 방안으로 입출력 전용 채널을 사용하는 세 가지 디스크 입출력 구조를 제시한다. 제시되는 디스크 입출력 구조를 사용하는 시스템은 디스크 입출력 요구로 인한 지점간 링크의 접근을 없앰으로써 기존 시스템에 비해 트랜잭션의 수행시간을 줄일 수 있다는 장점이 있다. 중앙집중형, 병렬형, 분산형의 세 가지 디스크 입출력 구조를 설계하기 위한 고려 사항과 구현 비용 등을 생각해 본 후, 노드수, 원격 디스크 접근 확률, 디스크 입출력 전송 데이터 크기 등을 달리한 여러 시스템 환경에서의 각 구조의 성능을 비교, 분석해 본다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.13 no.2
• /
• pp.21-29
• /
• 1993

In this paper, a probability-based reliability analysis was proposed based on a finite element method-based random vibration analysis and serviceability limit state of structures. The limit state model defined for the study is a serviceability limit state in terms of the more realistic crack failure that might cause the emission of radioactive materials. The SAP V-2 is used for a three-dimensional finite element analysis of concrete containment structure, and the reliability analysis is carried out by modifying HRAS reliability analysis program for this study. In this study, the load factors for the design of reinforced concrete cointainment structures in Korea are proposed by considering appropriate load combination criteria for design, and the results are compared with the present ASME code. The proposed load factors were proved to be in accordance with a set of code performance objective and showed consistency in the limit state probability.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.628-630
• /
• 2005

베이지안 네트워크는 확률이론에 기초해 불확실성이 존재하는 실세계 문제를 해결하는데 많은 기여를 하고 있다. 최근 네트워크 구조를 데이터로부터 자동으로 학습하는 많은 연구가 이루어져 보다 손쉽게 많은 사람들이 사용할 수 있게 되었다. 하지만 한번 학습하여 고정된 네트워크의 구조는 새롭게 수집되는 데이터의 특성을 잘 반영하지 못하는 문제를 지니고 있다. 환경의 변화에 맞게 지속적으로 네트워크 구조를 갱신하기 위한 연구가 진행되고 있으며 본 연구에서는 Lam이 제안한 MDL기반 평가함수를 이용한 진화적 갱신 방법을 제안하여 갱신 성능을 향상시키고자 한다. 벤치마크 네트워크인 ASIA에 대한 실험 결과 제안한 방법이 기존의 지역적 탐색 방법에 비해 향상된 성능을 제공함을 확인하였다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.32 no.3
• /
• pp.147-160
• /
• 2020

A stochastic probabilistic model for harbor structures such as rubble-mound breakwater has been formulated by using the generalized Wiener process considering the nonlinearity of damage drift and its nonlinear uncertainty, by which the damage path with real-time can be tracked, the residual useful lifetime at some age can also be analyzed properly. The formulated stochastic model can easily calculate the probability of failure with the passage of time through the probability density function of cumulative damage. In particular, the probability density functions of residual useful lifetime of the existing harbor structures can be derived, which can take into account the current age, its present damage state and the future damage process to be occurred. By using the maximum likelihood method and the least square method together, the involved parameters in the stochastic model can be estimated. In the calibration of the stochastic model presented in this paper, the present results are very well similar with the results of MCS about tracking of the damage paths as well as evaluating of the density functions of the cumulative damage and the residual useful lifetime. MTTF and MRL are also evaluated exactly. Meanwhile, the stochastic probabilistic model has been applied to the rubble-mound breakwater. The related parameters can be estimated by using the experimental data of the cumulative damages of armor units measured as a function of time. The theoretical results about the probability density function of cumulative damage and the probability of failure are very well agreed with MCS results such that the density functions of the cumulative damage tend to move to rightward and the amounts of its uncertainty are increased as the elapsed time goes on. Thus, the probabilities of failure with the elapsed time are also increased sharply. Finally, the behaviors of residual useful lifetime have been investigated with the elapsed age. It is concluded for rubble-mound breakwaters that the probability density functions of residual useful lifetime tends to have a longer tail in the right side rather than the left side because of the gradual increases of cumulative damage of armor units. Therefore, its MRLs are sharply decreased after some age. In this paper, the special attentions are paid to the relationship of MTTF and MRL and the elapsed age of the existing structure. In spite of that the sum of the elapsed age and MRL must be equal to MTTF deterministically, the large difference has been shown as the elapsed age is increased which is due to the uncertainty of cumulative damage to be occurred in the future.

• The KIPS Transactions:PartC
• /
• v.9C no.4
• /
• pp.445-452
• /
• 2002

In this paper, we suggest the design of 128bit block cipher which is provable security based on mathematics theory. We have derived the 16$\times$16 matrix(i.e.,linear transformation) which is numerous active S-box, and we proved for DC and LC which prove method about security of SPN structure cipher algorithm. Also, the minimum number of active S-box, the maximum differential probabilities and the maximum linear probabilities in round function of 128bit block cipher algorithm which has an effect to DC and LC are derived.

• The Korean Society of Law and Medicine
• /
• v.23 no.3
• /
• pp.139-207
• /
• 2022

As various state restrictions on individual freedom were imposed during the COVID-19 pandemic, concerns have been raised that excessive infringements on fundamental rights were indiscriminately permitted based on the public interest of preventing infectious diseases. Therefore, the question of how to set acceptable limits of liberty restrictions on individuals has emerged. However, since the phenomenon of infections spreading to the population is only predicted statistically, how to deal with the risk of the infected individual as a subject of legal analysis has become a problem. In the absence of a theoretical framework of legal analysis of risk, the risk of infected individuals during the pandemic was not analyzed strictly, and proportionality review of infection prevention measures was often only an abstract comparison of the importance of public interest and individual rights. Therefore, this research aims to conduct a theoretical review on how risk can be conceptualized legally in a public health crisis, and to develop a theoretical framework for proportionality review of the risk of liberty-limiting measures during a pandemic. Chapter 2 analyzes the legal philosophical concepts of risk, which are the basis for liberty restrictions during a public health crisis, and applies and extends them to the pandemic. Chapter 3 reviews previous studies related to liberty restriction measures in the context of the COVID-19 pandemic, and points out they have a limitation that specific criteria for the proportionality review of public health measures in the pandemic have not been presented. Accordingly, Chapter 3 specifies the methodological framework for proportionality review, referring to the theoretical discussion on risks in Chapter 2. Chapter 4 reviews the legitimacy of gathering restriction orders, applying the theoretical discussion in Chapter 2 and the criteria for proportionality review established in Chapter 3. In particular, Section 4 examines logic of proportionality review in judicial precedents over the ban on gathering restrictions implemented in the COVID-19 pandemic. In analyzing the precedents, the logic of proportionality review in each case is critically reviewed and reconstructed based on the theoretical framework presented in this research.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.3 no.1
• /
• pp.14-20
• /
• 1991

Accurate estimation of irregular wave transformation when the waves propagate from deep water to shallow water region is very important for the design of coastal structures and establishing beach erosion control. In this study. the transformation of directional spectrum is tested numerically using a conservation equation for energy flux and. based upon the joint distribution of wave height. period and wave direction. shoaling effects are predicted in the shallow water region. The applicability of the proposed procedure is verified through comparison with field observation data.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.08a
• /
• pp.241-242
• /
• 2011

유기물을 기반으로 하는 유기발광소자(OLED), 유기메모리(OBD) 및 유기 태양전지(organic solar cell) 등과 같은 차세대 전자 소자는 기존의 무기물 기반의 소자에 비해 가격이 싸고 제작방법이 간단하며 휘어지게 만들 수 있다는 장점을 갖기 때문에 많은 관심을 받고 있다. 유기물질을 기반으로 한 전자 소자의 효율을 향상시키기 위해서는 유기물 자체의 물리적인 특성을 고찰하는 연구가 중요하다. 특히, 유기물 내에서의 전하 전송 메카니즘을 이해하기 위해 유기물의 이동도에 대한 연구가 중요하나, 아직까지 유기물질을 기반으로 한 전자 소자의 전하이동도에 대한 이론적인 연구가 거의 없다. 본 연구에서는 온도 변화에 따른 유기물 내에서의 전자 이동도를 몬테카를로 방법을 이용하여 계산하였다. 시뮬레이션을 위한 기본 구조로 소자의 길이는 50~500 사이트로 하였으며, 이웃한 사이트간 거리는 3A로 결정하였다. 유기물 내에 존재하는 트랩의 분포는 가우시안 분포로 가정하였다. 유기물 내에서의 전자 이동도를 추출하기 위해 이웃한 트랩간의 천이 확률을 Miller and Abrahams 식을 이용하여 계산하고[1], 트랩간의 천이시간을 컴퓨터에서 발생시킨 난수를 통해 얻어 이들을 통계적으로 처리하여 유기물 내에서의 전자 이동도를 계산하였다. 시뮬레이션 결과, 전자 이동도는 전계가 증가함에 따라 일정하게 증가하다가 일정 전계에서 포화된 후, 다시 감소하는 현상을 갖는다. 초기의 전계영역에서는 전계의 증가에 따라 유기물 내 트랩간의 천이 확률이 증가하기 때문에 전자 이동도가 증가한다. 하지만, 일정 전계 이상의 큰 전계 영역에서는 전자의 이동 속도는 거의 변하지 않는 상태에서 전계는 계속 증가하기 때문에 상대적으로 전자 이동도는 줄어들게 된다. 다양한 길이를 갖는 벌크 상태의 유기소자에 대한 전자 이동도를 시뮬레이션 하였을 때, 소자의 크기와 상관없이 전자 이동도는 거의 일정 하였다. 이는 순수한 벌크 상태의 유기소자는 유기물 자체에서의 전자 움직임에 의해 전자 이동도가 결정되기 때문이다. 온도가 높아짐에 따라 유기물 내의 전자 이동도는 증가하였다. 이는 온도가 증가할수록 열적 여기에 의한 트랩간의 천이 확률이 증가하기 때문이다. 하지만, 트랩의 분산도가 30 meV로 작을 경우, 일정 온도 이상에서의 전자 이동도는 포화되어 일정한 값으로 유지한다. 유기물 내에 존재하는 트랩 분포에 따라 온도의 변화에 따른 전자 이동도 특성이 달라짐을 알 수 있다. 이러한 결과는 유기물질을 기반으로 한 전자소자에서의 전하 전송 메카니즘을 이해하고 소자의 제작 및 특성 향상에 도움이 된다고 생각한다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.10 no.1
• /
• pp.9-16
• /
• 1990

The safety of concrete nuclear containment structures should be secured against all kinds of loading due to various natural disasters or extraordinary accidental loads. The current design criteria of concrete containment structures are not based on the reliabillty-based design concept but rely on the conventional design concept. In this paper, a probabillty-based reliability analysis were proposed based on a FEM-based random vibration analysis and serviceability limit state of structures. The limit state model defined for the study is a serviceability limit state in terms of the more realistic crack failure that might cause the emission of radioactive materials, and the results are compared with those of the strength limit state. More accurate reliability analyses under various dynamic loads such as earthquake loads were made possible by incorporation the FEM and random vibration theory, which is different from the conventional reliability analysis method. The uncertainties in loads and resistance available in Korea and the refernces were adapted to the situation of Korea, and especially in the case of earthquake, the design earthquake was assessed based on the available re ports on probabilistic description of earthquake ground acceleration in the Korea peninsula.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.