• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.3
• /
• pp.301-307
• /
• 2015

A bond-based peridynamic model has been shown to be capable of analyzing many of dynamic brittle fracture phenomena. However, there have been issued limitations on handling constitutive models of various materials. Especially, it assumes bonds act independently of each other, so that Poisson's ratio for 3D model is fixed as 1/4 as well as taking only account the bond stretching results in a volume change not a shear change. In this paper a state-based peridynamic model of dynamic brittle fracture is presented. The state-based peridynamic model is a generalized peridynamic model that is able to directly use a constitutive model from the standard theory. It permits the response of a material at a point to depend collectively on the deformation of all bonds connected to the point. Thus, the volume and shear changes of the material can be reproduced by the state-based peridynamic theory. For a linearly elastic solid, a plane stress model is introduced and the damage model suitable for the state-based peridynamic model is discussed. Through a convergence study under decreasing the peridynamic nonlocal region($\delta$-convergence), the dynamic fracture model is verified. It is also shown that the state-based peridynamic model is reliable for modeling dynamic crack propagatoin.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.3
• /
• pp.309-316
• /
• 2015

A state-based peridynamic model is able to describe a general constitutive model from the standard continuum theory. The response of a material at a point is dependent on the deformation of all bonds connected to the point within the nonlocal horizon region. Therefore, the state-based peridynamic model permits both the volume and shear changes of the material which is promising to reproduce the complicated dynamic brittle fracture phenomena, such as crack branching, secondary cracks, cascade cracks, crack coalescence, etc. In this paper, the two-dimensional state-based peridynamic model for a linear elastic plane stress solid is employed. The damage model incorporates the energy release rate and the peridynamic energy potential. For brittle glass materials, the impact of the crack-parallel compressive stress waves on the crack branching pattern is investigated. The peridynamic solution for this problem captures the main features, observed experimentally, of dynamic crack propagation and branching. Cascade cracks under strong tensile loading and secondary cracks are also well reproduced with the state-based peridynamic simulations.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• Computers and Concrete
• /
• v.17 no.2
• /
• pp.157-172
• /
• 2016

This paper presents a Strut-and-Tie Model for reinforced concrete (RC) columns subject to lateral loading. The proposed model is based on the loading path for the post-yield state, and the geometries of struts and tie are determined by the stress field of post-yield state. The analysis procedure of the Strut-and-Tie Model is that 1) the shear force and displacement at the initial yield state are calculated and 2) the relationship between the additional shear force and the deformation is determined by modifying the geometry of the longitudinal strut until the ultimate limit state. To validate the developed model, the ultimate strength and associated deformation obtained by experimental results are compared with the values predicted by the model. Good agreements between the proposed model and the experimental data are observed.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.27-34
• /
• 2012

Proposed in the paper is an agent based and object-oriented methodology to create a virtual logistics support system model. The proposed virtual logistics support system model consists of three types of objects: the logistics force agent model(static model), the military supplies transport manager model(function model), the military supplies state manager model(dynamic model). A logistic force agent model consists of two agent: main function agent and function agent. To improve the reusability and composability of a logistics force agent model, the function agent is designed to adapt to different logistics force agent configuration. A military supplies transport manager is agent that get information about supply route, make decisions based on decision variables, which are maintained by the military supplies state manager, and transport military supplies. A military supplies state manager is requested military supplies from logistics force agent, provide decision variables such as the capacity, order of priority. For the implementation of the proposed virtual logistics force agent model, this paper employs Discrete Event Systems Specification(DEVS) formalism.

• Journal of environmental and Sanitary engineering
• /
• v.15 no.2
• /
• pp.65-74
• /
• 2000

The purpose of this study is to develop the stochastic stream water quality model for the intake station of Chung-Ju city waterworks in the Han river system. This model was based on the theory of Box-Jenkins Multiplicative ARIMA(SARIMA) and the state space model to simulate changes of water qualities. Variable of water qualities included in the model are temperature and dissolved oxygen(DO). The models development were based on the data obtained from Jan. 1990 to Dec. 1997 and followed the typical procedures of the Box-Jenkins method including identification and estimation. The seasonality of DO and temperature data to formulate for the SARIMA model are conspicuous and the period of revolution was twelve months. Both models had seasonality of twelve months and were formulates as SARIMA {TEX}$(2,1,1)(1,1,1)_{12}${/TEX} for DO and temperature. The models were validated by testing normality and independency of the residuals. The prediction ability of SARIMA model and state space model were tested using the data collected from Jan. 1998 to Oct. 1999. There were good agreements between the model predictions and the field measurements. The performance of the SARIMA model and state space model were examined through comparisons between the historical and generated monthly dissolved oxygen series. The result reveal that the state space model lead to the improved accuracy.

• Proceedings of the KIEE Conference
• /
• 2006.11a
• /
• pp.357-359
• /
• 2006

Traditional time based preventive maintenance is used to constant maintenance interval for equipment life. In order to consider economic aspect for time based preventive maintenance, preventive maintenance is scheduled by RCM(Reliability-Centered Maintenance) evaluation. So, Markov state model is utilized considering stochastic state in RCM. In this paper, a Markov state model which can be used for scheduling and optimization of maintenance is presented. The deterioration process of system condition is modeled by a Markov model. In case study, simulation results about RCM are used to the real historical data of combustion turbine generating units in Korean power systems.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.2
• /
• pp.248-253
• /
• 2007

Traditional time based preventive maintenance is used to constant maintenance interval for equipment life. In order to consider economic aspect for time based preventive maintenance, preventive maintenance is scheduled by RCM(Reliability-Centered Maintenance) evaluation. So, Markov state model is utilized considering stochastic state in RCM. In this paper, a Markov state model which can be used for scheduling and optimization of maintenance is presented. The deterioration process of system condition is modeled by a Markov model. In case study, simulation results about RCM are used to the real historical data of combustion turbine generating units in Korean power systems.

• Journal of Computing Science and Engineering
• /
• v.9 no.1
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.76.1-76
• /
• 2002

This paper addresses a method for nonlinear controller construction for a general nonlinear system with the separation of controller construction and manipulated values generation. The nonlinear system model is firstly expressed with the coefficients of state-depended representation. The nonlinear control is designed without any approximation based on the model with state-depended representation. At the stage of controller implementation for the nonlinear system, the manipulated values are calculated accurately by use of an algorithm of the numerical analysis. The numerical error for calculating the manipulated value can be reduced to zero by selecting the sampling interval being a small val...