• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.9
• /
• pp.1266-1272
• /
• 2014

We define the mobile robot navigation problem as an optimization problem to minimize the cost function with the pose error between the goal position and the position of a mobile robot. Using Gauss-Newton method for the optimization, the optimal speeds of the left and right wheels can be found as the solution of the optimization problem. Especially, the rotational speed of wheels of a mobile robot can be directly related to the overall speed of a mobile robot using the Jacobian derived from the kinematic model. When the robot detects the obstacle using sensors, the sub-goal switching method is adopted for the efficient obstacle avoidance during the navigation. The performance was evaluated using the simulation and the simulation results show the validity of the proposed method.

• Journal of the Korean Data and Information Science Society
• /
• v.15 no.2
• /
• pp.457-465
• /
• 2004

Ramik[7] introduced a fuzzy goal programming (FGP)problem that generalizes a standard goal programming (GP) problem with fuzzy alternatives, fuzzy objective functions and fuzzy deviation functions for measuring the deviation between attained and desired goals being fuzzy. However, it is known that this FGP tends to produce an approximate solution since it uses an approximate fuzzy multiplication operation to solve the resultant fuzzy model. In this paper, we show that this FGP sometimes leads to the wrong decision. We also propose a procedure that gets the exact solution to overcome these problems. The method is based on $T_M$ (min norm)-based fuzzy operations using $\alpha-cut$ representations. We consider the same example as used in Ramik and investigate how our procedures are compared to Ramik's.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.464-471
• /
• 2009

Robot and application of IT skill of construction industry are slow comparatively than another thing industry by the feature. This research proposes progress management and real time information gathering through construction automation and RFID focused on steel structure construction. Building for RTPM system, must consider various variables and surrounding situation in construction field and it is the most important and difficult matter that draw right requirement and grasp relation between this requirements to accomplish one suitable task considering these environment. Therefore, in this study analyzes requirement and target for RTPM system based on scenario that is easy to draw requirement and apply this to use case model. Presented method suggests that represent relation between goals and way that refines goal systematically from requirement of RTPM system. And it could express for visualization through the Way that attaches nonfunctional elements of system with system internal goal.

• Korean Management Science Review
• /
• v.28 no.1
• /
• pp.141-158
• /
• 2011

This study concerns with an applicability of the management science approach to the score adjustment among the College Scholastic Aptitude Test(CSAT) optional subjects. A linear programming model is developed to minimize the sum of score distortions between optional subjects. Based on the analysis of the 377,089 CSAT(2010) applicants' performances in social science test section, this study proposes a new approach for the score equating or linking method of the educational measurement theory. This study makes up for the weak points in the previous linear programming model. First, the model utilize the standard score which we can get. Second, the model includes a goal programming concept which minimizes the gap between the adjusting goal and the result of the adjustment. Third, the objective function of the linear programing is the weighted sum of the score distortion and the number of applicants. Fourth, the model is applied to the score adjustment problem for the whole 11 optional subjects of the social science test section. The suggested linear programming model is a generalization of the multi-tests linking problem. So, the approach is consistent with the measurement theory for the two tests and can be applied to the optional three or more tests which do not have a common anchor test or a common anchor group. The college admission decision with CSAT score can be improved by using the suggested linear programming model.

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Journal of Digital Convergence
• /
• v.12 no.11
• /
• pp.225-232
• /
• 2014

Supply of a smart device has been made with the development of communication networks and growing desire of people to improve the quality of life, the service industry about it have been made with smart devices. Among them, there are various services that can help people change their behavior to healthy life. But it does not have a large impact on the behavior change of performer because its been developed as a general process. Therefore in this study examine development situation about current behavior change applications through application markets. Development current situation can be separated by process to two patterns. As a result we propose behavioral change model that includes integrated change model that one of the behavior theory model, accomplish the goal process of goal setting theory and habit formation phase for automate the changes. Also, we provide appropriate service according to the model that leads motivation, sustainability of the action and positive behavior change to performer. We can expect in many aspects such as ability and motivation than existing service.

• Journal of The Korean Association For Science Education
• /
• v.16 no.4
• /
• pp.365-375
• /
• 1996

Improving of scientific inquiring ability is the major goal of current science curriculum, and the 6th science curriculum. But science educators consider that the existing textbooks and teaching manuals are insufficient to achieve this goal. For science teachers at teaching site to guide students efficiently in research work, development of teaching-learning programs is urgently demanded. Hypothesis Verification Learning Model(HVLM) was applied to classroom situation to improve ability of scientific inquiry in experiment teaching of middle school biology. The effects of the model were analyzed to suggest some approach method to reach the goal of science education in this study. The major results of this study are as following: 1. The students and teachers responded positively on this new learning model. an students were willing to participate in biology experiment and they said that to know what was unknown to them while exchanging ideas and opinions through the discussion, It was hard for teachers to instruct at the first time and it took much time for them to arrange materials ready, but it turned to be easier as time went on. 2. In science process skills, there was no significant difference statistically by new leaning model. Only the formulating a generalization or model showed significant difference statistically between the two groups. 3. For scientific attitude, experimental group did not show significant difference statistically between the two groups, but the experimental group showed statistically more significant positiveness in all areas afterwards than before. 4. In science achievement test, there was significantly higher than the control group. It is also analyzed that they remember the experiments in courses and results they planned and performed by themselves longer than these guided by teachers.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.5
• /
• pp.9-21
• /
• 2004

In spite of the strong request that Internet, a new IT technique, should be extensively used in classroom settings, WBI is not still wide spread. One possible reason is that most WBIs developed so far are not qualitatively different from the traditional classroom ones and various design models for WBI are unknown. Developing a WBI program according to Goal-based Scenarios (GBS), a constructivistic instructional design model, this study offers a useful case for the design and development of WBI to educators and implementers. The program developed embodied seven important components of the GBS model. The development process also included needs assessment, task analysis, and learner and environment analysis, which are the basic components of the domain of instructional design. The GBS development case in this article will provide concrete guidelines to educational practitioners who have an intention to create a new type of WBI in schools as well as in corporate.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.4
• /
• pp.96-104
• /
• 2017

A one-shot system (device) refers to a system that is stored for a long period of time and is then disposed of after a single mission because it is accompanied by a chemical reaction or physical destruction when it operates, such as shells, munitions in a defense weapon system and automobile airbags. Because these systems are primarily related with safety and life, it is required to maintain a high level of storage reliability. Storage reliability is the probability that the system will operate at a particular point in time after storage. Since the stored one-shot system can be confirmed only through inspection, periodic inspection and maintenance should be performed to maintain a high level of storage reliability. Since the one-shot system is characterized by a large loss in the event of a failure, it is necessary to determine an appropriate inspection period to maintain the storage reliability above the reliability goal. In this study, we propose an optimal inspection policy that minimizes the total cost while exceeding the reliability goal that the storage reliability is set in advance for the one-shot system in which periodic inspections are performed. We assume that the failure time is the Weibull distribution. And the cost model is presented considering the existing storage reliability model by Martinez and Kim et al. The cost components to be included in the cost model are the cost of inspection $c_1$, the cost of loss per unit time between failure and detection $c_2$, the cost of minimum repair of the detected breakdown of units $c_3$, and the overhaul cost $c_4$ of $R_s{\leq}R_g$. And in this paper, we will determine the optimal inspection policy to find the inspection period and number of tests that minimize the expected cost per unit time from the finite lifetime to the overhaul. Compare them through numerical examples.

• Knowledge Management Research
• /
• v.20 no.3
• /
• pp.173-193
• /
• 2019

Reward-based crowdfunding is a funding platform that allows funds to be raised to early operators who have lack of funds, and is seen as an outstanding infrastructure that is going to lead the fourth industrial revolution in that it is a field of realization of new technologies and creative ideas by start-ups. Reward-based crowdfunding has grown in line with the trend of the fourth industrial revolution, and funding success cases are taking place in various industries that culture/art to technology/IT, including as a new means of knowledge management in a rapidly changing industrial environment. The study focused on the fact that consumer's donation purposes may also vary depending on the category of projects classified as reward-based crowdfunding. Because consumer payment decisions and motivation of consumer purchasing behavior are classified according to the purpose of purchase, the previous papers that the goal gradient effect that the main motivation of consumer donation for reward-based crowdfunding introduced vary depending on project category of utilitarian and hedonic. In this study, consumer's daily donation data is collected by Indiegogo which is a leading reward-based crowdfunding company using web-crawling and the model was defined as propensity score matching (PSM) and random effect model. The results showed that the goal gradient effect occurred in utilitarian project category, but no goal gradient effect for the hedonic project category. Furthermore, this paper developed the study of motivation of consumer donation and contributes theoretical foundation by the results consumer donation may vary depending on the project category; also, this paper has implications for an effective marketing strategy depending on the project category leaves real meaning to the projector.