• 한국방재학회:학술대회논문집
• /
• 2010.02a
• /
• pp.41.2-41.2
• /
• 2010

하천, 해상 등에 위치한 교량 설계시 선박충돌을 방지하기 위해 교각 위치를 변화시킬 필요성이 발생한다. 이 때, 교각 위치에 따른 변단면을 갖는 PSC(Prestressed concrete) 박스거더의 형상 변화를 효과적으로 변경하기 위해 고려해야하는 구속조건을 추출하고 정의하였다. PSC 박스거더는 변단면 시공에 일반적으로 적용되는 FCM(Free cantilever method) 공법이 착용된 교량을 착용했으며, 구속조건 정의를 위해 설계지침서를 분석하여 구속조건으로 작용하는 매개변수를 추출하였다. 정의한 구속조건의 적용성을 검증하기 위해 파라메트릭 모델링을 수행하였으며, 그 결과로 생성된 모델에 대한 물량을 산출하여 대상교량에서 산출된 실제 물량과 비교 분석하였다.

• The Journal of Korean Association of Computer Education
• /
• v.17 no.5
• /
• pp.99-106
• /
• 2014

The first purpose of the present study is to investigate the way of displaying English words to facilitate phonological loops on the digital screen, and the second purpose is to test whether or not the more effective display type can increase learning rates equally in both low and high foreign language motivation group. To achieve these aims, two experiments were conducted. Experiment 1 showed that 3 times display condition generated higher performances in recall and recognition test than 1 time display condition did. In Experiment 2, we recruited high motivated group and low motivated group in foreign language learning, and assigned each member into 3 times display condition and self-pace condition. The results of Experiment 2 showed that the performance in the low motivated group was higher in the self-pace condition than in 3 times display condition, while this difference was not found in high motivated group. The present results suggest the display type increasing usage of phonological loops in digital screen environments.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1992.10a
• /
• pp.87-91
• /
• 1992

축전지를 탑재한 프레임형 랙에 대한 공진탐색시험결과를 이용하여 유한요 소에 의한 수치해석모형을 결정하였다. 내진검증시험은 에이징시험을 거친 3 개의 축전지를 포함하여 28개의 축전지를 탑재한 시험랙을 대상으로 수행되 었다. 공진탐색시험으로부터 구한 모달특성치를 이용하여 지진응답을 해석하 였으며 실험치와 부합함을 확인하였다. 시험랙의 지진응답이 실제 설치될 60 개의 축전지를 갖는 전체랙의 응답보다 크므로, 시험랙에 의한 내진검증이 보다 열악한 조건에서 수행되었다고 볼 수 있다. 시험랙에 대한 내진검증시 구조부재의 구조적 안정성과 축전지의 성능유지를 확인한 바 있으므로 전체 랙의 경우에도 내진검증이 이루어졌다고 판단된다.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2752-2754
• /
• 2002

본 논문에서는 차량영상으로부터 분류된 화소정보를 이용하여 번호판 정보를 검증하는 방법을 제안한다. 차량 번호판의 구조는 정규화된 형태로 구조적인 특징을 가지고 있다. 기존의 검증방법은 배경화소가 변색된 경우에는 번호판 정보를 추출하는데 어려움이 있다. 또한, 전처리 과정을 포함한 처리과정은 복잡하고 처리시간이 길다는 단점을 가지고 있다. 제안된 방법은 특정색상으로 분류된 화소정보를 이용하고, 기존의 검증조건을 통합하므로써 성능을 개선하여 보다 정확한 번호판 정보를 추출하도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.430-432
• /
• 2002

다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 필요하다. 본 논문에서는 구문분석 도구인 FLEX와 BISON을 이용하여 FSW가 실제시스템 상에서 요구조건에 따라 수행되고 있는지를 자동적으로 검증하기 위해 C 언어와 유사한 사용법을 가지며, 다양한 검증시험 환경에 적합한 VTSP를 개발하기 위한 전체적 개발환경 및 VTSP의 기능에 대해 소개한다.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.13 no.5
• /
• pp.360-368
• /
• 2008

A lumped parameter model of Li-ion battery in hybrid electric vehicle(HEV) is constructed and system parameters are identified by using recursive least square estimation for different C-rates, SOCs and temperatures. The system characteristics of pole and zero in the frequency domain are analyzed with the parameters obtained from different conditions. The parameterized model of a Li-ion battery indicates highly dependent of temperatures. To estimate SOC and polarization voltage, a Luenberger state observer is utilized. The P- or PI-gains of observer based on a suitable natural frequency and damping ratio is adopted for the state estimation. Satisfactory estimation accuracy of output voltage and SOC is especially obtained by a PI-gain. The feasibility of the proposed estimation method is verified through experiment under the conditions of different C-rates, SOCs and temperatures.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.9
• /
• pp.24-29
• /
• 2010

This paper presents the RF modeling for silicon nanowire MOSFET with 30 nm channel length and 5 nm channel radius. Equations for analytical parameter extraction are derived by analysis of Y-parameter. Accuracies of the new model and extracted parameters have been verified by 3-dimensional device simulation data up to 100 GHz. The model verifications are performed under conditions of saturation region ($V_{gs}$ = $_{ds}$ = 1 V) and linear region ($V_{gs}$ = 1 V, $V_{ds}$ = 0.5 V). The RMS modeling error of Y-parameters was calculated to be 1 %.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.174.2-174.2
• /
• 2012

위성의 방열판 설계 과정은 수치해석을 위해 위성을 모델링한 열모델에서 분할 격자인 노드를 기준으로 방열판 위치와 형상, 크기를 조절하면서 한계 온도조건을 만족할 때까지 설계 엔지니어의 판단에 의존하여 열해석을 반복하는 것이 보편적인 방식이다. 대부분 방열판 면적을 줄이기 위한 추가적인 노력을 하지 않기 때문에 필요 이상의 과도한 방열판 설계를 하는 경우가 많은 것이 사실이다. 이러한 방열판 설계에서 최소한의 방열판 면적을 사용하여 한계 온도를 만족하도록 설계를 최적화 한다면 무엇보다 전체 위성 열설계의 효율성과 경제성을 높일 수 있는 바탕이 될 수 있을 것이다. 위성의 방열판 설계는 방열판 영역 내에서 동일한 면적을 가지더라도 위치나 형상에 따라 그 효과가 상당히 차이가 날 수 있기 때문에 실제 방열판 설계에서는 이러한 점을 고려하는 것이 필수적이다. 먼저 위성은 열해석에 알맞는 격자 크기로 분할된 노드로 이루어진 열모델로 모델링되어 개발된다. 방열판이 설계되는 방열판 영역 역시 격자 모양의 노드로 분할되기 때문에 열해석을 이용하여 방열판 설계를 한다면 노드 크기를 기준으로 노드 분할 형태에 따라 설계를 한다. 그래서 위성 열모델에서 방열판 영역의 각 노드가 방열판 노드 여부에 따라 모자이크와 같은 분포의 방열판 설계를 하게 되므로 방열판 노드 분포의 최적화가 방열판 최적 설계를 의미하게 된다. 본 연구에서는 방열판 설계 최적화를 위해 일반적인 위성 프로그램의 열제어 개발에서 사용하는 위성 열모델과 열해석 프로그램을 최적화 기법과 동일한 언어로 다시 개발해야 하는 부담 없이 그대로 최적화 기법과 연동할 수 있도록 하는 방법을 제안하고, 실제 소형의 검증용 위성 열모델을 개발하여 여러 가지 해석 조건에 따른 방열판 최적 설계 결과를 비교하고 검토함으로써 이러한 접근 방식을 검증해보고자 하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.9
• /
• pp.77-89
• /
• 2022

In this paper, we propose a system which automatically generates SHACL schemas to describe and validate RDF knowledge graphs constructed by RML mappings. Unlike existing studies, the proposed system generates the schemas based on not only RML mapping rules but also metadata extracted from RML mapping input data in various formats such as CSV, JSON, XML or databases. Therefore, our schemas include the constraints on data type, string length, value range and cardinality, which were not present in the existing schemas. And we solves the problem with "repeated properties" which overlooked in existing studies. Through a conformance test consisting of 297 cases, we show that the proposed system generates correct constraints for the graphs. The proposed system can contribute to automation of the tedious and error-prone existing manual validation processes.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.917-920
• /
• 2010

Web 2.0 시대를 대표하는 핵심적인 컨텐츠는 단연 UCC이다. 사용자가 직접 만드는 컨텐츠를 의미하는 UCC는 유투브, 아프리카TV 등을 통하여 많은 수익을 거두며 관련 업계의 주목을 받고 있으나 복제와 수정, 전송이 쉬운 인터넷 환경에서 많은 저작권 문제를 내포하고 있다. 최근에는 웹을 중심으로 CCL을 통해 자신의 저작물에 대한 허용조건을 명시하여 다른 사용자에게 명시된 조건하에서 자유롭게 저작물을 이용할 수 있게 하는 방법이 널리 이용되고 있다. 그러나 CCL로 허용된 컨텐츠를 이용함에 있어서 CCL의 누락 및 위변조를 통해 저작물을 불법으로 이용하는 행위가 증가하고 있어 CCL 활성화의 장애물이 되고 있다. 또한 다양한 응용프로그램에 CCL을 적용하고 검증하기 위한 SW 플랫폼이 부재한 상태이다. 이에 본 논문에서는 효과적으로 컨텐츠에 CCL을 적용하고 CCL로 사용허가된 컨텐츠를 검증 할 수 있는 SW 플랫폼을 제안한다.