• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.1
• /
• pp.93-100
• /
• 1994

5-axis CNC machining is being used in the manufacturing of tire mold, screw, and turbine blade because it can produce complex workpiece more efficiently and accurately than 3-axis CNC machining does. However, it is difficult to calculate the CL data in 5-axis CNC machining. This paper describes an efficient method to modify and edit the NC code and a data structure for representation of the workpiece produced by 5-axis CNC machining. Wireframe display of tool path and shading display of workpiece are used to represent verification results. Machining errors can be evaluated quantitively using the data structure based on the workpiece data model. The methods are implemented in a program with a IBM-PC and MS-Windows.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1453-1467
• /
• 1996

A software development process is regarded as the process of building a series of various models. But developers had no method to verify these models which created subjectively. This paper has adopted initiative of verification tools to an early phase of analysis, whereas the existing verification tools have been used for implementations. This paper has defined a constraint language that expresses disciplines suggested in the system has been built upon the constraint language, which is proven to enhance the quality and consistency of models constructed by object model editor.

• Journal of Fisheries and Marine Sciences Education
• /
• v.24 no.2
• /
• pp.180-202
• /
• 2012

The purpose of this study was to extract an u-PBL support system core value and design strategy based upon field experience learning. To accomplish this the study, first of all, analyzed the core values, design strategy which was selected after needs analysis and literature review of theories and cases regarding the PBL, e-PBL, blended-PBL, Field experience learning based on ubiquitous environment, and learning model based on ubiquitous technology. This study identified the three core values as; systemic support for instructional activity, just in time support for instructional activity and support for interaction facilitation. As further research areas, it might be useful to develop u-PBL instructional support system based upon the model designed from this study. Also, research concerning the verification of the model based upon implementation of the program case might be necessary.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.33 no.4
• /
• pp.61-72
• /
• 1991

A lumped deterministic model(DAWAST model) was developed to predict the daily streamflow. Since the streamflow is dominantly determined by the soil water storage in the watershed, the model takes the soil water accounting procedures which are based on three linear reservoirs representing the surface, unsaturated, and saturated soil layers. The variation of soil water storage in the unsaturated zone is traced from the soil water balance on a daily basis. DAWAST model consists of 5 parameters for water balance and 3 parameters for routing. A optimization technique of unconstrained nonlinear Simplex method was applied for the determination of the optimal parameters for water balance. Model verification was carried out to the 7 hydrologic watersheds with areas of 5.89-7,126km$^2$ and the results were generally satisfactory. The daily streamflow can be arbitrarily simulated with the input data of daily rainfall and pan evaporation by the DAWAST model at the station where the observed streamflow data of short periods are available to calibrate the model parameters.

• Journal of Korean Society of Water and Wastewater
• /
• v.34 no.2
• /
• pp.105-114
• /
• 2020

In this study, based on the System Dynamics (SD) methodology, the interrelationship between the factors inherent in the operation of the New Technology Certification System (NTCS) in Korea was identified by a causal map containing a feedback loop mechanism in connection with 'new technology development investment', 'commercialization of new technology', and 'sales by new technology'. This conceptualized causal map was applied to the simulation of the operations of the New Excellent Technology and Environmental Technology Verification System (NET&ETV) run by the Ministry of Environment among various NTCSs in Korea. A SD computer simulation model was developed to analyze and predict the operational performance of the NET&ETV in terms of key performance indices such as 'sales by new technology'. Using this model, we predicted the future operational status the NET&ETV and found a policy leverage that greatly influences the operation of the NET&ETV. Also the sensitivity of the key indicators to changes in the external variables in the model was analyzed to find policy leverage.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• Design & Manufacturing
• /
• v.18 no.2
• /
• pp.64-73
• /
• 2024

The purpose of this paper is to introduce a fusion method that combines the design of experiments (DOE) and machine learning to optimize the bias of plastic products. The study focuses on the plastic motor housing used in automobiles, which is manufactured through plastic injection molding. Achieving optimal molding for the motor housing involves the optimization of various molding conditions, including injection pressure, injection time, holding pressure, mold temperature, and cooling time. Failure to optimize these conditions can lead to increased product deformation. To minimize the deformation of the motor housing, the widely used Taguchi method, which is one of the design of experiment techniques, was employed to identify the injection molding conditions that affect deformation. Machine learning was then applied to various models based on the identified molding conditions. Among the models, the Random Forest model emerged as the most effective in predicting deformation amounts. The validity of the Random Forest model was also confirmed through verification. The verification results demonstrated the excellent prediction accuracy of the trained Random Forest model. By utilizing the validated model, molding conditions that minimize deformation were determined. Implementation of these optimal molding conditions led to a reduction of approximately 5.3% in deformation compared to the conditions before optimization. It is noteworthy that all injection molding outcomes presented in this paper were obtained through robust injection molding simulations, ensuring both research objectivity and speed.

• Water Engineering Research
• /
• v.4 no.4
• /
• pp.175-185
• /
• 2003

A numerical model to analyze dam break flows has been developed based on approximate Riemann solver. The governing equations of the model are the nonlinear shallow-water equations. The governing equations are discretized explicitly by using finite volume method and the numerical flux are reconstructed with weighted averaged flux (WAF) method. The developed model is verified. The first verification problem is about idealized dam break flow on wet and dry beds. The second problem is about experimental data of dam break flow. From the results of the verifications, very good agreements have been observed

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.127-130
• /
• 2004

기존의 전대역(Full-Band)에서 특징 파라미터를 추출하는 화자 확인(Speaker Verification) 시스템은 저대역이나 고대역에서 화자 정보의 특징이 제거되기 쉽다. 또한, 주파수 스펙트럼에 부분적으로 오염이 되는 경우, 특징 파라미터를 왜곡시켜 화자 확인 시스템의 성능을 저하시킨다. 본 논문에서는 이러한 문제점을 해결하기 위해 다중대역 공분산 모델(Covariance Model)을 제안한다. 제안한 방법은 주파수 영역에서 전대역을 여러 개의 부대역(Sub-Band)으로 분할하고, 부대역별로 독립적으로 특징 파라미터를 추출하여 공분산 모델을 구한다. 제안된 방법의 성능 확인을 위하여 공분산 모델 간의 거리를 측정하는 화자 확인 실험을 하였다. 잡음 환경에서 기존의 방법인 전대역에 기반한 공분산 모델과 제안한 방법을 비교 분석한 결과, 제안한 방법이 기존 방법보다 $2\%$정도 성능이 향상되었다. 또한, 제안된 방법은 전대역에 기반한 파라미터 차원 수를 다중대역의 개수로 분할하여 사용하므로 계산량의 감소와 저장 공간면에서 효율적이다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.4
• /
• pp.468-472
• /
• 2004

This paper presents an intelligent iris recognition system which consists of quality check, iris localization, feature extraction, and verification. For the quality check, the local statistics on the pupil boundary is used. Gaussian mixture model is used to segment and localized the iris region. The feature extraction method is based on an optimal waveform simplification. For the verification, we use an intelligent variable threshold.