TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Model checking, a powerful technique in artificial intelligence and computer science, is used to verify the correctness of systems across various domains. Its applications span from hardware and software verification to planning and formal verification... In the field of artificial intelligence, model checking verifies the correctness of proposed solutions to planning problems, ensuring that the planned actions lead to the desired outcomes.  2, fiche 1, Anglais, - model%20checking

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n'est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.  1, fiche 1, Français, - exploration%20de%20mod%C3%A8le

Record number: 1, Textual support number: 1 OBS

L'exploration de modèle trouve de nombreuses applications dans les industries du logiciel et du matériel, la vérification de puces, les protocoles de communication, les logiciels pilotes de périphériques, les systèmes critiques embarqués et les algorithmes de sécurité.  1, fiche 1, Français, - exploration%20de%20mod%C3%A8le

Record number: 1, Textual support number: 2 OBS

exploration de modèle : terme et définition publiés au Journal officiel de la République française le 1er janvier 2013.  2, fiche 1, Français, - exploration%20de%20mod%C3%A8le

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

The difference between conventional hardware and AI-optimized hardware lies mainly in the integration of special processors and components that are optimized for AI applications.  6, fiche 2, Anglais, - artificial%20intelligence%2Doptimized%20hardware

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

[Le] matériel optimisé pour l'IA [permet l']exécution efficace de travaux informatiques orientés vers l'IA [...]  2, fiche 2, Français, - mat%C3%A9riel%20optimis%C3%A9%20pour%20l%27intelligence%20artificielle

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Artificial intelligence designers often consider complexity to be part of the nature of intelligence. They build their systems out of logical entities(such as gates, or threshold logic elements), using some mixture of hardware and software to develop complex logical systems.  3, fiche 3, Anglais, - artificial%20intelligence%20designer

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

Concepteur, conceptrice en intelligence artificielle. Cette personne conçoit et développe des logiciels informatiques ou des procédés d'automatisation capables de raisonnement ou d'apprentissage afin d'offrir des outils performants dans de nombreux domaines tels que la finance, la robotique, les jeux, le traitement du langage et la production industrielle.  1, fiche 3, Français, - concepteur%20en%20intelligence%20artificielle

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

Production optimization solutions consisting of well-site computer hardware, desktop analysis software, fiber-optic intelligent-well technology used in the oil and gas industry to remotely monitor and optimize downhole conditions and well production.  1, fiche 4, Anglais, - fiber%2Doptic%20intelligent%2Dwell%20technology

Record number: 4, Textual support number: 2 CONT

eProduction Solutions, Inc. is the world leader in production optimization solutions for flowing wells and all forms of artificial lift. The company provides advanced fiber optic intelligent well technology with well site and desktop intelligence as well as control systems for onshore and offshore production. eP provides hardware and software solutions for comprehensive production operations optimization including real-time monitoring, controlling, designing, and analyzing production oil and gas wells and facilities.  2, fiche 4, Anglais, - fiber%2Doptic%20intelligent%2Dwell%20technology

Record number: 4, Textual support number: 1 OBS

intelligent well technology: Technology that combines sensors and remote control to detect production problems and solve them without costly well intervention.  4, fiche 4, Anglais, - fiber%2Doptic%20intelligent%2Dwell%20technology

Record number: 4, Textual support number: 2 OBS

Optimizing reservoir performance with intelligent well technology. ... IWT is a key building block of real time reservoir management. By placing sensors and control valves at the reservoir face, teams of petroleum engineers can monitor reservoir and well performance in real time, analyze data, make decisions and modify the completion without physical intervention, to optimize asset performance.  5, fiche 4, Anglais, - fiber%2Doptic%20intelligent%2Dwell%20technology

Record number: 4, Textual support number: 3 OBS

... with advancements in material science, electronics, and data acquisition and processing, we have seen the use of sensors in oil well production turn in to what is now being referred to as "smart-well technology." With sensors located downhole (below ground), above ground, in the storage tanks, and even on the pump motors to detect low frequency vibrations that can indicate potential wear, "smart" is exactly what these wells are becoming. ... There are a variety of sensors currently used for downhole monitoring ranging from fiber optic to acoustic to quartz crystal sensors.  6, fiche 4, Anglais, - fiber%2Doptic%20intelligent%2Dwell%20technology

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 OBS

De nouvelles méthodes géophysiques et analytiques seront testées : [...] capteur à fibre optique pour l'enregistrement des déformations dans le forage; contrôle permanent des fluides chimiques dans les puits et diverses sources; réseau permanent d'électrodes dans les puits cimentés pour la surveillance de l'écoulement des fluides [...]  2, fiche 4, Français, - technologie%20des%20puits%20intelligents%20int%C3%A9grant%20des%20capteurs%20%C3%A0%20fibre%20optique

Record number: 4, Textual support number: 2 OBS

Les chercheurs d'ISIS utilisent un matériau plus solide et doté d'une durée de vie plus longue que les matériaux conventionnels pour la construction d'infrastructures. À ce matériau, ils ajoutent des réseaux de capteurs à fibres optiques et des faisceaux laser ce qui leur permet de surveiller en tout temps les tensions et les contraintes exercées sur les structures [...] La technologie «intelligente» d'ISIS peut également servir à recouvrir ou à rapiécer les structures de béton existante afin d'améliorer leur rendement et leur durabilité.  3, fiche 4, Français, - technologie%20des%20puits%20intelligents%20int%C3%A9grant%20des%20capteurs%20%C3%A0%20fibre%20optique

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

Artificial Intelligence Programming.... The rate of spinoff of programming ideas from artificial intelligence has accelerated in recent years.... The artificial intelligence programming community has always been faced with exploratory programming and has therefore had a head start on developing appropriate language, environment, and hardware features....  2, fiche 5, Anglais, - artificial%20intelligence%20programming

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol