Di¤erential protection schemes for busbars, generators or transformers connect multiple current transformers in parallel across a common burden. This paper describes the techniques used to simulate such an arrangement in real time.

We study the underapproximation of the predicate transformers used to give semantics to the modalities in dynamic and temporal logic. Because predicate transformers operate on state sets, we define appropriate powerdomains for sound approximation. We study four such domains — two are based on “set inclusion” approximation, and two are based on “quantification” approximation — and we apply the d...

In this article, a multi-objective function for placement of Distributed Generation (DG) and capacitors with thetap setting of Under Load Tap Changer (ULTC) Transformer is introduced. Most of the recent articles have paidless attention to DG, capacitor placement and ULTC effects in the distribution network simultaneously. Insimulations, a comparison between different modes was carried out with,...

Partial discharge (PD) pattern recognition is an important tool in HV insulation diagnosis. A PD pattern recognition approach of HV power transformers based on a neural network is proposed in this paper. A commercial PD detector is firstly used to measure the 3-D PD patterns of epoxy resin power transformers. Then, two fractal features (fractal dimension and lacunarity) extracted from the raw 3...

With the intensive integration of photovoltaic (PV) sources into low-voltage distribution networks (LVDN), nodal voltage limit violations and fluctuation problem cause concerns on safety operation a power system. The intermittent, stochastic, fluctuating characteristics PV output leads to frequent fast voltages. To address violation problem, this paper proposes distributed regulation method bas...

The Model Driven Architecture (MDA) could have a greater impact by expanding its scope to Domain Specific MDA (DSMDA). DSMDA is the use of the MDA approach for a given domain. For the DSMDA process, transformers are needed to convert Domain Specific Platform Independent Models (DSPIM–s) to Domain Specific Platform Specific Models (DSPDM–s). Such model transformers are time consuming and error p...

<span id="docs-internal-guid-a50ef6a8-7fff-b6d7-8e58-d434be6097d4"><span>This paper proposes a novel approach based on the NSCE (elitist non dominated sorting cross entropy), for optimization of location and size flexible AC transmission system device (FACTS) namely: unified power flow controller (UPFC) to achieve optimal reactive (ORPF). In present work, main objective is minimize ...

In this paper a uniform formalization in PVS of various kinds of semantics of imper ative programming language constructs is presented Based on a comprehensive de velopment of xed point theory the denotational semantics of elementary constructs of imperative programming languages are de ned as state transformers These state transformers induce corresponding predicate transformers providing a me...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xv EXECUTIVES UMMARY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . , . . . . xvii . l.INTRODUCTION .. .:. .................................. l-l 1.1 BACKGROUND .................................... l-l 1.2 MARKETTRENDS ..................................... l-2 1.3 STUDYAPPROACH ..........................

  Objective: In necrotic immature teeth, intra canal medicaments such as triple antibiotic paste (TAP) and calcium hydroxide (CH) are used for root canal disinfection and regeneration treatment. However, the effect of these medicaments on dental pulp fibroblasts has yet to be known. This study aimed to assess the cytotoxicity of CH and TAP against cultured human dental pulp fibroblasts (HDPFs) ...