• Journal of Korea Game Society
• /
• v.11 no.2
• /
• pp.39-44
• /
• 2011

Computer games need game formulas which express game rules by mathematical functions because the game rules are automatically processed by computers. The game formulas are usually multi-variable functions. So the design of a game formula is a complex and difficult problem because it is the same problem of the design of a multi-variable function which should satisfy the related game rules. In this paper we propose a new method which can systematically design game formulas. The purposed method is the decomposing of tree structure for a game formula by analyzing the tree structure of the operands which have single-variable functions on the lowest levels. So the design method can change the complex and difficult problem of the design of a multi-variable function to the simple and easy problem of the design of the single-variable function which should satisfy the related game rules.

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

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.89-92
• /
• 2017

This study critically analyzes the present situation of the domestic game industry that infringes game nature or diversity, which is the essence of game contents such as copycat, auto play, excessive billing inducement, indiscriminate advertisement developed by focusing on commercial aspect, It suggests the necessity of creative and various game development environment. It suggests development direction for the development of domestic game industry through game case analysis which shows the possibility of game media out of existing success formula and does not concentrate only on commerciality and makes effort to give new fun to users.

• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• pp.741-742
• /
• 2006

In this paper, we suggested a method for game operation tools by Ultrasonic sensor. Various ideas are necessary for the development that a game is industrial. I use a Ultrasonic sensor in this study and use a model case, and an operation is going to hold a case shooting play. Therefore, I showed a former circuit and a formula related to this.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.3
• /
• pp.653-659
• /
• 2015

The Pythagorean formula for baseball postulated by James (1982) indicates the winning percentage as a function of runs scored and runs allowed. However sometimes, the Pythagorean formula gives a less accurate estimate of winning percentage. We use the records of team vs team historic win loss records of Korean professional baseball clubs season from 2005 and 2014. Using assumption that the difference between winning percentage and pythagorean expectation are affected by unusual distribution of runs scored and allowed, we suppose that difference depends on mean, standard deviation, and coefficient of variation of runs scored per game and runs allowed per game, respectively. In conclusion, the discrepancy is mainly related to the coefficient of variation and standard deviation for run allowed per game regardless of run scored per game.

• Korean Journal of Artificial Intelligence
• /
• v.9 no.2
• /
• pp.35-40
• /
• 2021

In this paper, many game companies seek better optimization and easy-to-apply logic to prolong the game's lifespan and provide a better game environment for users. Therefore, research will be showing the game's key input response method called RoS (Response of Speed). The purpose of the method is to simultaneously perform various motions with the character showing natural motion without errors even if the character's control key is duplicated. This method is for the developers so they can reduce bugs and development time in future game development. To be used with quickly generating game environments, the new method compares with the popular motion method, so which method is faster and can adapt to diverse games. The paper suggested that the Response of Speed method is a better method for optimizing frames and reducing the number of reacting seconds by showing a faster response and speed). With the method popularity of scrollers, many 2D cross-scroll games follow the formula of Dash, Shoot, Walk, Stay, and Crouch. With the development of game engines, it is becoming easier to implement them. Therefore, although the method presented in the above paper differs from the popular method, it is expected that there will be no great difficulty in applying it to the game because transplantation is easy. In the future, we plan to study to minimize the delay of each connection of the character motion so that the game can be optimized to best.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.37-44
• /
• 2004

Homological algebra has emerged and developed since 1950s. However, in 1890's Hilbert investigated the resolutions in his Syzygy Theorem which is a vital ingredient in homological algebra. In 1956 Serre has proved the finite global dimension of regular local rings. His result give a basic tool in homological algebra. This paper also deals with the depth formula that was raised by Auslander in 1961.

• Journal of the Korean Statistical Society
• /
• v.25 no.2
• /
• pp.185-193
• /
• 1996

In this paper we consider the gambler's ruin problem with N players and derive the formula for computing the expected ruin time when the initial fortunes of all N players are the same. And we present an example for the case of N = 5.

• International Journal of Advanced Culture Technology
• /
• v.6 no.3
• /
• pp.216-225
• /
• 2018

Strangely enough, there has not been much effort in applying the latest technologies to help referees make accurate calls in a soccer game compared to other sports. Modern soccer tries to apply VAR (Video Assistant Referee) technology to correct inaccurate calls such as an offside, but this is being put off due to the fact that real time decision-making cannot be carried out by using this technology. This has led this study to decide developing a device that will accurately identify offsides on a real time basis using various latest sensors and related technologies. This device will aid referees in calling offsides in a soccer match.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.7
• /
• pp.1226-1231
• /
• 2010

This paper looks at the influence of Financial Transmission Rights (FTRs) on the market value(Social Welfare; SW) in the competitive electricity market. The transmission line constraints make it difficult to compute the Nash Equilibrium (NE) due to causing a mixed strategy NE instead of a pure strategy NE. Computing a mixed strategy is more complicated in a multi-player game. The aim of this paper are to compute a mixed strategy NE and analyze SW in power transaction with FTRs. This paper introduces a formula and a technique for solving NE of multi-player game with FTRs. In addition, it analyzes the influence of holding of FTRs by generation company on SW and it proposes the SW at NE is influenced by Power Transfer Distribution Factor (PTDF) where holder of FTRs are located. The assertion is verified by calculating the mixed strategy utilizing the Cournot model widely used for studies on FTRs.