Electrical microgrids are deemed to be the future of modern power systems. Microgrids are sophisticated, decentralized, and self-sufficient small-scale power systems consisting of various resources ranging from wind turbines, solar photovoltaics, electric vehicles, smart energy storage, and complex communication infrastructure. However, renewable energy sources such as solar photovoltaics and wind-based generators are highly intermittent, and if not appropriately planned, they can compromise the stability of the grid. Formal methods can define and analyze the functionality and behavior of any system and show if the system design is correct before the actual system is implemented. Although formal methods have been around for many years, it is surprising that little to none are utilized in the design of safety-critical electrical power systems. Currently, in modeling microgrids, few to no attempts of formalization are being used to improve the design reliability and reduce system operating costs and time. This work demonstrates how complex systems such as microgrids can be modeled elegantly using a formal specification method. In this work, the Z state-based formal specification language (Z-Method) is used to model and verify microgrid designs. In this work, 3-interconnected microgrid systems with a high penetration level of solar and wind-based renewable energy sources with plugin hybrid electric vehicles (PHEV) as battery energy storage systems (BESS) are modeled using the Z-method. To the best of authors, the knowledge presented formal method is one of the first reported attempts in modeling microgrid communities using Software Engineering formalism.

The location and number data of individual fruit trees are critical for planting area investigation, fruit yield prediction, and smart orchard management and planning. These data are conventionally obtained through manual investigation and statistics with time-consuming and laborious effort. Object detection models in deep learning used widely in computer vision could provide an opportunity for accurate detection of individual fruit trees, which is essential for rapidly obtaining the data and reducing human operations errors. This study proposes an approach to detecting individual fruit trees and mapping their spatial distribution by integrating deep learning with unmanned aerial vehicle (UAV) remote sensing. UAV remote sensing collected high-resolution true-color images of fruit trees in the experimental pomelo tree orchards in Meizhou city, South China. An image dataset of deep learning samples of individual pomelo trees (IPTs) was constructed through visual interpretation and field investigation based on the fruit tree images captured by UAV remote sensing. Four different scales of YOLOv5 (YOLOv5s, YOLOv5m, YOLOv5l, and YOLOv5x) for object detection were selected to train, validate, and test on the image dataset of pomelo trees. The results show that the average precision ([email protected]) of the four YOLOv5 models for validation reach 87.8%, 88.5%, 89.1%, and 90.7%, respectively. The larger the model scale, the higher the average accuracy of the detection result of validation. It suggests that YOLOv5x is a preferred high-accuracy model among the YOLOv5 family and is suitable to realize the detection of IPTs. The number of the IPTs in the study area was counted using YOLOv5x, and their spatial distribution map was made using the non-maximum suppression method and ArcGIS software. This study will provide primary data and technical support for smart orchard management in Meizhou city and other fruit-producing areas.

This study determines the threshold for the computational rate of actuator motor controllers for unmanned underwater vehicles necessary to accurately follow discontinuous square wave commands. Motors must track challenging square-wave inputs, and identification of key computational rates permit application of deterministic artificial intelligence (D.A.I.) to achieve tracking to a machine-precision degree of accuracy in direct comparison to other state-of-art approaches. All modeling approaches are validated in MATLAB simulations where the motor process is discretized at varying step-sizes (inversely proportional to computational rate). At a large step-size (fast computational rate), discrete D.A.I. shows a mean error more than three times larger than that of a ubiquitous model-following approach. Yet, at a smaller step size (slower computational rate), the mean error decreases by a factor of 10, only three percent larger than that of continuous D.A.I. Hence, the performance of discrete D.A.I. is critically affected by the sampling period for discretization of the system equations and computational rate. Discrete D.A.I. should be avoided when small step-size discretization is unavailable. In fact, continuous D.A.I. has surpassed all modeling approaches which makes it the safest and most viable solution to future commercial applications in unmanned underwater vehicles.

This study introduces a remote sensing application using satellite imagery to survey a network-scale aggregate stockpile inventory. First, a real scale aggregate quarry site was surveyed using a small Unmanned Aerial Vehicle (sUAV) to produce digital terrain models that enabled analysis of aggregate pile geometry. Second, a lab experiment was designed and performed to validate the applicability of close-range Structure from Motion (SfM) photogrammetry for measuring aggregate piles' physical properties such as volume and density. The other part of the lab experiment delved into direct measurement of aggregate density under varying compaction efforts. These experimental results, in conjunction with some simplifying assumptions, enabled the calculation of aggregate stockpile volumes and estimated weights from satellite imagery. We estimated that an inventory of 4.4 and 1.1 million metric tons of crushed aggregates and Reclaimed Asphalt Pavement (RAP), respectively, stockpiled in Washington State for asphalt production in 2017. The merit of producing such database was further showcased in an example on the economic and environmental impacts of material transportation. We approximated that hauling aggregates from quarry plants to construction sites within Washington State incurs a cost of about $50 thousand to over $4 million, consumes about 0.25 to 20 TJ of energy, and emits 20 to over 1,500 tons of CO₂-eq per asphalt plant annually.

Given the high number of vehicle-crash victims, it has been established as a priority to reduce this figure in the transportation sector. For this reason, many of the recent researches are focused on including control systems in existing vehicles, to improve their stability, comfort and handling. These systems need to know in every moment the behavior of the vehicle (state variables), among others, when the different maneuvers are performed, to actuate by means of the systems in the vehicle (brakes, steering, suspension) and, in this way, to achieve a good behavior. The main problem arises from the lack of ability to directly capture several required dynamic vehicle variables, such as roll angle, from low-cost sensors. Previous studies demonstrate that low-cost sensors can provide data in real-time with the required precision and reliability. Even more, other research works indicate that neural networks are efficient mechanisms to estimate roll angle. Nevertheless, it is necessary to assess that the fusion of data coming from low-cost devices and estimations provided by neural networks can fulfill the reliability and appropriateness requirements for using these technologies to improve overall safety in production vehicles. Because of the increasing of computing power, the reduction of consumption and electric devices size, along with the high variety of communication technologies and networking protocols using Internet have yield to Internet of Things (IoT) development. In order to address this issue, this study has two main goals: 1) Determine the appropriateness and performance of neural networks embedded in low-cost sensors kits to estimate roll angle required to evaluate rollover risk situations. 2) Compare the low-cost control unit devices (Intel Edison and Raspberry Pi 3 Model B), to provide the roll angle estimation with this artificial neural network-based approach. To fulfil these objectives an experimental environment has been set up composed of a van with two set of low-cost kits, one including a Raspberry Pi 3 Model B, low cost Inertial Measurement Unit (BNO055 - 37€) and GPS (Mtk3339 - 53€) and the other having an Intel Edison System on Chip linked to a SparkFun 9 Degrees of Freedom module. This experimental environment will be tested in different maneuvers for comparison purposes. Neural networks embedded in low-cost sensor kits provide roll angle estimations very approximated to real values. Even more, Intel Edison and Raspberry Pi 3 Model B have enough computing capabilities to successfully run roll angle estimation based on neural networks to determine rollover risks situation fulfilling real-time operation restrictions stated for this problem.

To enable the deployment of battery-electric vehicles (BEV) as passenger cars in the private transport sector, a suitable charging infrastructure is crucial. In this paper a methodology for efficient spatial distribution of charging infrastructure is evaluated by investigating a scenario with a market penetration of BEVs of 100 percent (around 1.3 million vehicles). It aims towards the development of various charging infrastructure scenarios - including public and private charging - which are suitable to cover the charging demand. Therefore, these scenarios are investigated in detail with focus on number of public charging points, their spatial distribution, the available charging power and the necessary capital costs. For the creation of those charging infrastructure scenarios a placement model is developed. It uses the data of a MATSim (Multi-Agent Transport Simulation) traffic simulation of the metropolitan area of Berlin to evaluate and optimize different distributions of charging infrastructure. The model uses a genetic algorithm and the principle of multi-objective optimization. The capital cost of the charging points and the mean detour car drivers must cover additionally are used as optimization criteria. Using these criteria should lead to cost efficient infrastructure solutions which provide high usability at the same time. The main advantage of the method selected is that multiple optimal solutions with different characteristics can be found and suitable solutions can be selected by using other criteria subsequently. The optimized charging infrastructure solutions show capital costs between 624 and 2950 million euro. Users must cover an additionally mean detour of 254m to 590m per charging process to reach an available charging point. According to the results a suitable ratio between charging points and vehicles is between 11:1 and 5:1. A share of fast charging infrastructure (>50kW) of less than ten percent seems to be sufficient, if it is situated at main traffic routes and highly frequented places.

In recent years, the unmanned aerial vehicle (UAV) synthetic aperture radar (SAR) has become a highly sought-after topic for its wide applications in the field of target recognition, detection, and tracking. However, SAR automatic target recognition (ATR) models based on deep neural networks (DNN) are suffering from adversarial examples. Generally, non-cooperators rarely disclose any information about SAR-ATR models, making adversarial attacks challenging. In this situation, we propose Transferable Adversarial Network (TAN) to attack these models with highly transferable adversarial examples. The proposed method improves the transferability via a two-player game, in which we simultaneously train two encoder-decoder models: a generator that crafts malicious samples through a one-step forward mapping from original data, and an attenuator that weakens the effectiveness of malicious samples by capturing the most harmful deformations. In particular, compared to traditional iterative methods, our approach is able to one-step map original samples to adversarial examples, thus enabling real-time attacks. Experimental results indicate that the proposed approach achieves state-of-the-art transferability with acceptable adversarial perturbations and minimum time costs compared to existing attack methods, i.e., it excellently realizes real-time transferable adversarial attacks.

This manuscript compares deterministic artificial intelligence to model following control applied to DC motor control, including evaluation of the threshold computation rate to let unmanned underwater vehicles correctly follow the challenging discontinuous square wave command signal. The approaches presented in the main text are validated in MATLAB®, where the motor process is discretized at multiple step sizes, which is inversely proportional to the computation rate. The performance is evaluated by the error mean and standard deviation. With a large step size, discrete deterministic artificial intelligence shows a larger error mean than the model-following self-turning regulator approach (benchmark selection). However, the performance gets optimized with the step size decreased. The error mean is close to the continuous deterministic artificial intelligence when the step size is reduced to 0.2 seconds, which means that the computation rate and the sampling period restrict discrete deterministic artificial intelligence. In that case, the continuous deterministic artificial intelligence is the most feasible and reliable selection for future applications on unmanned underwater vehicles since it is superior to all the approaches with multiple computation rates.

The rehabilitation of the road embankments alongside the irrigation canal, which is constructed on a Bangkok soft clay foundation, has resulted from land use growth for several decades. As a result, the embankment is always confronted with the problem of instability. Numerous articles have demonstrated that rapid drawdown of the water level in the canal could be one of the most significant reasons, whereas vehicle cyclic loading may potentially contribute to some effect of the embankment failure. To explore and assess the effects of the influence factors, the finite element method (FEM) and conventional and dynamic triaxial approaches were employed. The study also investigated the consequences of varying thicknesses of soft clay and cyclic loading with different magnitudes and frequencies. Consequently, cyclic loading can lead to an augmentation in strain distribution and excess pore water pressure. Likewise, more significant deformation and excess pore water pressure were induced by a lower frequency and deeper thickness of soft clay compared to a higher frequency and thinner thickness. In brief, vehicle repetitive loading is one of the primary factors contributing to embankment failure, with the threshold stress being approximately three-fourths of the undrained shear strength. In contrast, threshold strain is approximately one to two-fold of the monotonic strain condition.

This study examines the activities conducted at the archaeological site of Aptera in Crete, Greece. The research was part of the DIACHRONIC LANDSCAPES International Design Workshop, organized by the CAM (Center for Mediterranean Architecture), TUC (Technological University of Crete School of Architecture), and UNIFE (University of Ferrara Department of Architecture). This article outlines the methods used for data acquisition and processing on a territorial scale, which generated digital outputs necessary for the analysis and design phases of the workshop, as well as for further examination of the results. The collected data, obtained through low-cost aerial photogrammetric surveying and GNSS terrestrial coordinate detection, were integrated in a Structure from Motion workflow that led to the creation and exportation of various digital outputs, such as point clouds, DTM, DSM, orthophotos, and contour lines. An accuracy analysis was performed to evaluate the effectiveness and efficiency of the digital models compared to the implemented surveying strategies, including the Ground Control Point and Quality Check Point marker positioning strategy. The resulting digital models proved to be valuable assets for analysis and design within the workshop and provided insightful prospects for future research and territorial-scale projects.

The Internet of Things (IoT) is a technological paradigm that has gained significant momentum that last decade and, among others, enables the development of intelligent and interoperable device networks. In this respect, it has triggered the creation and evolution of VANETs (Vehicular Ad Hoc Networks), which are initially implemented in order to guarantee the safety of the drivers and the avoidance of traffic accidents. The drawback is that this fast evolution flags serious concerns as far as the privacy of users is concerned, while the population of attackers or entities that try to eavesdrop and intercept information has significantly increased. This imposes a serious risk for drivers moving across a Smart City. The research presented in this paper aims to evaluate privacy protection mechanisms in VANET environments, based on their efficiency and security level ensured, considering the fact that VANETs provide limited resources to users/drivers. Moreover, the usage of the elliptic curve cryptography in reduced resources environments is discussed. Finally, this paper compares the performance of three cryptographic algorithms, i.e., Elliptic Curve Cryptography (ECC), Hyperelliptic Curve Cryptography genus 2 (HECC-2) and HECC genus 3 (HECC-3), employed for an efficient authentication and safe message transmission mechanism in VANETs, targeting to extract conclusions related to the implementation of each cryptographic scheme in this specific application area.

This paper attempts to develop a Dynamic Mode Decomposition (DMD) based Reduced Order Model (ROMs) which can quickly but accurately predict the forces and moments experienced by a road vehicle such that they be used by an on-board controller to determine the vehicle's trajectory. DMD can linearize a large dataset of high-dimensional measurements by decomposing them into low-dimensional coherent structures and associated time-dynamics. This ROM then also can be applied to predict the future state of the fluid flow. Existing literature on DMD is limited to low Reynolds number applications. This paper presents DMD analyses of the flow around an idealized road vehicle, called the Ahmed body, at a Reynolds number of 2.7E6. The high dimensional dataset used in this paper was collected from a computational fluid dynamics (CFD) simulation performed using Menter's shear stress transport (SST) turbulence model within the context of Improved Delayed Detached Eddy Simulations (IDDES). The DMD algorithm, as available in literature, was found to suffer nonphysical dampening of the medium-to-high frequency modes. Enhancements to the existing algorithm were explored, and a modified DMD approach is presented in this paper which includes: (a) a requirement of higher sampling rate to obtain higher resolution of data, and (b) a custom filtration process to remove spurious modes. The modified DMD algorithm thus developed was applied to the high Reynolds number, separation dominated flow past the idealized ground vehicle. The effectiveness of the modified algorithm was tested by comparing future predictions of force and moment coefficients as predicted by the DMD-based ROM to the reference CFD simulation data, and found to offer significant improvement.

The aim of this study is to investigate transient dynamic flow characteristics of the fluid flow through 5-way electric coolant valve (PCCV : Penta-Control Coolant Valve). To achieve this goal, the present paper attempts the three-dimensional dynamic simulation of the fluid flow through the valve using a commercial CFD solver with moving mesh technique to consider flow inertia and dynamic flow in the opening and closing stages of the ball valve rotating motion. Firstly, dynamic flow characteristics and the thermal mixing inside the PCCV ball valve during the opening and closing stage was analyzed. It is found that the discrepancies between dynamic and steady state simulation is remarkable when fluxes with different levels of enthalpy and momentum flow into the PCCV leads to strong flow interference and flow inertia, while the discrepancies are relatively small at low rotation speed and weak flow interference. Then, the effect of dynamic flow characteristics of the valve on dynamic thermal mixing characteristics at two different ball valve rotational speeds and rotational directions were investigated. It was found that the dynamic flow and thermal mixing characteristics inside the PCCV are greatly affected by the rotation speed, rotation direction, and degree of flow interference between fluxes. It is helpful for the design of the better coolant control strategies and the improvement of the FCEV thermal management system.

A conventional electrical grid mostly depends on the electrical power generated from fossil fuels. However, the pollutants from fossil fuels are the key factors for adverse climate change. Most of the developed countries of the world have already recognized the fact that the energy mix requires to be diversified by incorporating renewable energy. This is especially relevant for many of the member countries of the Organization of Islamic Cooperation (OIC), consisting of 57 countries, whose abundance of fossil fuel reserve indicates that much of their electric power is still generated from fossil fuels. In order to integrate renewable energy sources into the hybrid energy mix, an existing conventional grid needs to undergo drastic changes. Alongside this, the population boom in the OIC member countries has caused higher demand for a steady supply of electricity that the conventional grids have long been struggling to cope with. With a view to solving this multifaceted problem, incorporation of the smart power management schemes is indispensable using a smart electrical grid, where information and communications technology is integrated into its major building blocks. This allows advanced applications of a grid, such as the formation of micro-grids, demand-side management, energy storage, high-tech power electronic converters, etc. As the smart grids are being adopted by many developed countries, it is high time for the OIC member countries to pay due attention to this development, if they have not already done so. This paper explains, with special focus on the OIC member countries, the various smart power management technologies, their operations and applications, and the benefits and challenges. Then it goes on to carry out the Strength-Weakness-Opportunity-Threat with Analytical-Heuristic-Procedure (SWOT-AHP) analysis to evaluate its feasibility of incorporation and the underlying strategies appropriate for its implementation. Furthermore, a Hybrid Multi-Criteria-Decision-Making (MCDM) analysis is performed to evaluate the sequence of the emphasis that should be given on each of the technologies from those available for the smart power management initiative. Finally, the study reinforces the stance by drawing parallels from the UN Sustainable Development Goals (SDG) and highlights the importance of the smart grid in line with the global vision of SDG. This paper aims at assisting the decision-makers in implementing smart power management schemes in the OIC member countries, in particular, and other countries of the world, in general.

This study purposes the use of plug-in electric vehicles for demand side management (DSM) considering uncertainties in demand as well as uncertainties due to mobility of PEV to mitigate peak demand. The solution also seeks to reduce electric cost in addition to reducing the effects of greenhouse gases. In recent years DSM using distributed storage system such as battery energy management system (BESS) and plugged-in electric vehicles (PEV) have become very prevalent with most implementations resorting to deterministic load forecast. These methods do not consider the potential growth in demand making their solutions less robust. In this study we propose a real-time density demand forecast and stochastic optimization for robust operation of PEV for a building. This method accounts for demand uncertainties in addition to uncertainties in mobile energy storage as found in PEV, making the resulting solution robust as compared to the deterministic case. A case study on a real site in South Korea is used for verification and testing. The proposed study is verified and tested against existing algorithms. The result verifies the effectiveness of the proposed approach