Vertaling van "Démonstration automatique de théorèmes " (Frans → Nederlands) :

TERMINOLOGIE

démonstrateur de théorèmes | démonstration automatique de théorèmes
automatisch bewijzen van theorema's

démonstration de théorèmes | preuve de théorèmes
automatisch bewijzen van theorema's

IN-CONTEXT TRANSLATIONS

- Démonstration du bien-fondé et de l'acceptabilité de dispositifs d'étiquetage, de poursuite et de repérage par des capteurs statiques et mobiles multiples améliorant la capacité de localiser, d'identifier et de suivre les mouvements des valeurs mobilières, des marchandises et des personnes, y compris des techniques de documentation intelligente (biométrie, puces automatiques de positionnement, par exemple) et d'analyse de données (contrôle et accès à distance).
- Demonstratie van de geschiktheid en aanvaardbaarheid van met statische en mobiele meervoudige sensoren uitgeruste traceer-, achtervolgings- en opsporingsapparatuur waarmee de bewegingen van roerende waarden, goederen en personen gemakkelijker kunnen worden gelokaliseerd, geïdentificeerd en gevolgd, met inbegrip van intelligente documentatietechnieken (zoals biometrie, automatische chips met plaatsbepaling) en intelligente technieken voor gegevensanalyse (afstandbesturing en teletoegang).

c. Niveau d. Année 2. COMPETENCES 2.1 Enumération des compétences ACTIVITES DE BASE o Identifie les caractéristiques de la commande (H250501 - Id 17483-c) - Utilise des systèmes (logiciels) pertinents - Consulte la planification de production et les fiches de production - Evalue la faisabilité de production - Donne aux services concernés un retour sur les résultats - Propose au besoin des adaptations o Associe la commande aux différentes phases de production (N250201 - Id 23737-c) - Détermine les étapes de production les plus efficaces - Vérifie la disponibilité des moyens nécessaires (personnel, matériaux et matériels) - Associe les étapes de production aux moyens disponibles (personnel, matériaux et matériels) - Organise les postes de travail de façon optimale - Détermine le délai de réalisation optimal o Etablit (en concertation) la planification de production et du personnel (co 01327) - Tient compte des aptitudes des collaborateurs - Répartit le travail entre les collaborateurs compte tenu de l'occupation de travail et de la charge de travail - Utilise des (systèmes) logiciels pertinents - Adapte la planification et l'utilisation du personnel en cas de circonstances changeantes - Etablit la planification de production et du personnel o Fait contrôler les matières premières ou les produits et superviser leur destination (H250201 - Id 17642-c, H250501 - Id 1176-c) - Supervise l'application du contrôle selon les lignes directrices - Décide de la destination des matières premières ou des produits après le contrôle o Organise l'approvisionnement du lieu du travail en matières premières, produits, biens de consommation et fait contrôler le stock (H250201 - Id 19089, H250501 - Id 16361-c) - Utilise des (systèmes) logiciels pertinents - Adapte la quantité de produits à commander à la planification et aux vitesses de traitement - Traite les données de la consommation des matériaux o Supervise le processus de production (N250201 - Id 10242) - Surveille les travaux de la ...
c. Niveau d. Jaartal 2. COMPETENTIES 2.1 Opsomming competenties BASISACTIVITEITEN o Identificeert de kenmerken van het order (H250501 - Id 17483-c) - Gebruikt relevante (software)systemen - Raadpleegt de productieplanning en de productiefiches - Toets de productiehaalbaarheid af - Geeft feedback aan de betrokken diensten - Stelt indien nodig aanpassingen voor o Koppelt het order aan de verschillende productiefases (N250201 - Id 23737-c) - Bepaalt de meest efficiënte productiestappen - Verifieert de beschikbaarheid van de nodige middelen (mensen, materiaal en materieel) - Koppelt de productiestappen aan de beschikbare middelen (mensen, materiaal en materieel) - Organiseert de werkposten optimaal - Bepaalt de optimale doorlooptijd o Maakt (in overleg) de productie- en personeelsplanning op (co 01327) - Houdt rekening met de vaardigheden van de medewerkers - Verdeelt het werk onder de medewerkers rekening houdend met de werkbezetting en werkbelasting - Gebruikt relevante software(systemen) - Past de planning en inzet van het personeel aan bij wijzigende omstandigheden - Stelt de productie- en personeelsplanning op o Laat grondstoffen of producten controleren en hun bestemming superviseren (H250201 - Id 17642-c, H250501 - Id 1176-c) - Superviseert de uitvoering van de controle volgens de richtlijnen - Beslist over de bestemming van de grondstoffen of producten na controle o Organiseert de bevoorrading van de werkplaats met grondstoffen, producten, consumptiegoederen en laat de voorraad controleren (H250201 - Id 19089, H250501 - Id 16361-c) - Gebruikt relevante software(systemen) - Stemt de hoeveelheid te bestellen producten af op de planning en de verwerkingssnelheden - Verwerkt de gegevens van het verbruik van het materiaal o Superviseert het productieproces (N250201 - Id 10242) - Houdt overzicht op de werkzaamheden op de afdeling - Ziet toe op de efficiënte, correcte en performante uitvoering van de productie - Benut de machines en personeel optimaal - Stuurt het verl ...

SE FÉLICITE de la réussite du lancement du laboratoire Columbus de l'ESA ainsi que du succès des démonstrations du Véhicule de transfert automatique «Jules Verne», qui constituent de véritables projets européens de développement technologique et des éléments essentiels pour assurer l'accès de l'Europe à la Station spatiale internationale (ISS) et son utilisation durable,
JUICHT de succesvolle lancering van het ESA-laboratorium Columbus TOE, evenals de geslaagde demonstraties van de onbemande vrachtcapsule „Jules Verne”, als waarachtig Europese projecten van technologie-ontwikkeling en cruciale elementen voor Europese toegang tot het internationale ruimtestation ISS en het houdbare gebruik ervan,

Lors de cette démonstration des essais d'exactitude (métrologique) n'ont pas été faits. b) Il faut savoir qu'il ne s'agit pas d'un retard mais que cet instrument de nouvelle technologie à laser rotatif, développé en Suisse, n'a pas été conçu pour répondre aux exigences de la législation belge, à savoir l'arrêté royal du 11 octobre 1997 relatif à l'approbation et à l'homologation des appareils fonctionnant automatiquement, utilisés pour surveiller l'application de la loi relative à la police de la circulation routière et des arrêtés pris en exécution de celle-ci.
Bij deze demonstratie werden geen (metrologische) nauwkeurigheidsproeven uitgevoerd. b) Men moet weten dat het niet om een achterstand gaat maar dat dit technologisch nieuwe instrument met roterende laser, ontwikkeld in Zwitserland, niet ontworpen werd om te voldoen aan de eisen van de Belgische wetgeving, namelijk het koninklijk besluit van 11 oktober 1997 betreffende de goedkeuring en homologatie van de automatisch werkende toestellen gebruikt om toezicht te houden op de naleving van de wet betreffende de politie over het wegverkeer en haar uitvoeringsbesluiten.