资讯

Practical application of formal methods requires more than advanced technology and tools; it requires an appropriate methodology. A verification methodology for data-path-dominated hardware combines ...
In this paper, an improved ant colony optimization (ICMPACO) algorithm based on the multi-population strategy, co-evolution mechanism, pheromone updating strategy, and pheromone diffusion mechanism is ...
Pansharpening aims at fusing a panchromatic image with a multispectral one, to generate an image with the high spatial resolution of the former and the high spectral resolution of the latter. In the ...
The recent surge of interest in explainability in artificial intelligence (XAI) is propelled by not only technological advancements in machine learning but also by regulatory initiatives to foster ...
Over the last several years, the field of natural language processing has been propelled forward by an explosion in the use of deep learning models. This article provides a brief introduction to the ...
Wide bandgap semiconductors are extremely attractive for the gamut of power electronics applications from power conditioning to microwave transmitters for communications and radar. Of the various ...
Sliding mode control is widely used to enhance the speed control performance of permanent magnet synchronous motors (PMSM). However, the slow reaching onto the sliding surface and chatting phenomena ...
This paper mainly focuses on the energy management of microgrids (MGs) consisting of combined heat and power (CHP) and photovoltaic (PV) prosumers. A multiparty energy management framework is proposed ...
Photovoltaic (PV) energy has grown at an average annual rate of 60% in the last five years, surpassing one third of the cumulative wind energy installed capacity, and is quickly becoming an important ...
The Web holds valuable, vast, and unstructured information about public opinion. Here, the history, current use, and future of opinion mining and sentiment analysis are discussed, along with relevant ...
Book Abstract: This advanced text and reference covers the design and implementation of integrated circuits for analog-to-digital and digital-to-analog conversion. It begins with basic concepts and ...
Convergence of the value-iteration-based heuristic dynamic programming (HDP) algorithm is proven in the case of general nonlinear systems. That is, it is shown that HDP converges to the optimal ...