• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.571-573
• /
• 2001

본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

• KIEAE Journal
• /
• v.17 no.5
• /
• pp.77-86
• /
• 2017

Purpose: Because of the growing concern over fossil fuel use and increasing demand for greenhouse gas emission reduction since the 1990s, the building energy analysis field has produced various types of methods, which are being applied more often and broadly than ever. A lot of research products have been actively proposed in the area of the building energy simulation for over 50 years around the world. However, in the last 20 years, there have been only a few research cases where the trend of building energy analysis is examined, estimated or compared. This research aims to investigate a trend of the building energy analysis by focusing on methodology and characteristics of each method. Method: The research papers addressing the building energy analysis are classified into two types of method: engineering analysis and algorithm estimation. Especially, EPG(Energy Performance Gap), which is the limit both for the existing engineering method and the single algorithm-based estimation method, results from comparing data of two different levels- in other words, real time data and simulation data. Result: When one or more ensemble algorithms are used, more accurate estimations of energy consumption and performance are produced, and thereby improving the problem of energy performance gap.

• Journal of Korean Society of Steel Construction
• /
• v.21 no.3
• /
• pp.331-342
• /
• 2009

A reliability analysis of the fatigue failure of highway steel bridges was performed by applying the Miner's fatigue damage rule for the fatigue design truck proposed for the LRFD code and for the current DB 24 truck. The limit state function for fatigue failure is expressed as a function of various random variables that affect fatigue damage. Among these variables, the statistical parameters for the equivalent moment, the impact factor, and the loadometer were obtained by analyzing recently measured domestic traffic data, and the parameters for the fatigue strength, the girder distribution factor, and the headway factor were obtained from the measured data reported in literature. Based on the reliability analysis, the fatigue truck model for the LRFD code was proposed. After applying the proposed fatigue truck to the LRFD code, 16 composite plate and box girder bridges were designed based on the LRFD method, and the LRFD design results for the fatigue limit state were compared with those by the current KHBDC.

• Journal of the Korean Geotechnical Society
• /
• v.22 no.6
• /
• pp.51-61
• /
• 2006

An efficient and accurate hybrid reliability analysis method is proposed in this paper to quantify the risk of an axially loaded single pile considering pile-soil interaction behavior and uncertainties in various design variables. The proposed method intelligently integrates the concepts of the response surface method, the finite difference method, the first-order reliability method, and the iterative linear interpolation scheme. The load transfer method is incorporated into the finite difference method for the deterministic analysis of a single pile-soil system. The uncertainties associated with load conditions, material and section properties of a pile and soil properties are explicitly considered. The risk corresponding to both serviceability limit state and strength limit state of the pile and soil is estimated. Applicability, accuracy and efficiency of the proposed method in the safety assessment of a realistic pile-soil system subjected to axial loads are verified by comparing it with the results of the Monte Carlo simulation technique.

• Advances in aircraft and spacecraft science
• /
• v.2 no.2
• /
• pp.125-168
• /
• 2015

Dynamic aeroelastic behavior of structurally nonlinear Joined Wings is presented. Three configurations, two characterized by a different location of the joint and one presenting a direct connection between the two wings (SensorCraft-like layout) are investigated. The snap-divergence is studied from a dynamic perspective in order to assess the real response of the configuration. The investigations also focus on the flutter occurrence (critical state) and postcritical phenomena. Limit Cycle Oscillations (LCOs) are observed, possibly followed by a loss of periodicity of the solution as speed is further increased. In some cases, it is also possible to ascertain the presence of period doubling (flip-) bifurcations. Differences between flutter (Hopf's bifurcation) speed evaluated with linear and nonlinear analyses are discussed in depth in order to understand if a linear (and thus computationally less intense) representation provides an acceptable estimate of the instability properties. Both frequency- and time-domain approaches are compared. Moreover, aerodynamic solvers based on the potential flow are critically examined. In particular, it is assessed in what measure more sophisticated aerodynamic and interface models impact the aeroelastic predictions. When the use of the tools gives different results, a physical interpretation of the leading mechanism generating the mismatch is provided. In particular, for PrandtlPlane-like configurations the aeroelastic response is very sensitive to the wake's shape. As a consequence, it is suggested that a more sophisticate modeling of the wake positively impacts the reliability of aerodynamic and aeroelastic analysis. For SensorCraft-like configurations some LCOs are characterized by a non-synchronous motion of the inner and outer portion of the lower wing: the wing's tip exhibits a small oscillation during the descending or ascending phase, whereas the mid-span station describes a sinusoidal-like trajectory in the time-domain.

• Steel and Composite Structures
• /
• v.42 no.1
• /
• pp.59-74
• /
• 2022

This study introduces a general reliability-based, performance-based design framework to design frames regarding their uncertainties and user-defined design goals. The Iterative-R method extracted from the main framework can designate a proper R (i.e., response modification factor) satisfying the design goal regarding target reliability index and pre-defined probability of collapse. The proposed methodology is based on FEMA P-695 and can be used for all systems that FEMA P-695 applies. To exemplify the method, multiple three-dimensional, four-story steel special moment-resisting frames are considered. Closed-form relationships are fitted between frames' responses and the modeling parameters. Those fits are used to construct limit state functions to apply reliability analysis methods for design safety assessment and the selection of proper R. The frameworks' unique feature is to consider arbitrarily defined probability density functions of frames' modeling parameters with an insignificant analysis burden. This characteristic enables the alteration in those parameters' distributions to meet the design goal. Furthermore, with sensitivity analysis, the most impactful parameters are identifiable for possible improvements to meet the design goal. In the studied examples, it is revealed that a proper R for frames with different levels of uncertainties could be significantly different from suggested values in design codes, alarming the importance of considering the stochastic behavior of elements' nonlinear behavior.

• Structural Engineering and Mechanics
• /
• v.7 no.1
• /
• pp.1-18
• /
• 1999

Seismic evaluation of a 32-story reinforced concrete framed tube building is performed by checking damageability, safety, and toughness limit states. The evaluation is based on Standard 2800 (Iranian seismic code) which recommends equivalent lateral static force, modal superposition, or time history dynamic analysis methods to be applied. A three dimensional linearly elastic model checked by ambient vibration test results is used for the evaluation. Accelerograms of three earthquakes as well as linearly elastic design response spectra are used for dynamic analysis. Damageability is checked by considering story drift ratios. Safety is evaluated by comparing demands and capacities at the story and element force levels. Finally, toughness is studied in terms of curvature ductility of members. The paper explains the methodology selected and various aspects in detail.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2003.04a
• /
• pp.85-91
• /
• 2003

This paper presents a 3D nonlinear analysis with slip in steel-concrete hybrid deck. In this study, it was founded that the limit slip modulus could classify the states of steel-concrete hybrid deck into three parts as full-composite, partial-composite, and non-composite, considering the longitudinal behavior and end-slip as well as the yield load and ultimate load of it. Also, it proved that the stress of lower steel plate at the support was increased, because of frictional forces by reaction forces in the steel-concrete hybrid deck. The end-slip did not occur near the full-composite state, but it was largely increased as the slip modulus decreased. On the basis of the EC 4, the state of steel-concrete hybrid deck classified into brittle behavior and ductile one using the end-slip of it

• Earthquakes and Structures
• /
• v.4 no.5
• /
• pp.527-555
• /
• 2013

This paper proposes probabilistic models for estimating the seismic demands on reinforced concrete (RC) bridges with base isolation. The models consider the shear and deformation demands on the bridge columns and the deformation demand on the isolation devices. An experimental design is used to generate a population of bridges based on the AASHTO LRFD Bridge Design Specifications (AASHTO 2007) and the Caltrans' Seismic Design Criteria (Caltrans 1999). Ground motion records are used for time history analysis of each bridge to develop probabilistic models that are practical and are able to account for the uncertainties and biases in the current, common deterministic model. As application of the developed probabilistic models, a simple method is provided to determine the fragility of bridges. This work facilitates the reliability-based design for this type of bridges and contributes to the transition from limit state design to performance-based design.

• Proceedings of the KIEE Conference
• /
• 2005.10c
• /
• pp.291-295
• /
• 2005

This paper presents the modeling of grounding system on Korean electric railway system. The system model is composed of the catenary system, the grounding-system, the sub-sectioning post, the fault point, the sectioning post, the autotransformer in the substation, and the electric vehicle. The increment of rail-ground voltage may be thought as an amplifier of danger on human body of equipment insulation. The rail-ground voltage on steady state and on fault condition should be under standard limit voltage. To analyze grounding system for steady state and fault condition on Korean railway, modeling for each railway system is performed by 10-port network model. Modeling and analysis of present grounding-system are important to protect human and electronic equipments. The examinations for systematic grounding-system are investigated.