• Title/Summary/Keyword: 특성 모델 검증

Search Result 2,151, Processing Time 0.035 seconds

Analysis Model of Corrugated Steel Plates for Soil-Metal Box Culverts (지중강판 박스구조물을 위한 파형강판 해석 모델)

  • Choi, Dongho;Lee, Jongsun;Na, Hosung
    • Journal of the Korean GEO-environmental Society
    • /
    • v.11 no.11
    • /
    • pp.5-18
    • /
    • 2010
  • In this paper, a 3-dimensional stiffened plate model for soil-metal box structures is proposed. 3-dimensional stiffened plate model is enable to model corrugated steel plates of soil metal box culverts considering section modulus and section properties of longitudinal and horizontal direction from a corrugated steel plate. Loading conditions which causes maximum displacement and maximum moment according to the step construction stages(a back filling to the top of the plate, a back filling to the maximum depth of cover, and loading of live loads) was applied and the behaviors of the soil metal box culverts was analyzed. Analysis results of 3-dimensional stiffened model were compared with those of 2-dimensional model, 3-dimensional equivalent plate model and 3-dimensional corrugated plate model. As results, the behaviors of 2-dimensional model and 3 dimensional equivalent model are different from 3-dimensional corrugated plate model but the result of 3-dimensional stiffened model has good agreement with that of 3-dimensional corrugated plate model.

A Study on Formal Methods and Tools for Verification of Secure OS (보안운영체제의 검증을 위한 정형기법 및 도구에 관한 연구)

  • 조지호;이동익;김형천;강정민;이진석
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.880-882
    • /
    • 2003
  • 본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

  • PDF

Application on Pile Under Lateral Load in Multi Layered Ground Using the Strain Wedge Model (변형률 쐐기모델을 이용한 다층지반에서의 횡하중을 받는 말뚝의 적용성 평가)

  • Kim, Hongtaek;Lee, Jungjae;Chung, Jongmin;Yoon, Changjin
    • Journal of the Korean GEO-environmental Society
    • /
    • v.10 no.7
    • /
    • pp.159-165
    • /
    • 2009
  • The Strain Wedge Model is useful method for horizontal bearing capacity calculation considering interaction of pile and ground deformation. However, application case of the Strain Wedge Model is rare and the strain wedge model of plenty of verification is needed on multi layered ground in Korea. In this present study, to conduct laboratory model test and numerical analysis for verification of Strain Wedge Model, adapt model that could describe the interaction of pile and ground deformation on multi layered ground. In model test, it was performed to estimate the behavior characteristics on pile under lateral load and to analyze the relationship between load and deformation. In addition, it was fulfilled to measure the skin friction on pile using strain gauge and to decide the ground passive resistance wedge using skin friction. Numerical analysis was performed to verify laboratory model test results.

  • PDF

Silicon Substrate Coupling Modeling, Analysis, and Substrate Parameter Extraction Method for RF Circuit Design (RF 회로 설계를 위한 실리콘 기판 커플링 모델링, 해석 및 기판 파라미터 추출)

  • Jin, Woo-Jin;Eo, Yung-Seon;Shim, Jong-In
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.38 no.12
    • /
    • pp.49-57
    • /
    • 2001
  • In this paper, equivalent circuit model and novel model parameter extraction method of a silicon(Si) substrate are presented. Substrate coupling through Si-substrate is quantitatively investigated by analyzing equivalent circuit with operating frequency and characteristic frequencies (i.e., pole and zero frequency) of a system. For the experimental verification of the equivalent circuit and parameter extraction method, test patterns are designed and fabricated in standard CMOS technology with various isolation distances, substrate resistivity, and guard-ring structures. Then, these are measured in l00MHz-20GHz frequency range by using vector network analyzer. It is shown that the equivalent-circuit-based HSPICE simulation results using extracted parameters have excellent agreement with the experimental results. Thus, the proposed equivalent circuit and parameter extraction methodology can be usefully employed in mixed-signal circuit design and verification of a circuit performance.

  • PDF

A Simulation Study for Detailed Design of L-Mart Logistics Center for General Products (L-마트 상온 제품 종합물류센터 실시설계를 위한 시뮬레이션)

  • Jeon Byeong-Hak;Jang Seong-Yong
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2006.05a
    • /
    • pp.1746-1753
    • /
    • 2006
  • 본 논문에서는 L-마트 상온 제품 종합물류센터 실시설계 대안별 검증을 통해 신뢰성을 향상하고 추가 보완사항을 발굴하여 개선하고 설계의 편의를 제공하기 위한 시뮬레이션 모델을 개발하여 물류센터 설비 및 레이아웃, 운영 방안에 대해 종합적인 대안을 제시하였다. 다양한 대안 검증을 위해 유연한 구조의 시뮬레이션 모델을 설계하였으며, 컨베이어 소터의 처리량과 컨베이어 선적 작업자와 컨베이어 하역 작업자의 이용률 및 필요 인원, 각 입/출고도크의 이용률 등을 컨베이어 소터 운영의 성능평가 요소로 정의 하였으며, 비소터 물량을 처리하는 수작업장의 운영의 성능평가 요소로서는 작업자의 이용률과 입고도크의 이용률을 반영하였다. 마지막으로 팔레트 물량을 처리하는 팔레트 작업에서는 팔레트 운반장비의 이용률과 입고도크의 이용률을 성능평가 요소로 반영하였다. 시뮬레이션 모델에서는 물류센터 설비 대안, Layout 변화에 따른 특성 분석을 반영하여 L-마트 물류센터 운영 프로세스를 정의하였다. 개발된 시뮬레이션 모델에서는 입력 데이터의 분석과 시뮬레이션 모델의 신뢰성 검증을 위해 운영을 위한 파라미터를 설정하고, 실제감이 있는 2D Animation을 통해 시뮬레이션 상의 물류의 이상 발생을 시각화하여 보여주도록 하였다. 시뮬레이션의 결과치에 대한 평가 요소 및 대안별 정량적 분석을 통해 L-마트 상온 제품 종합물류센터의 종합적인 운영방안을 제시하였다

  • PDF

RF Modeling of Silicon Nanowire MOSFETs (실리콘 나노와이어 MOSFET의 고주파 모델링)

  • Kang, In-Man
    • 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 %.

Experimental Study on the Active Controller of Structures Considering Modeling Uncertainty (구조물의 모델링 불확실성을 고려한 능동 제어기의 실험연구)

  • 민경원;김성춘
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.4 no.4
    • /
    • pp.53-61
    • /
    • 2000
  • 능동 제어기를 설계하기 위해서는 제어대상 구조물의 수학모델의 구해야한다. 그러나, 무한차원의 구조물에 대하여 정확한 모델을 구하는 것은 불가능하므로 유한차원인 저차원화된 모델을 사용하여 제어기를 설계한다. 그러나, 실제 구조물과 저차원화된 모델사이의 오차에 의하여 제어기의 성능이 저하가 되면 제어기와 구조물의 상호작용, 지진과 같은 오란 등의 불확실성, 지진시 구조물의 동적 특성 변화로 인하여 제어기의 성능이 더욱 저하가 된다. 이러한 저하 요인은 제어기 설계시 요구되는 구조물의 수학모델에 대한 불확실한 요소로 작용하기 때문에 제어성능의 저하를 일으키며 응답의 불안정을 유발하기로 한다. 본 연구에서는 질량형 능동제어기(AMD)가 설치된 3층 건물 모형의 모델 오차에 관한 불확실성을 반영한 강인제어기법을 적용하여 제어성능과 안정성을 실험을 통하여 분석하였다. 강인제어 기법인 $\mu$ 합성법에 요구되는 여러 가지 가중함수인 주파수필터는 건물과 AMD의 특성, 모델 오차, 제어율과 AMD 성능의 , 측정잡음 및 지진외란의 특성 등을 고려하여 정량적으로 선택되었다. $\mu$합성법에 의하여 제어기를 설계하였으며 강인성을 비교하기 위하여 불확실성이 고려되지 않는 LQG 기법에 의한 제어기를 선택하였다. $\mu$합성법은 규정된 불확성에 대하여 제어의 강인성을 가지므로 동적특성이 바뀐 건물모형에 관한 강인성을 LQG 기법에 의한 제어성능과 비교하였다. 그 결과 동적특성이 변화된 건물에 대하여 $\mu$합성법만이 제어의 효율성이 유지되는 강인성을 나타내었다.

  • PDF

A Study on Korean Fake news Detection Model Using Word Embedding (워드 임베딩을 활용한 한국어 가짜뉴스 탐지 모델에 관한 연구)

  • Shim, Jae-Seung;Lee, Jaejun;Jeong, Ii Tae;Ahn, Hyunchul
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2020.07a
    • /
    • pp.199-202
    • /
    • 2020
  • 본 논문에서는 가짜뉴스 탐지 모델에 워드 임베딩 기법을 접목하여 성능을 향상시키는 방법을 제안한다. 기존의 한국어 가짜뉴스 탐지 연구는 희소 표현인 빈도-역문서 빈도(TF-IDF)를 활용한 탐지 모델들이 주를 이루었다. 하지만 이는 가짜뉴스 탐지의 관점에서 뉴스의 언어적 특성을 파악하는 데 한계가 존재하는데, 특히 문맥에서 드러나는 언어적 특성을 구조적으로 반영하지 못한다. 이에 밀집 표현 기반의 워드 임베딩 기법인 Word2vec을 활용한 텍스트 전처리를 통해 문맥 정보까지 반영한 가짜뉴스 탐지 모델을 본 연구의 제안 모델로 생성한 후 TF-IDF 기반의 가짜뉴스 탐지 모델을 비교 모델로 생성하여 두 모델 간의 비교를 통한 성능 검증을 수행하였다. 그 결과 Word2vec 기반의 제안모형이 더욱 우수하였음을 확인하였다.

  • PDF

PV Model-based Solar Array Simulator with Conjugate Gradient Method (공액구배법을 이용한 태양광 발전 패널 모의 장치용 엔진 개발)

  • Seo, Young-Tae;Park, Jun-Young;Choi, Sung-Jin
    • Proceedings of the KIPE Conference
    • /
    • 2016.07a
    • /
    • pp.183-184
    • /
    • 2016
  • 태양광 패널 등가모델을 결합한 태양광 발전 패널 모의 장치(SAS)는 정확도 면에서 많은 장점이 있다. 특히 SAS에서 사용되는 등가회로 모델은 주변 환경에 맞게 빠르게 변하는 I-V 출력특성을 추출할 수 있어야 하며, 추출시간이 짧을수록 좋다. 본 논문은 태양광 등가회로 모델의 파라미터를 빠르게 추출하여 I-V 특성곡선을 모사할 수 있는 방법을 제안한다. 제안한 모델은 실시간으로 변화하는 태양광 패널의 출력 특성을 빠르게 모사하기 위해 미분을 사용해서 등가회로의 파라미터를 추출한다. 제안 모델의 타당성 검증은 기존의 사용하는 방법들과의 비교를 통해 진행하였고, 그 결과 정확도는 기존의 사용하는 방법과 비슷하게 유지하면서 속도는 향상됨을 확인할 수 있었다.

  • PDF

The Simplified Model For Switching Transient Characteristics Analysis Of SI Thyristor (Static Induction Thyristor의 시동특성해석)

  • Lee, Min-Keun;Park, Man-Su;Ko, Kwang-Cheol
    • Proceedings of the KIEE Conference
    • /
    • 2006.07d
    • /
    • pp.2187-2188
    • /
    • 2006
  • 본 연구의 목적은 Pspice를 이용하여 SI Thyristor의 구조적인 특징과 스위칭 동작을 설명하면서도 비교적 간략화된 등가모델을 개발하는 것에 있다. 이러한 목표로 등가모델은 SI Thyristor의 구조적 형태에 기반을 두어 BJT 소자를 이용한다. 또 게이트 구조와 스위칭 매커니즘을 고려한 MOSFET, Steady state Turn on 상태에서 dominant 모델인 PIN Diode로 구성되어 있다. 개발된 등가모델을 스너버회로와 함께 스위칭 과도응답을 시뮬레이션하였으며 그 결과는 실제 실험결과와 비교하여 검증하였다. 비교적 간단하게 고안된 회로를 통해 Turn On/off 동작에서 스위칭 특성을 예측할 수 있으므로 펄스파워용 스위치로서 SI Thyristor의 시동특성을 해석하는 데 본 등가모델을 활용할 수 있을 것으로 전망한다.

  • PDF