• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.238-242
• /
• 2021

Game theory has been regarded as a useful theoretical tool for modeling the interactions between distinct entities and thus it has been harnessed in various research field. In particular, research attention has been shown to how to apply game theory to modeling the interactions between malign and benign entities in the field of wireless networks. Although various game theoretic modeling work have been proposed in the field of wireless networks, our proposed work is disparate to the existing work in the sense that we focus on mobile malign node detection problem in static wireless sensor networks. More specifically, we propose a Bayesian game theoretic modeling for mobile malign node detection problem in static wireless sensor networks. In our modeling, we formulate a two-player static Bayesian game with imperfect information such that player 1 is aware of the type of player 2, but player 2 is not aware of the type of player 1. We use four strategies in our static Bayesian game. We obtain Bayesian Nash Equilibria with pure strategies under certain conditions.

• Journal of Korean Elementary Science Education
• /
• v.42 no.4
• /
• pp.538-559
• /
• 2023

In this study, the interplay between models and theories was explored through a series of focus group discussions (FGDs) involving five experts in science education. The FGDs were held seven times, beginning with the question of what is modeling in relation to models, which is a current area of research in science education. Throughout the discussion, several key issues regarding models and modeling were addressed, with a particular emphasis on their relationship to theory. A notable finding from this study is that the participants' discussions did not converge into a single viewpoint regarding the relationship between theory and models; instead, multiple related issues emerged, leading to attempts to reframe existing concepts and seek new understanding. The study findings relate to three main areas of inquiry: What is the meaning of models or modeling? What is the nature of the relationship between models and theories?, and Is modeling possible without a foundation in theory? Particularly, the relationship between models and theories was discussed in reference to the following points: 1) Is a model to be understood as derived from theory, and is modeling the application of theory to phenomena? 2) Can a model be inferred from theory? 3) Does modeling originate from a specific, structured foundational theory (a framework of empirical knowledge), or is it to be understood through the integration of various resources without explicit reference to a foundational theory? Based on the study outcomes, implications are presented for philosophy of science and for researchers and educators working in the realm of science education.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.838-843
• /
• 2008

Since thickness deformation and lateral deflection often occurs during the collision of flexible bodies, they should be considered simultaneously in the impact analysis. The thickness deformation, however, cannot be considered in beam/shell theory since the thickness is assumed to be constant in the theory. So, solid elements are employed to estimate the thickness deformation. However, the CPU time increases significantly if solid elements are employed. In the present study, a modeling method for the impact analysis of a flexible body employing Hertzian contact theory is presented. The efficiency and the accuracy of the modeling method are discussed with some numerical examples.

• Korean System Dynamics Review
• /
• v.10 no.1
• /
• pp.5-32
• /
• 2009

This paper revisited the key advances on System Dynamics modeling about traditional macro-economic models and economic growth structures, and then tries to elaborate a new model based on the endogenous growth theory that incorporates new growth factors, relevant to knowledge/technology as well as the Environment, into traditional growth models. Accordingly, the new model augments the acceleration and multiplier loops and the balancing ones representing market clearing mechanism with a simple numerical example. The authors thus provides macroeconomic System Dynamics analysts with a milestone to model macro-economic structures reflecting on traditional and cutting-edge theories on sustainable economic growth and general equilibrium modeling.

• Advances in nano research
• /
• v.4 no.4
• /
• pp.265-279
• /
• 2016

Present study interests with the longitudinal forced vibration of nanorods. The nonlocal elasticity theory of Eringen is used in modeling of nanorods. Uniform, linear and sinusoidal axial loads are considered. Dynamic displacements are obtained for nanorods with different geometrical properties, boundary conditions and nonlocal parameters. The nonlocal effect increases dynamic displacement and frequency when compared with local elasticity theory. Present results can be useful for modeling of the axial nanomotors and nanoelectromechanical systems.

• ETRI Journal
• /
• v.37 no.1
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• Journal of Communications and Networks
• /
• v.10 no.3
• /
• pp.268-286
• /
• 2008

In this work, we review the routing models that use game theoretical methodologies. A very common assumption in the analysis and development of networking algorithms is the full cooperation of the participating nodes. Most of the analytical tools are based on this assumption. However, the reality may differ considerably. The existence of multiple domains belonging to different authorities or even the selfishness of the nodes themselves could result in a performance that significantly deviates from the expected one. Even though it is known to be extensively used in the fields of economics and biology, game theory has attracted the interest of researchers in the field of communication networking as well. Nowadays, game theory is used for the analysis and modeling of protocols in several layers, routing included. This review aims at providing an elucidation of the terminology and principles behind game theory and the most popular and recent routing models. The examined networks are both the traditional networks where latency is of paramount importance and the emerging ad hoc and sensor networks, where energy is the main concern.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.59-59
• /
• 2000

In this paper, we present a framework for modeling and control of multiple mobile robots which cowork within a bounded workspace and limited resources. To achieve this goal, we adopt a formalism of discrete event system and supervisory control theory based on Petri nets. We can divide our whole story into two parts: first, we search the shortest path using the distance vector algorithm, and then we construct the control scheme from which a number of mobile robots can work within a bounded workspace without any collision. The use of Petri net modeling allows us In synthesize a controller which achieves a control specification for the desired closed-loop behavior efficiently. Finally, the usefulness of the proposed Petri net formalism is illustrated by a simulation study.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.202.2-202
• /
• 1999

• Korean Journal of Forensic Psychology
• /
• v.13 no.1
• /
• pp.23-52
• /
• 2022

In this study, focused group interviews with 24 incumbent judges were conducted on how they conceptualize public opinion and what attitude they take toward it in relation to judicial trials. The contents of the interviews were analyzed through grounded theory and topic modeling (STM). According to the grounded theory results, judges distinguished concepts such as social rules, socially accepted ideas, legal emotion, and public mood from public opinion, and subdivided public opinion into temporary and emotional reactions to specific legal cases and consistent attitudes toward law and policies. In addition, it was found that judges' attitudes toward public opinion and social norms differed depending on the type of cases or legal issues. Topic modeling results significantly corresponded to the grounded theory results. In this model, the effects of the types of cases dedicated to participants on topical prevalence were statistically significant.