This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings proposed in the liter...
详细信息
The concept of the digital twin,also known colloquially as the DT,is a fundamental principle within Industry 4.0 *** recent years,the concept of digital siblings has generated considerable academic and practical ***,a...
详细信息
The concept of the digital twin,also known colloquially as the DT,is a fundamental principle within Industry 4.0 *** recent years,the concept of digital siblings has generated considerable academic and practical ***,academia and industry have used a variety of interpretations,and the scientific literature lacks a unified and consistent definition of this *** purpose of this study is to systematically examine the definitional landscape of the digital twin concept as outlined in scholarly literature,beginning with its origins in the aerospace domain and extending to its contemporary interpretations in the manufacturing ***,this investigationwill focus on the research conducted on Industry 4.0 and smartmanufacturing,elucidating the diverse applications of digital twins in fields including aerospace,intelligentmanufacturing,intelligent transportation,and intelligent cities,among others.
Recently, several Delta-Sigma modulators (DSMs) with ultra-high quadrature-amplitude-modulation (QAM) order larger than one million, e.g., 1048576 and 4194304 QAM are reported. As different DSM works were implemented ...
详细信息
Optoelectronic devices are advantageous in in-memory light sensing for visual information processing,recognition,and storage in an energy-efficient ***,in-memory light sensors have been proposed to improve the energy,...
详细信息
Optoelectronic devices are advantageous in in-memory light sensing for visual information processing,recognition,and storage in an energy-efficient ***,in-memory light sensors have been proposed to improve the energy,area,and time efficiencies of neuromorphic computing *** study is primarily focused on the development of a single sensing-storage-processing node based on a two-terminal solution-processable MoS2 metal-oxide-semiconductor(MOS)charge-trapping memory structure—the basic structure for charge-coupled devices(CCD)—and showing its suitability for in-memory light sensing and artificial visual *** memory window of the device increased from 2.8 V to more than 6V when the device was irradiated with optical lights of different wavelengths during the program ***,the charge retention capability of the device at a high temperature(100 ℃)was enhanced from 36 to 64%when exposed to a light wavelength of 400 *** larger shift in the threshold voltage with an increasing operating voltage confirmed that more charges were trapped at the Al_(2)O_(3)/MoS_(2) interface and in the MoS_(2) layer.A small convolutional neural network was proposed to measure the optical sensing and electrical programming abilities of the *** array simulation received optical images transmitted using a blue light wavelength and performed inference computation to process and recognize the images with 91%*** study is a significant step toward the development of optoelectronic MOS memory devices for neuromorphic visual perception,adaptive parallel processing networks for in-memory light sensing,and smart CCD cameras with artificial visual perception capabilities.
AC optimal power flow (AC OPF) is a fundamental problem in power system operations. Accurately modeling the network physics via the AC power flow equations makes AC OPF a challenging nonconvex problem. To search for g...
详细信息
Nonlocal metasurfaces, exemplified by resonant waveguide gratings (RWGs), spatially and angularly configure optical wavefronts through narrow-band resonant modes, unlike the broad-band and broad-angle responses of loc...
详细信息
This paper presents a novel Substrate Integrated Waveguide (SIW) Cavity-Backed Slot Antenna (CBSA) to enable the next generation of communication and sensing infrastructure. The antenna achieves a bandwidth of 40%, wi...
详细信息
Research into Medicare fraud detection that utilizes machine learning methodologies is of great national interest due to the significant fiscal ramifications of this type of fraud. Our big data analysis pertains to th...
详细信息
The variability of the output power of distributed renewable energy sources(DRESs)that originate from the fastchanging climatic conditions can negatively affect the grid ***,grid operators have incorporated ramp-rate ...
详细信息
The variability of the output power of distributed renewable energy sources(DRESs)that originate from the fastchanging climatic conditions can negatively affect the grid ***,grid operators have incorporated ramp-rate limitations(RRLs)for the injected DRES power in the grid *** the DRES penetration levels increase,the mitigation of high-power ramps is no longer considered as a system support function but rather an ancillary service(AS).Energy storage systems(ESSs)coordinated by RR control algorithms are often applied to mitigate these power ***,no unified definition of active power ramps,which is essential to treat the RRL as AS,currently *** paper assesses the various definitions for ramp-rate RR and proposes RRL method control for a central battery ESS(BESS)in distribution systems(DSs).The ultimate objective is to restrain high-power ramps at the distribution transformer level so that RRL can be traded as AS to the upstream transmission system(TS).The proposed control is based on the direct control of theΔP/Δt,which means that the control parameters are directly correlated with the RR requirements included in the grid *** addition,a novel method for restoring the state of charge(So C)within a specific range following a high ramp-up/down event is ***,a parametric method for estimating the sizing of central BESSs(BESS sizing for short)is *** BESS sizing is determined by considering the RR requirements,the DRES units,and the load mix of the examined *** BESS sizing is directly related to the constant RR achieved using the proposed ***,the proposed methodologies are validated through simulations in MATLAB/Simulink and laboratory tests in a commercially available BESS.
In the construction industry,to prevent accidents,non-destructive tests are necessary and *** impedance tomography is a new technology in non-invasive imaging in which the image of the inner part of conductive bodies ...
详细信息
In the construction industry,to prevent accidents,non-destructive tests are necessary and *** impedance tomography is a new technology in non-invasive imaging in which the image of the inner part of conductive bodies is reconstructed by the arrays of external electrodes that are connected on the periphery of the *** equipment is cheap,fast,and edge *** this imaging method,the image of electrical conductivity distribution(or its opposite;electrical impedance)of the internal parts of the target object is *** image reconstruction process is performed by injecting a precise electric current to the peripheral boundaries of the object,measuring the peripheral voltages induced from it and processing the collected *** an electrical impedance tomography system,the voltages measured in the peripheral boundaries have a non-linear equation with the electrical conductivity *** paper presents a cheap electrical Impedance Tomography(EIT)instrument for detecting impurities in the concrete.A voltage-controlled current source,a micro-controller,a set of multiplexers,a set of electrodes,and a personal computer constitute the structure of the *** conducted tests on concrete with impurities show that the designed EIT system can reveal impurities with a good accuracy in a reasonable time.
暂无评论