• Structural Engineering and Mechanics
• /
• 제80권6호
• /
• pp.701-709
• /
• 2021

The paper aims at improving the understanding and mitigating the effects of tunnel fires that may breakout due to the burning fuel and/or explosion within the tunnel. This study particularly focuses on the behavior of the commonly used horse shoe geometry of tunnel systems. The problem has been obtained using an adequate well-established program incorporating the Lagrangian approach. A transient-thermo-coupled static structural analysis is carried out. The effects of radiation and convection to the outer walls of the tunnel is studied. The paper also presents the impact of the hazard on the structural integrity of the tunnel. A methodology is proposed to study the tunnel fire using a model which uses equivalent steel sheet to represent the presence of reinforcements to improve the computational efficiency with adequate validation. A parametric study has been carried out and the effect of suitable lining property for mitigating the fire hazard is arrived at. Detailed analysis is done for the threshold limits of the properties of the lining material to check if it is acceptable in all aspects for the integrity of the tunnel. The study may prove useful for developing insights for ensuring tunnel fire safety. To conduct such studies experimentally are tremendously costly but are required to gain confidence. But, scaled models, as well as loading and testing conditions, cannot be studied by many trials experimentally as the cost will shoot up sharply. In this context, the results obtained from such computational studies with a feasible variation of various combinations of parameters may act as a set of guidelines to freeze the adequate combination of various parameters to conduct one or two costly experiments for confidence building.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 정보관리학회지
• /
• 제20권3호
• /
• pp.241-259
• /
• 2003

기본의미등록기(BSR)는 전자상거래 및 EDI 관련 시스템 사이의 상호연동을 가능하게 하기 위한 등록기이다. XML 기반 BSR 등록개체들의 구조정보나 다양한 관계의 자동추출은 현재 불가능하다. 이 연구에서는 BSR에 등록되는 정보를 자원기술-프레임웍(RDF)과 웹온톨로지언어(OWL)에 기반하는 기계가독형으로 정의한 대표적인 예를 제시하고 결론적으로 5개의 기본 권고안을 도출하였다. 즉 BSR 컴포넌트 소속의 클래스 정의에서 동의어의 표현에는 OWL의 'sameAs', 유사어 표현에는 OWL의 'equivalenlClass', BSR 개념들 간의 상.하 관계 표현은 RDF 스키마의 'subClassOF', BSR의 의미단위(BSU)에 관한 정의는 RDF 스키마의 'label', 인스턴스 용례에 관한 설명은 RDF 스키마의 'comment', 각 BSU의 클래스 소속에 관한 정의는 RDF 스키마의 'domain', BSU가 취할 수 있는 데이터유형에 대한 정의는 RDF 스키마의 'range'등을 적용하며, 나아가 BSR 데이터요소의 정의에 XML 스키마의 데이터 유형을 접목시키고 BSU들 간의 상.하 관계 표현에 RDF 스키마의 'subPropertyOF'를 적용할 것을 추천하였다.

• 한국광학회지
• /
• 제18권5호
• /
• pp.295-302
• /
• 2007

Rib 형태의 전송구조로 구성된 편광 무의존성 방향성 결합기(DC)와 다중모드 간섭결합기(MMI)의 설계특성을 종방향 모드 전송선로 해석법(L-MTLT)을 이용하여 정확하게 비교 분석하였다. 두 전송모드들의 결합특성에 의존하는 편향 무의존성 DC 소자를 이용하여 다중모드들의 결합과 간섭특성을 나타내는 MMI 결합기가 설계될 수 있음을 보였다. 또한, 편향 무의존성 DC와 MMI 소자들의 결합효율을 결합길이와 파장의 변화에 따라 자세하게 비교 분석하였다. 그 결과를 기반으로 광통신용 소자에서 필터로 널리 사용 가능한 Bragg 격자구조가 집적된 편향 무의존성 DC와 MMI를 설계하고 그 필터특성을 처음으로 비교 분석하였다. 분석결과, TE와 TM 모드들 사이의 결합길이가 같도록 설계한 DC는 MMI보다 편광 무의존성 필터링 특성에 있어서 더욱 좋은 성능을 나타냈다. 그러나, 편광무의존성 결합길이가 현저하게 작은 MMI가 DC보다 집적소자 소형화를 위하여 더욱 좋은 소자임을 보였다.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2002년도 Proceedings
• /
• pp.385-388
• /
• 2002

We measured and evaluated digital, pre-sampling and overall imaging properties (characteristic curves, Modulation Transfer Function (MTF), Wiener spectra (WS), Noise Equivalent Quanta (NEQ) and Detective Quantum Efficiency (DQE)) for the direct type and indirect type of Flat-Panel Detector (FPD). First, the digital and overall characteristic curves of the both types of FPD had more wide dynamic range than that of the S/F system. Second, the pre-sampling and overall MTF of the direct-type FPD were superior to those of the indirect-type FPD. Third, for identical exposures, the digital and overall WS of the direct-type FPD were similar or worse than those of the indirect-type FPD, and for larger exposure, the digital WS of the both types of FPD were smaller, but overall WS of the both types of FPD were larger. Fourth, the digital and overall NEQ and DQE of the direct-type FPD were worse than both NEQ and DQE of the indirect-type FPD at lower spatial frequencies, but were better at higher spatial frequencies.

• Geomechanics and Engineering
• /
• 제19권5호
• /
• pp.463-472
• /
• 2019

The mode perturbation method (MPM) is suitable and efficient for solving the eigenvalue problem of a nonuniform soil deposit whose property varies with depth. However, results of the MPM do not always converge to the exact solution, when the variation of soil deposit property is discontinuous. This discontinuity is typical because soil is usually made up of sedimentary layers of different geologic materials. Based on the energy integral of the variational principle, a new mode perturbation method, the energy-based mode perturbation method (EMPM), is proposed to address the convergence of the perturbation solution on the natural frequencies and the corresponding mode shapes and is able to find solution whether the soil properties are continuous or not. First, the variational principle is used to transform the variable coefficient differential equation into an equivalent energy integral equation. Then, the natural mode shapes of the uniform shear beam with same height and boundary conditions are used as Ritz function. The EMPM transforms the energy integral equation into a set of nonlinear algebraic equations which significantly simplifies the eigenvalue solution of the soil layer with variable properties. Finally, the accuracy and convergence of this new method are illustrated with two case study examples. Numerical results show that the EMPM is more accurate and convergent than the MPM. As for the mode shapes of the uniform shear beam included in the EMPM, the additional 8 modes of vibration are sufficient in engineering applications.

• 한국재료학회지
• /
• 제26권1호
• /
• pp.47-53
• /
• 2016

Silicon nitride ($SiN_x:H$) films made by plasma enhanced chemical vapor deposition (PECVD) are generally used as antireflection layers and passivation layers on solar cells. In this study, we investigated the properties of silicon nitride ($SiN_x:H$) films made by PECVD. The passivation properties of $SiN_x:H$ are focused on by making the antireflection properties identical. To make equivalent optical properties of silicon nitride films, the refractive index and thickness of the films are fixed at 2.0 and 90 nm, respectively. This limit makes it easier to evaluate silicon nitride film as a passivation layer in realistic application situations. Next, the effects of the mixture ratio of the process gases with silane ($SiH_4$) and ammonia ($NH_3$) on the passivation qualities of silicon nitride film are evaluated. The absorption coefficient of each film was evaluated by spectrometric ellipsometry, the minority carrier lifetimes were evaluated by quasi-steady-state photo-conductance (QSSPC) measurement. The optical properties were obtained using a UV-visible spectrophotometer. The interface properties were determined by capacitance-voltage (C-V) measurement and the film components were identified by Fourier transform infrared spectroscopy (FT-IR) and Rutherford backscattering spectroscopy detection (RBS) - elastic recoil detection (ERD). In hydrogen passivation, gas ratios of 1:1 and 1:3 show the best surface passivation property among the samples.

• 대한기계학회논문집A
• /
• 제37권10호
• /
• pp.1229-1237
• /
• 2013

본 연구에서는 증분소성이론에 기초한 구형압입이론을 크리프 물성을 평가하기 위한 압입이론으로 확장했다. 먼저 크리프변형률 기울기가 일정한 지점을 유효 응력-변형률속도 최적 관측지점으로 선정했다. 구형압입시험 전산모사를 이용해 크리프 지수와 계수를 변화시켜 가면서 이에 따른 재료의 거동을 무차원 변수들 (${\xi}$, ${\psi}$)의 회귀식으로 표현해 크리프 물성평가를 위한 새로운 수치 접근법을 구축했다. 이를 토대로 구형압입시험으로부터 재료의 크리프지수 및 계수를 예측하는 물성평가 프로그램을 개발했다. 압입 하중-변위 곡선으로부터 크리프지수는 평균 1.5%, 크리프계수는 평균 1.0% 이내의 오차범위에서 물성치들을 얻을 수 있다.

• 한국전자파학회논문지
• /
• 제25권10호
• /
• pp.1087-1094
• /
• 2014

본 연구에서는 유전체의 산란 특성 분석을 위해 이용되는 CFIE(Combined Field Integral Equation) 모멘트법의 계산효율을 높이기 위해 임피던스 경계면 조건을 적용시킨 수치해석 기법과 그 적용 범위에 대한 분석결과를 제시한다. 임피던스 경계면의 적용은 유전체의 등가 표면 전류(Js)와 등가 표면 자류(Ms)를 하나의 전류 또는 자류 성분으로 표현할 수 있으며, 임피던스 경계면 조건을 적용해 계산효율을 높인 수치해석 기법의 정확도는 기존의 CFIE 모멘트법과 이론값(Mie-series 해법, Small Perturbation 산란모델)을 이용하여 비교/분석하였다. 임피던스 경계면 조건을 적용한 수치해석 기법의 적용 범위 상대유전율 허수부 12 이상에서 1 dB 이내의 계산 편차를 확인하였다.

• 대한기계학회논문집A
• /
• 제40권12호
• /
• pp.1013-1019
• /
• 2016

CFRP는 탄소섬유를 기반으로 수지를 합침하여 제조된 복합소재로, 높은 비 강도와 경량성을 지녀 다양한 분야들에서 널리 사용되어지고 있다. 특히 일방향 탄소섬유는 적층 각도를 적용할 수 있으며 이때 적용된 적층 각도로 구성된 CFRP는 적층 각도가 없는 것보다 더 높은 강성을 가지고 있다. 본 논문에서는 적층 각도 변화에 따른 CFRP 소형 인장시험편의 크랙 전파와 파괴거동에 관한 것으로, 각 적층 각도에 따른 크랙 성장의 특성을 고찰한다. 적층 각도가 증가함에 따라 최대 응력 값이 작게 나타나고 크랙 전파가 더디게 나타나지만, 적층 각도 $60^{\circ}$를 기점으로 그 응력이 다시 증가되므로 서, 적층 각도에 따른 한계를 보이고 있다. 본 연구결과는 기계구조물의 CFRP사용에 있어 구조물내의 결함이 발생하였을 때의 피로파괴 가능성을 검증하는 자료로 사용될 수 있다고 사료된다.