Produits

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 é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...

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...

L'utilisation d'appareils mobiles et la vente d'applications/applications mobiles (apps) continuent d'augmenter rapidement. On s'attend à ce que les smartphones remplacent bientôt les ordinateurs et les ordinateurs portables en tant qu'appareils finaux les plus utilisés. Ces tendances entraînent de nouveaux défis pour les entreprises de tous les secteurs, ce qui leur impose une forte pression. La seule façon pour les entreprises de résister à cette pression et de rester compétitives est de développer leur propre stratégie mobile et de s'assurer que...

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...

Les simulations dynamiques interactives sont une partie importante de nombreuses applications de réalité virtuelle. La simulation dynamique basée sur les impulsions est une méthode relativement jeune pour calculer de telles simulations. Dans cette thèse, cette méthode est théoriquement examinée pour la première fois et son exactitude est démontrée. De plus, les aspects pratiques essentiels de la méthode et de la simulation multicorps mécanique interactive sont discutés en général. Détails Titre : Théorie et application de la simulation dynamique basée sur la...