341 Liste Logiciels Ge

13
Liste de logiciels intéressant le génie électrique, libres et/ou gratuits ou en version d'évaluation gratuite Par Pascal Maussion , INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse Documents Liens Active-HDL Student Edition Aldec has developed a no cost Active- HDL Student Edition based on the popular Active-HDL design and simulation environment. The Student Edition is a great opportunity for students looking to use a VHDL, Verilog and SystemC simulator outside of a school lab. Active-HDL Student Edition retains much of the same functionality, menus, and icons as the Professional or Expert Editions of this product but is limited in features and simulation capacity/performance. Aldec has created a configuration that offers a very valuable opportunity for those seeking to learn VHDL, Verilog and SystemC simulation and related logic circuit design implementation flows on their own or in addition to course instruction. ARCHELIOS PRO ARCHELIOS PRO : logiciel de calcul de gisement, dimensionnement et estimation de revenus photovoltaïques pour les professionnels. Dans sa version libre le logiciel est fourni avec 2 stations météo et une base de données matériel minimale. La version PRO d'Archelios contient des bases de données et des fonctionnalités spécifiques permettant à tous les professionnels de réaliser des études complètes. ( Mis à jour le : 11/04/2011 ) CalSol Ce logiciel (en ligne) à vocation essentiellement pédagogique a été développé par INES Education pour permettre : - d'effectuer des évaluations simplifiées d'installations utilisant l'énergie solaire, - de fournir une estimation des avantages énergétiques, économiques et environnementaux de celles-ci, - de comparer l'influence des variations des paramètres principaux (ensoleillement, surface des capteurs, montage financier…) ( Mis à jour le : 11/04/2011 ) Caspoc Logiciel permettant la simulation de fonctions d'électronique de puissance, des machines et des associations convertisseur-machine... disponible seulement en version de démonstration en anglais Liste de logiciels intéressant le génie électrique, Page 1

Transcript of 341 Liste Logiciels Ge

Page 1: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

Documents Liens

Active-HDL Student Edition Aldec has developed a no cost Active-HDL Student Edition based on the popular Active-HDL design and simulation environment. The Student Edition is a great opportunity for students looking to use a VHDL, Verilog and SystemC simulator outside of a school lab. Active-HDL Student Edition retains much of the same functionality, menus, and icons as the Professional or Expert Editions of this product but is limited in features and simulation capacity/performance. Aldec has created a configuration that offers a very valuable opportunity for those seeking to learn VHDL, Verilog and SystemC simulation and related logic circuit design implementation flows on their own or in addition to course instruction.

ARCHELIOS PRO ARCHELIOS PRO : logiciel de calcul de gisement, dimensionnement et estimation de revenus photovoltaïques pour les professionnels. Dans sa version libre le logiciel est fourni avec 2 stations météo et  une base de données matériel minimale. La version PRO d'Archelios contient des bases de données et des fonctionnalités spécifiques permettant à tous les professionnels de réaliser des études complètes.

( Mis à jour le : 11/04/2011 )

CalSol Ce logiciel (en ligne) à vocation essentiellement pédagogique a été développé par INES Education pour permettre : - d'effectuer des évaluations simplifiées d'installations utilisant l'énergie solaire, - de fournir une estimation des avantages énergétiques, économiques et environnementaux de celles-ci, - de comparer l'influence des variations des paramètres principaux (ensoleillement, surface des capteurs, montage financier…)

( Mis à jour le : 11/04/2011 )

Caspoc Logiciel permettant la simulation de fonctions d'électronique de puissance, des machines et des associations convertisseur-machine... disponible seulement en version de démonstration en anglais

ClassicLadder projet (VF) Un projet pour avoir un langage à contact et grafcet développés en C sous licence libre (à utiliser pour de l'éducation, en automate logiciel sur PC ou plateformes embarquées)

COBAN Coban est un logiciel orienté " artisan électricien " permettant de faire des calculs électriques comme : - Calcul de la section d'un câble en fonction du mode de pose et du calibre de son disjoncteur de  protection - Calcul de la chute de tension dans un câble en fonction de l'intensité parcourue, de la distance et du matériau - Conversion Watts <-> Ampères <-> Chevaux<-> Horse Power - Conversion AWG <-> mm² - Vidéosurveillance : Calcul d'une focale et/ou d'un champ de vision - Calculs de puissances calorifiques (estimation de la puissance nécessaire pour chauffer une pièce d'habitation) - Sonorisation : calcul du nombre de haut-parleurs et de leur puissance de réglage (ligne 100V) - Éclairage : calcul du nombre de luminaires nécessaire pour éclairer un local

Code des couleurs Ce petit logiciel permet de calculer rapidement la valeur ohmique d'une résistance à partir de ses anneaux de couleur ou inversement de déterminer les anneaux de couleur d'une résistance à partir de sa valeur ohmique. Il permet également la conversion en kilohms et Mégohms, vérifie si une résistance donnée fait partie de la

Liste de logiciels intéressant le génie électrique, Page 1

Page 2: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

gamme E12 et permet de calculer la valeur de la résistance (475 Ko)

Liste de logiciels intéressant le génie électrique, Page 2

Page 3: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

DIALux : Logiciel complet gratuit proposé par DIAL pour planifier professionnellement l'éclairage est ouvert aux luminaires de tous les fabricants. Ce logiciel créé par des planificateurs est destiné aux planificateurs. Plusieurs centaines de milliers de planificateurs d'éclairage l'utilisent dans le monde, et ce nombre augmente quotidiennement.

EASYREG Un logiciel gratuit sur un site personnel, permettant des tracés temporels et fréquentiels à partir de fonctions de transfert ECO-it Designers want to design with the environment in mind and want simple tools to help them choose materials and designs in their daily work. For this purpose we developed the ECO-it screening tool. Designers often work under time pressure, and cannot be expected to be environmental experts. With ECO-it you can include sustainability in your work without detailed environmental knowledge. - ECO-it allows you to model a complex product and most of its life cycle in a few minutes. ECO-it calculates the environmental load, and shows which parts of the product's life cycle contribute most. With this information you can target your creativity to improve the environmental performance of your product. - Download ECO-it and try it 10 days for free!

( Mis à jour le : 11/04/2011 )

e-LEE : Ressources multimédia pour l'enseignement du génie électrique L'association e-LEE poursuit trois objectifs principaux : - réaliser et diffuser gratuitement via un site internet des ressources multimédia pour l'enseignement du génie électrique ; - réaliser et diffuser sur le même site une évaluation portant sur le profit que les étudiants peuvent tirer de telles ressources, fonction du contexte pédagogique, économique et social, - partager entre les membres de l'association les méthodes et outils informatiques permettant le développement de nouvelles ressources pédagogiques ou leur adaptation au contexte particulier d'enseignement. Grâce à un financement européen (dans le cadre de l'action Socrates-Minerva), l'association développe actuellement des ressources autour de 4 thématiques : - circuits électriques : description et illustration des méthodes de base pour l'écriture et la résolution des équations des circuits électriques (de la loi des mailles et loi des nœuds jusqu'aux méthodes vectorielles pour la résolution des circuits alternatifs en passant par les théorèmes de Thevenin-Norton et de superposition) ; - électronique de puissance : description et illustration des principales topologies et commandes permettant la conversion d'énergie électrique par les moyens de l'électronique de puissance ; - machines asynchrones : construction, mise en équation, fonctionnement connectées au réseau, commande (U/f, vectorielle, DTC) ; - énergies renouvelables : description technique et illustration des filières de production d'énergie électrique à partir de sources renouvelables,dont les filières éoliennes et photovoltaïques. Applets Java en ligne

EMTP  Logiciel de simulation des régimes transitoires, EMTP , une version d'essai (valable 30 jours) téléchargeable gratuitement à partir d'un site en anglais The world's most full-featured Simulation and Analysis program for Power System Transients. The benefits of EMTP-RV: - Easy to use interface for small or very large networks - Automatic initialization from steady-state solution - Super fast and stable computation of non-linear elements - Ability to fully customize simulation by scripts - Power electronics

Liste de logiciels intéressant le génie électrique, Page 3

Page 4: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

in Power Systems

FEMM FEMM (Finite Element Magnetic Model) est un logiciel libre de calcul de champ magnétique par la méthode des éléments finis. Il est téléchargeable gratuitement, site en anglais

FLUX The Flux 2D demo version is now available for a free 60-day trial. Flux 2D demo version has no limitation in the number of nodes and components, and includes the following applications with pre-processing, solver and post-processing: - magneto static : Direct current, non linear soft magnetic materials, magnets - electro static : Electric charge density (or fixed potential), dielectric materials - steady thermal : Density of power dissipated, materials with thermal conductivity, convection or radiation exchange coefficient of surfaces - BPM Overlay : Preprocessing overlay (geometry, mesh and windings) dedicated to Brushless Permanent Magnet machines

Fonctions logiques Ce petit logiciel est un simulateur de fonctions logiques. Il se présente sous la forme d'une page sur laquelle on peut placer différentes fonctions (logiques et quelques autres) et les relier par des "fils". Simple d'emploi, ce gratuiciel convient parfaitement pour de petites simulations de systèmes à base de fonctions logiques

Harmoniques Un logiciel de synthèse harmonique simple et convivial, avec tracé des formes d'ondes et des vecteurs de Fresnel correspondants, par Henri Martel-Hébrard, LP Renée Bonnet, Toulouse.   Objectifs : - Aborder visuellement la composition harmonique d'un signal. - Permettre la mise en évidence des effets des différents rangs sur l'allure d'un signal de manière graphique et animée.   Traite des signaux définis par les données de son spectre de fréquences, prédéfinis (carré, créneau, dents de scie,) à partir du tracé manuel d'une période,importés d'une étude simulée avec le logiciel Psim.

JMAG-Studio JMAG-Studio is an electromagnetic field analysis software package that supports the design and development of motors, actuators, circuit components, antennas and other electric and electronic products.

KiCad Le logiciel Kicad est un suite open source pour la réalisation de schémas électroniques et de circuits imprimés sous licence GPL. La suite Kicad est un ensemble de quatre logiciels et un gestionnaire de projets destinés à la réalisation de cartes électroniques : - Kicad : Gestionnaire de projets - Eeschema : Entrée schématique - PcbNew : Logiciel de réalisation de circuits imprimés - Gerbview : Visualisation des documents générés au format GERBER - Cvpcb : Utilitaire de sélection des empreintes physiques des composants électroniques utilisés dans le schéma. Ce logiciel a été conçu et réalisé par Jean-Pierre Charras, chercheur au LIS et enseignant en électronique à l'IUT de Saint Martin d'Hères. Avec un tutorial

Linear Technology Design Simulation and Device Models Design Simulation and Device Models Linear Technology provides a variety of custom design simulation tools and device models to allow even novice designers to quickly and easily evaluate circuits using high performance switching regulators, amplifiers, data converters, filters and more. - LTspice IV - LTpowerCAD - LTpowerPlay - Amplifier Simulation - Filter Simulation - Data Converter Evaluation Software Logiciels pour l'électronique et l'automatique. Dans le même style que PSPICE, mais plus simple et en version illimitée.

Liste de logiciels intéressant le génie électrique, Page 4

Page 5: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

Distribué gratuitement par Linear Technology. Tutoriel en français : http://www.poujouly.net/

MAXWELL SV Logiciel de simulation électromagnétique et électrostatique en 2D Microcap simulator Logiciel de simulation à base PSpice pour l'électronique, disponible gratuitement en anglais en version d'évaluation limitée en nombre de composants, en rapidité...

Motor-CAD Motor-CAD, optimisation thermique des moteurs, est l'outil le plus avancé pour le design des moteurs, spécifiquement conçu pour simplifier la complexité de l'analyse thermique des moteurs. Les modèles thermiques de  Motor-CAD sont basés sur l'analyse de circuits équivalents donnant des résultats instantanés. Les états permanents et transitoires (cycle de fonctionnement) peuvent être analysés.

Multisim Engage students and reinforce theory with the intuitive, hands-on Multisim teaching environment. Provide your students with an interactive environment to explore and visualize circuit behavior using powerful simulation and analysis. Foster learning and guide student exploration of circuit concepts with the academic features of Multisim. Version demo valable 30 jrs

Open office Ça a l'allure du pack Office, son nom sonne comme celui du pack Office mais ça n'est pas un produit Microsoft et c'est gratuit, compatibilité à « 99% » avec les produits Microsoft…

Orcad   Version d'évaluation OrCAD Capture et PSpice V16.3 (350 Mo): comprenant la saisie de schémas OrCAD Capture et le simulateur OrCAD PSpice A/D. Version d'évaluation OrCAD Full SPB V16.3 (700 Mo): comprenant la saisie de schémas OrCAD Capture, le simulateur OrCAD PSpice A/D, l'option PSpice Advanced Analysis, l'outil de placement/routage PCB Editor et l'autorouteur PCXB Router (anciennement Specctra® Router). Guide d'évaluation V16.3 OrCAD Capture/PSpice/PCB Designer  (1,7 Mo) : pour consulter ou télécharger le guide complet d'évaluation en français, et évaluer les possibilités de PSpice en simulation, de l'option PSpice Advanced Analysis et de PCB Designer. Exemples et fichiers : pour suivre le guide d'évaluation PCB Designer et l'option PSpice Advanced Analysis.

Portunus Pour la simulation des systèmes électriques, mécaniques et thermiques, Portunus offre différentes approches descriptives (circuit, diagramme de blocs, machine d'état) ainsi que différents types d'analyse (transitoire, harmonique, point de fonctionnement, régime permanent) : de la modélisation d'un moteur pas-à-pas à l'échauffement de composants électriques, en passant par la simulation des modes de commutation des alimentations de puissance…

Power Designer  et MASVECT Power Designer  : Logiciel disposant d'un environnement graphique pour la saisie et la simulation de fonctionnement de réseaux électriques de puissance (écoulement de puissance, stabilité transitoire, simulation de défauts MASVECT  : Logiciel de simulation de fonctionnement d'un moteur asynchrone avec plusieurs types de commande (DTC, vectorielles par orientation du flux statorique,

Liste de logiciels intéressant le génie électrique, Page 5

Page 6: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

rotorique…) et de régulateurs (classiques, flous, neuronaux). Prise en compte de plusieurs modèles de la machine (modélisation du rotor pour la simulation de défauts rotoriques : rupture de barres, anneaux). Identification suivant différentes méthodes : Algorithmes Génétiques, Particle Swarm Optimisation...

Proteus Logiciels de saisie de schéma et de simulation électronique analogique et numérique, disponible sur un site en français. Cette version de démonstration de Proteus Professional  V6 est bridée et ne permet ni sauvegarde ni impression.

PSAF Power Systems Analysis Framework (PSAF) is an integrated power systems analysis software package that includes the Graphic User Interface, Data Base Manager, and Electrical Equipment Parameter Estimation for creating the Network one-line diagram and associated database.

PSCAD PSCAD est un logiciel de simulation de systèmes de puissance. Il est particulièrement bien adapté à l'étude des phénomènes transitoires touchant un réseau électrique. Il n'existe pas de version libre mais une version de démonstration gratuite, limitée à 15 nœuds.

Psim Un logiciel de simulation en électronique de puissance et électrotechnique très pratique, disponible en version de démonstration gratuite, limitée en nombre de composants et en nombre de points mémorisés, mais permettant de simuler de nombreux convertisseurs statiques et/ou de commande de moteurs, la commande analogique ou numérique de systèmes… Exemples d'utilisation sur le site de F.Leplus : http://f.leplus.free.fr/pedagogie/exp_pedagog.htm

PVGIS Photovoltaic Geographical Information System (PVGIS) Geographical Assessment of Solar Resource and Performance of Photovoltaic Technology - Interactive access to solar resource and photovoltaic potential - Posters and maps of solar resource and photovoltaic electricity potential

( Mis à jour le : 11/04/2011 )

PVsyst PVsyst is a PC software package for the study, sizing, simulation and data analysis of complete PV systems (on line). This software is oriented towards architects, engineers, and researchers, and holds very helpful tools for education. It includes an extensive contextual Help, which explains in detail the procedures and the models used. It offers an ergonomic approach, with a "greenline" guide, and several project levels. Try PVsyst in Evaluation Mode during 30 days. After the evaluation period, PVsyst will run in Demo Mode with restricted capabilities.

( Mis à jour le : 11/04/2011 )

Quartus2 Mise en oeuvre de circuits FPGA Altera QuickField Logiciel gratuit en version étudiant, pour la simulation 2D en éléments finis de plusieurs grandeurs physiques intervenant dans les problèmes d'électrostatique, d'électromagnétisme et de chaleur.

Liste de logiciels intéressant le génie électrique, Page 6

Page 7: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

RETScreen Le logiciel d'analyse de projets d'énergies propres RETScreen® est l'outil d'aide à la prise de décisions en matière d'énergies propres le plus reconnu dans le monde. Il est fourni gratuitement par le gouvernement du Canada dans sa stratégie de lutte contre les changements climatiques et de réduction de la pollution. Il a été démontré que l'outil RETScreen facilite les projets d'énergies propres à l'échelle mondiale.

( Mis à jour le : 11/04/2011 )

Liste de logiciels intéressant le génie électrique, Page 7

Page 8: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

Scilab Scilab est un logiciel développé par l'INRIA (Institut National de Recherche en Informatique et Automatique), permettant d'effectuer toutes sortes de calculs numériques. Il s'agit d'une version libre et gratuite d'un logiciel aux mêmes fonctionnalités que Matlab-Simulink, disponible en téléchargement avec son guide d'emploi - Des centaines de fonctions mathématiques - Graphiques 2D et 3D - Structures de données avancées et types de données définis par l'utilisateur - Xcos : outil de modélisation et de simulation des systèmes hybrides et dynamiques - Lignes Diagrammes circulaires Histogrammes Surfaces Animations - Export des graphiques dans de nombreux formats: GIF, BMP, JPEG, SVG, PDF ... - Algèbre linéaire Matrices creuses Polynômes et fractions rationnelles - Simulation : solveurs de systèmes d'équations différentielles (explicites et implicites) - Commande robuste et classique - Optimisation différentiable et non différentiableInterpolation, approximation - Traitement du signal Statistiques Graphes et réseaux - Interface avec Fortran, C, C + +, Java - Fonctions pour appeler Scilab à partir de C, C + +, Fortran et Java - Passerelle LabVIEW

Simapp SimApp est un outil de logiciel pour évaluer et optimiser des systèmes de contrôle automatique dans le domaine de temps et de fréquence. Il est basé sur l'idée des schémas fonctionnels. Version d'essai gratuite 30 jours

SimaPro The world's leading LCA software chosen by industry, research institutes, and consultants in more than 80 countries. SimaPro allows you to model products and systems from a life cycle perspective. Users build complex models in a systematic and transparent way using SimaPro's unique features such as parameters and Monte Carlo analysis. SimaPro comes fully integrated with the well known ecoinvent database and is used for a variety of applications, like: - Carbon footprint calculation - Product design and eco-design - Environmental Product Declarations (EPD) - Environmental impact of products or services - Environmental reporting (GRI) - Determining of key performance indicators

( Mis à jour le : 11/04/2011 )

SIMPLORER SV Logiciel permettant de simuler des convertisseurs, des machines et des associations convertisseur-machine, disponible en version d'évaluation limitée dans la taille des problèmes à simuler Quelques exemples de montages sur le site de F.Leplus : http://f.leplus.free.fr/resultats/simplorer.htm

Simulation de circuit RLC, d'un onduleur MLI... avec Excel ! Il s'agit de « l'utilisation de l'environnement Microsoft Excel dans une optique pédagogique et d'aide à la décision . Elle met à disposition des supports (exemples illustrés, notes pédagogiques, ...etc.) illustrant notamment les capacités interactives d'Excel  : la visualisation d'informations (graphiques, mises en formes conditionnelles, ...), possibilités de saisie simplifiée (curseurs, cases à cocher, listes déroulantes, ...), par C. Monteil (INP-ENSAT) et M. Metz (INP-ENSEEIHT) Fonctionnalités d'Excel pour un usage pédagogique Visualisation de courbes sur un circuit électrique RLC avec variation paramétrique Ajustement d'une droite à des données expérimentales Onduleur de tension fonctionnant en modulation de largeur d'impulsion Phénomène de recouvrement dans une diode de puissance Le déphasage intensité-tension-puissance en courant alternatif

Liste de logiciels intéressant le génie électrique, Page 8

Page 9: 341 Liste Logiciels Ge

Liste de logiciels intéressant le génie électrique, libreset/ou gratuits ou en version d'évaluation gratuite

Par Pascal Maussion, INPT-ENSEEIHT et Laboratoire LAPLACE, Toulouse

TecSol CALCULS EN LIGNE  : Rien de plus simple que de calculer directement un chauffe-eau solaire individuel ou collectif avec la méthode SOLO du CSTB ou un générateur PV pour équiper un site isolé ou encore estimer la production et la vente d'énergie (France seulement) d'une installation raccordée au réseau

( Mis à jour le : 11/04/2011 )

WinECAD WinECAD est un simulateur SPICE et mode-mixte A/D, ayant pour moteur de simulation le standard industriel SPICE3f5/XSPICE. WinECAD fait partie de la chaine complète de CAO des circuits électroniques comprenant l'éditeur de schémas Winschem et le routeur Wintypon. Son intégration avec le duo Winschem/Wintypon permet d'offrir un ensemble compétitif et facile d'emploi de CAO électronique, de la capture de schémas a l'analyse graphique des résultats de simulation. WinECAD est un simulateur SPICE permettant une combinaison arbitraire de n'importe quels composants analogique, avec des composants digitaux et des blocs comportementaux à haut niveau d'abstraction. Avec WinECAD, vous pourrez vérifier vos circuits et les optimiser depuis le niveau transistor jusqu'au niveau système. CD de démo gratuit sur demande

WinRelais, anciennement Xrelais (tm-Micrelec), Saisie de schéma électrotechnique : Logiciel de saisie de schéma électrotechnique, disponible en version d'évaluation. Ce logiciel a eu 2 récompenses : - Label RIP = " Reconnu d'intérêt pédagogique " par le Ministère de l'Éducation nationale, cf Commission du 08 oct 2003 - http://www.educnet.education.fr/res/liste.htm - Un prix Argent au concours CIREC FRANCE 2002 , Concours International de Recherches Educatives et de Création, en partenariat avec le Ministère de l'Education Nationale. Récompense remise lors du salon de l'éducation EDUCATEC 2002.

Winschem Saisie de schéma. Ce logiciel bénéficie du label Reconnu d'intérêt pédagogique "par le Ministère de l'Éducation nationale, Novembre 2003 Wintypon Ce logiciel permet de réaliser ou de remettre au propre très simplement des circuits imprimés. L'impression est possible. 8,3 Mo. Ce logiciel bénéficie du label Reconnu d'intérêt pédagogique "par le Ministère de l'Éducation nationale, Novembre 2003

Liste de logiciels intéressant le génie électrique, Page 9