• 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.

• ETRI Journal
• /
• v.35 no.6
• /
• pp.1058-1067
• /
• 2013

An approach for game bot detection in massively multiplayer online role-playing games (MMORPGs) based on the analysis of game playing behavior is proposed. Since MMORPGs are large-scale games, users can play in various ways. This variety in playing behavior makes it hard to detect game bots based on play behaviors. To cope with this problem, the proposed approach observes game playing behaviors of users and groups them by their behavioral similarities. Then, it develops a local bot detection model for each player group. Since the locally optimized models can more accurately detect game bots within each player group, the combination of those models brings about overall improvement. Behavioral features are selected and developed to accurately detect game bots with the low resolution data, considering common aspects of MMORPG playing. Through the experiment with the real data from a game currently in service, it is shown that the proposed local model approach yields more accurate results.

• Journal of Korea Game Society
• /
• v.9 no.2
• /
• pp.95-104
• /
• 2009

The windows games and the console games that use DirectX occupied 20% or more of world game market and that are developed by C++ Language occupied 75% or more of the market. This study proposed that commonality and variability for code of the 20 projects based on DirectX and C++ is analysed and patternized, that common modules are created, and that modules are modeled. As a result of applying a case study, it is verified that the proposed model reduces effort in game development.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.10
• /
• pp.149-156
• /
• 2016

The purpose of this study is to suggest some policy and theoretical implications for the youth's internet game addiction by analyzing the moderating effects of social support in the relationship of Oiettolie propensity and game addiction behaviors. For the purpose of this study, this study set a research model about the causal relationships among the study variables by reviewing previous studies and surveyed high school students for this research. The analytical results of this study are the followings. First, lack of communication and impulsivity have significant influences on Oiettolie propensity. Second, Oiettolie propensity has a significant influence on youth's game addiction. Third, social support moderates the relationship between Oiettolie propensity and youth's internet game addition. This study suggests some implications for the youth internet game addiction.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.10
• /
• pp.3771-3788
• /
• 2015

This paper studies the distributed energy efficient resource management in the Internet of Things (IoT). Wireless communication networks support the IoT without limitation of distance and location, which significantly impels its development. We study the communication channel and energy management in the wireless communication network supported IoT to improve the ability of connection, communication, share and collaboration, by using the game theory and distributed learning algorithm. First, we formulate an energy efficient neighbor collaborative game model and prove that the proposed game is an exact potential game. Second, we design a distributed energy efficient channel selection learning algorithm to obtain the global optimum in a distributed manner. We prove that the proposed algorithm will asymptotically converge to the global optimum with geometric speed. Finally, we make the simulations to verify the theoretic analysis and the performance of proposed algorithm.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.3
• /
• pp.83-91
• /
• 2009

Recently game industry is emerging as a core of the domestic cultural contents by rapid development of IT technology and also the market scale has growing highly every year. Among various games, particularly the market ratio of MMORPG increases rapidly in domestic and oversea online game market. However it is true that the competition in the oversea market is too week for the investment to the MMORPG development efforts from the domestic game industry. Accordingly this paper collects the interests which players concern. Also this paper analyses and classifies design elements of successful MMORPGS as a way to obtain competition and shows a model in terms of game software qualify to be referred by MMORPG development organizations or companies.

• Journal of Korea Game Society
• /
• v.2 no.2
• /
• pp.60-65
• /
• 2002

In the majority of today's computer games, the behaviour of characters are controlled by pre-defined game logic or pre-generated motion. As game developers strive for richer and more interactive games, they often encounter limitations with this approach. This paper attempts to construct a game model using Genetic Algorithms (GAs) in order to produce more intelligent and compelling computer games. Based on teaming ability, the use of GAs will enable the characters to continually evolve, providing a changing and dynamic game environment. A real-time game was implemented to investigate the performance and limitations of the system.

• Journal of Korea Game Society
• /
• v.21 no.3
• /
• pp.13-24
• /
• 2021

This paper shows the face rotation applicable to game character facial illustration. Existing studies limited data to human face data, required a large amount of data, and the synthesized results were not good. In this paper, the following method was introduced to solve the existing problems of existing studies. First, a 3D model with features of the input image was rotated and then rendered as a 2D image to construct a data set. Second, by designing GAN that can learn features of various poses from the data built through the 3D model, the input image can be synthesized at a desired pose. This paper presents the results of synthesizing the game character face illustration. From the synthesized result, it can be confirmed that the proposed method works well.

• Journal of The Korean Association of Information Education
• /
• v.13 no.4
• /
• pp.471-478
• /
• 2009

In this paper, we intend to relive game addiction by educating game programming for students that suffer from game addiction. We had analyzed popular games at the present day and extracted factors related to information education from game programming tool. In addition, we had designed the practical lesson plan based on the instructional design model. We had applied the game programming project to students for a year and the results were as follows. First, we verified the drop of addiction propensity by performing the examination of game addiction scale with before and after T-test. Second, according to the results of analysis based on grounded theory, it saved game time and relieved game addiction. In conclusion, this study shows that the game programming project relieved game addiction.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.7
• /
• pp.2454-2467
• /
• 2015

Increasing traffic and bandwidth requirements bring challenges to the next generation wireless networks (5G). As one of the main technology in 5G networks, Ultra-Dense Network (UDN) can be used to improve network coverage. In this paper, a radio over fiber based model is proposed to solve the load balancing problem in ultra-dense network. Stochastic differential game is introduced for the load balancing algorithm, and optimal load allocated to each access point (RAP) are formulated as Nash Equilibrium. It is proved that the optimal load can be achieved and the stochastic differential game based scheme is applicable and acceptable. Numerical results are given to prove the effectiveness of the optimal algorithm.