Électricité et technologie de l'information

Ce livre est dédié à l'écriture de pseudocodes qui ont été testés à l'aide du langage de programmation matlab. Ces pseudocodes sont universels et seront implémentés dans d'autres langages de programmation. Le livre commence par la présentation des algorithmes élémentaires, couvre l'algèbre linéaire et les algorithmes d'optimisation linéaire basés sur des matrices. Le but de ce livre est d'enseigner les algorithmes en donnant leur description standard et en fournissant une mesure mathématique sur le domaine de recherche de la reconfiguration...

Ce livre présente de nouvelles techniques qui permettent la vérification et la génération automatiques de preuves abstraites de style humain. Le cœur de cette approche construit un calcul efficace qui fonctionne directement en appliquant des définitions, des théorèmes et des axiomes, ce qui réduit la taille de l'objet de preuve sous-jacent d'un facteur 10. Le calcul est étendu par le paradigme d'inférence profonde qui permet l'application de règles d'inférence à une profondeur arbitraire à l'intérieur des expressions logiques et fournit...

Ce travail considère la simulation de la combustion prémélangée en ce qui concerne l'application dans les turbines à gaz stationnaires et les futurs moteurs aéronautiques. Au regard de la dépollution des dispositifs actuels ainsi que des technologies complémentaires dans le cadre des énergies renouvelables, les flammes prémélangées prennent une importance croissante mais présentent des propriétés de stabilité réduites par rapport aux systèmes non prémélangés classiques. À cet égard, la simulation peut fournir un aperçu détaillé des mécanismes physiques pour la...

Aujourd'hui, les batteries servent d'alimentation pour presque tous les appareils électroniques que les gens transportent ou installent dans des endroits qui n'ont pas accès au secteur. Plus un système alimenté par batterie peut fonctionner longtemps sans qu'il soit nécessaire de recharger ou de remplacer la batterie, plus les coûts de maintenance et le nombre de pannes dues à une alimentation électrique insuffisante diminuent. Ce travail prend en compte plusieurs tâches logicielles indépendantes qui sont affectées au même processeur. Les tâches...

Ce livre étudie les méthodes d'amélioration des débits de données et de l'efficacité énergétique des interfaces analogiques pour les systèmes de communication optique à haut débit. Les mesures de performance pour les circuits haut débit à large bande et l'efficacité des méthodes de compensation de fréquence sont évaluées. L'amélioration de la vitesse à faible consommation d'énergie, telle que le pic inductif, la rétroaction et les capacités Miller négatives, ainsi que la méthode d'adaptation de sortie à large bande inductive sont...