• Computers and Concrete
• /
• v.12 no.5
• /
• pp.669-680
• /
• 2013

This paper unveils a new computer based stabilization methodology for automated modeling analysis and its experimental verification for corrosion in reinforced concrete structures under the effect of varying oxygen concentration. Various corrosion cells with different concrete compositions under four different environmental conditions (air dry, submerged, 95% R.H and alternate wetting-drying) have been investigated under controlled laboratory conditions. The results of these laboratory tests were utilized with an automated computer-aided simulation model. This model based on mass and energy stabilization through the porous media for the corrosion process was coupled with modified stabilization methodology. By this coupling, it was possible to predict, maintain and transfer the influence of oxygen concentration on the corrosion rate of the reinforcement in concrete under various defined conditions satisfactorily. The variation in oxygen concentration available for corrosion reaction has been taken into account simulating the actual field conditions such as by varying concrete cover depth, relative humidity, water-cement ratio etc. The modeling task has been incorporated by the use of a computer based durability model as a finite element computational approach for stabilizing the effect of oxygen on corrosion of reinforced concrete structures.

• Journal of the Korean Society of Systems Engineering
• /
• v.13 no.1
• /
• pp.57-65
• /
• 2017

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• Journal of the Semiconductor & Display Technology
• /
• v.16 no.3
• /
• pp.71-77
• /
• 2017

As the automobile industry has shifted to software, the Automotive SPICE standard has been established to ensure efficient product development process and quality. In the assessment model, the HIS Scope is the minimum standard for small and medium automotive electric companies to meet OEM requirements. However, in order to achieve the HIS Scope, the output of each process stage that meets the verification criteria of Automotive SPICE must be created. In particular, the test phase takes a lot of resources, which is a big burden for small and medium-sized companies. In this paper, we propose a methodology for creating test cases of software integration test phase based on UML sequence diagram, which is a software design phase of Automotive SPICE HIS Scope, by applying behavior model based testing method. We also propose a tool chain for automating the creation process. This will reduce the resources required to create a test case.

• Journal of Korea Multimedia Society
• /
• v.21 no.12
• /
• pp.1407-1416
• /
• 2018

The purpose of this study was to train a model for the ulna and radius bone segmentation based on Convolutional Neural Networks and to verify the segmentation model. The data consisted of 840 training data, 210 tuning data, and 200 verification data. The learning model for the ulna and radius bone bwas based on U-Net (19 convolutional and 8 maximum pooling) and trained with 8 batch sizes, 0.0001 learning rate, and 200 epochs. As a result, the average sensitivity of the training data was 0.998, the specificity was 0.972, the accuracy was 0.979, and the Dice's similarity coefficient was 0.968. In the validation data, the average sensitivity was 0.961, specificity was 0.978, accuracy was 0.972, and Dice's similarity coefficient was 0.961. The performance of deep convolutional neural network based models for the segmentation was good for ulna and radius bone.

• Journal of the Korean Geotechnical Society
• /
• v.34 no.11
• /
• pp.57-70
• /
• 2018

In this study, verification of the nonlinear effective stress analysis is performed for introducing performance based earthquake resistance design of port and harbor structures. Seismic response of gravitational caisson quay wall in numerical analysis is compared directly with dynamic centrifuge test results in prototype scale. Inside of the rigid box, model of the gravitational quay wall is placed above the saturated sand layer which can show the increase of excess pore water pressure. The model represents caisson quay wall with a height of 10 m, width of 6 m under centrifugal acceleration of 60 g. The numerical model is made in the same dimension with the prototype scale of the test in two dimensional plane strain condition. Byrne's liquefaction model is adopted together with a nonlinear constitutive model. Interface element is used for sliding and tensional separation between quay wall and the adjacent soils. Verification results show good agreement for permanent displacement of the quay wall, horizontal acceleration at quay wall and soil layer, and excess pore water pressure increment beneath the quay wall foundation.

• The Korean Journal of Applied Statistics
• /
• v.28 no.6
• /
• pp.1275-1288
• /
• 2015

A microscale weather analysis module (about 1km or less) is a microscale numerical weather prediction model designed for operational forecasting and atmospheric research needs such as radiant energy, thermal energy, and humidity. The accuracy of the module is directly related to the usefulness and quality of real-time microscale weather information service in the metropolitan area. This paper suggests an object based verification method useful for spatio-temporal evaluation of the accuracy of the microscale weather analysis module. The method is a graphical method comprised of three steps that constructs a lattice field of evaluation statistics, merges and identifies objects, and evaluates the accuracy of the module. We develop lattice fields using various evaluation spatio-temporal statistics as well as an efficient object identification algorithm that conducts convolution, masking, and merging operations to the lattice fields. A real data application demonstrates the utility of the verification method.

• Communications of Mathematical Education
• /
• v.36 no.2
• /
• pp.253-286
• /
• 2022

This study is a study in which four teachers from the same school who participated in a teacher learning community program at the school field developed interdisciplinary linkage and convergence data using Plato as a collaborative circle in ethics and mathematics subjects. In particular, this study aimed to develop practical and shareable lesson materials. The data development procedure was developed according to the following four procedures. 'Development of data development plan, data development, verification of development data, and development of final data that reflects the verification opinions' At this time, in the data development stage, a theme-based design model was applied and developed. In addition, the development data were verified by conducting CVR verification for field teachers to focus on the validity and class applicability, and the final data were presented after the development data being revised to reflect the verification results. This study not only introduced the developed data, but also described the procedure of the data development process and the trial and error and concerns of the developers in the process to provide information on the nature of basic research to other field researchers who attempt data development.

• The KIPS Transactions:PartC
• /
• v.19C no.1
• /
• pp.47-54
• /
• 2012

Sharing cross-site resources has been adopted by many recent websites in the forms of service-mashup and social network services. In this change, exploitation of the new vulnerabilities increases, which includes inserting malicious codes into the interaction points between clients and services instead of attacking the websites directly. In this paper, we present a system model to identify malicious script codes in the web contents by means of a remote verification while the web contents downloaded from multiple trusted origins are executed in a client's browser space. Our system classifies verification items according to the origin of request based on the information on the service code implementation and stores the verification results into three databases composed of white, gray, and black lists. Through the experimental evaluations, we have confirmed that our system provides clients with increased security by effectively detecting malicious scripts in the mashup web environment.

• Journal of Information Technology Services
• /
• v.13 no.4
• /
• pp.169-188
• /
• 2014

Recently the complexity and difficulty of the IT projects are increasing due to technological and environmental risks, resulting in the adoption of PMO(Project Management Office) onto IT project management practices, including public area projects. For example, the Korean government regulated the application of PMO onto large scale public IT projects. However, since there has been no reliable method to estimate the cost to execute PMOs, a PMO cost evaluation model to support the budget and cost planning of PMO projects is required. Thus, the purpose of this research is to develop a systematic cost evaluation model for PMO projects. We identified the dimensions that determine the PMO execution cost to be the scale of the subject project, the technical difficulty level of the subject project, and the tasks to be executed in the PMO project. Based on the determinants, the PMO execution cost model were developed from historical data and experts opinion. Upon verification, the validity of the developed model has high level of consistency compared with their experiences of real PMO project costs.

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.3 s.168
• /
• pp.61-67
• /
• 2005

A dynamic model for flexure hinge-based compliant mechanisms is derived. The dynamic model of the previous works do not well describe the behaviors of rigid bodies in the compliant mechanism when the length of the flexure hinge is long. In this study, the effect on the length of the flexure hinge is pointed out and then the dynamic model is derived to overcome the length effect. For verification, modal analyses are carried out using the proposed dynamic model and FEM (Finite Element Method). Finally they are compared by the terms of modal frequency. As the result, the proposed dynamic model can be used in design and analysis of the compliant mechanism.