• International Journal of Highway Engineering
• /
• v.16 no.4
• /
• pp.87-95
• /
• 2014

PURPOSES: Evaluation of thermal conductivity and convection properties of asphalt mixture by using thermodynamics. METHODS: In this research, temperature prediction model based on thermodynamics is derived for asphalt mixture in transient state and it is verified with laboratory test results. RESULTS: The derived temperature prediction model shows good agreement with laboratory test results. CONCLUSIONS: It is concluded that the derived model based on thermodynamics and thermal properties in the literature are good enough to capture temperature variation in laboratory test. The approach based on thermodynamics can be applied to more complex temperature simulations.

• Journal of Community Nutrition
• /
• v.8 no.4
• /
• pp.165-170
• /
• 2006

This study was conducted to develop and apply a computer-based multimedia nutrition education program for preschoolers based on the Dick and Carey model of instructional design. The Dick and Carey model included 4 phases: analysis, design, development, and evaluation. The program's instructional goals, objectives, assessment instruments, content, examples, and practice questions with feedback were written in the design phase. To be familiar with the 5 food groups, 'Nutrition exploration' were programmed using Hyperstudio. 'Nutrition exploration' was designed as a five-session, interactive multimedia game, with each session taking about 5 minutes to complete. Nineteen preschoolers, aged 6, volunteered to participate formative evaluation. The effectiveness of the program was examined using a pre-post test design. Participants were recruited by personal contact at the individual preschool education center. The application was carried out during 4 weeks. The results showed that intervention participants significantly increased knowledge between pre-test and post-test. The results support using IMM (interactive multimedia) to disseminate nutrition education to the target population. This research provides the basis for continuing development of computer-based nutrition education materials.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Educational Technology International
• /
• v.23 no.2
• /
• pp.157-181
• /
• 2022

Scale scores for cognitive domains have been used as an important indicator for both academic achievement and clinical diagnosis. For example, in education, Cognitive Abilities Test (CogAT) has been used to measure student's capability in academic learning. In a clinical setting, Cognitive Impairment Screening Test utilizes items measuring cognitive ability as a dementia screening test. We demonstrated a procedure of generating cognitive ability test items similar as in CogAT but the theory associated with the generation is totally different. When creating cognitive test items, we applied automatic item generation (AIG) that reduces errors in predictions of cognitive ability but attains higher reliability. We selected two cognitive ability test items, categorized as a time estimation item for measuring quantitative reasoning and a paper-folding item for measuring visualization. As CogAT has widely used as a cognitive measurement test, developing an AIG-based cognitive test items will greatly contribute to education field. Since CLASS is the only LMS including AIG technology, we used it for the AIG software to construct item models. The purpose of this study is to demonstrate the item generation process using AIG implemented within CLASS, along with proving quantitative and qualitative strengths of AIG. In result, we confirmed that more than 10,000 items could be made by a single item model in the quantitative aspect and the validity of items could be assured by the procedure based on ECD and AE in the qualitative aspect. This reliable item generation process based on item models would be the key of developing accurate cognitive measurement tests.

• Journal of Industrial Technology
• /
• v.21 no.B
• /
• pp.273-280
• /
• 2001

In this study, a driver model based on the lead-lag controller for stable maneuver of a highly nonlinear, multi-dimensional, numerically stiff multibody vehicle model according to the various handling test requirements such as steady-state cornering, double lange change, etc. is presented The lead-lag controller is developed with lead and lag compensation. which use the transfer function with cross-over frequency by frequency response method. The proposed driver model is applied to a vehicle model in steady-state and slalom maneuver to verify its effectiveness and validity. The results show that the proposed path control strategy is excellent both in pursuing the desired course and stability of the vehicle.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1217-1233
• /
• 2017

Effective monitoring and testing during each step are essential for document verification in research and development (R&D) projects. In software development, proper testing is required to verify it carefully and constantly because of the invisibility features of software. However, not enough studies on test processes for R&D projects have been done. Thus, in this paper, we introduce a Test Maturity Model integration (TMMi)-based software field R&D test process that offers five integrity levels and makes the process compatible for different types of projects. The Software & Systems Process Engineering Metamodel (SPEM) is used widely in the software process-modeling context, but it lacks built-in enactment capabilities, so there is no tool or process engine that enables one to execute the process models described in SPEM. Business Process Model and Notation (BPMN)-based workflow engines can be a solution for process execution, but process models described in SPEM need to be converted to BPMN models. Thus, we propose an approach to support enactment of SPEM-based process models by converting them into business processes. We show the effectiveness of our approach through converting software R&D test processes specified in SPEM in a case study.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.664-670
• /
• 2010

The study on mechanical behavior of the structure at the site includes experimental method and numerical analysis method. Experimental method is categorized into true-scale test and laboratory model test. A laboratory model test is to monitor the failure mechanism with a model simulated similar with a real ground so as to identify the quantitative result, while a true-scale model test is the approach which enables to identify the potential problems that may occur with a simulated construction situation similar with a real site circumstance. Thus this study was intended to carry out the experimental test of non open-cut excavation by pipe roof method which is mostly common in domestic sites. as well as was aimed at identifying the ground behavior occurred during pipe penetration using laboratory model test. Appropriate reduced-scale model was selected, taking into account of domestic geological characteristics and operation characteristics of traditional and high-speed rail trains and the qualitative evaluation of displacement was carried out based on a certain ground loss volume depending on excavation after categorizing trackbed settlement pattern by depth of top soil.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2003.05a
• /
• pp.555-560
• /
• 2003

Korean High Speed Train(KHST) has been tested on the high speed test line in Osung site of Korea High Speed Rail Construction Authority (KHRC). since it was developed as G7 Project Plan In 2002. This paper introduces the dynamic test devices in KHST and shows the comparison between the results of test and theoretical computing results which derive from the new model for KHST dynamic behavior. Previous computer simulation model for KHST was developed to review wether the vehicle system was satisfied with the dynamic performance requirements during the design procedure. But It should be applied the results of the parts test for suspension elements in order to compare between the results of computation and real test. Using VAMPIRE Program made by AEA Technology in UK. the new model also was modified. This paper shows that the static wheel loads calculated from new model is similar to test results. For test on high speed line, we prepared the test devices for evaluating the dynamic performances. which was consisted of the accelerometers( based on Kisler Co.) and the data aquisition systems (based on National instrument Co.), and test program coded by LabView 6i program. These lest devices and programs are flexible to extension the channels for adding sensors and connect to the ethernet network. The acceleration of car bodies, bogie frames and axle boxes were compared between the results of computation and test at 150km/. This paper shows that the results of test were high in high frequency band range but similar frequency band range. It might be considered that these differences were caused by the test which did not performed at constant speed for comparison analysis. Also. It will be able to understand the differences and make better results through a lot of tests planed in future.

• International Journal of Computer Science & Network Security
• /
• v.23 no.9
• /
• pp.157-161
• /
• 2023

Reliability is one of the computable quality features of the software. To assess the reliability the software reliability growth models(SRGMS) are used at different test times based on statistical learning models. In all situations, Tradational time-based SRGMS may not be enough, and such models cannot recognize errors in small and medium sized applications.Numerous traditional reliability measures are used to test software errors during application development and testing. In the software testing and maintenance phase, however, new errors are taken into consideration in real time in order to decide the reliability estimate. In this article, we suggest using the Weibull model as a computational approach to eradicate the problem of software reliability modeling. In the suggested model, a new distribution model is suggested to improve the reliability estimation method. We compute the model developed and stabilize its efficiency with other popular software reliability growth models from the research publication. Our assessment results show that the proposed Model is worthier to S-shaped Yamada, Generalized Poisson, NHPP.

• KIISE Transactions on Computing Practices
• /
• v.22 no.8
• /
• pp.393-398
• /
• 2016

Collective Adaptive System is an adaptive multi-agent system which accomplishes its goal by collaborating various agents. Because the collective property of the Collective Adaptive System is accomplished by the goal of the system being based on collaboration, testing the goal accomplishment and their interactions among heterogeneous agents is important. This paper presents a feasibility study of applying a model-based testing approach using task-based test model to a Collective Adaptive System. This paper describes additional information to be applied for Collective Adaptive System for future studies. To analyze our approach, we applied the proposed approach to a smart home system as a case study; our results indicated that we can systematically derive test cases to check whether the Collective Adaptive System successfully achieved its goals by modifying and extending the existing task model.