• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.997-1000
• /
• 2004

Boolean Satisfiability (SAT)는 전산학의 중요한 문제로서 SAT problem을 풀기 위한 많은 알고리즘과 도구들이 제안되어 왔다. 특히, 지난 몇 년 간 많은 발전을 이루어왔고, 하드웨어 검증과 모델 체킹 등의 분야에서 많이 적용되어 왔다. 여러 문제들을 Conjunctive Normal Form (CNF)로 표현하여 CNF의 특성을 이용하여 SAT 알고리즘이 발전되어 왔다. 그런데, 회로를 CNF로 표현할 때 몇 가지 문제점이 발생하는데 특히 CNF는 회로의 structural information 을 잃어버린다는 것이 큰 문제점이다. 이를 보완하기 위하여 회로의 structural information을 이용하기 위한 많은 연구가 진행되어 왔다. 이러한 대부분의 연구는 회로의 정보를 가지고 있다는 경우에 한정된다. 그러나, 하드웨어 검증에서 회로의 정보 없이 검증해야 하는 경우들도 발생한다. 이 논문은 회로의 정보를 가지고 있지 않을 때 CNF 만으로 회로의 structural information을 추론하는 방법을 제시한다.

• Journal of the Society of Naval Architects of Korea
• /
• v.43 no.2 s.146
• /
• pp.246-257
• /
• 2006

In the ship building industry, the generation of a structural analysis model, that is, a finite element model of a hull structure, has been manually performed by a designer and thus has required lots of time as compared with that of a mechanical part, because of many constraints, the complexity, and the huge size of the hull structure. To make this task automatic, a generation method of the structural analysis model is proposed through the reconstruction of the topological information of a hull structural model in this study. The applicability of the proposed method is demonstrated by applying it to the generation of the structural analysis model of a deadweight 300,000ton VLCC(Very Large Crude oil Carrier).

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.265-268
• /
• 2008

With application of IT convergence technique in AEC industry, it is currently conducted the research on the virtual construction system. This paper aims at the pilot study on the structural design based on BIM used in collaboration environment. The work scope of structural design includes the structural analysis model, structural detail model and analytic model and we focuse the research on the interoperability among them. It is partly utilized the transfer module supplied by software developer and partly developed here the interface module through API. This paper shows the interoperability process to pilot test and indicates the problems occurred in interface.

• BMB Reports
• /
• v.45 no.1
• /
• pp.47-50
• /
• 2012

The International HapMap Project and the Human Genome Diversity Project (HGDP) provide plentiful resources on human genome information to the public. However, this kind of information is limited because of the small sample size in both databases. A Genome-Wide Association Study has been conducted with 8,842 Korean subjects as a part of the Korea Association Resource (KARE) project. In an effort to build a publicly available browsing system for genome data resulted from large scale KARE GWAS, we developed the KARE browser. This browser provides users with a large amount of single nucleotide polymorphisms (SNPs) information comprising 1.5 million SNPs from population-based cohorts of 8,842 samples. KAREBrowser was based on the generic genome browser (GBrowse), a web-based application tool developed for users to navigate and visualize the genomic features and annotations in an interactive manner. All SNP information and related functions are available at the web site http://ksnp.cdc. go.kr/karebrowser/.

• Computational Structural Engineering
• /
• v.27 no.3
• /
• pp.13-17
• /
• 2014

• Genomics & Informatics
• /
• v.6 no.3
• /
• pp.142-146
• /
• 2008

In order to understand the protein functions that are related to disease, it is important to detect the correlation between amino acid mutations and disease. Many mutation studies about disease-related proteins have been carried out through molecular biology techniques, such as vector design, protein engineering, and protein crystallization. However, experimental protein mutation studies are time-consuming, be it in vivo or in vitro. We therefore performed a bioinformatic analysis of known disease-related mutations and their protein structure changes in order to analyze the correlation between mutation and disease. For this study, we selected 111 diseases that were related to 175 proteins from the PDB database and 710 mutations that were found in the protein structures. The mutations were acquired from the Human Gene Mutation Database (HGMD). We selected point mutations, excluding only insertions or deletions, for detecting structural changes. To detect a structural change by mutation, we analyzed not only the structural properties (distance of pocket and mutation, pocket size, surface size, and stability), but also the physico-chemical properties (weight, instability, isoelectric point (IEP), and GRAVY score) for the 710 mutations. We detected that the distance between the pocket and disease-related mutation lay within $20\;{\AA}$ (98.5%, 700 proteins). We found that there was no significant correlation between structural stability and disease-causing mutations or between hydrophobicity changes and critical mutations. For large-scale mutational analysis of disease-causing mutations, our bioinformatics approach, using 710 structural mutations, called "Structural Mutatomics," can help researchers to detect disease-specific mutations and to understand the biological functions of disease-related proteins.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.270-272
• /
• 2012

본 논문에서는 띄어쓰기가 완전히 무시된 한국어 문장의 띄어쓰기 문제를 위해 structural SVM을 이용한 한국어 띄어쓰기 방법을 제안한다. Structural SVM은 기존의 이진 분류 SVM을 sequence labeling 등의 문제에 적용할 수 있도록 확장된 것으로, 이 분야에 띄어난 성능을 보이는 것으로 알려진 CRF와 비슷하거나 더 높은 성능을 보이고 있다. 본 논문에서는 약 2,600만 어절의 세종 코퍼스 원문을 학습 데이터로 사용하고, 약 29만 어절의 ETRI 품사 부착 코퍼스를 평가 데이터로 사용하였다. 평가 결과 음절단위의 정확도는 99.01%, 어절단위의 정확도는 95.47%를 보였다.

• Smart Structures and Systems
• /
• v.12 no.3_4
• /
• pp.271-290
• /
• 2013

The acceleration information is significant for the structural health monitoring, which is the basic measurement to identify structural dynamic characteristics and structural vibration. The efficiency of the accelerometer is subsequently important for the structural health monitoring. In this paper, the distance measure matrix and the support level matrix are constructed firstly and the synthesized support level and the fusion method are given subsequently. Furthermore, the synthesized support level can be served as the determination for diagnosis on accelerometers, while the consensus data fusion method can be used to recover the acceleration information in frequency domain. The acceleration acquisition measurements from the accelerometers located on the real structure National Aquatics Center are used to be the basic simulation data here. By calculating two groups of accelerometers, the validation and stability of diagnosis and recovering on acceleration based on the data fusion are proofed in the paper.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.5
• /
• pp.618-623
• /
• 2011

This paper proposes a novel method to discriminate meaningful tables from decorative one using a composite kernel for handling structural information of tables. In this paper, structural information of a table is extracted with two types of parse trees: context tree and table tree. A context tree contains structural information around a table, while a table tree presents structural information within a table. A composite kernel is proposed to efficiently handle these two types of trees based on a parse tree kernel. The support vector machines with the proposed kernel dised kuish meaningful tables from the decorative ones with rich structural information.

• Journal of Ship and Ocean Technology
• /
• v.10 no.4
• /
• pp.24-33
• /
• 2006

So far, the generation of a hull structural analysis model, that is, a finite element model of a hull structure, has been manually performed by a designer using design experience, and thus has required lots of time because of many constraints, the complexity, and the huge size of the hull structure. To make this task automatic, an algorithm for generating the hull structural analysis model is developed using the seam information of the hull structure. A generating system of the hull structural analysis model is implemented based on the developed algorithm. The applicability of the developed algorithm is demonstrated by applying it to the generation of the global and hold structural analysis models of a deadweight 300,000 ton VLCC (Very Large Crude oil Carrier). The results show that the developed algorithm can quickly generate these models at the initial design stage.