• 대한기계학회논문집A
• /
• 제27권10호
• /
• pp.1661-1666
• /
• 2003

The purpose of this study is to develop the simplified model of the crankshaft in the large marine engine for dynamic analysis. Because the actual engine system is under complex dynamic loading condition and it has multi-cylinder, the dynamic analysis is purchased at a high computation cost. In spite of this burden, the dynamic analysis must be perfonned to assure structural integrity of operating marine engine. Therefore, simplification of the analytic model is necessary for dynamic analysis. Beam-mass model, which is generated with the section property method, is the model simplified effectively. Section property method can provide desired section information by optimization technique. By applying beam-mass model to the crankshaft in the large marine engine, the usefulness of the proposed method was proven.

• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1997년도 봄 학술발표회 논문집
• /
• pp.392-397
• /
• 1997

In this paper, design and analysis of anchorage zone in prestressed concrete structure using nonlinear strut and tie model is presented. Nonlinear strut and tie model is an analysis and design model which constructs strut and tie model based on nonlinear analysis considering the nonlinear behavior of concrete. Based on the nonlinear strut and tie model, the analysis and design are performed for the anchorage zone having singular concentric tendons, singular eccentric tendons and multiple tendons, respectively. For verification of the model, comparisons are made with experimental results as well as results by linear strut and tie models. from the comparisons, it is shown that the design of the anchorage zone by the nonlinear model is still economical without loosing the degree of safety and the prediction of the ultimate load by the nonlinear model gives better accuracy than by the linear one.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2001년도 춘계학술대회 논문집
• /
• pp.201-204
• /
• 2001

The tension levelling process is performed to elongate the strip plastically in combination of tensile and bending strain so that all longitudinal fibers in the strip have an approximately equal amount of length and undesirable strip shapes are corrected to the flat shape. This paper is concerned with a simulation of the tension levelling process based on the analysis of the unit model for the tension leveller. Analysis technique such as the sequential analysis of the nit model is suggested and verified with the assembly analysis of the unit model for the effective and economic analysis of the full set of the tension leveller. Analysis of the full tension levelling process using sequential unit models is carried out and provides the effect of the intermesh and optimum amount of the intermesh in tension levelling process.

• 한국전산유체공학회지
• /
• 제19권4호
• /
• pp.37-44
• /
• 2014

A detailed satellite panel thermal model composed of more than thousands nodes can not be directly integrated into a spacecraft thermal model due to its node size and the limitation of commercial satellite thermal analysis programs. For the integration of the panel into the satellite thermal model, a reduced thermal model having proper accuracy is required. A thermal model reduction method was developed and validated by using a geostationary satellite panel. The temperature differences of main components between the detailed and the reduced thermal model were less than $1^{\circ}C$ in steady state analysis. Also, the dynamic responses of the detailed and the reduced thermal model show very similar trends. Thus, the developed reduction method can be applicable to actual satellite thermal design and analysis with resonable accuracy and convenience.

• 한국공간구조학회논문집
• /
• 제6권3호
• /
• pp.87-92
• /
• 2006

This paper is a study on the experiment and elasto-plastic discrete limit analysis of reinforced concrete circular cylindrical shell by the rigid-bodies spring model. In the rigid bodies-spring model, each collapsed part or piece of structures at the limiting state of loading is assumed to behave like rigid bodies. The present author propose new discrete elements for elasto-plastic analysis of cylindrical shell structures, that is, a rectangular-shaped cylindrical element and a rhombus-shaped cylindrical element for the improvement and expansion of this rigid-bodies spring model. In this study, it is proposed how this rigid element-bodies spring model can be applied to the elasto-plastic discrete limit analysis of cylindrical shell structures. Some numerical results of elasto-plastic discrete limit analysis and experimental results such as the curve of load-displacement and the yielding and fracturing pattern of circular cylindrical shell under horizontal load are shown.

• 한국경영과학회지
• /
• 제37권1호
• /
• pp.29-43
• /
• 2012

We design a DEA-AR model using multiple regression analysis with new methods which limit weights. When there are multiple input and single output variables, our model can be used, and the weights of input variables use the regression coefficient and coefficient of determination. To verify the effectiveness of the new model, we evaluate the efficiency of the Regional Corporations in Korea. Accordance with statistical analysis, it proved that there is no difference between the efficiency value of the DEA-AR using AHP and our DEA-AR model. Our model can be applied to a lot of research by substituting DEA-AR model relying on AHP in the future.

• 한국정밀공학회지
• /
• 제32권6호
• /
• pp.563-570
• /
• 2015

In this paper, Finite Element Analysis (FEA) for gear heat treatment using simultaneous dual frequency (SDF) induction heating is conducted. To do this, thermal-electromagnetic coupled FE model is built. A two dimensional FE model of gear and heater is introduced to reduce computation time. For more time-efficient analysis, harmonic analysis for electromagnetic model is adopted and transient analysis model, for heat transfer model. Through the coupled analysis, it can be found that the proposed FE model can solve for SDF induction heating of gear and heat treatment parameters can also be determined.

• 한국경영과학회지
• /
• 제26권3호
• /
• pp.39-52
• /
• 2001

Recently, the assessment of a bank efficiency focusing on its branches has been conceived as important in developing a competitive strategy. DEA (Data Envelopment Analysis) model can be employed as an effective analysis model for such an assessment. Therefore, this paper proposes an analysis process using DEA model to conduct an efficiency assessment of bank branches. The proposed process includes a segmentation of branches considering their competitive environment and strategy for target market : this approach can help to develop effective strategies for each group of branches. The proposed DEA model can analyze efficiency in terms of not only cost but also marketing. Finally, a real case is analyzed, demonstrating the effectiveness of the proposed model and process.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.122-125
• /
• 2008

Sensors used in many USN (Ubiquitous Sensor Network) domain applications generate a large amount of sensor stream data. The volume of sensor stream data is too huge to store the whole data and data speed is too fast to control each of them. In order to provide rapid and reliable context analysis service over sensor stream data, we propose a WHEN-DO context analysis model that supports the functionality of sliding window. This model is designed to be used as follows: If the sensor stream data satisfies condition in 'WHEN' clause, then it will execute actions in 'DO' clause in WHEN-DO context analysis model. The proposed WHEN-DO context analysis model can be applied to many other USN environment applications such as monitoring the status of a building and then taking actions in corresponding context condition.