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.
Control of renewables by Synchronous Power Controller (SPC) technology provides virtual damping and inertia which results to support phase stability on the grid and keep synchronism of interconnected areas tighter. Serving these benefits needs to have proper dynamic interaction between renewables and grid. In this paper, according to the dynamic modeling of Renewable Static Synchronous Generation...
Wireless sensor networks deployed in industrial monitoring applications are required to gather information about multiple types of data (multi-dimensional) related to the environment. The primary challenge that any WSN presents is energy and latency optimization. Hence, for query resolution about a particular data push and pull methods must be efficiently employed. The A-MDMRA model stores data in...
Electrical energy generation is evolving from centralized towards distributed energy resources (DER) like wind and solar power plants. In such power systems, new challenges arise for the design of voltage source converter (VSC) control strategies. In the last few years synchronverters have gained interest from the research community due to their capability of emulating synchronous machines (SMs) and...
In this paper, the main purpose is to design the model of a given mechatronics line, composed by several workstations and serviced during the recovery, transport and return of a work piece by a Wheeled Mobile Robot (WMR) which has mounted a Robotic Manipulator (RM). The work piece to be transported has been initially tested and did not pass the quality test. In this context, the Processing/Reprocessing...
For a grid-connected Voltage-Source Converter (VSC), dynamics of the grid synchronization plays an important role in affecting the converter performances and stability. Due to its significance, this paper gives a comparative analysis about some basic grid synchronization schemes, through viewpoint of dynamic performances, which appeared as the impacts of voltage perturbation on the estimated angle...
In human face-to-face communication, embodied sharing using the synchrony of embodied rhythms is promoted by embodied interactions. Therefore, embodied interactions are important for smoothly initiating coexistence and communication. When there is embodied interactions with direct contact, it plays to synchronize embodied rhythms effectively. Hug behavior is one of the types of embodied interactions...
Porting sequential applications to heterogeneous HPC systems requires extensive software and hardware expertise to estimate the potential speedup and to efficiently use the available compute resources in such systems. To streamline this daunting process, researchers have proposed several “black-box” performance prediction approaches that rely on the performance of a training set of parallel applications...
The Maximal Independent Set (MIS) graph problem arises in many applications such as computer vision, information theory, molecular biology, and process scheduling. The growing scale of MIS problems suggests the use of distributed-memory hardware as a cost-effective approach to providing necessary compute and memory resources. Luby proposed four randomized algorithms to solve the MIS problem. All those...
Personal Cloud Storage (PCS) is a very popular Internet service. It allows users to backup data to the cloud as well as to perform collaborative work while sharing content. Notably, content sharing is a key feature for PCS users. It however comes with extra costs for service providers, as shared files must be synchronized to multiple user devices, generating more downloads from cloud servers. Despite...
Graphics processing units (GPUs) are increasingly applied to accelerate tasks such as graph problems and discreteevent simulation that are characterized by irregularity, i.e., a strong dependence of the control flow and memory accesses on the input. The core data structure in many of these irregular tasks are priority queues that guide the progress of the computations and which can easily become the...
To guarantee the correctness of workflow execution, it is essential to analyze the structural and artifact integrity of workflows. The current best approach of artifact workflow anomaly detection is O(|E|) for structured workflows, however, each of the anomalies returned in the approach contains (artifact, operator) at each workflow node. In this paper, we present an innovative methodology which contains...
Software modelling deals with multiple problems such as defect detection, synchronization and authorship assessment. These problems are obviously solved by complex tools for static and manual analysis of models. But an origin of these problems is in dynamical part of software modelling process - activities of developers, that can be incrementally processed right in developers' environments. So, methods...
Packet collision and packet delay are considered to be critical for safety applications in vehicular networks. This paper designs a new analytical model to evaluate the performance of channel switching for IEEE 802.11p/WAVE in vehicular networks. Under this model, it explicitly expresses the WAVE channel switching, and constructs contention window size and number of vehicles as packet collision probability...
Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification. Soundness (a property close to deadlock-freedom) can be decided in PTIME. Further, other fundamental questions like computing summaries or the expected cost, can...
Wireless communications literature is very rich with empirical studies and measurement campaigns that study the nature of the wireless propagation channel. However, despite their undoubted usefulness, many of these studies have omitted a fundamental yet key feature of the physical signal propagation, that is, wireless propagation asymmetry. This feature does not agree with the electromagnetic reciprocity...
Time-related properties are a critical type of extrafunctionalrequirements for designing real-time systems. Modeling and validating time-related properties at therequirements specification and analysis phases is important forthe successful development of real-time systems in terms of cost, quality and productivity. In the literature and practice, timinganalyses (e.g., Worst Case Execution Time) are...
The energy required for manipulation of a double-integrator network model via local external actuation is examined. Some previous results on the controllability Gramian, which specifies the required energy, are briefly reviewed. Three new results are then developed. First, the energy required for manipulation along the synchronization manifold over an arbitrary horizon is characterized. Second, several...
A perspective direction of development of information infrastructures is allocated. The main feature of the complex approach to the intellectualization of information infrastructures is presented. The key tasks of the model-analytical intelligence of information agents are described. The expediency of developing a method for analyzing reactive actions of an agent under the influence of an infocommunication...
Many applications have irregular behavior — e.g., input-dependent solvers, irregular memory accesses, or unbiased branches — that cannot be captured using today's automated performance modeling techniques. We describe new hierarchical critical path analyses for the Palm model generation tool. To obtain a good tradeoff between model accuracy, generality, and generation cost, we combine static and dynamic...
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.