A Query Pruning Technique for Optimizing Regular Path Expressions in Semistructured Databases

정규경로표현은 전통적 스키마를 가정하지 않는 준구조적 데이타에 대해 질의를 고안하기 위한 기본적 질의 요소이다. 그리고 질의전지는 정규경로표현의 처리에 있어 불필요한 탐색을 제거하기 위한 중요한 최적화 기법이다. 그러나 기존 질의전지는 다중 정규경로표현들은 완전히 최적화하지 못하는 경우가 많으며, 기존 질의전지의 결과를 후처리하는 기존의 방법은 지수적으로 증가하는 많은 부분결과들의 조합들을 확인해야 한다. 본 논문에서는 전처리 단계와 전지 단계로 구성된 두 단계 질의전지라 부르는 새로운 기법을 소개한다. 우리의 두 단계 질의전지는 다중 정규경로표현의 최적화에 효과적이며, 지수적으로 증가하는 많은 부분결과들의 조합들을 확인하지 않는다는 점에서 기존의 방법보다 더 확장성이 있다

Electron scattering and localized states at the graphene edge

2004년, 2차원 물질인 그래핀이 최초로 성공적으로 분리된 이후 그래핀 합성 분야에 많은 발전이 있었다. 대부분의 물질이 그러하듯이 합성된 그래핀 역시 이론적인 벌집구조에서 벗어난 다양한 결함들을 가지고 있다. 합성과정에서 들어오는 외부의 유기물의 오염을 제외하더라도 위상적 결함, 모서리 구조, 다결정성, 주름이나 기판과의 상호작용 등은 그래핀의 물리적 특성을 바꿔놓는다. 특히 그래핀의 전자구조가 그래핀 모서리의 모양에 민감하게 변화하기 때문에 이와 연관된 다양한 연구가 수행되어 왔다. 그래핀의 모서리는 전자를 산란시키는 역할을 한다. 이러한 산란으로 인해 일반적인 물질의 모서리 근처에는 정상파가 형성된다. 그런데 그래핀에서는 보통의 물질에서는 나타나지 않는 짧은 주기를 갖는 노드 구조가 나타난다. 본 연구에서는 낮은 에너지 유효 해밀토니안과 제일원리 계산을 통해서 다양한 그래핀 모서리의 산란 특성을 연구하고 훑기 꿰뚫기 현미경에서 보이는 정상파의 모양과 비교한다. 그래핀의 모서리에 수소 원자가 붙었는지의 여부와 상관없이 암체어 모양의 모서리에서는 거의 두 밸리 사이에서의 산란이 일어난다. 암체어 모양의 모서리가 오각형 모양으로 변형되면 밸리 내부에서의 산란이 일어나기 시작하고 이러한 경향성은 입사각이 수직에서 벗어날 수록 더하다. 한편, 지그재그 모양의 모서리는 밸리 내부에서의 산란마니 일어날 수 있다. 이 때문에 암체어 모양의 모서리에서 공통적으로 보이는 짧은 주기의 노드 구조는 지그재그 모서리에서는 관찰되지 않는다. 변형된 그래핀 모서리 계산을 위해서, Wannier 함수를 이용한 제일원리 수준의 정확도를 가지는 꽉묶음 모형의 매개 변수를 추출해 내었다. 이 방법을 통해서 실험에서 쉽게 관측하기 힘든 다양한 구조와 결함이 있는 모서리의 산란 특성을 연구하였다. 그래핀의 모서리에서는 모서리의 한 곳 모인 상태들이 나타나기도 한다. 이러한 상태들은 산란과 모서리에서 유래한 에너지 상태가 그래핀 쪽으로 들어가면서 감쇠하기 때문에 생기는 것으로 이해할 수 있다. 복소 밴드 구조는 이러한 모서리 상태의 한 곳 모인 정도를 추정할 수 있게 해주는 물리량이다. 제일원리 계산을 통해서 실험적으로 관찰된 특정한 두가지 모서리 구조를 연구하였고 형성된 모서리 상태와 제일원리 복소 밴드 구조를 비교하였다.Since the truly two-dimensional material, graphene has revealed itself in 2004, there are great progresses in graphene synthesis technique. Like most materials in available macroscopic quantities, graphene has many deviations from the ideal flat honeycomb lattice. Aside from external chemical impurities or contaminations, many factors such as topological defects, inevitable edge structures, polycrystallinity, intrinsic ripples and substrate interactions modify the physical properties of graphene. Especially, the edge structures of graphene have attracted much interest because the electronic structure is very sensitive to the details of the edge. It is also known that well-controlled edges structures can induce magnetism. The one of interesting features is that the scattering process at the graphene edge. Usually at the edge of the material, there formed a standing wave which reflects the interference between incident and scattered waves. But in graphene, there arises unconventional standing wave which has very short-ranged nodelike pattern. We have studied scattering properties at various graphene edges using low-energy effective Hamiltonian models and first-principles pseudopotential calculations, and compared our theoretical results with experimental data from scanning tunneling microscopy. Regardless of the termination of the hydrogen atom, the armchair edge show almost perfect intervalley scattering. In contrast, the pentagonal reconstruction of the armchair edge can give rise to intravalley scattering (i.e., pseudospin mixing) for incident electronic waves with oblique angles. For these calculations, we employed modified hopping parameters extracted from a first-principles Wannier function approach. We also observed beating and slowly decaying patterns in charge density plots by quantum interference of scattering waves at the edges, which are in excellent agreement with STM experiment. On the other hand, the zigzag edge have only intravalley scattering. Therefore, it does not display any short-range oscillations such as aforementioned beating patterns in the normal direction to the edge. With abovementioned methods, we can predict the scattering properties of various graphene edges that are not easily observed due to its formation energy and irregularity. According to its crystallographic direction and defect density, the general trends of scattering properties can be deduced. On the other hands, the edge often makes localized states which cannot propagate into the bulk direction. These states have nothing to do with the bulk scattering properties but can be understood the complex band structure of bulk materials. The degree of localization can be directly derived from the energies and wavevectors of localized states. By first-principles calculations, I investigated two kinds of edge structure that are observed in high resolution transmission electron microscopy image. The localized state at the edge and its energy dispersion is also discussed. We end up with summary and perspectives to be investigated more.Docto

Content-Dependent Authorization Mechanism using Predicates

본 논문은 객체지향 데이타베이스 시스템에서의 내용 의존적 권한부여 기법을 제시한다. 현재까지 객체지향 데이타베이스를 위한 많은 권한부여 모델들이 제안되었으나 대부분 데이타베이스의 내용에 기반한 권한부여를 지원하지 못하였다.본 논문은 객체지향 데이타베이스를 위한 기존의 내용 독립적 권한부여 모델을 클래스의 애트리뷰트의 값에 대한 술어를 이용하여 확장한 내용 의존적 권한부여 모델을 제시하였다. 제시된 모델은 객체의 값에 대한 명시된 조건을 만족하는 객체들을 집단화하여 그러한 객체들에 대해 하나의 권한을 부여할 수 있게 한다. 또한 부정 권한을 지원하며 긍정 권한과 부정 권한 사이의 충돌을 해결하기 위하여 강성 권한과 약성 권한의 개념을 지원한다. 또한 권한에 술어를 결합시킴으로써 생기는 여러 가지 문제점들을 지적하고 이를 해결한다. 특히 내용 독립적 권한부여 모델에서의 권한 연산들이 본 논문에서 제시하는 모델에서 그대로 적용될 수 없음을 보이고 연산들의 의미를 재정의 하였다

An Automatic Relational Schema Generating System for an XML Schema

점점 더 많은 문서들이 XML의 형태를 갖게 됨에 따라, XML문서들을 관계형 데이타베이스에 저장하기 위한 관계형 스키마의 생성이 더욱 중요해 지고 있다. 이 논문은 최근 W3C에 의해서 제안된 XML Schema로부터 관계형 스키마를 생성해 내는 기법 및 구현에 대해서 설명한다. 기존의 DTD기반 인라인 기법은 XML Schema에 적용될 수 없는데, 이유는 XML Schema에는 DTD에 존재하지 않는 새로운 특징들이 많이 있기 때문이다. 즉, 다양한 데이타 타입, 상속, 다형성과 같은 요소들이 추가되어, XML Schema는 보다 강력해진 반면, 이로부터 관계형 스키마를 생성하는 일은 더욱 어렵게 되었다. 본 논문에서는 기존의 인라인 기법을 기반으로 XML Schema 인라인 기법을 제시하였다. XML Schema 인라인 기법은 먼저 XML Schema의 다양한 데이타 타입들을 관계형 데이타베이스의 타입으로 매핑시키는 작업을 한 후, 타입과 엘리먼트 정보를 이용하여 스키마 그래프와 타입 그래프를 만들고, 이 그래프를 순회하면서 관계형 테이블들을 생성하게 된다. 그 외에도 xsi:type, 익명 타입들을 처리하기 위한 기법들을 소개하고 있으며, 시스템의 성능을 향상시키기 위한 몇몇 휴리스틱 기법에 대해서도 소개하였다. 마지막으로 이진 테이블 저장 방식과의 성능 비교 실험을 통하여 XML Schema 인라인 기법의 우수성을 보였다

포스포리파제 A2A_2를 이용한 eicosapentaenoic acid를 함유하는 포스타티딜콜린의 유기용매 내에서의 합성

학위논문(석사) - 한국과학기술원 : 생물과학과, 2000.2, [ v, 36 p. ]Phosphatidylcholine (PC) containing eicosapentaenoic acid (EPA C 20:5) in the sn - 2 position, was synthesized by phospholipase $A_2$ (porcine pancreatic phospholipase, $PLA_2$) mediated transesterification. The phospholipid modification was carried out in organic solvent media. The studied parameters were the effect of different solvents, time, water activity, acyl donor concentrations, the amount of $PLA_2$, and the pH of $PLA_2$. The modification was possible only when EPA ethyl ester (EPAEE) was used as an acyl donor in organic solvent system. The optimal conditions for the transesterification of the phosphatidylcholine were obtained by phosphatidylcholine and EPA ethyl ester (molar ratio of PC to EPAEE 1:10) in the presence of 10 mg (11 unit /mg) $PLA_2$ (pH 8.2) in 5 ml toluene at 50℃ for 48 h with the initial water activity ($a_w$) 0.25. The maximum incorporation of EPA into PC was 19.9% (w/w)한국과학기술원 : 생물과학과

XML 질의를 위한 스키마 기반 의미적 질의 최적화

학위논문(박사) - 한국과학기술원 : 전산학전공, 2002.8, [ iv, 110 p. ]Semantic query optimization is an approach to optimizing a query with respect to some semantic information such as structural information and integrity constraints. This thesis presents new schema-based semantic query optimization techniques, which rely on available structural information, for XML queries. The techniques described in the thesis resolve several open problems in the field of schema-based query optimization for XML queries. First, we present a new technique called the two-phase query pruning that consists of the preprocessing phase and the pruning phase. Our two-phase query pruning is effective in optimizing multiple regular path expressions, and is more scalable and efficient than the combination of the previous query pruning and post-processing in that it never deals with exponentially many combinations of sub-results produced from all the regular path expressions. Several experiments we conducted show that the two-phase query pruning outperforms the previous approach. Second, another new technique called structural function inlining is presented. Based on the technique, we develop a new approach to optimizing and typing structurally recursive queries. The approach produces an optimal algebraic expression for a query with regard to available type information. Furthermore, it yields a precise result type for the query. Our experiments show that the number of node lookups by our approach is on the average 3.7 times and up to 279.8 times smaller than that by the current approach in evaluating structurally recursive queries.한국과학기술원 : 전산학전공

한국어촌민속마을의 조성을 위한 세미나(CNI세미나2017-060) (박창원, 심창섭, 정지은)

1) 일시: 2017년 6월26일(월), 14:00~17:00 2) 장소: 충남연구원 4층회의실 3) 발표자:  -[제1주제] 어촌민속자원 보존의 중요성 및 충남의 도서(어촌) 자원 발굴(충남도립대학교 박창원 교수) -[제2주제] 한국어촌민속마을 관련 국내외 선행사례(가천대학교 심창섭 교수) -[제3주제] 한국어촌민속마을이란 무엇인가(충남연구원 정지은 책임연구원) 4) 좌  장: 이승우 실장(한국해양수산개발원) 토론자: 정낙춘 과장, 백관현 팀장(충남도청 해양정책과), 윤상헌 책임연구원(농어촌연구원), 이재언 연구원(목포대학교 도서(섬)문화연구원), 임선빈 선임연구원(한국학중앙연구원 전통한국연구소), 유보경 연구교수(충남대학교 충청문화연구소), 황순주 차장(경기문화재단 경기창작센터), 이종원 본부장(충청투데이)-[제1주제] 어촌민속자원 보존의 중요성 및 충남의 도서(어촌) 자원 발굴(충남도립대학교 박창원 교수) -[제2주제] 한국어촌민속마을 관련 국내외 선행사례(가천대학교 심창섭 교수) -[제3주제] 한국어촌민속마을이란 무엇인가(충남연구원 정지은 책임연구원