• 한국정보과학회논문지:시스템및이론
• /
• 제35권9_10호
• /
• pp.485-496
• /
• 2008

SoC(System-on-Chip)를 설계함에 있어서 칩의 복잡도 증가로 인하여, RTL(Register Transfer Level)에 기반한 기존의 시스템 성능 분석 및 검증 기법만으로는 점차 짧아지는 '시장 적기 출하(time-to-market)' 요구에 효율적으로 대응할 수 없게 되었다. 이를 극복하기 위하여 설계 포기 단계부터 지속적으로 시스템을 검증하기 위한 새로운 설계 방법이 요구되었으며, TLM(Transaction Level Modeling) 추상화 수준을 가진 하드웨어-소프트웨어(HW-SW) 통합 시뮬레이션이 이러한 문제를 해결하기 위한 방법으로 널리 연구되고 있다. 그러나 대부분의 HW-SW 통합 시뮬레이터들은 다양한 추상화 수준 중 일부만을 지원하고 있으며, 서로 다른 추상화 수준을 지원하는 툴들 간의 연계도 쉽지 않다. 이를 극복하기 위하여 본 논문에서는 HW-SW 통합 시뮬레이션을 위한 다목적 선계 프레임워크를 제안한다. 제안하는 프레임워크는 소프트웨어 응용의 설계를 포함하는 체계적인 SoC 설계 플로우를 제공하며, 각 설계 단계에서 다양한 기법들을 유연하게 적용할 수 있는 동시에, 다양한 HW-SW 통합 시뮬레이터들을 지원한다. 또한 플랫폼을 추상화 수준과 모델링 언어에 독립적으로 설계할 수 있어, 다양한 수준의 시뮬레이션 모델 생성이 가능하다. 본 논문에서는 실험을 통하여, 제안하는 프레임워크가 ARM9 기반의 강용 SoC 플랫폼을 정확하게 모델링 할 수 있는 동시에, MJPEG 예제의 성능을 44%까지 향상시키는 성능 최적화를 수행할 수 있음을 검증하였다.

• EDISON SW 활용 경진대회 논문집
• /
• 제4회(2015년)
• /
• pp.274-278
• /
• 2015

There are different kinds of aircrafts, such as conventional airplane, rotorcraft, fighter, and unmanned aerial vehicle. Their shape and feature are dependent upon their assigned mission. One of the fundamental analyses during the design of the aircraft is the structural analysis. The structural analysis becomes more complicated and needs more computations because of the on-going complex aircrafts' structure. In order for efficiency in the structural analysis, a simplified approach, such as equivalent beam or plate model, is preferred. However, it is not clear which analysis will be appropriate to analyze the realistic configuration, i.e., an equivalent beam or plate analysis for an aircraft wing. It is necessary to assess the boundary between the one-dimensional beam analysis and the two-dimensional plate theory for an accurate structural analysis. Thus, in this paper, the static structural analysis results obtained by EDISON solvers were compared with the three-dimesional results obtained from MSC NASTRAN. Before that, EDISON program was verified by comparing the results with those from MSC NASTRAN program and analytic solution.

• 지구물리와물리탐사
• /
• 제22권4호
• /
• pp.210-224
• /
• 2019

표면파 탐사는 매우 작은 규모의 초음파 분석부터 지질공학 규모의 분석까지 다양한 분야에서 활용하고 있으며, 특히 천부 지질의 지반 안정성을 평가하는 데 활발히 이용되고 있다. 표면파 탐사는 기본적으로 지표면을 따라 전파하는 표면파의 분산 특성에 기초하여 매질의 전단 속도 분포를 파악하는 탐사법이다. 즉, 지하 구조가 1차원 구조라는 가정 하에 탐사를 수행하는 표면파 탐사는, 진동수와 전파 속도의 관계인 분산곡선을 분석하고 1차원적 역산을 통해 층서구조 속도를 계산하게 된다. 이 논문에서는 천부 지질 조사를 위한 표면파 탐사법의 기초적인 이론부터 전반적인 자료처리 과정을 기술보고를 통해 설명하고자 한다. 먼저, 표면파에 대한 개략적인 설명과 가장 큰 특징 중 하나인 분산 특성에 대하여 설명한 후 일반적인 표면파 자료처리 순서에 대하여 설명하였다. 표면파 탐사법은 인공적인 송신원의 유무에 따라 능동 표면파 탐사법과 수동 표면파 탐사법으로 나눌 수 있으나 이 논문에서는 능동 표면파 탐사법인 CSW, SASW, MASW에 대하여 집중적으로 기술하였다. 수동 표면파 탐사법에 대해서는 다음 기술보고에서 다루고자 한다.

• 대한수학회보
• /
• 제36권4호
• /
• pp.683-691
• /
• 1999

It has long been a question which homology class is represented by an embedded 2-sphere in a smooth 4-manifold. In this article we study the adjunction inequality, one of main results of Seiberg-Witten theory in smooth 4-manifolds, for an embedded 2-sphere. As a result, we give a criterion which homology class cannot be represented by an embedded 2-sphere in some cases.

• EDISON SW 활용 경진대회 논문집
• /
• 제3회(2014년)
• /
• pp.412-414
• /
• 2014

In this study, we investigate atomic and electronic structure of graphene with substitutional impurities such as boron or nitrogen atom using density functional theory (DFT) calculations. To investigate the effects of substitutional impurities in graphene, we consider a ($6{\times}6$) supercell of graphene in our calculations. For detailed electronic properties of graphene, we compare the energy band structure of B- or N-doped graphene with that of pristine graphene.

• EDISON SW 활용 경진대회 논문집
• /
• 제6회(2017년)
• /
• pp.82-94
• /
• 2017

본 연구에서는 고분자의 해밀토니안을 Q-state Potts-Model로 근사하여, 2, 3차원 형태의 선형 고분자 시스템을 모사하고자 한다. 고분자 외부에서 힘이 작용하고 있는 경우와 아닌 경우에 대하여 전산모사 결과를 바탕으로 고분자의 크기의 경향성을 확인하였다. 그 결과, 흔히 사용되는 Flory's Theory와 달리 고분자의 대표적인 특성인 지수(exponent)에 대하여 더 유동적인 관계식을 얻어낼 수가 있었다. 이를 바탕으로, 고분자에서 흔히 사용되고 있는 scaling argument가 잘 적용되는지를 확인해보았으며, 그 결과 일부의 경우에서만 성립함을 확인할 수 있었다.

• EDISON SW 활용 경진대회 논문집
• /
• 제3회(2014년)
• /
• pp.514-515
• /
• 2014

실리신의 single vacancy에 Sc부터 Zn까지 전이금속을 넣고 이에 따른 실리신의 자기 모멘트와 구조 변화를 density funtional theory(DFT) 계산을 통해 알아보았다. 실리신은 그래핀(Graphene)과는 다소 다른 경향을 보였으며, 이는 실리신의 buckled 구조와 결합 길이의 차이로 인한 것으로 생각된다. 자기 모멘트는 전이금속 impurity에 큰 영향을 받았다.

• EDISON SW 활용 경진대회 논문집
• /
• 제3회(2014년)
• /
• pp.464-466
• /
• 2014

We investigate the effect of hydrogen on adsorption of hydrocarbon molecules on graphene with density functional theory (DFT) calculations. In this study, we calculate the binding energies of hydrogen molecule, carbon atom and other hydrocarbon fragments such as CHx (x=1, 2, 3, 4) on graphene to find the most stable adsorption site. Then, to study the effect of hydrogen, we investigate the adsorption of hydrocarbon fragments in the presence of hydrogen atoms on graphene.

• EDISON SW 활용 경진대회 논문집
• /
• 제3회(2014년)
• /
• pp.442-445
• /
• 2014

In this work, we studied the interactions of the complexes of a DNA base inserted between graphene layers through density functional theory (DFT) calculations. We find that there exists the negligible energy barrier as well as robust and distinguishable electronic fingerprints during the translocation of the DNA bases. Our result shows that the bilayer graphene can be a possible candidate for the future-generation of DNA sequencing device platform.

• EDISON SW 활용 경진대회 논문집
• /
• 제6회(2017년)
• /
• pp.365-371
• /
• 2017

본 연구에서는 $Ni_2P$에서의 물의 산화를 Density Functional Theory(DFT) 계산을 이용하여 그 메커니즘을 확인하였다. 기존의 $Ni_2P$ 각 면의 표면 에너지에 관한 연구를 바탕으로 하여 P termination 된 (0001)면을 선택하였고 흡착 에너지를 계산하여 표면에 hydroxide와 oxygen coverage를 결정하였다. 산소 생성반응의 각 단계는 두 개의 site에서 계산되었고 두 site 모두 반응 결정 단계는 $^*OOH$가 형성되는 단계였다. 과전압 값을 비교한 결과 center site가 더 선호됨을 확인하였고 Center site에서 pH=14 일 때의 과전압 값은 0.64 eV으로 계산되었다.