• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.8
• /
• pp.834-841
• /
• 2006

Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.66 no.1
• /
• pp.1-13
• /
• 2024

This study assessed the efficacy of improving the accuracy of reservoir water level prediction models by employing automated machine learning models and efficient cross-validation methods for time-series data. Considering the inherent complexity and non-linearity of time-series data related to reservoir water levels, we proposed an optimized approach for model selection and training. The performance of twelve models was evaluated for the Obong Reservoir in Gangneung, Gangwon Province, using the TPOT (Tree-based Pipeline Optimization Tool) and four cross-validation methods, which led to the determination of the optimal pipeline model. The pipeline model consisting of Extra Tree, Stacking Ridge Regression, and Simple Ridge Regression showed outstanding predictive performance for both training and test data, with an R² (Coefficient of determination) and NSE (Nash-Sutcliffe Efficiency) exceeding 0.93. On the other hand, for predictions of water levels 12 hours later, the pipeline model selected through time-series split cross-validation accurately captured the change pattern of time-series water level data during the test period, with an NSE exceeding 0.99. The methodology proposed in this study is expected to greatly contribute to the efficient generation of reservoir water level predictions in regions with high rainfall variability.

• Information Systems Review
• /
• v.7 no.1
• /
• pp.81-96
• /
• 2005

Because the web sites are in common today, the access to the web for disabled people and old aging people, what we call accessibility, becomes more important. Even though efforts to reduce the informational gap resulted from the lack of the accessibility have been carried out, the studies in this field in Korea are not still in popular. In this study, previous research on the measurements for the accessibility is reviewed and then a new model measuring accessibility is suggested. To increase the validity of the measurement, both an automated tool and a manual test are employed. First we used the 'A-Prompt', one of the popular automated validation tools and analyzed web sources, and applied manual tests by HPR Screen Reader. With the error rates calculated, the accessibility of the government web sites between Korea and the United States was compared and finally the conclusions were drawn.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.105-113
• /
• 2009

The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.4
• /
• pp.51-60
• /
• 2004

This paper proposes an automated coding system of Korean standard industry/occupation for census which reduces a lot of cost and labor for manual coding. The proposed system converts natural language responses on survey questionnaires into corresponding numeric codes using information retrieval techniques and document classification algorithm. The system was experimented with 46,762 industry records and occupation 36,286 records using 10-fold cross -validation evaluation method. As experimental results, the system show 87.08% and 66.08% production rates when classifying industry records into level 2 and level 5 codes respectively. The system shows slightly lower performances on occupation code classification. We expect that the system is enough to be used as a semi-automate coding system which can minimize manual coding task or as a verification tool for manual coding results though it has much room to be improved as an automated coding system.

• Journal of information and communication convergence engineering
• /
• v.6 no.1
• /
• pp.59-63
• /
• 2008

The methods or algorithms which can accelerate simulation speed became of great importance, as the modeling and simulation methodology for discrete event systems is used in many areas such as model validation/verification and performance evaluation. This paper proposes a tool named, DEVSIF composer. The tool is made of an automated compiled simulation technology and it builds a new composed model which can be executed much fast by composing the component models together. Models are described by our new specification language DEVSIF, which is compatible with object-oriented language and supports representation of a hierarchical model structure. Experimental results demonstrates that DEVSIF composer enhances the simulation speed of a transformed DEVS model 5 times faster than that of the original ones in average.

• Journal of applied mathematics & informatics
• /
• v.31 no.3_4
• /
• pp.425-441
• /
• 2013

In literature, several strong designated verifier signature (SDVS) schemes have been devised using elliptic curve bilinear pairing and map-topoint (MTP) hash function. The bilinear pairing requires a super-singular elliptic curve group having large number of elements and the relative computation cost of it is approximately two to three times higher than that of elliptic curve point multiplication, which indicates that bilinear pairing is an expensive operation. Moreover, the MTP function, which maps a user identity into an elliptic curve point, is more expensive than an elliptic curve scalar point multiplication. Hence, the SDVS schemes from bilinear pairing and MTP hash function are not efficient in real environments. Thus, a cost-efficient SDVS scheme using elliptic curve cryptography with pairingfree operation is proposed in this paper that instead of MTP hash function uses a general cryptographic hash function. The security analysis shows that our scheme is secure in the random oracle model with the hardness assumption of CDH problem. In addition, the formal security validation of the proposed scheme is done using AVISPA tool (Automated Validation of Internet Security Protocols and Applications) that demonstrated that our scheme is unforgeable against passive and active attacks. Our scheme also satisfies the different properties of an SDVS scheme including strongness, source hiding, non-transferability and unforgeability. The comparison of our scheme with others are given, which shows that it outperforms in terms of security, computation cost and bandwidth requirement.

• Korean Journal of Agricultural Science
• /
• v.48 no.3
• /
• pp.629-642
• /
• 2021

Land-use change has an important role in the hydrologic characteristics of watersheds because it alters various hydrologic components such as interception, infiltration, and evapotranspiration. For example, rapid urbanization in a watershed reduces infiltration rates and increases peak flow which lead to changes in the hydrologic responses. In this study, a physical hydrologic model the soil and water assessment tool (SWAT) was used to assess long-term continuous daily streamflow corresponding to land-use changes that occurred in the Naesungchun river watershed. For a 30-year model simulation, 3 different land-use maps of the 1990s, 2000s, and 2010s were used to identify the impacts of the land-use changes. Using SWAT-CUP (calibration and uncertainty program), an automated parameter calibration tool, 23 parameters were selected, optimized and compared with the daily streamflow data observed at the upstream, midstream and downstream locations of the watershed. The statistical indexes used for the model calibration and validation show that the model performance is improved at the downstream location of the Naesungchun river. The simulated streamflow in the mainstream considering land-use change increases up to -2 - 30 cm compared with the results simulated with the single land-use map. However, the difference was not significant in the tributaries with or without the impact of land-use change.

• Advances in Automotive Engineering
• /
• v.1 no.1
• /
• pp.123-141
• /
• 2018

Hardware-in-the-loop (HiL) simulation is a very powerful tool to design, test and verify automotive control systems. However, well-validated and high degree of freedom vehicle models have to be utilized in these simulations in order to obtain realistic results. In this paper, a vehicle dynamics model developed in the Carsim Real Time program environment and its validation has been performed using experimental results. The developed Carsim real time model has been employed in the Tofas R&D hardware-in-the-loop simulator. Experimental and hardware-in-the-loop simulation results have been compared for the standard FMVSS No. 126 test and the results have been found to be in good agreement with each other. Two electronic stability control (ESC) algorithms, named the Basic ESC and the Integrated ESC, taken from the earlier work of the authors have been tested and evaluated in the hardware-in-the-loop simulator. Different evaluation methods have been formulated and used to compare these ESC algorithms. As a result, the Integrated ESC system has been shown superior performance as compared to the Basic ESC algorithm.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.60 no.6
• /
• pp.65-71
• /
• 2018

The Long-Term Hydrologic Impact Assessment (L-THIA) model is a quick and straightforward analysis tool to estimate direct runoff and nonpoint source pollution. L-THIA was originally implemented as a spreadsheet application. GIS-based versions of L-THIA have been developed in ArcView 3 and upgraded to ArcGIS 9. However, a major upgrade was required for L-THIA to operate in the current version of ArcGIS and to provide more options in runoff and NPS estimation. An updated L-THIA interfaced with ArcGIS 10.0 and 10.1 has been developed in the study as an ArcGIS Desktop Tool. The model provides a user-friendly interface, easy access to the model parameters, and an automated watershed delineation process. The model allows use of precipitation data from multiple gauge locations for the watershed when a watershed is large enough to have more than one precipitation gauge station. The model estimated annual direct runoff well for our study area compared to separated direct runoff in the calibration and validation periods of ten and nine years. The ArcL-THIA, with a user-friendly interface and enhanced functions, is expected to be a decision support model requiring less effort for GIS processes or to be a useful educational hydrology model.