SMT-Based Contention-Free Task Mapping and Scheduling on 2D/3D SMART NoC with Mixed Dimension-Order Routing

SMART NoCs achieve ultra-low latency by enabling single-cycle multiple-hop transmission via bypass channels. However, contention along bypass channels can seriously degrade the performance of SMART NoCs by breaking the bypass paths. Therefore, contention-free task mapping and scheduling are essential for optimal system performance. In this article, we propose an SMT (Satisfiability Modulo Theories)-based framework to find optimal contention-free task mappings with minimum application schedule lengths on 2D/3D SMART NoCs with mixed dimension-order routing. On top of SMT’s fast reasoning capability for conditional constraints, we develop efficient search-space reduction techniques to achieve practical scalability. Experiments demonstrate that our SMT framework achieves 10× higher scalability than ILP (Integer Linear Programming) with 931.1× (ranges from 2.2× to 1532.1×) and 1237.1× (ranges from 4× to 4373.8×) faster average runtimes for finding optimum solutions on 2D and 3D SMART NoCs and our 2D and 3D extensions of the SMT framework with mixed dimension-order routing also maintain the improved scalability with the extended and diversified routing paths, resulting in reduced application schedule lengths throughout various application benchmarks.

An improved performance routing protocol based on delay for MANETs in smart cities

Mobile ad-hoc networks (MANETs) is a set of mobile devices that can self-configuration, self-established parameters to transmission in-network. Although limited inability, MANETs have been applied in many domains to serve humanity in recent years, such as disaster recovery, forest fire, military, intelligent traffic, or IoT ecosystems. Because of the movement of network devices, the system performance is low. In order to MANETs could more contribution in the future of the Internet, the routing is a significant problem to enhance the performance of MANETs. In this work, we proposed a new delay-based protocol aim enhance the system performance, called performance routing protocol based on delay (PRPD). In order to analyze the efficiency of the proposed solution, we compared the proposed protocol with traditional protocols. Experiment results showed that the PRPD protocol improved packet delivery ratio, throughput, and delay compared to the traditional protocols.

Design and implement a new secure prototype structure of e-commerce system

<p><br />The huge development of internet technologies and the widespread of modern and advanced devices lead to an increase in the size and diversity of e-commerce system development. These developments lead to an increase in the number of people that navigate these sites asking for their services and products. Which leads to increased competition in this field. Moreover, the expansion in the size of currency traded makes transaction protection an essential issue in this field. Providing security for each online client especially for a huge number of clients at the same time, causing an overload on the system server. This problem may lead to server deadlock, especially at rush time, which reduce system performance. To solve security and performance problems, this research suggests a prototype design for agent software. This agent will play the role of broker between the clients and the electronic marketplace. This is done by providing security inside the client device and converting the client’s order into a special form which is called a record form to be sent to the commercial website. Experimental results showed that this method increase system performance in terms of page loading time, transaction processing and improves the utilization of system resources.</p>

An Adaptive Load Frequency Control for Power Systems with Renewable Energy Sources

The frequency of power systems is very sensitive to load variations. Additionally, with the increased penetration of renewable energy sources in electrical grids, stabilizing the system frequency becomes more challenging. Therefore, Load Frequency Control (LFC) is used to keep the frequency within its acceptable limits. In this paper, an adaptive controller is proposed to enhance the system performance under load variations. Moreover, the proposed controller overcomes the disturbances resulting from the natural operation of the renewable energy sources such as Wave Energy Conversion System (WECS) and Photovoltaic (PV) system. The superiority of the proposed controller compared to the classical LFC schemes is that it has auto tuned parameters. The validation of the proposed controller is carried out through four case studies. The first case study is dedicated to a two-area LFC system under load variations. The WECS is considered as a disturbance for the second case study. Moreover, to demonstrate the superiority of the proposed controller, the dynamic performance is compared with previous work based on an optimized controller in the third case study. Finally in the fourth case study, a sensitivity analysis is carried out through parameters variations in the nonlinear PV-thermal hybrid system. The novel application of the adaptive controller into the LFC leads to enhance the system performance under disturbance of different sources of renewable energy. Moreover, a robustness test is presented to validate the reliability of the proposed controller.

Photonic crystal emitter design and associated efficiency optimization of radioisotope thermophotovoltaic generators

The radioisotope batteries have drawn extensive attention due to the high energy density. Nowadays, the radioisotope thermophotovoltaic systems are one of the most promising radioisotope batteries. In this work, the crystal emitter design and the associated performance of the radioisotope thermophotovoltaic generators are investigated. First, the design of photonic crystal emitter together with the adoptions of both the multi-layer insulation and supporting materials are discussed. In order to optimize the system efficiency, the effects of the area of emitters are mainly investigated. We have analyzed the efficiency of system using GaSb cells and Si cells, respectively. With Si cells, the system efficiency can computationally reach about [Formula: see text] with an output power of 7 W. When GaSb cells are employed, the system performance is estimated to an efficiency of [Formula: see text] with 61.6 W output.

PACAM: A Pairwise-Allocated Strategy and Capability Average Matrix-Based Task Scheduling Approach for Edge Computing

With the development of the smart Internet of Things (IoT), an increasing number of tasks are deployed on the edge of the network. Considering the substantially limited processing capability of IoT devices, task scheduling as an effective solution offers low latency and flexible computation to improve the system performance and increase the quality of services. However, limited computing resources make it challenging to assign the right tasks to the right devices at the edge of the network. To this end, we propose a polynomial-time solution, which consists of three steps, i.e., identifying available devices, estimating device quantity, and searching for feasible schedules. In order to shrink the number of potential schedules, we present a pairwise-allocated strategy (PA). Based on these, a capability average matrix (CAM)-based index is designed to further boost efficiency. In addition, we evaluate the schedules by the technique for order preference by similarity to an ideal solution (TOPSIS). Extensive experimental evaluation using both real and synthetic datasets demonstrates the efficiency and effectiveness of our proposed approach.

The Multi Split Ventilator System: Performance Testing of Respiratory Support Shared by Multiple Patients

Ventilator sharing has been proposed as a method of increasing ventilator capacity during instances of critical shortage. We sought to assess the ability of a regulated, shared ventilator system (Multi Split Ventilator System, MSVS) to individualize support to multiple simulated patients using one ventilator. We employed simulated patients of varying size, compliance, minute ventilation requirement, and PEEP requirement. Performance tests were performed to assess the ability of the QSVS, versus control, to achieve individualized respiratory goals to clinically disparate patients sharing a single ventilator following ARDSNet guidelines. Resilience tests measured the effects of simulated adverse events occurring to one patient on another patient sharing a single ventilator. The QSVS met individual oxygenation and ventilation requirements for multiple simulated patients with a tolerance similar to a single ventilator. Abrupt endotracheal tube occlusion or extubation occurring to one patient resulted in modest, clinically tolerable changes in ventilation parameters for the remaining patients. The QSVS is a regulated, shared ventilator system capable of individualizing ventilatory support to clinically dissimilar simulated patients. It is also resilient to common adverse events. The QSVS represents a feasible option to ventilate multiple patients during a severe ventilator shortage.