Andere Kunden interessierten sich auch für
![Automatisation et la surveillance d¿une ensacheuse semi-automatique]( "Automatisation et la surveillance d¿une ensacheuse semi-automatique")
Automatisation et la surveillance d¿une ensacheuse semi-automatique29,99 €![Contrôle automatique de la production dans un système électrique dérégulé]( "Contrôle automatique de la production dans un système électrique dérégulé")
Contrôle automatique de la production dans un système électrique dérégulé39,99 €![SYSTÈME D'IRRIGATION SOLAIRE AUTOMATIQUE UTILISANT LA TECHNOLOGIE DES CAPTEURS D'HUMIDITÉ DU SOL]( "SYSTÈME D'IRRIGATION SOLAIRE AUTOMATIQUE UTILISANT LA TECHNOLOGIE DES CAPTEURS D'HUMIDITÉ DU SOL")
SYSTÈME D'IRRIGATION SOLAIRE AUTOMATIQUE UTILISANT LA TECHNOLOGIE DES CAPTEURS D'HUMIDITÉ DU SOL29,99 €![ALIMENTATION ÉLECTRIQUE AUTOMATIQUE UTILISANT QUATRE SOURCES DIFFÉRENTES ET PARTAGE DE LA CHARGE]( "ALIMENTATION ÉLECTRIQUE AUTOMATIQUE UTILISANT QUATRE SOURCES DIFFÉRENTES ET PARTAGE DE LA CHARGE")
ALIMENTATION ÉLECTRIQUE AUTOMATIQUE UTILISANT QUATRE SOURCES DIFFÉRENTES ET PARTAGE DE LA CHARGE26,99 €![DÉTECTEUR DE FUITES DE GAZ ET SYSTÈME DE CONTRÔLE PAR NUMÉROTATION AUTOMATIQUE]( "DÉTECTEUR DE FUITES DE GAZ ET SYSTÈME DE CONTRÔLE PAR NUMÉROTATION AUTOMATIQUE")
DÉTECTEUR DE FUITES DE GAZ ET SYSTÈME DE CONTRÔLE PAR NUMÉROTATION AUTOMATIQUE26,99 €![Classificateur intelligent de sources d'énergie Méthode NILM en apprentissage automatique]( "Classificateur intelligent de sources d'énergie Méthode NILM en apprentissage automatique")
Classificateur intelligent de sources d'énergie Méthode NILM en apprentissage automatique26,99 €![Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico]( "Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico")
Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico26,99 €
La quantité et la complexité des fonctionnalités mises en oeuvre dans les véhicules se sont rapidement développées au cours des dernières années. Aujourd'hui, la vision d'un véhicule autonome n'est plus un rêve ou un film fantastique, mais une réalité à venir. Afin d'obtenir la meilleure qualité et une sécurité élevée, des techniques de vérification avancées sont nécessaires. Simulink Design Verifier est un outil de vérification de modèle basé sur la vérification formelle, qui peut être utilisé efficacement pour résoudre les problèmes concernant la détection des erreurs et les tests à des stades plus précoces du projet. La transformation des exigences écrites sous leur forme traditionnelle en objectifs Simulink Design Verifier directement peut prendre beaucoup de temps et nécessite une connaissance du modèle du système et de l'outil de vérification. Afin de réduire la consommation de temps et de guider un utilisateur à travers le modèle de système et l'outil de vérification, un cadre semi-automatique a été développé. L'implémentation de modèles de grammaire anglaise restreinte dans les objets Simulink permet de décrire les modèles aux ingénieurs et de réduire la consommation de temps. Le cadre développé est flexible et intuitif et peut donc être une solution pour d'autres branches de l'industrie, mais des tests et vérifications futurs sont nécessaires.