In this paper, we propose a novel algorithm for crowd simulation in real-time virtual environments. The proposed algorithm uses a navigation mesh for global planning in a polygonal multilayered threedimensional (3D) e...
详细信息
In this paper, we propose a novel algorithm for crowd simulation in real-time virtual environments. The proposed algorithm uses a navigation mesh for global planning in a polygonal multilayered threedimensional (3D) environment and crowd flow-based information to help individuals collision-free. At the same time, the proposed algorithm also focuses on addressing two problems: 1) in order to improve precision of collision-free, we propose based on hierarchy priority for collision-free of the individuals. 2) To avoid "shaking" behaviors of the individuals in the original place, we propose the stopping rule for solving it. Experimental results show that the proposed algorithm could be used for crowd simulation in complicated virtual environments.
The aim of the ERAMIS project is to create a Master degree “Computer as a Second Competence” in 9 beneficiary universities of Kazakhstan, Kyrgyzstan and Russia. This contribution presents how faculty development is ...
详细信息
The aim of the ERAMIS project is to create a Master degree “Computer as a Second Competence” in 9 beneficiary universities of Kazakhstan, Kyrgyzstan and Russia. This contribution presents how faculty development is organized inside this project.
Innovation in cyber-physical systems is today largely driven by embedded software. Thus, appropriate approaches have to be employed to handle the complexity that results from the multi-discipline nature of these innov...
详细信息
Innovation in cyber-physical systems is today largely driven by embedded software. Thus, appropriate approaches have to be employed to handle the complexity that results from the multi-discipline nature of these innovative cyberphysical systems. Modelica as modeling language specifically targets these multi-discipline systems. The UML profile ModelicaML combines the graphical notation of the UML with the sound formal modeling provided by Modelica. ModelicaML currently does not support modeling asynchronous communication which is increasingly required when cyber-physical systems have to coordinate their behavior. In this paper, we present our approach for Modelica code generation from ModelicaML state machines which have been extended by asynchronous communication. We illustrate our approach by an extended two tanks system that contains two distributed controllers which coordinate themselves by message exchange.
The aim of the ERAMIS project is to set up a network of Master's degree “Informatics as a Second Competence” among 9 beneficiary universities of Kazakhstan, Kyrgyzstan and Russia, and 5 European universities. Th...
详细信息
The aim of the ERAMIS project is to set up a network of Master's degree “Informatics as a Second Competence” among 9 beneficiary universities of Kazakhstan, Kyrgyzstan and Russia, and 5 European universities. This contribution presents how this network is implemented.
This paper describes an architecture-based dynamic adaptation model and framework for adaptive software systems. The framework provides for a reusable adaptation infrastructure and uses a layered architecture pattern....
详细信息
In recent years, biometric based security systems achieved more attention due to continuous terrorism threats around the world. However, a security system comprised of a single form of biometric information cannot ful...
详细信息
Global routing in VLSI (very large scale integration) design is one of the most challenging discrete optimization problems in computational theory and practice. In this paper, we present a polynomial time algorithm fo...
详细信息
Global routing in VLSI (very large scale integration) design is one of the most challenging discrete optimization problems in computational theory and practice. In this paper, we present a polynomial time algorithm for the global routing problem based on integer programming formulation with a theoretical approximation bound. The algorithm ensures that all routing demands are satisfied concurrently, and the overall cost is approximately minimized. We provide both serial and parallel implementation as well as develop several heuristics used to improve the quality of the solution and reduce running time. We provide computational results on two sets of well-known benchmarks and show that, with a certain set of heuristics, our new algorithms perform extremely well compared with other integer-programming models.
Several types of surveillance Systems are available in market, having different functions like security, life savings, and safe driving etc. Currently all available surveillance systems are based on fixed radio access...
详细信息
Most of the existing work about fairness verification was carried out by checking the fairness based on state, action, or process respectively. It is hard to resolve the fairness issue for complex software systems, es...
详细信息
Most of the existing work about fairness verification was carried out by checking the fairness based on state, action, or process respectively. It is hard to resolve the fairness issue for complex software systems, especially in life-critical systems and safety-critical systems. In this paper, we verify the fairness based on both state and action, which is realized mainly by introducing an extended Kripke structure and four kinds of fairness (weak global/local fairness and strong global/local fairness). The experimental results show the superiority of our method by the savings in memory (2.08%) and time consumption (26.45%).
Documentation written in natural language and source code are two of the major artifacts of a software system. Tracking a variety of traceability links between software documentation and source code assists software d...
详细信息
暂无评论