An educational programming language is a programming language that is designed primarily as a learning instrument and not so much as a tool for writing programs for production. Three-dimensional (3D) interactive anima...An educational programming language is a programming language that is designed primarily as a learning instrument and not so much as a tool for writing programs for production. Three-dimensional (3D) interactive animations provide an effective means to engage the attention of the audience to learn programming language. Traditionally, creating 3D games had been difficult as it requires specialized programming skills. However, it had been proven that the state-transition diagram, which is the most fundamental principle for automata, is intuitively so comprehensive that even children can create programs for interactive animations and video games in the two-dimensional world. Islay3D is a programming environment for authoring interactive 3D animations based on this concept. In this paper, the Islay3D animation language is introduced, where a character is modeled as an object, and its behavior is defined in term of a set of state-transition diagrams. The interpretation of the state-transition diagrams to JavaScript is also presented. Finally, the web-based programming environment is introduced. With the web-based platform, the public will be able express their creativity in creating interactive 3D animations and video games easily from within their browser.展开更多
The transverse spin-2 Ising ferromagnetic model with a longitudinal crystal-field is studied within the mean-field theory based on Bogoliubov inequality for the Gibbs free energy. The ground-state phase diagram and th...The transverse spin-2 Ising ferromagnetic model with a longitudinal crystal-field is studied within the mean-field theory based on Bogoliubov inequality for the Gibbs free energy. The ground-state phase diagram and the tricritical point are obtained in the transverse field Ω/ zJ-longitudinal crystal D / zJ field plane. We find that there are the first order-order phase transitions in a very small range of D /zJ besides the usual first order-disorder phase transitions and the second order-disorder phase transitions,展开更多
This paper presents the techniques of implicit traversing and state verification for sequential finite state machines(FSMs) based of on the state collapsing of state transition graph(STG). The problems of state design...This paper presents the techniques of implicit traversing and state verification for sequential finite state machines(FSMs) based of on the state collapsing of state transition graph(STG). The problems of state designing are described. In order to achieve high state enumeration coverage, heuristic knowledge is proposed.展开更多
文摘An educational programming language is a programming language that is designed primarily as a learning instrument and not so much as a tool for writing programs for production. Three-dimensional (3D) interactive animations provide an effective means to engage the attention of the audience to learn programming language. Traditionally, creating 3D games had been difficult as it requires specialized programming skills. However, it had been proven that the state-transition diagram, which is the most fundamental principle for automata, is intuitively so comprehensive that even children can create programs for interactive animations and video games in the two-dimensional world. Islay3D is a programming environment for authoring interactive 3D animations based on this concept. In this paper, the Islay3D animation language is introduced, where a character is modeled as an object, and its behavior is defined in term of a set of state-transition diagrams. The interpretation of the state-transition diagrams to JavaScript is also presented. Finally, the web-based programming environment is introduced. With the web-based platform, the public will be able express their creativity in creating interactive 3D animations and video games easily from within their browser.
文摘The transverse spin-2 Ising ferromagnetic model with a longitudinal crystal-field is studied within the mean-field theory based on Bogoliubov inequality for the Gibbs free energy. The ground-state phase diagram and the tricritical point are obtained in the transverse field Ω/ zJ-longitudinal crystal D / zJ field plane. We find that there are the first order-order phase transitions in a very small range of D /zJ besides the usual first order-disorder phase transitions and the second order-disorder phase transitions,
基金Supported by the National Natural Science Foundation of China
文摘This paper presents the techniques of implicit traversing and state verification for sequential finite state machines(FSMs) based of on the state collapsing of state transition graph(STG). The problems of state designing are described. In order to achieve high state enumeration coverage, heuristic knowledge is proposed.
