This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no unive...This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transforma- tion rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.展开更多
A new force is introduced in the social force model （SFM） for computing following behavior in pedestrian counterflow, whereby an individual tries to approach others in the same direction to avoid conflicts with pede...A new force is introduced in the social force model （SFM） for computing following behavior in pedestrian counterflow, whereby an individual tries to approach others in the same direction to avoid conflicts with pedestrians from the opposite direction. The force, like a kind of gravitation, is modeled based on the movement state and visual field of the pedestrian, and is added to the classical SFM. The modified model is presented to study the impact of following behavior on the process of lane formation, the conflict, the number of lanes formed, and the traffic efficiency in the simulations. Simulation results show that the following behavior has a significant effect on the phenomenon of lane formation and the traffic efficiency.展开更多
In this paper a cellular automaton model is proposed to describe driver behavior at a single-lane urban roundabout. Driver behavior has been considered as heterogeneous and inconsistent. Most traffic papers in the lit...In this paper a cellular automaton model is proposed to describe driver behavior at a single-lane urban roundabout. Driver behavior has been considered as heterogeneous and inconsistent. Most traffic papers in the literature just discussed heterogeneous driver behavior, to our best knowledge. Two truncated Caussian distributions are used to model heterogeneous and inconsistent driver behavior, respectively. The physical meanings of two truncated distributions are indicated. This method may help enhance a better understanding of driver behavior at roundabout traffic, and even possibly provide references for roundabout design and management.展开更多
This letter proposes a categorization matrix to analyze the playing style of a computer game player for a shooting game genre. Our aim is to use human-centered modeling as a strategy for adaptive games based on entert...This letter proposes a categorization matrix to analyze the playing style of a computer game player for a shooting game genre. Our aim is to use human-centered modeling as a strategy for adaptive games based on entertainment measure to evaluate the playing experience. We utilized a self-organizing map (SOM) to cluster the player's style with the data obtained while playing the game. We further argued that style-based adaptation contributes to higher enjoyment, and this is reflected in our experiment using a supervised multilayered perceptron (MLP) network.展开更多
文摘This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transforma- tion rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.
基金Project supported by the National Natural Science Foundation of China （Nos. 51278221 and 51378076）, the Chinese Postdoc- toral Science Foundation （Nos. 2015M571369 and 2012M511343）, and Jilin Science and Technology Development Program, China （Nos. 20140204027SF and 20170101155JC）
文摘A new force is introduced in the social force model （SFM） for computing following behavior in pedestrian counterflow, whereby an individual tries to approach others in the same direction to avoid conflicts with pedestrians from the opposite direction. The force, like a kind of gravitation, is modeled based on the movement state and visual field of the pedestrian, and is added to the classical SFM. The modified model is presented to study the impact of following behavior on the process of lane formation, the conflict, the number of lanes formed, and the traffic efficiency in the simulations. Simulation results show that the following behavior has a significant effect on the phenomenon of lane formation and the traffic efficiency.
基金Supported by Science and Technology Support Plan of Sichuan Province under Grant No.2012GZX0088Foundation of State Key Laboratory of Geohazard Prevention and Geoenvironment Protection under Grant No.2011Z006Talent Program of Chengdu University of Technology under Grant No.HG0092
文摘In this paper a cellular automaton model is proposed to describe driver behavior at a single-lane urban roundabout. Driver behavior has been considered as heterogeneous and inconsistent. Most traffic papers in the literature just discussed heterogeneous driver behavior, to our best knowledge. Two truncated Caussian distributions are used to model heterogeneous and inconsistent driver behavior, respectively. The physical meanings of two truncated distributions are indicated. This method may help enhance a better understanding of driver behavior at roundabout traffic, and even possibly provide references for roundabout design and management.
基金supported by the Soongsil University Research Fundthe Information Technology Research Center (ITRC) Support Program of the Ministry of Knowledge Economy (MKE), Korea
文摘This letter proposes a categorization matrix to analyze the playing style of a computer game player for a shooting game genre. Our aim is to use human-centered modeling as a strategy for adaptive games based on entertainment measure to evaluate the playing experience. We utilized a self-organizing map (SOM) to cluster the player's style with the data obtained while playing the game. We further argued that style-based adaptation contributes to higher enjoyment, and this is reflected in our experiment using a supervised multilayered perceptron (MLP) network.
