• Computational Structural Engineering
• /
• v.28 no.3
• /
• pp.13-17
• /
• 2015

본 기사에서는 모델링불확실성(modeling uncertainty)에 따른 신뢰성 해석결과의 가변성(variability)을 가능성 분포함수(possibility distribution function)를 구성하여 해결하는 방법을 AISC(1998), AIJ(1985), CSA(1994)에서 제안된 3개의 최대 D/t 계산식을 예로 들어 소개하였다. 확신정도가 측정된 신뢰성지수 들을 얻을 수 있으며, 확신정도를 고려한 신뢰성지수의 결정이 가능하게 된다. 다양한 형태의 불확실성에 대하여 그 형태에 맞는 적합한 불확실성 모델링을 사용하는 것도 중요하지만, 확률적 표현에 익숙한 우리의 인지구조를 고려하여 기존의 신뢰성 해석에 어떻게 다양한 불확실성 모델링 방법을 접목시킬 것인지에 대한 연구도 중요할 것이다.

• KDI Journal of Economic Policy
• /
• v.11 no.1
• /
• pp.31-49
• /
• 1989

본고(本稿)에서는, 최근 금융자율화(金融自律化) 금융혁신(金融革新)의 진전과 때를 같이하여, 불환지폐제도(不換紙幣制度)의 만성적 인플레문제(問題)를 해결하기 위한 방안으로 새로운 지불제도(支拂制度)를 주창하는 "신화폐경제학파(新貨幣經濟學派)"의 이론 및 그 시사점을 검토하였다. 동(同) 학파(學派)는 화폐(貨幣)의 계산단위(計算單位)와 지불수단기능(支拂手段機能)이 분리되고 계산단위(計算單位)는 실물재화(實物財貨)에 의해 측정되며, 지불수단기능(支拂手段機能)은 교환회계제도(交換會計制度)를 통해 투자기금은행계정(投資基金銀行計定)의 자동이체에 의해 수행되는 지불제도(支拂制度)를 제안하고 있는데, 투자계정(投資計定)의, 계산단위(計算單位)인 실물재화(實物財貨)로의 교환성(交換性)은 인정되지 않는다. 물가안정(物價安定)은 계산단위(計算單位)의 가치안정(價値安定)을 통해 도모되고, 지불수단(支拂手段)의 수요공급(需要供給)과 물가(物價)와의 상관관계(相關關係)는 부재한다. 화폐(貨幣)의 두 기능의 분리가능성(分離可能性)이나 동(同) 지불제도(支拂制度)의 자생력(自生力) 측면에서의 많은 비판에도 불구하고, 특히 동(同) 학파(學派)의 투자기금은행제도(投資基金銀行制度)는 사실상 시장가격(市場價格)에 의한 교환제도(交換制度)를 채택하고 있기 대문에 지불제도(支拂制度)의 안전성제고(安全性提高) 측면에서 현재의 은행제도(銀行制度)보다도 유리하다는 점 등 동(同) 학파(學派)의 긍정적 공헌에 대해서도 평가되어야 할 것이다.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.27-36
• /
• 2004

This paper addresses G$\ddot{o}$del's critique of Turing's mechanism that a configuration of the Turing machine corresponds to each state of human mind. The first part gives a quick overview of Turing's analysis of cognition as computation and its variants. In the following part, we describe the concept of Turing machines, and the third part explains the computational limitations of Turing machines as a cognitive system. The fourth part demonstrates that Godel did not agree with Turing's argument, sometimes referred to as mechanism. Finally, we discuss an oracle Turing machine and its implications.

• Economic and Environmental Geology
• /
• v.29 no.2
• /
• pp.171-182
• /
• 1996

Quaternary Jungok basalts are distributed along the old Hantan river in Mid-Korean Peninsula. They were flowed out from Mt. Ori and Upland (680 m), and they formed narrow and long basalt plateau showing the layers of 10 to 20 meters in thickness and about 95 km in length. Fifty seven samples were collected from the study area, and sixteen rock samples were selected and analysed for major and trace elements. The analyzed samples have alkalic composition and show a relatively restricted variation in major element chemistry (except MgO), as comparing to the that of trace element. Based on major element chemistry, a quantitative modelling of fractional crystallization by multiple linear regression method suggests that the chemical evolution of the evolved rocks can be generated by fractionation of olivine, plagioc1ase, clinopyroxene, and magnetite in proportion of 56 : 25 : 17 : 2, respectively. The calculated trace element abundances by mineral proportions estimated from major element modelling, however, underestimate the incompatible element concentrations in the evolved rocks. According to the incompatible element abundances, simple fractional crystallization process has difficulty to explain the chemical variation of the evolved rocks. It seems that the other processes, which enrichment of incompatible elements can occure without concomitant changes in major element compositions, are needed in order to explain the chemical variation of the Jungok basalts. Thus, the major elements and compatible trace elements variations of the Jungok basalts are due to fractional crystallization, but the incompatible elements variation is due to fractional crystallization superimposed on already varying concentrations caused by slightly different degrees of melting of the same source, and/or due to periodic replenishment, tapping and fractionation(RTF) processes.

• Tunnel and Underground Space
• /
• v.27 no.5
• /
• pp.333-342
• /
• 2017

In this study, the heterogeneity of internal structure of various igneous rocks acquired in Korea was quantified and correlated with the seismic velocity and the point load strength. Three-dimensional X-ray Computed Tomography (CT) was used to obtain information on the internal structure of the rock specimen, and the representative unit length (LR) was calculated by applying a statistical technique to the CT images. We also proposed an estimation equation to predict the mechanical properties of rocks from the relationship between LR, acoustic velocity and point load strength. In the proposed method, it is shown that the characterization of internal structure of rocks could be utilized as an indirect index to account for the mechanical behavior of rocks by substituting physical laboratory testing for non-destructive test.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.4
• /
• pp.409-415
• /
• 2015

For the design of Concrete-Filled Steel Tube(CFST) columns, the outside diameter D to the steel tube thickness t ratio(D/t ratio) is limited to prevent the local buckling of steel tubes. Each design code proposes the respective model to compute the maximum D/t ratio using the yield strength of steel $f_y$ or $f_y$ and the elastic modulus of steel E. Considering the uncertainty in $f_y$ and E, the reliability index ${beta}$ for the local buckling of a CFST section can be calculated by formulating the limit state function including the maximum D/t models. The resulted ${beta}$ depends on the maximum D/t model used for the reliability analysis. This variability in reliability analysis is due to ambiguity in choosing computational models and it is called as "modelling uncertainty." This uncertainty can be considered as "non-specificity" of an epistemic uncertainty and modelled by constructing possibility distribution functions. In this study, three different computation models for the maximum D/t ratio are used to conduct reliability analyses for the local buckling of a CFST section and the reliability index ${beta}$ will be computed respectively. The "non-specific ${beta}s$" will be modelled by possibility distribution function and a metric, degree of confirmation, is measured from the possibility distribution function. It is shown that the degree of confirmation increases when ${beta}$ decreases. Conclusively, a new set of reliability indices associated with a degree of confirmation is determined and it is allowed to decide reliability index for the local buckling of a CFST section with an acceptable confirmation level.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1235-1239
• /
• 2009

우리나라는 유로연장이 짧고, 경사도가 심하며, 산업화가 진행되면서 무분별한 개발로 인해 불투수층 면적이 많고, 이상기후로 인한 국지성 호우로 인해 소규모 지역의 피해가 심각한 실정이다. 따라서 피해를 줄이기 위해서는 소규모 지역의 정확한 데이터베이스 구축과 정확한 분석이 필요하다. 본 연구에서는 합리식과 절점유출형 해석법을 통하여 STORMCAD 모델과 비교 분석하여 모델의 적용가능성을 검토 하였다. 분석 방법은 합리식을 이용한 유역의 유출량은 강우강도 10분에 1.90($m^3$/sec), 1.92($m^3$/sec), 60분에 0.82($m^3$/sec), 0.87($m^3$/sec)로 STORMCAD가 조금 높게 나 타났지만, 큰 차이를 보이지 않았다. 각 절점 결과에서 다소 차이를 나타내는 절점이 있지만 대부분 비슷한 유출 형태를 보였다. TR-55방법을 이용하여 관의 유속을 분석한 결과는 TR-55가 STORMCAD에 비해서 높은 값을 나타내었다. 이는 절점 사이의 간격을 줄이거나 경사도를 완만하게 함으로써 차이를 줄일 수 있을 것으로 판단 된다. 연구결과 STORMCAD 모델을 이용하여 계산된 모의 결과 값이 큰 이론적인 값과 큰 차이를 보이지 않으므로 실무에서도 유용하게 적용 할 수 있을 것으로 판단된다.

• Fire Science and Engineering
• /
• v.25 no.3
• /
• pp.1-7
• /
• 2011

This paper studied analysis of deflagration rapid propagation of burning through only a few second and fire cause into the Busan indoor shooting range. We carried out combustion experiment of sound-absorbing materials extensively used, to analyze propagation path of burning in indoor shooting range. From the experimental results, general sound-absorbing materials were rapid burned simultaneously with ignition and in case of attached gunpowder residue, they were burning about tripled by comparison with general sound-absorbing materials. The incombustibility sound-absorbing materials had all gone out simultaneously with ignition, but they were burning similar to general type materials in case of attached gunpowder residues. In order to analysis of the cause of fire, we calculated kinetic energy of bounced off bullet, from result, if the bounced off bullet impacted gunpowder residues, the gunpowder residues were possible to ignite by the bullet.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.402.2-402.2
• /
• 2014

과학과 기술이 발전할수록 나노크기를 넘어서 나노 크기미만의 관찰 분해능과 가공능력이 필수로 요구되어 측정장비와 가공장비의 연구 및 개발이 매우 중요하다. 현재는 주사전자현미경과 투과전자현미경의 발달로 나노크기 이하의 이미징 분해능에는 도달하였지만, 전자 입자의 가벼운 무게 때문에 가공측면에서는 한계를 가지고 있다. 또한 지난 수십 년간 정밀가공에 사용된 갈륨이온 LMIS(Liquid Metal Ion Source)기반의 집속이온빔 시스템은 수십 nm의 가공정밀도를 가지지만 10 nm 미만의 가공정밀도까지 구현하기에는 현재 기술적인 한계로 힘들다. 나노크기 이하의 이미징 분해능과 수 nm의 가공정밀도를 갖는 이온현미경이 최근에 상용화되어 판매되고 있는데, 이 이온 현미경에 사용되는 것이 가스장 이온원(GFIS:Gas Field Ionization Source)이다. 가스장 이온원은 작은 발산각, 작은 가상 이온원 크기 그리고 좁은 에너지 퍼짐의 특징을 가지며 이에 따라 구면수차 및 색수차에도 둔감한 특징을 가지고 있다. 또한 LMIS 는 갈륨이온이 시편속에 파고들어 시편의 물질 특성이 변화되는 문제가 있지만, GFIS에서는 주로 He, Ne 와 같은 불활성 기체를 주로 사용하므로 시편과 반응을 최소화 할 수 있는 장점도 있다. 위와 같은 특징을 갖는 이온빔을 GFIS 로 생성하고 이온현미경에 사용하기 위해서는 이온빔이 팁의 단원자 내지 수 개 정도의 원자에서 생성되도록 해야 한다. 본 연구에서는 GFIS 의 원리를 소개하고 장(전계)이온현미경(Field Ion Microscope)실험을 통하여 GFIS기반으로 생성된 이온빔의 형상을 보여준다. 또한 높은 각전류밀도 구현을 위하여 질소가스 에칭으로 텅스텐 팁 끝 단원자에서만 이온빔을 생성하고, 각전류 밀도 계산과 안정도 실험결과로 본 연구에서 개발한 이온원이 이온총으로서의 이온현미경 적용 가능성에 대해 보여준다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.336-336
• /
• 2021

기후변화와 도시화로 인한 집중 호우와 불투수층 증가로 도시 홍수의 발생 빈도와 규모가 증가하고 있다. 인적, 물적 자원이 집중되어 있는 도시유역의 특성상 침수가 발생하면 이로 인한 직접적 피해 뿐만 아니라 사회경제적 2차 피해를 발생한다. 도시 홍수로 인한 피해를 줄이고 도시의 재해에 대한 회복력을 키우기 위해서는 관측과 더불어 정확한 모의 기술이 중요하다. 한편, 격자 기반 도시 홍수 모의는 집중 호우에 따른 침수의 시공간적 발생 양상을 물리적으로 해석하는 방법으로, 지표수-우수관거 이중배제 통합 모의, 수치기법, 병렬컴퓨팅, 수질 연계 모의 등의 측면에서 지금까지 많은 발전이 이루어져 왔다. 최근들어 원격탐사 기술의 발달로 공간해상도 1미터 수준 혹은 그 이상의 초고해상도 지형자료가 많은 지역에서 대해 가용해지고 있으며, 도시 홍수 해석에 이와 같은 초고해상도 자료를 적용하기 위한 연구가 활발히 진행되고 있다. 본 연구에서는 초고해상도 지형 및 토지 피복 자료의 공간해상도가 침수해석에 미치는 영향을 분석한다. 도시침수의 두가지 주요 요인인 내수침수와 외수범람 중에서 극한 강우에 의한 내수침수해석 사례만을 주요 연구 범위로 한다. 초고해상도 입력자료의 격자기반 도수 해석 모형으로는 운동파 기반의 2차원 지표 흐름 해석 모형을 적용하고, 초고해상도 모의의 효율적 계산을 위해 하이브리드 병렬 컴퓨팅 기술을 이용한다. 초고해상도 입력자료 적용 사례 대비, 공간해상도 저하에 따라 침수 면적이나 깊이 등에서 어떤 변화가 있는지 정량적으로 검토한다. 또한, 강우의 강도 및 공간분포가 초고해상도 도시 홍수 해석에 미치는 영향에 대해서 분석한다. 모의 결과로부터 도시 홍수 해석시 거리 단위(street-level) 정확도의 재현을 위해 적정한 공간해상도를 분석하고, 초고해상도 도시 홍수 모의를 이용한 기후변화에 따른 극한 홍수의 도시지역 영향 분석 및 회복력 개선 관련 연구의 가능성에 대해 논의한다.