electrical circuit networks consist of various electrical components connected in different arrangements that are used to process electrical signals, such as voltages and currents. Moreover, they are widely used in ma...
详细信息
ISBN:
(数字)9798331508180
ISBN:
(纸本)9798331508197
electrical circuit networks consist of various electrical components connected in different arrangements that are used to process electrical signals, such as voltages and currents. Moreover, they are widely used in many engineering and physical systems, such as control, embedded and communication systems. In this work, we propose to use higher-order-logic theorem proving for formally analyzing electrical circuit networks using network topology matrices. In particular, we formalize in the Is-abellelHOL theorem prover incidence and circuit (loop) matrices, which are widely used topology matrices. Our formalization is based on modeling the system as a network using the notion of directed graphs that are algebraically represented by matrices. Next, we use this formalization to formally analyze various network topologies, such as Δ- $Y$ and ∏ - $L$ topologies, where we perform Kirchhoff's current and voltage laws based analysis in a generic way.
Photonic structures at the wavelength scale offer innovative energy solutions for a wide range of applications,from high-efficiency photovoltaics to passive cooling,thus reshaping the global energy *** cooling based o...
详细信息
Photonic structures at the wavelength scale offer innovative energy solutions for a wide range of applications,from high-efficiency photovoltaics to passive cooling,thus reshaping the global energy *** cooling based on structural and material design presents new opportunities for sustainable carbon neutrality as a zero-energy,ecologically friendly cooling *** this review,in addition to introducing the fundamentals of the basic theory of radiative cooling technology,typical radiative cooling materials alongside their cooling effects over recent years are summarized and the current research status of radiative cooling materials is outlined and ***,technical challenges and potential advancements for radiative cooling are forecast with an outline of future application scenarios and development *** the future,radiative cooling is expected to make a significant contribution to global energy saving and emission reduction.
We explore the field of quantum computing and specifically address the crucial problem of error reduction in the context of IBM simulators. Although quantum computing is a rapidly developing technology with great pote...
详细信息
Pressure and rate measurements are essential for the well and reservoir surveillance workflows used in petroleum, geological carbon storage, and geothermal industries. Such well monitoring data are now analyzed in man...
详细信息
ISBN:
(纸本)9781959025344
Pressure and rate measurements are essential for the well and reservoir surveillance workflows used in petroleum, geological carbon storage, and geothermal industries. Such well monitoring data are now analyzed in manual, semi-automated and automated modes or in a combination. Automated workflows are widely adopted by the industry nowadays, enabling most efficient knowledge extraction from the data both already accumulated and being received in real-time. The paper describes a new integrated workflow for automated well monitoring using pressure and rate measurements obtained with permanent gauges and flowmeters. The workflow is based on time-lapse Pressure Transient Analysis (PTA) and integrates the following components: virtual flow-metering, transient identification, feature extraction and pattern recognition in transient pressure responses, and assessment of well performance based on PTA-metrics. The methodology behind the workflow combines different physics-informed and data-driven methods described in the paper. Application of the workflow is illustrated on a field case example from the Norwegian Continental Shelf, where changes in the well, reservoir, and well-reservoir connection performances are automatically monitored during its three-year long injection history. Reliability and accuracy of the automated monitoring results are verified via comparison with the conventional model-based time-lapse PTA. The automated workflow may be used for a variety of use cases. Being applied to the well history, the workflow enables establishing a historical performance profile and identifying trends and issues in the past. In everyday well monitoring, it may be employed to detect well performance issues early and indicate their possible reasons. Further, it may provide valuable input for in-depth model-based analysis and other reservoir engineering studies. Using the workflow unlocks knowledge hidden in abundant well-monitoring datasets available at operating companies and
The widespread use of Deep Neural Networks (DNNs) has recently resulted in their application to challenging scientific visualization tasks. While advanced DNNs demonstrate impressive generalization abilities, understa...
The size of InGaN micro-LEDs is continuously decreasing to meet the demands of various emerging applications,especially in tiny micro-displays such as AR/***,the conventional pixel definition based on plasma etching s...
详细信息
The size of InGaN micro-LEDs is continuously decreasing to meet the demands of various emerging applications,especially in tiny micro-displays such as AR/***,the conventional pixel definition based on plasma etching significantly damages the mesa sidewalls,leading to a severe reduction in efficiency as the micro-LED size *** seriously impedes the development and application of *** this work,we comprehensively explain the origin of micro-LED sidewall effects and corresponding physical ***,we systematically review recent progress in micro-LED fabrication aiming at suppressing sidewall ***,we discuss advancements in micro-LED fabrication with"damage-free"techniques,which hold the potential to fundamentally address the issue of plasma damage in the micro-LED *** believe this review will deepen the understanding of micro-LED sidewall effects and provide a better insight into the latest associated fabrication technologies for high-efficient InGaN micro-LEDs.
Shear-stiffening materials have garnered significant attention due to their inherent ability to rapidly respond to changes in strain rate. However, conventional studies on these materials exhibit limited mechanical pe...
详细信息
The development of indoor positioning systems is possible thanks to the availability of wireless network infrastructure. Thus, a wireless provider can determine an accurate indoor position taking into account the exis...
详细信息
In the last three years, a new partner has emerged for teachers and educators in the field of education. The mushrooming of applications based on large language models has greatly shaped the educational development fi...
详细信息
This paper analyzes the application of benchmark classification techniques for multi-class diagnosis of open-circuit switch faults (OCSFs) in three-phase front-end converters (TP-FECs). OCSFs result in harmonic distor...
详细信息
暂无评论