this paper proposes an optimization technology of grid restructuring based on sequential decision-making, aimed at enhancing the resilience of microgrids in damaged scenarios. through a two-stage restructuring optimiz...
详细信息
the proceedings contain 9 papers. the special focus in this conference is on Reduction Strategies. the topics include: Programmed strategies for program verification;rewriting (your) calculus;reduction and conversion ...
the proceedings contain 9 papers. the special focus in this conference is on Reduction Strategies. the topics include: Programmed strategies for program verification;rewriting (your) calculus;reduction and conversion strategies for the calculus of (co)inductive constructions;the power of closed reduction strategies;transformation for refining unraveled conditional term rewriting systems;an account of implementing applicative term rewriting;using Maude and its strategies for defining a framework for analyzing Eden semantics;new evaluation strategies for functional languages and strategic graph rewriting.
the increasing integration of Renewable Energy Sources (RES) into electrical grids presents also challenges related to grid stability and market dynamics. Battery Energy Storage Systems (BESS) have emerged as a potent...
详细信息
ISBN:
(数字)9798331530778
ISBN:
(纸本)9798331530785
the increasing integration of Renewable Energy Sources (RES) into electrical grids presents also challenges related to grid stability and market dynamics. Battery Energy Storage Systems (BESS) have emerged as a potential solution to these challenges, offering capabilities for energy storage and support services that enhance grid reliability. this paper explores the optimization of the operations of such components with a case study in the Italian electricity market context. the research employs a Mixed-Integer Linear programming (MILP) model to optimize the participation of BESS in the Day-ahead market, under the specific regulatory framework of a stock martket tender. By analyzing historical data and simulating BESS operations, this study identifies proper strategies to maximize economic returns and enhance the competitive positioning of storage systems in a specific European market context.
the proceedings contain 5 papers. the topics discussed include: visual designing and debugging of deterministic finite-state machines in FSM;how to increase interest in studying functionalprogramming via interdiscipl...
the proceedings contain 5 papers. the topics discussed include: visual designing and debugging of deterministic finite-state machines in FSM;how to increase interest in studying functionalprogramming via interdisciplinary application;using video game development to motivate program design and algebra among inner-city high school students;how to design while loops;and describing console I/O behavior for testing student submissions in Haskell.
the growing adoption of electric vehicles (EV s) in the automotive sector offers significant opportunities to transform the power industry. the full potential of EV s can be harnessed to improve grid operations, optim...
详细信息
ISBN:
(数字)9798331530778
ISBN:
(纸本)9798331530785
the growing adoption of electric vehicles (EV s) in the automotive sector offers significant opportunities to transform the power industry. the full potential of EV s can be harnessed to improve grid operations, optimize energy management, and reduce energy costs. this paper proposes a Smart Demand-Side Management (SDM) framework for residential communities with EVs to 1) reduce the charging cost in a Real-Time Pricing (RTP) tariff environment, 2) obtain more Demand Response (DR) incentives without sacrificing the comfort, and 3) fairly allocate the community charging infrastructure. the former two operates at individual residences level and the last one suitable for community level management. In all these cases, by leveraging Vehicle- To-Grid (V2G) technology, the system enables EV s to discharge power back to the grid during high-demand periods, effectively managing peak-load hours and providing users with cost-saving opportunities. the proposed SDM framework is tested on MATLAB programming platform with linprog solver for various test cases and found to be significantly effective for all three objectives.
the joint international Symposium RCBJSF-2014-FM&NT has successfully united two international events, the 12th Russia/CIS/Baltic/Japan Symposium on Ferroelectricity (RCBJSF-12) and the 9thinternationalconference...
详细信息
the joint international Symposium RCBJSF-2014-FM&NT has successfully united two international events, the 12th Russia/CIS/Baltic/Japan Symposium on Ferroelectricity (RCBJSF-12) and the 9thinternationalconference on functional Materials and Nanotechnologies (FM&NT-2014). the purpose of the joint Symposium was to bring together scientists, students and high-level experts in solid state physics, materials science, engineering and related disciplines. All presentations were divided into four parallel sessions according to four main topics of the Symposium, Ferroelectricity, Multifunctional Materials, Nanotechnologies, and Energy.
the proceeding contains 23 papers. the topics discussed include: model-based knowledge representation and reasoning via answer set programming;on the algebraic foundation of proof assistants for intuitionistic type th...
详细信息
ISBN:
(纸本)3540789685
the proceeding contains 23 papers. the topics discussed include: model-based knowledge representation and reasoning via answer set programming;on the algebraic foundation of proof assistants for intuitionistic type theory;substructural type systems for program analysis;integrating answer set reasoning with constraint solving techniques;optimizing compilation of CHR with rule priorities;certified exact real arithmetic using co-induction in arbitrary integer base;on-demand refinement of dependent types;proving properties about lists using containers;complexity analysis by rewriting;semantics and pragmatics of new shortcut fusion rules;types of hereditary head normalizing terms;typed dynamic control operators for delimited continuations;strictness analysis algorithms based on an inequality system for lazy types;quantitative logic programming revisited;and formalizing a constraint deductive database language based on hereditary harrop formulas with negation.
the proceedings contain 10 papers. the special focus in this conference is on Database and Expert Systems Applications. the topics include: An Automated Ontology-Based Requirements Traceability Technique in Agile...
ISBN:
(纸本)9783031683015
the proceedings contain 10 papers. the special focus in this conference is on Database and Expert Systems Applications. the topics include: An Automated Ontology-Based Requirements Traceability Technique in Agile Software Development Context;toward a Knowledge-Based Anomaly Identification System for Detecting Anomalies in the Smart Grid;On the Solvability of the XOR Problem by Spiking Neural Networks;Risk Assessment in AI System Engineering: Experiences and Lessons Learned from a Practitioner’s Perspective;from Paper to Pixels: A Multi-modal Approach to Understand and Digitize Assembly Drawings for Automated Systems;Uncertainty Estimation of Raters’ Performance and Ground Truththrough a Bayesian Extension of STAPLE;uncertainty Estimation for Energy Consumption Nowcasting;knowledge Guided Clustering Medieval Polychromy.
the proceedings contain 49 papers. the special focus in this conference is on functional Imaging and Modelling of the Heart. the topics include: three-dimensional quantification of myocardial collagen morphology from ...
ISBN:
(纸本)9783319594477
the proceedings contain 49 papers. the special focus in this conference is on functional Imaging and Modelling of the Heart. the topics include: three-dimensional quantification of myocardial collagen morphology from confocal images;microstructural analysis of cardiac endomyocardial biopsies with synchrotron radiation-based x-ray phase contrast imaging;cartan frames for heart wall fiber motion;robust model-based registration of cardiac MR images for T1 and ECV mapping;improving understanding of long-term cardiac functional remodelling via cross-sectional analysis of polyaffine motion parameters;multi-cycle reconstruction of cardiac MRI for the analysis of inter-ventricular septum motion during free breathing;learning-based heart coverage estimation for short-axis cine cardiac MR images;using atlas prior with graph cut methods for right ventricle segmentation from cardiac MRI;image segmentation and modeling of the pediatric tricuspid valve in hypoplastic left heart syndrome;towards cognition-guided patient-specific FEM-based cardiac surgery simulation;slice-to-volume image registration models for MRI-guided cardiac procedures;random forest based left ventricle segmentation in LGE-MRI;a multiple kernel learning framework to investigate the relationship between ventricular fibrillation and first myocardial infarction;real time guiding catheter and guidewire detection for congenital cardiovascular interventions;feature tracking cardiac magnetic resonance via deep learning and spline optimization;noise sensitive trajectory planning for MR guided TAVI;a parameter optimization to solve the inverse problem in electrocardiography and analysis of activation-recovery intervals from intra-cardiac electrograms in a pre-clinical chronic model of myocardial infarction.
暂无评论