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.
Exponential increase and global access to read/write memory states in quantum computing simulation limit both the number of qubits and quantum transformations that can be currently simulated. Although quantum computing simulation is parallel by nature, spatial and temporal complexity are major performance hazards, making this an important application for HPC. A new methodology employing reduction...
Cyber-Physical Systems (CPS) are composed of computation, networking, and physical processes. Model-based design is a powerful technique to apply mathematical modeling in CPS design. A model of a physical system is the description of variations in some aspects and properties of the system such as motion, velocity, and pressure. The variations of physical quantities such as motion, velocity, and pressure...
As cloud services using the virtualized technique are emerging and developing rapidly, protection of cloud services is a key issue. Most research efforts focus on reducing the attack surface observed by the external attackers, which is an impractical solution for a complex system like virtualized infrastructure. In order to deceive the attackers and waste their time and efforts, three attack surface...
We are interested in solving the problem of locating a subset of facilities in the case of uncertainties and variations in the system parameters. Dealing with this problem using scenarios based approach needs an important computational effort. The two phases proposed method in this paper combines both exact and heuristic approaches to minimize the maximum regret of the model. We proposed and compared...
This paper proposes a methodology based on system connections to calculate its complexity. There are proposed two study cases: the dining Chinese philosophers problem and the distribution center. Both studies are modeled using the theory of discrete event systems and simulated in different contexts in order to measure their complexities. The obtained results present i) the static complexity as a limiting...
The design of healthcare facilities involves the complex system in various spatial and temporal dimensions; it involves a wide range of functions, different kinds of users and activities, and various technical requirements. Understanding the complexity in healthcare facilities becomes important in order to ensure that the design could perform well to support healthcare services. This paper discusses...
Based on the deeply analysis of the criteria of the time-domain equalization, a new concise criterion is pointed out, and a novel scheme of the time-domain equalization machine is also designed in. To compare this new criterion with the traditional criteria, the complexity of computation can decrease strongly, so this new equalization machine expresses very nice performance on the field of the calculation...
The distributed computing of data is a challenging task in terms of the self-organizing task distribution and computing, especially if distributed computing systems are becoming very large and complex. Therefore, the distributed hash table (DHT)-based P2P system called DuDE has been developed to compute statistics of access nodes of Internet service providers in an efficient way. DuDE exploits the...
Accurate and fast simulations of photovoltaic systems are essential for streamlining system design and for correctly assessing their economic merit and impact on the electric grid. Typically, simulations of these systems are done over a period of one year with hourly resolution, and require taking into account the different operating conditions of each solar panel, e.g., incident irradiance, as well...
Verification and Validation (V&V) of Systems is an important process in the development of systems, in order to ensure that they are reliable and operational. Among methods of V&V, there are two that seem to be opposite to each other: simulation, which is empirical, and formal verification, which is comprehensive. Moreover, simulation and formal verification propose many different...
Email plays a very important role in our daily life. Much work have been put into practice on email network. Those studies mostly require real email network datasets and reliable models to analyze user information and understand the mechanisms of network evolution. However, much research work is constrained by the absence of real large-scale email datasets. Although email communication is ubiquitous,...
Credibility is an important part of combat simulation research, which restricts application qualities of simulation in the operational decision-making. Most of credibility evaluation methods measure the credibility by analyzing gap between simulation results and actual results, but the actual results of combat cannot be predicted. The paper brings forward a credibility evaluation method based on event...
An integrated model of Cellular Automata (CA) and Agent is developed to model land use scenario changes and its potential impact on the structure and function in typical region which are helpful to understand the mechanism between land use system and population growth. This model makes a fusion of agent and CA self organization models for flexible computing in order to developed a system of urban...
Taking into account inter-task dependency in reconfigurable computing systems, a step closer to reality, can interfere with placement algorithm and it highly affects on hardware resource utilization. In this paper a tree based placement algorithm is proposed that its specifications are efficiency and low execution time. The main feature of this placement algorithm is that it is easy and simple to...
Time Management (TM) is an integral part of the parallel and distributed systems that maintains the temporal order of events in a system. In this paper, we present a decentralised TM approach using a constrained communication model based on the inherent properties of virtual worlds. The proposed method uses a flat communication model and a region synchronises itself with a set of regions that share...
Qualitative reasoning uses incomplete knowledge to compute a description of the possible behaviors for dynamic systems. For standard QSIM algorithm frequently results in a large number of incomprehensible behavioral descriptions and the simulation for complex systems frequently is intractable, model decomposition methods are used to decompose the complex system model into simple sub-models. Qualitative...
The paper provides test platform design and implementation for BOM-based simulation model tests, to enhance the model reliability, and shorten simulation system integration cycle in the test. It designs independent model test platform, which provided object management, data distribution, time management and other services needed by the BOM model running. The model test platform could provide runtime...
A developed Dijkstra shortest path search algorithm is proposed through improving data structure, preprocessing to remove redundant vertices and setting the search region sequence. The average running time before and after improvement is compared and analyzed through the simulation tests. The results show that the developed Dijkstra shortest path search algorithm can improve storage efficiency and...
We give an approach for supporting validation for complex modeling and simulation. We present a means of characterizing methods, Breadth-Depth, which encompasses techniques ranging from simulation to unstructured human judgment. Based on this framework, we argue that a cost-effective method V&V of complex simulations is triangulation of simulation against breadth methods. We propose a specific...
In this paper, a new sensor selection scheme for target tracking in binary sensor networks using auxiliary particle filter is proposed that leads to computation complexity reduction. Binary sensor networks provide a set of binary signals based on presence or absence of target in detection region of sensors. Computation complexity of the particle filtering can be a major problem for its practical use...
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.