Mohamed Seghir - Academia.edu (original) (raw)
Papers by Mohamed Seghir
Compensation des Harmoniques en utilisant un Filtre Actif Parallèle de Puissance à deux niveaux c... more Compensation des Harmoniques en utilisant un Filtre Actif Parallèle de Puissance à deux niveaux contrôlé par Logique Floue et relié à une Source Photovoltaïque (Reçu xxx 2012, accepté xxx 2012, sera pris en charge par l'éditeur) Résumé. Cet article présente la conception du contrôleur optimal par logique floue , contrôlé un filtre actif parallèle de puissance FAP (Active Power Filter shunt –APFs en anglais) relié à un système photovoltaïque pour la compensation des harmoniques qui sont injectés par des charges non linéaires. Ce procédé est appliqué à un FAP basé sur un convertisseur de tension triphasé à deux niveaux. La contribution principale de ce papier est l'utilisation de la méthode d'une série de trois filtres passe-bande second ordre, pour le calcul des courants de référence, et l'application de la logique floue pour une meilleure précision de contrôle du filtre actif. Pour la génération d'impulsions, nous utilisons la stratégie MLI. Les résultats présent...
This paper presents a new clamping bridge to solve capacitor balancing problems in Five-Level Neu... more This paper presents a new clamping bridge to solve capacitor balancing problems in Five-Level Neutral-Point-Clamped Voltage Source Inverter (NPC VSI) and realise the equalisation in the DC capacitor voltage. The voltage balancing circuit consists of four bidirectional switches and two inductances. This solution avoids capacitor unbalancing problem, leads to a simpler implementation and presents high equalization efficiency and increases the reliability of the drive system. Simulation results show the effectiveness of our method. The cascade studied is a two two-level PWM rectifier-five-level NPC VSI-Permanent Magnet Synchronous Machine.
In this paper, we study the performances of the cascade of the photovoltaic cell with the multile... more In this paper, we study the performances of the cascade of the photovoltaic cell with the multilevel neutral point clamped (NPC) voltage source inverter (VSI). In the first part, we remind the model of the double stator induction motors (DSIM). Then, we develop knowledge and control models of this inverter using the connection functions of the semi-conductors. After that, we
Lecture Notes in Computer Science, 2013
Lecture Notes in Computer Science, 2005
... The second assump-tion denotes the result of the software model checker and is the only part ... more ... The second assump-tion denotes the result of the software model checker and is the only part that ... The effect of the model checker is clearly integrated into the Hoare Logic proof. ... The auxiliary HOL functions mark-guards and strip-guards are defined recursively on the HOL data ...
Lecture Notes in Computer Science, 2011
We present an assume-guarantee method for the verification of quantified array assertions based o... more We present an assume-guarantee method for the verification of quantified array assertions based on a program transformation. A quantified array assertion expresses a property over an array segment such as ”all elements of an array are sorted”. Given a program P n annotated with assertion φ n , our method rewrites P n to either Pn-</font >1;CP_{n-1};\mathcal{C} or C;Pn-</font >1\mathcal{C};P_{n-1}
In this paper, we study the performances of the cascade of the photovoltaic cell with the multile... more In this paper, we study the performances of the cascade of the photovoltaic cell with the multilevel neutral point clamped (NPC) voltage source inverter (VSI). In the first part, we remind the model of the double stator induction motors (DSIM). Then, we develop knowledge and control models of this inverter using the connection functions of the semi-conductors. After that, we
Lecture Notes in Computer Science, 2009
We present an abstraction refinement technique for the verification of universally quantified arr... more We present an abstraction refinement technique for the verification of universally quantified array assertions such as "all elements in the array are sorted". Our technique can be seamlessly combined with existing software model checking algorithms. We implemented our technique in the ACSAR software model checker and successfully verified quantified array assertions for both text book examples and real-life examples taken from the Linux operating system kernel.
Lecture Notes in Computer Science, 2011
Lecture Notes in Computer Science, 2007
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI), 2013
La Tunisie médicale, 2004
Dermoïd cysts are benign tumours, resulting of an embryologic defect. They usually have good prog... more Dermoïd cysts are benign tumours, resulting of an embryologic defect. They usually have good prognosis, only a single case of malignant transformation of a sublingual dermoid cyst has been brought back in literature. We report a case of carcinomatous transformation of a dermoïd cyst of the scalp, in a 54 years old man.
Compensation des Harmoniques en utilisant un Filtre Actif Parallèle de Puissance à deux niveaux c... more Compensation des Harmoniques en utilisant un Filtre Actif Parallèle de Puissance à deux niveaux contrôlé par Logique Floue et relié à une Source Photovoltaïque (Reçu xxx 2012, accepté xxx 2012, sera pris en charge par l'éditeur) Résumé. Cet article présente la conception du contrôleur optimal par logique floue , contrôlé un filtre actif parallèle de puissance FAP (Active Power Filter shunt –APFs en anglais) relié à un système photovoltaïque pour la compensation des harmoniques qui sont injectés par des charges non linéaires. Ce procédé est appliqué à un FAP basé sur un convertisseur de tension triphasé à deux niveaux. La contribution principale de ce papier est l'utilisation de la méthode d'une série de trois filtres passe-bande second ordre, pour le calcul des courants de référence, et l'application de la logique floue pour une meilleure précision de contrôle du filtre actif. Pour la génération d'impulsions, nous utilisons la stratégie MLI. Les résultats présent...
This paper presents a new clamping bridge to solve capacitor balancing problems in Five-Level Neu... more This paper presents a new clamping bridge to solve capacitor balancing problems in Five-Level Neutral-Point-Clamped Voltage Source Inverter (NPC VSI) and realise the equalisation in the DC capacitor voltage. The voltage balancing circuit consists of four bidirectional switches and two inductances. This solution avoids capacitor unbalancing problem, leads to a simpler implementation and presents high equalization efficiency and increases the reliability of the drive system. Simulation results show the effectiveness of our method. The cascade studied is a two two-level PWM rectifier-five-level NPC VSI-Permanent Magnet Synchronous Machine.
In this paper, we study the performances of the cascade of the photovoltaic cell with the multile... more In this paper, we study the performances of the cascade of the photovoltaic cell with the multilevel neutral point clamped (NPC) voltage source inverter (VSI). In the first part, we remind the model of the double stator induction motors (DSIM). Then, we develop knowledge and control models of this inverter using the connection functions of the semi-conductors. After that, we
Lecture Notes in Computer Science, 2013
Lecture Notes in Computer Science, 2005
... The second assump-tion denotes the result of the software model checker and is the only part ... more ... The second assump-tion denotes the result of the software model checker and is the only part that ... The effect of the model checker is clearly integrated into the Hoare Logic proof. ... The auxiliary HOL functions mark-guards and strip-guards are defined recursively on the HOL data ...
Lecture Notes in Computer Science, 2011
We present an assume-guarantee method for the verification of quantified array assertions based o... more We present an assume-guarantee method for the verification of quantified array assertions based on a program transformation. A quantified array assertion expresses a property over an array segment such as ”all elements of an array are sorted”. Given a program P n annotated with assertion φ n , our method rewrites P n to either Pn-</font >1;CP_{n-1};\mathcal{C} or C;Pn-</font >1\mathcal{C};P_{n-1}
In this paper, we study the performances of the cascade of the photovoltaic cell with the multile... more In this paper, we study the performances of the cascade of the photovoltaic cell with the multilevel neutral point clamped (NPC) voltage source inverter (VSI). In the first part, we remind the model of the double stator induction motors (DSIM). Then, we develop knowledge and control models of this inverter using the connection functions of the semi-conductors. After that, we
Lecture Notes in Computer Science, 2009
We present an abstraction refinement technique for the verification of universally quantified arr... more We present an abstraction refinement technique for the verification of universally quantified array assertions such as "all elements in the array are sorted". Our technique can be seamlessly combined with existing software model checking algorithms. We implemented our technique in the ACSAR software model checker and successfully verified quantified array assertions for both text book examples and real-life examples taken from the Linux operating system kernel.
Lecture Notes in Computer Science, 2011
Lecture Notes in Computer Science, 2007
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI), 2013
La Tunisie médicale, 2004
Dermoïd cysts are benign tumours, resulting of an embryologic defect. They usually have good prog... more Dermoïd cysts are benign tumours, resulting of an embryologic defect. They usually have good prognosis, only a single case of malignant transformation of a sublingual dermoid cyst has been brought back in literature. We report a case of carcinomatous transformation of a dermoïd cyst of the scalp, in a 54 years old man.