Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Capacité d'hébergement PV automatisée Quantification

Description

Cette séance de cours traite du développement d'un outil open source pour la quantification automatisée de la capacité d'hébergement PV dans les réseaux de distribution utilisant Power Factory. En augmentant progressivement la quantité de PV sur le réseau, l'outil calcule la capacité d'hébergement, fournissant des résultats rapides, transparents et précis. Il explore également l'impact des différentes techniques de contrôle sur l'amélioration de la capacité d'hébergement, montrant une augmentation significative de l'intégration PV avec des techniques de planification avancées et le contrôle de l'onduleur en attente de modèle.

Source officielle

Concepts associés (17)

Quantification (logique)

vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).

Universal quantification

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Quantification existentielle

En mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.

Open source

Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use the source code, design documents, or content of the product. The open-source model is a decentralized software development model that encourages open collaboration. A main principle of open-source software development is peer production, with products such as source code, blueprints, and documentation freely available to the public.

Branching quantifier

In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.

Afficher plus

Séances de cours associées (37)

Le rôle des Symmetries

Déplacez-vous dans des symétries en physique, couvrant la théorie de groupe, la perturbation, et la quantification.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Communauté d'Architecture Open-Source: BlenderBIM

Déplacez-vous dans la communauté de l'architecture open-source, en mettant l'accent sur BlenderBIM et divers outils utilisés dans le domaine de l'architecture.

Moteurs d'inférence : Clauses de résolution et de corne

Couvre les moteurs d'inférence basés sur la résolution, les clauses Horn, le filtrage et l'unification de l'intelligence artificielle.

Speckles: Analyse microscopique

Couvre l'analyse microscopique des speckles et de leurs applications dans la recherche.

Afficher plus

Concepts associés (17)

Quantification (logique)

Universal quantification

Quantification existentielle

Open source

Branching quantifier

Afficher plus