The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Time Petri nets are a powerful formalism for representing real-time systems. State Class Graph is a useful tool for timing analysis of time Petri nets. However, this tool is inaccurate when performing timing analysis of sequences of transitions firings. This paper proposes to overcome this limitation, taking advantage of two techniques: global time and relaxed unfolding. Global time technique can...
We have developed a low-cost wireless monitoring system, that enables air quality referential parameters measurements based on a multilayer distributed model with an Arduino platform. This is an Internet of Things application, of which a physical object is embedded with electronics, software, sensors and wireless connectivity to allow monitoring air pollution on real-time. Agile methodologies such...
Embedded systems are steadily growing in complexity and nowadays power consumption additionally plays an important role. Designing and exploring such systems embedded in its environment demand for holistic and efficient simulations. In this work we use a simulation framework based on the HLA (High-Level Architecture) and the modeling tool Ptolemy II to enable complex heterogeneous distributed simulations...
In this research-in-progress paper we present a new real-world domain for studying the aggregation of different opinions: optimal urban tactical position selection (TPS). This is an important and foreseeable real world application, not only because cities have been viewed as centers of gravity by military planners throughout history, but also because the military significance of cities has increased...
According to [1], cloud computing is one of ICT core areas in the next five years. The computing paradigm also is a research trend that has attracted strongly scientist community. Until now, there are many studies, which have focused on saving energy for servers in cloud systems. During the operation process of cloud data center, idle servers bring about power waste phenomenon. In order to overcome...
Military simulations, especially those for personnel training and equipment effectiveness analysis, require proper human behavior models (HBMs) to play blue or red. Traditionally, the HBMs are controlled through rule based scripts. However, the doctrine-driven behavior is rigid and predictable, and more often than not unable to adapt to new situations. In most cases, the subject matter experts (SMEs)...
This paper outlines a framework for an info-symbiotic modelling system using cyber-physical sensors to assist in decision-making. Using a dynamic data-driven simulation approach, this system can help with the identification of target areas and resource allocation in emergency situations. Using different natural disasters as exemplars, we will show how cyber-physical sensors can enhance ground level...
Event-driven wireless sensor networks are special networks that just need the sensors which detected the events gathering and sending data through a reasonable routing to the single information processing center called sink node, usually used in monitoring emergency events in many large-scale severe environments. However, the battery energy of sensors are limited and difficult to be charged or replaced,...
Mininet is a popular container-based emulation environment built on Linux for testing Open Flow applications. Using Mininet, one can compose an experimental network using a set of virtual hosts and virtual switches with flexibility. However, it is well understood that Mininet can only provide a limited capacity, both for CPU and network I/O, due to its underlying physical constraints. We propose a...
Large-scale scenes' processing has become the major trend today. We mainly address the online walkthrough of Large-scale underground (UG) scenes in this paper. Taking into account the characteristics of UG scene, we first propose a lightweight preprocessing to optimize the raw UG scene and unify the raw data with scene, sub-scene and simple model. Then we generate a three-layered grid structure for...
The parameter configuration is frequent and necessary in the simulation application development. During the parameter configuration, the candidate parameters are numerous and of various types, selecting the correct candidate parameter by hand is of heavy workload and error-prone, thus hampering the progress of the simulation application development. Aiming at this problem, this paper puts forward...
The Modeling & Simulation (M&S) of modern cyber-physical systems is presenting new challenges. New M&S techniques, methods and tools are emerging that take advantage of distributed simulation environments. One of the most mature and popular standard for distributed simulation is the IEEE 1516-2010 - High Level Architecture (HLA) that, although originally developed for military applications,...
This paper proposes a novel path-assisted dead reckoning algorithm for distributed virtual environments (DVEs). Unlike traditional dead reckoning algorithms that perform extrapolations based solely on kinematic models, the new algorithm takes environmental factors and human behaviours into account. Its design is based on an assumption that human-controlled entities tend to follow similar paths in...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.