• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.29 no.4
• /
• pp.309-315
• /
• 2016

Recently, finite element analysis technique has been widely used for structural and mechanical understandings of human body in the dentistry field. This research proposed an effective finite element modeling method based on CT images, and parametric studies were performed for the occlusal simulation. The analyses were performed considering linear material behaviors and nonlinear geometrical effect, and validated with the experimental results. In addition, the skull models with two different molar relations such as Class I and full-CUSP Class II were generated and the analyses were performed using the proposed analytical method. As results, the relationships between the mandibular movement and occlusal force of both two models showed similar tendency in human occlusal force. However, stress was evenly distributed from teeth to facial bone in the skull model with Class I, while stress concentration was appeared in the model with full-CUSP Class II due to the changes of occlusal surfaces of the model.

• Informatization Policy
• /
• v.17 no.3
• /
• pp.74-97
• /
• 2010

This paper investigates factors that have facilitated the rapid diffusion of broadband in South Korea. It finds that the quick spread of broadband access in South Korea is the result of combining the government's strategic ICT policy considering cultural traits, businesses'competitive efforts, and the timely explosion of domestic demand for IT service. This paper also discusses the impact of broadband diffusion on the digital divide. It finds that although there are still regional and age gaps in broadband access, the Korean government and businesses are working to alleviate these problems through various ways from systemic to physical ones. While the deployment of broadband cannot eliminate every issue of the digital divide, broadband access minimizes the digital divide by lowering the barrier to inequitable access to information. This paper concludes with a number of recommendations that address selected policy issues related to the spread of broadband Internet for its successful implementation.

• KSLA Bulletin
• /
• s.2
• /
• pp.43-56
• /
• 2010

Since core scholarly journals have been digitalized, license contracts for e-resources have been dramatically increased. Librarians have had difficulties in understanding various and complex license models that are proposed by publishers in a period of time. The standardization of license models for journals have been more in demand and standard model license for journals have been developed by librarians, publishers, consortia and the third party. In this study, we explain the development of the standard license model of KESLI consortium.(hereafter, KESLI model) The availability of KESLI model has been analyzed by comparing with established standard license models. As a result, KESLI model is proved to be adopted and used in a practical contract process of e-journals through consortium.

• Journal of the Korea Computer Graphics Society
• /
• v.23 no.4
• /
• pp.21-29
• /
• 2017

Previous visual analytics researches has focused on reducing the uncertainty of predicted results using a variety of interactive visual data exploration techniques. The main purpose of the interactive search technique is to reduce the quality difference of the predicted results according to the level of the decision maker by understanding the relationship between the variables and choosing the appropriate model to predict the unknown variables. However, it is difficult to create a predictive model which forecast time series data whose overall trends is unknown such as youth physical growth data. In this paper, we pro pose a novel predictive analysis technique to forecast the physical growth value in small pieces of time series data with un certain trends. This model estimates the distribution of data at a particular point in time. We also propose a visual analytics system that minimizes the possible uncertainties in predictive modeling process.

• Journal of the Korea Convergence Society
• /
• v.3 no.4
• /
• pp.35-44
• /
• 2012

In this study, a simulation program is developed in order to investigate non steady-state cornering performance of 6WD/6WS special-purpose vehicles. 6WD vehicles are believed to have good performance on off-the-road maneuvering and to have fail-safe capabilities. But the cornering performances of 6WS vehicles are not well understood in the related literature. In this paper, 6WD/6WS vehicles are modeled as a 18 DOF system which includes non-linear vehicle dynamics, tire models, and kinematic effects. Then the vehicle model is constructed into a simulation program using the MATLAB/SIMULINK so that input/output and vehicle parameters can be changed easily with the modulated approach. Cornering performance of the 6WS vehicle is analyzed for brake steering and pivoting, respectively. Simulation results show that cornering performance depends on the middle-wheel steering as well as front/rear wheel steering. In addition, a new 6WS control law is proposed in order to minimize the sideslip angle. Lane change simulation results demonstrate the advantage of 6WS vehicles with the proposed control law.

• Korean Journal of Construction Engineering and Management
• /
• v.9 no.4
• /
• pp.111-119
• /
• 2008

VE is one of the most effective and systematic tool available to achieve the required function at minimum cost and manage in many industrial fields. The purpose of the preparation phase VE job plan is to establish a cooperation system referring to groups for the successful implementation of VE, and to achieve a common objective to collect sufficient materials required in the analysis phase. The Quality Model is used to measure the requirement of shareholders(users and owners)in the project. It also offers a guideline on decision making when executing the function definition, function arrangement, function evaluation, and the idea evaluation of VE. However, the current the preparation phase business confirms that the required items of owners and users has not suggested definite goals and directions. This study analyzes the problems of current work in the preparation phase from case study, survey and interviews of experts. It then proposes a new process after understanding the required items of owners, users and experts.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.8
• /
• pp.691-701
• /
• 2017

The barbell squat is a fundamental physical exercise for strengthening the lower body and core muscles. It is an integral part of training and conditioning programs in sports, rehabilitation, and fitness. In this paper, we proposed a virtual test framework for squat exercises using a Smith machine to simulate joint torques and muscle forces, based on an integrated product-human model and motion synthesis algorithms. We built a muscular skeletal human model with boundary conditions modeling the interactions between the human body and a machine or the ground. To validate the model, EMG, external forces, and squat motions were captured through physical experiments by varying the foot position. A regression-based motion synthesis algorithm was developed based on the captured squat motions to generate a new motion for a given foot position. The proposed approach is expected to reduce the need for physical experiments in the development of training programs.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1001-1014
• /
• 2003

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

• Journal of Korean Library and Information Science Society
• /
• v.50 no.3
• /
• pp.71-95
• /
• 2019

With high interest in linked data, there are various attempts to accommodate the linked data model in cataloging process. This study intends to discuss how to adopt and make the best use of linked data based bibliographic framework in order to improve the quality of library catalogs and to enhance library services in Korean libraries. To the end, this study focuses on (1) discussion of the meaning of linked data from the library cataloging perspective, (2) tracking best practices for implementing and operating linked data among North American and Europe libraries and bibliographic networks (in detail, constructing various types of ontology, developing linked data model including BIBFRAME and OCLC linked model, and improving retrieval service and interface), and finally (3) exploring problems and the anticipated challenges to transition to the linked data model in Korea. The data for discussion were collected from literature review and case study.