• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.12
• /
• pp.953-957
• /
• 2009

This paper proposes a keyword-based query translation system for the semantic web. With the relationship between keywords and ontology structure information, the system converts keyword based queries into queries written by formal query language which is appropriate for the semantic web. As a result, casual web users could not only express queries easily but also obtain the better result.

• Journal of Korea Multimedia Society
• /
• v.13 no.2
• /
• pp.161-170
• /
• 2010

ELF, an abbreviation for Executable and Linkable Format, is the basic file format for shared libraries and executable files used in the Linux system, whereas 'Linker' copies the symbol information of static shared libraries into the symbol table in the target file generated by way of static linking. At this time, the symbol table keeps various pieces of debugging-related information including function names provided by the shared libraries, and it can be deleted to avoid debugging for security reasons by utilizing the fact that it does not directly affect the program execution. This paper proposes a method for restoring the symbol information of static shared libraries from the ELF object file in which the symbol table is deleted, and confirms that the symbol information is restored by conducting practical experiments.

• Journal of Korean Society of Steel Construction
• /
• v.12 no.1 s.44
• /
• pp.103-110
• /
• 2000

The suspension bridge is divided by an earth anchor and a self-anchor type according to the anchorage type. This study is to evaluate the dynamic effect of moving vehicles to suspension bridges. The results were presented with the dynamic magnification factor (DMF) by the effect of vehicle speed and weight according to the anchorage type. The vehicle model has 6 degrees of freedom to idealize nonlinear multi-leaf suspensions and elastic tires of tractor-trailer. The bridge was modelled with the 3-dimensional frame element and 3-dimensional elastic catenary cable element. The condition of deck surface is considered using the actual road spectra.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.105-126
• /
• 2007

The present paper considers how to teach mathematical concepts. In particular, we aim to a balanced, unified achievement for three elements of concept loaming such as concept understanding, computation and application through one's mathematical intuition. In order to do this, we classify concepts into three patterns, that is, intuitive concepts, logical concepts and formal concepts. Such classification is based on three kinds of philosophy of mathematics : intuitionism, logicism, fomalism. We provide a concrete, practical investigation with important nine concepts in theory of vectors from the viewpoint of three patterns of concepts. As a consequence, we suggest certain solutions for an effective concept learning in teaching theory of vectors.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.83-83
• /
• 2019

본 연구는 기후변화에 따른 돌발홍수 및 집중호우 대비 댐 및 저수지의 보조 여수로로서 국내 최초로 적용되는 Piano key weir에 대한 수리모형실험 연구이다. 최근 기후변화에 따른 이상기후로 국지성 집중호우 및 돌발홍수가 빈번히 발생하고, 댐 설계홍수량의 설계기준 200년 빈도 홍수량에서 가능최대홍수량(Probably Maximum Flood)으로 변경됨에 따라 과거 건설된 대부분의 댐 및 저수지들이 현재의 설계기준을 만족하지 못하고 있는 실정이다. 상기 이유로 규모가 작은 저수용량 100만톤 이상의 댐들에 대해서도 비상대처계획(EAP) 수립을 의무화하고 있으나 홍수예방을 위한 적극적인 대책 수립 및 예산지원은 미미한 수준이다. 치수능력증대를 위한 구조적인 보강대책으로 댐 증고, 보조여수로 신설, 여수로 확장, 상류에 홍수조절용 댐 신설 등의 방안이 적용되고 있다. 본 연구의 대상지인 불갑저수지에서는 치수능력확대사업의 일환으로 Piano key weir와 수문 2련을 복합적으로 운영하는 보조여수로를 건설하는 것을 계획하였다. Piano key weir는 국내에서는 프랑스, 벨기에, 베트남 등에서는 실제 많은 적용사례를 확인할 수 있지만, 국내에서는 처음으로 도입되는 여수로 형식으로 레버런스 웨어와 같이 월류언의 길이를 길게 연장함으로서 월류 수심이 낮은 경우에 일반적인 웨어 형식에 비해 많은 유량을 통수할 수 있는 장점을 가지고 있다. 본 연구에서는 불갑저수지에 신설되는 Piano key weir 형식의 보조여수로에 대한 수리모형실험을 수행하여 Piano key weir의 수위별 방류량, 접근흐름, 월류 유황 등에 대해 검토하였다. 검토결과, PMF홍수량에 대해 충분한 방류가 가능함을 확인하였으며, 접근흐름, 월류 유황이 매우 안정적인 것으로 평가되었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.05a
• /
• pp.80-81
• /
• 2022

In this paper, the physical properties of actual fabric data are predicted using the Cusick drape system, which is a means of measuring the physical properties of fabrics. Using a three-dimensional volumetric system, the cloth data of the actual Cusick drape system is acquired in a three-dimensional point cloud format. Cusick drape simulation is performed using mesh data of the same shape and size as the fabric, and the physical parameters of the draped fabric most similar to the actual draped fabric are acquired.

• Journal of the Korea Concrete Institute
• /
• v.25 no.5
• /
• pp.517-528
• /
• 2013

The modular technology has been already applied in automotive industry, plant and shipbuilding industry. Recently, the modular technology was applied in bridge construction. The modular bridge is different from the existing precast bridges in terms of standardized design that the detailed design of members is omitted by using the standard modules; the design of the modular bridge is completed by only assembling the standard modules without design in member level. The girder-type precast modular bridge has been developed as a simply supported bridge. The girder-type precast modular bridge could be applied to the multi-span bridges through the continuity method. The continuity of the girder-type precast modular bridge is achieved by using the link slab which is easy to construction and appropriate to the rapid construction. The link slabs have been used as the type of reinforced concrete structure in US from the 1950's. In 2000's, the link slab using the engineered cementitious concrete (ECC link slab) has been developed. In this study, the RC type link slab which is more reproducible and economic relative to the ECC link slab was used for the continuity of the girder-type precast modular bridges, and the construction detail of RC type link slab was modified. In addition, the modified iterative design method of RC type link slab was proposed in this study. To verify the proposed design method, the flexural tests were conducted using the RC type link slab specimens. Also, the fatigue test using the mock-up specimen was conducted with cyclic loading condition up to two million cycles.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.568-571
• /
• 2007

본 연구에서는 차량검지시스템을 이용하여 메타데이터의 검지시스템의 하드웨어와 소프트웨어가 도로에 적합한 시스템이 되도록 실험을 통하여 이를 검증하고, 표준화를 위해 제안하였다. 첫째, 교통정보를 메타데이터하고자 할 때 그 구축범위가 너무 광범위한 점을 보완하여 시내 교통정보의 범위를 줄이고자 적용범위로 VDS(차량검지시스템 : Vehicle Detection System)의 메타데이터 구성요소에 대한 표준을 마련하였다. 둘째, 본 표준에서는 차량의 속도, 단위 시간당 차량의 통과수 및 점유시간 등을 조사할 수 있는 VDS의 메타데이터 구성요소를 추출하고 데이터 요소에 대한 정의 및 기술형식을 정의하였다. 셋째, VDS의 메타데이터 표준지정은 교통정보의 데이터 요소 및 형식을 동일하게 사용하도록 함으로써 상이한 개발업체에 의해 개발된 시스템의 교통정보를 일관성 있게 표현할 수 있다. 넷째, 본 표준은 VDS 메타데이터의 데이터 요소명을 표준화하기 위해서 Data Dictionary를 구축하여 실제 데이터 요소에서 data dictionary에서 정의된 약어들의 조합으로 표시하여 데이터 모델링시 유용하게 쓰일 수 있도록 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.423-426
• /
• 2007

온톨로지는 의미적인 지식을 표현하고, 공유하기 위해서 여러 분야에서 널리 사용되고 있으며, 특히 시멘틱 웹의 상호운용성을 해결할 수 있는 중요한 요소로 자리 잡고 있다. 현재 온톨로지의 구축을 지원하는 다양한 도구들과 방법론들이 제시되고 있지만, 실제 구축되어진 온톨로지가 실용적이고, 도메인의 정보를 정확하게 반영했는지 검증할 수 있는 도구나 방법은 매우 미비하다. 따라서 본 연구에서는 OWL언어로 구축되어진 온톨로지의 소스로부터 온톨로지의 주요 요소들을 추출하여 형식개념분석(Formal Concept Analysis)모델로 변환하고 분석함으로써, 온톨로지에 포함된 구조적인 문제점을 파악할 수 있는 방법과 도구에 대해서 설명한다. 본 연구에서 제시한 온톨로지 분석도구를 사용하면, 구축되어진 온톨로지에 포함된 구조적 오류 및 온톨로지의 구조를 수월하게 파악할 수 있고, 온톨로지 구축작업 및 수정보완에 있어서 더 좋은 개념계층구조를 갖는 온톨로지를 제안할 수 있다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.3
• /
• pp.275-283
• /
• 1991

A design method of the new 7${\lambda}$/6 ring 3dB directional coupler using fundamental /6-sections is proposed and its frequency characteristics are analyzed. Furthermore, the experimental verification has been achieved in microstrip network, and hence, the validity of the design method of a microwave compoennt with the basic ${\lambda}$/6-sections proposed in this paper is confirmed.