• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• The Journal of Korean Association of Computer Education
• /
• v.17 no.2
• /
• pp.53-64
• /
• 2014

The purpose of the study is to develop a scale for measuring learning outcomes in the distance teacher training programs. In order to develop the measurement instrument, the forty-four items were developed based on the literature review and ten experts' review. For data collection, a web-based survey was conducted among teachers taking a distance teacher training program at National Education Training Institute. With the data of 205 sample size from the first survey, the Exploratory Factor Analysis was conducted and seven factors were identified. In order to validate the test, the Confirmatory Factor Analysis was performed with 293 respondents from the second survey. In conclusion, this study reports the reliability and validity of a scale for learning outcomes in distance teacher training programs consisting of seven factors with 34 items; 1) system quality, 2) content quality, 3) service quality, 4) use, 5) benefit, 6) satisfaction, 7) transfer.

• The Journal of the Korea Contents Association
• /
• v.18 no.11
• /
• pp.475-483
• /
• 2018

Most of logistics system has difficulties in transportation logistics tracking due to problems in real world such as discordance between logistics information and logistics flow. For the solution to these problems, through case study about corporation, suppliers that transport order items in shopping mall, we retain traceability of order items through accordance between logistics and information flow and derive transportation logistics tracking model. Through literature review, we selected permissioned public block chain model as reference model which is suitable for transportation logistics tracking model. We compared, analyzed and evaluated using centralized model and block chain as application model for transportation logistics tracking model. In this paper we proposed transportation logistics tracking model which integrated with logistics system in real world. It can be utilized for tracking and detection model and also as a tool for marketing.

• Journal of the Korean Institute of Gas
• /
• v.1 no.1
• /
• pp.87-94
• /
• 1997

There are many kinds of complicated equipments in the chemical plants. So the chemical plants have high possibility of accidents. Hazard analysis is one of the basic tasks to ensure the safety of chemical plants. However, it has many shortcomings. To overcome the problems, there have been attempts to automate this work by utilizing computer technology, particularly knowledge-based technique. However, many of the past approaches are lacking in properties: safeguard consideration, accident diversity, cause and consequence diversity, pathway leading to accidents, and various hazard analysis reasoning. Therefore, in this study, three analysis algorithms were proposed using multimodel approach, and a hazard analysis system, AHA, was developed on G2. The case study was solved with AHA system successfully.

• Journal of the Korean Geographical Society
• /
• v.46 no.6
• /
• pp.707-723
• /
• 2011

The purpose of this study was to quantitatively evaluate the effectiveness of learning management systems (LMS) in the physical geography class. The study adopted the experimental design and three classes participated in this study. The first class was controlled using only classroom lectures, the second class used PPT slides along with the classroom lectures, and the third class used online video clips along with the lectures. The experiments were conducted from the Spring Semester 2007 to the Spring Semester 2008 for the introductory physical geography course. The study results showed that online learning tools help students improve academic performance and their attitudes towards the class and the instructor. Compared to simple PowerPoint slides, voice recording attached to the visual lecture slide materials enhanced students' motivation. Class lectures with lecture slides did not improve students' scores. However, when the visual materials were combined with voice recording, the number of internet access to online class materials increased, and class attendance and students' final grades were improved. Based on the results, the instructional design model that combines classroom and online learning was suggested.

• Journal of The Korean Association For Science Education
• /
• v.36 no.3
• /
• pp.509-517
• /
• 2016

Previous studies have investigated the similarity between the development of evolutionary explanations and students' conceptual developments on evolution. However, the validity and reliability of the assessment method reflecting the similarity have not been quantitatively examined yet. In addition, no study has examined the conceptual progressions of evolution concept based on contexts although literature has addressed the contextual difference of evolutionary explanation in the history of science. This study examined the validity and reliability of history-of-science-based evolution concept assessment using ordered multiple choice (OMC) methods and Rasch analysis and explored conceptual progression by three contexts (e.g., human, animal, and plant). The evolution concept assessment developed by Ha (2007) was used to examine 1711 elementary, middle, and high school students, and pre- and in-service science teachers' (biology majors and non-majors) evolution concepts. Internal consistency reliability and item response fitness of the OMC method that provide 0- to 4-point scores to creationism, teleology, intentionality, use/disuse, and natural selection respectively met the benchmark based on the Cronbach alpha and MNSQ indices of Rasch analysis. The level of elementary and middle school students' evolution concepts were located between intentionality and use/disuse while the level of high school and non-biology science teachers' evolution concepts were located between use/disuse and natural selection. The conceptual progressions of evolution concepts were differentiated according to three contexts. This study provided the quantitative evidence for the similarity between the development of evolutionary explanations and students' conceptual developments on evolution and suggest new analysis methods (i.e., OMC) of evolution concept assessment.

• Journal of the Korean Data and Information Science Society
• /
• v.27 no.6
• /
• pp.1609-1619
• /
• 2016

The aim of this study was to identify the construct validity and reliability of a Korean version of the Wellness Evaluation of Lifestyle (K-WEL). A total of 345 nursing students completed the 99-item K-WEL. Construct validity using exploratory and confirmatory factor analysis were conducted using SPSS WIN 22.0 and AMOS 18.0. The final K-WEL consisted of 71 scored items, 14 subscales (self worth, work, spirituality, gender identity, love, friendship, realistic belief, leisure, exercise, nutrition, stress management, emotional responsiveness, sense of control, sense of humor) and 4 factors (essential, social, physical and coping self). Goodness of fit of the final research model was acceptable as shown by ${\chi}^2=225.12$, p<.001, CMIN/DF=3.17, RMSEA=.08, NFI=.87, IFI=.91, CFI=.91. The convergent validity and discriminant validity was evaluated by AVE (.61~.69) and C.R. (.79~.89). The Cronbach's alpha values were .55~.87 for the subscales of K-WEL. This study shows that the K-WEL is a valid and reliable measurement to assess multidimensional aspects of wellness.

• Journal of the korean academy of Pediatric Dentistry
• /
• v.48 no.3
• /
• pp.302-312
• /
• 2021

The purpose of this study was to develop prototype of virtual reality(VR) simulation with malocclusion models and evaluate its applicability. Task abilities, task completion time, and a satisfaction survey were compared between dentist trainees and dental students. Participants were instructed to observe virtual malocclusion models and then performed three tasks to diagnose the type of malocclusion, determine clinical findings and develop treatment plans. Their satisfaction with the simulation experience were evaluated using a questionnaire containing five questions. Task abilities of trainees related to clinical features and treatment plans were significantly higher than that of students(p < 0.01). In both groups, the task completion time for the second case was significantly reduced compared to that for the first case(p < 0.01). The satisfaction survey showed high scores and positive responses for this simulation in both groups. If the prototype of VR simulation is continuously advanced, it will be applicable for orthodontic education in pediatric dentistry.

• The Journal of Korean Institute of Information Technology
• /
• v.17 no.7
• /
• pp.123-131
• /
• 2019

In this paper, related studies were investigated by dividing them into cost-benefit analysis, security continuity services, and SW-centric calculations. The case analysis was conducted on A institutions in the United States, Japan and South Korea. Based on this, an improvement model was prepared through comparison with the current system. The SCS(Security Continuity Service) performance evaluation system-based information protection service cost calculation model is proposed. This method applies a service level agreement(SLA) and NIST Cybersecurity framework that are highly effective through cost-effectiveness analysis and calculates consideration based on characteristics, performance criteria, and weights by information protection service. This model can be used as a tool to objectively calculate the cost of information protection services at public institutions. It is also expected that this system can be established by strengthening the current recommended statutory level to the enforceability level, improving the evaluation system of state agencies and public institutions, introducing a verification system of information protection services by national certification bodies, and expanding its scope to all systems.

• The Journal of Engineering Geology
• /
• v.33 no.3
• /
• pp.403-411
• /
• 2023

The possibility of utilizing radiant solar energy as a renewable energy resource in Tajikistan was investigated by assessing solar irradiance using XGBoost algorithm. Through training, validation, and testing, the seasonality of solar irradiance was clear in both actual and predicted values. Calculation of hourly values of solar irradiance on 1 July 2016, 2017, 2018, and 2019 indicated maximum actual and predicted values of 1,005 and 1,009 W/m², 939 and 997 W/m², 1,022 and 1,012 W/m², 1,055 and 1,019 W/m², respectively, with actual and predicted values being within 0.4~5.8%. XGBoost is thus a useful tool in predicting solar irradiance in Tajikistan and evaluating the possibility of utilizing radiant solar energy.