• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.2
• /
• pp.1027-1035
• /
• 2014

The most important design factor for portable devices is power consumption. In this paper, in the early design stage of a mobile device which measures temperature and humidity a power consumption model will be proposed and then the overall power consumption will be estimated based on this model. We will verify previously the correctness of such estimated power consumption before implementation of the real device. That is our proposed design methodology based on power consumption model. An improved design method for efficiently reducing the current consumption in the idle mode is also presented. By implementing a real prototype of the mobile device for measuring temperature and humidity, the correctness of our proposed design methodology based on power consumption modeling will be verified.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.8
• /
• pp.596-600
• /
• 2009

To support an efficient management of software verification and validation activities, many defect prediction models have been proposed based on object oriented metrics. They usually adopt logistic regression analysis, And, they state that the correctness of prediction is about 60${\sim}$70%, We performed a similar experiment with Eclipse 3.3 to check their prediction effectiveness, However, the result shows that correctness is about 40% which is much lower than the original results. We also found that univariate logistic regression analysis produces better results than multivariate logistic regression analysis.

• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Structural Engineering and Mechanics
• /
• v.85 no.3
• /
• pp.315-335
• /
• 2023

Limited studies are available on the mathematical estimates of the compressive strength (CS) of glass fiber-embedded polymer (glass-FRP) compressive elements. The present study has endeavored to estimate the CS of glass-FRP normal strength concrete (NSTC) compression elements (glass-FRP-NSTC) employing two various methodologies; mathematical modeling and artificial neural networks (ANNs). The dataset of 288 glass-FRP-NSTC compression elements was constructed from the various testing investigations available in the literature. Diverse equations for CS of glass-FRP-NSTC compression elements suggested in the previous research studies were evaluated employing the constructed dataset to examine their correctness. A new mathematical equation for the CS of glass-FRP-NSTC compression elements was put forwarded employing the procedures of curve-fitting and general regression in MATLAB. The newly suggested ANN equation was calibrated for various hidden layers and neurons to secure the optimized estimates. The suggested equations reported a good correlation among themselves and presented precise estimates compared with the estimates of the equations available in the literature with R²= 0.769, and R² =0.9702 for the mathematical and ANN equations, respectively. The statistical comparison of diverse factors for the estimates of the projected equations also authenticated their high correctness for apprehending the CS of glass-FRP-NSTC compression elements. A broad parametric examination employing the projected ANN equation was also performed to examine the effect of diverse factors of the glass-FRP-NSTC compression elements.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.11
• /
• pp.132-142
• /
• 1996

This paper presents a technique to model and control a manipulator which has a flexible link and moves in a vertical plane. The flexible link is modeled as an Euler-Bernoulli Beam. Elastic deformation of the flexible link is represented using the assumed modes method. A comparison function which satisfies all geometric and natural boundary conditions of a cantilever beam with an end mass is used as an assumed mode shape. Lagrange's equation is utilized for the development of a discretized model. This paper presents a simple technique to improve the correctness of the developed model. The final model including the shortening effect due to elastic deformation correlates very well with experimental results. The free body motion simulation shows that two assumed modes for the representation of the elastic deformation is proper in terms of the model size and correctness. A control algorithm is developed using PID control technique. The proportional, integral and derivative control gains are determined based on dominant pole placement method with a rigid one-link manipulator. A position control simulation shows that the control algorithm can be used to control the position and residual oscillation of the flexible one-link manipulator effectively.

• Journal of Internet Computing and Services
• /
• v.10 no.3
• /
• pp.1-8
• /
• 2009

The primary tasks of a workflow management system specify workflow models with respect to resource, control-flow, data-flow, functional, and operational perspectives, and to enact their workcases (workflow instances). In terms of enacting workflow models, the essential criterion grading the quality of the system is "how much is the system able to guarantee the correctness of workflow models' enactment?". Particularly, the workflow determinacy problem, which may be caused by the interference of the control-flow and the data-flow specifications, is the most challenging issue in guaranteeing the correctness of the system. We are able to solve the problem by either of the following two approaches-analysis of workflow model and verification of workflow enactment. In the paper, we propose a technique that guarantee the system's correctness through verifying workflow enactment. In other words, the technique is able to detect the conflicts of control-flow and data-flow enactments existing on a workflow model, which causes the system to be non-determinant in enacting workflow models. Finally, by applying the technique to the e-Chautauque workflow management system developed by the authors' research group, we prove that the technique is a feasible solution for the workflow determinacy problem.

• Journal of the Korean Society for information Management
• /
• v.23 no.2
• /
• pp.265-285
• /
• 2006

In text categorization a certain level of correctness of labels assigned to training documents is assumed without solid knowledge on that of real-world collections. Our research attempts to explore the quality of pre-assigned subject categories in a real-world collection, and to identify the relationship between the quality of category assignment in training set and text categorization performance. Particularly, we are interested in to what extent the performance can be improved by enhancing the quality (i.e., correctness) of category assignment in training documents. A collection of 1,150 abstracts in computer science is re-classified by an expert group, and divided into 907 training documents and 227 test documents (15 duplicates are removed). The performances of before and after re-classification groups, called Initial set and Recat-1/Recat-2 sets respectively, are compared using a kNN classifier. The average correctness of subject categories in the Initial set is 16%, and the categorization performance with the Initial set shows 17% in $F_1$ value. On the other hand, the Recat-1 set scores $F_1$ value of 61%, which is 3.6 times higher than that of the Initial set.

• Phonetics and Speech Sciences
• /
• v.11 no.4
• /
• pp.45-53
• /
• 2019

The purpose of this work was to examine the factors affecting the identities of the voiceless plosives, i.e. English [p, t, k] and Korean [p^h, t^h, k^h], from the spontaneous speech corpora. The factors were automatically extracted by a Praat script and the percent correctness of the discriminant analyses was incrementally assessed by increasing the number of factors used in predicting the identities of the plosives. The factors included the spectral moments and tilts of the plosive release bursts, the post-burst aspirations and the vowel onsets, the durations such as the closure durations and the voice onset times (VOTs), the locations within words and utterances and the identities of the following vowels. The results showed that as the number of factors increased up to five, so did the percent correctness of the analyses, resulting in 74.6% for English and 66.4% for Korean. However, the optimal number of factors for the maximum percent correctness was four, i.e. the spectral moments and tilts of the release bursts and the following vowels, the closure durations and the VOTs. This suggests that the identities of the voiceless plosives are mostly determined by their internal and vowel onset cues.

• Journal of Digital Convergence
• /
• v.14 no.4
• /
• pp.139-147
• /
• 2016

The purpose of this study is to identify the relationships between AI education characteristics and psychological capital, psychological capital and flow, AI characteristics and flow through meditating effect of psychological capital in the digital convergence society. There are three AI characteristics: correctness, usefulness, easy of use. This empirical study was examined by 282 questionnaires to the three universities that teach accounting information system. It was performed by three-step method of the hierarchical regression analysis for the multiple regression analysis and parameter using the SPSS 22.0. The results and implications by analysis are as follows. First, AI characteristics and psychological capital have statistically significant positive influence. From AI attribute, correctness was established as the most important element. Second, psychological capital positively(+) influences flow. It allowed for the developed in flow. Third, psychological capital was shown as the major meditative variable between AI characteristics and flow. Through these, this paper suggests to reinforce self-efficacy, hope, resilience, optimism.

• Journal of the Korean Geographical Society
• /
• v.50 no.6
• /
• pp.607-619
• /
• 2015

It is important to detect trails accurately for finding a proper management. We examined the applicability of KOMPSAT imagery to detect trails and found that it could be an efficient alternative to track trails correctly. We selected K2 and K3 imagery with different spatial resolution. Then, we processed each imagery to get NDVI, SAVI, and SC data. And then, we identified trails by object-based analysis and network analysis. Finally, we evaluated the potential trails with F-measurement and Jaccard coefficient which are based on correctness and completeness. The results show that the applicability is quite different in each case. Among them, especially the SC data with K3 shows the most highest value; correctness of detecting legal trails is 0.44 and completeness of that is 0.54. F-measurement and Jaccard coefficient are 0.49 and 0.32. In general, although there is a limit in detecting trails by using only KOMPSAT imagery, the usefulness of KOMPSAT imagery can be a higher considering its cost efficiency and availability of acquiring periodic data.