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.
This paper addresses the generation of stochastic models for dependability and performability analysis of complex systems, through automatic replication of template models. The proposed solution is tailored to systems composed by large populations of similar non-anonymous components, interconnected with each other according to a variety of topologies. A new efficient replication technique is presented...
Undeniably, the focus of several works revolved around finding a process of unification to follow along the modeling of mechatronic systems. This paper is a part of a general research designed to apply topology for the modeling of complex mechatronic systems. Notably, a topological approach to model a Wind Turbine is adopted in this study. The Wind Turbine model under study is modeled using a topological...
In this paper, a Distance-Weighted K Nearest Neighboring (DW-KNN) topology is proposed to study self-organized aggregation as an emergent swarming behavior within robot swarms. A virtual physics approach is applied among the proposed neighborhood topology to keep the robots together. A distance-weighted function based on a Smoothed Particle Hydrodynamic (SPH) interpolation approach is used as a key...
Internet of Things (IoT) is characterized by heterogeneous devices that interact with each other on a collaborative basis to fulfill a common goal. In this scenario, some of the deployed devices are expected to be constrained in terms of memory usage, power consumption and processing resources. To address the specific properties and constraints of such networks, a complete stack of standardized protocols...
In this paper, we develop an access controller management model which provides new opportunities for further reducing the computation repetition and data transmission redundancy for Mobile Edge Computing (MEC) in 5G network. We propose novel algorithms for solving the offloading problem with consideration of tradeoff between energy consumption and the amount of offloaded data under constraint of overall...
The celebrated Time Hierarchy Theorem for Turing machines states, informally, that more problems can be solved given more time. The extent to which a time hierarchy-type theorem holds in the classic distributed LOCAL model has been open for many years. In particular, it is consistent with previous results that all natural problems in the LOCAL model can be classified according to a small constant...
An innovative Y-shape power divider (PWD) model is established based on the Kron-Branin formalism. The equivalent topology of Y-PWD is elaborated by considering the constituting elements of classical transmission line (TL). The S-parameter theoretical model is applied to single-input two-output (1:2) unequal Y-PWD. The unequal level of the outputs is controlled with output quarter wavelength branch...
Switching power converters can achieve very high efficiency. However, they do so only for slim subset of operating conditions. Power supplies and loads with highly variable parameters do not operate at peak performance all the time. Energy harvesting and battery powered systems are typical examples. This paper studies the convenience of heterogeneous parallel DC-DC converter as a solution to this...
Target counting is an established challenge for sensor networks: given a set of sensors that can count (but not identify) targets, how many targets are there? The problem is complicated because of the need to disambiguate duplicate observations of the same target by different sensors. A number of approaches have been proposed in the literature, and in this paper we take an existing technique based...
HPC systems have shifted to burst buffer storage and high radix interconnect topologies in order to meet the challenges of large-scale, data-intensive scientific computing. Both of these technologies have been studied in detail independently, but the interaction between them is not well understood. I/O traffic and communication traffic from concurrently scheduled applications may interfere with each...
Software for simulation of large networks of coupled non-linear oscillators in clusters, grids and clouds using graphical processing units (GPU) was designed, developed, tested and applied for scientific simulations. The software provides easy integration of new oscillators' models support, dynamic load distribution between hosts' central processing units (CPU) and several GPU devices. Different GPU...
In this paper the calculations of the robustness of a network is addressed. After a brief description of the most relevant metrics, our Network Robustness Simulator(NRS) is presented as well as its structure and working model. The NRS computes the robustness I a dynamic scenario, it copes with multiple failures and different types of attack. In particular, the addition of the epidemic based model...
The try- and take- the clothes- on virtual surfaces is a long-continuing journey including many processes in itself. This continuum starts from the new generation of surfaces up to the last end of the tailor-fitting for an animation. We initiated the long-running design by seaming up of the inter-seams betwixt the pieces and proceeding with combining out the figures with these parts, and make the...
The programmability of Software-Defined Networking (SDN) challenges the correctness and reliability of networks. There may be design flaws as well as implementation bugs in SDN applications. White-box testing methods with formal models rely on source codes, which limits the applicability of these methods. Black-box methods without behavior models cannot systematically cover an application's functions...
Natural gas pipelines are powered by compressor stations which usually consist of multiple interconnected compressors units ensuring the required operational flexibility. The aim of load sharing optimization is to operate these compressor units in an energy efficient way while at the same time satisfying varying demands. This paper uses a two-step approach to first identify individual compressor performances...
The ExaNeSt project started on December 2015 and is funded by EU H2020 research framework (call H2020-FETHPC-2014, n. 671553) to study the adoption of low-cost, Linux-based power-efficient 64-bit ARM processors clusters for Exascale-class systems. The ExaNeSt consortium pools partners with industrial and academic research expertise in storage, interconnects and applications that share a vision of...
With the increase of the operation speed and the miniaturization, the power consumption assessment of multilayer printed circuit board (PCB) becomes a crucial task during the design phase. More accurate power integrity (PI) analysis is necessary for the complex multilayer PCB. An unfamiliar modelling of static and dynamic power distributed through a four-layer interconnect structure is introduced...
Novel architectures for massively parallel machines offer better scalability and the prospect of achieving linear speedup for sizable problems in many domains. The development of suitable programming models and accompanying software tools for these architectures remains one of the biggest challenges towards exploiting their full potential. We present a multi-layer software abstraction model to develop...
The proposition for this study is to assess how much simulation results can differ from real measurements on the implementation of a control strategy for a grid-connected PV inverter. The system is simulated in Matlab/Simulink and experimentally evaluated on a real low-voltage distribution grid. The PV inverter is implemented using a power-hardware-in-the-loop platform running the control algorithm...
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.