TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

LOGICAL [100 fiches]

Fiche 1 2025-02-27

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Government Accounting
CONT

Substantiation is [a] comprehensive summary or references to the documented evidence for an audit report. Substantiation summarizes the material or includes references to the material that supports the factual statements, findings, recommendations, and the conclusion of the audit report, including any logical deductions and judgments.

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Comptabilité publique
CONT

La corroboration est composée d'un résumé exhaustif ou de références aux éléments probants documentés pour un rapport d'audit. Elle consiste notamment à résumer les documents justificatifs ou à inclure des renvois à ces documents qui étayent les énoncés factuels, les constatations, les recommandations et la conclusion du rapport d'audit, y compris toute déduction logique et tout jugement.

Espagnol

Conserver la fiche 1

Fiche 2 2025-01-21

Anglais

Subject field(s)
  • Information Theory
  • Information Processing (Informatics)
DEF

The logical sense, true or false, of a given binary signal.

CONT

Sometimes the logic state is indicated by the presence or absence of a voltage or different polarities of the same voltage.

Français

Domaine(s)
  • Théorie de l'information
  • Traitement de l'information (Informatique)

Espagnol

Campo(s) temático(s)
  • Teoría de la información
  • Tratamiento de la información (Informática)
DEF

[...] sentido lógico, verdadero o falso, de una señal binaria dada.

Conserver la fiche 2

Fiche 3 2024-12-18

Anglais

Subject field(s)
  • Modern Mathematics
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

A theory T is finitely axiomatizable if and only if there is a finite database(data) that generates all the members of T by logical implication.

Français

Domaine(s)
  • Mathématiques modernes
  • Logique (Philosophie)
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Matemáticas modernas
  • Lógica (Filosofía)
  • Inteligencia artificial
Conserver la fiche 3

Fiche 4 2024-12-12

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Artificial Intelligence
OBS

The aim of knowledge harvesting is to extract semantic information from various sources and integrate it in the form of logical statements in a knowledge base.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Intelligence artificielle
OBS

L'objectif de la récolte de connaissances est d'extraire de l'information sémantique de différentes sources afin de l'intégrer sous forme d'énoncés logiques dans une base de connaissances.

Terme(s)-clé(s)
  • ProjetGENAI1

Espagnol

Conserver la fiche 4

Fiche 5 2024-12-12

Anglais

Subject field(s)
  • Computer Programs and Programming
CONT

The [...] Message Manager is the executive software component that actually handles the communication interface with the terminal network supported by the Front-End Network Processor(FNP). The Message Manager provides both the physical and logical interface to the on-line network of terminals and handles the acceptance and delivery of input and output messages. It validates terminals and handles message transliteration(if necessary), transaction activation, and message journalization for recovery/restart. The Message Manager interfaces with any Level 66 Front-End Network Processor running under the Network Processing Supervisor(NPS) or General Remote Terminal Supervisor(GRTS). This interface includes both direct-access conversational and queued interfaces.

Français

Domaine(s)
  • Programmes et programmation (Informatique)

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
Conserver la fiche 5

Fiche 6 2024-12-02

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Mathematics
DEF

A theoretical machine built to test whether certain classes of problems could be solved digitally.

CONT

The Turing machine is not a machine in the ordinary sense but rather an idealized mathematical model that reduces the logical structure of any computing device to its essentials.

OBS

[The Turing machine] can perform any operation expressed in Boolean algebra, that is, expressed in terms of 1s and 0s.

Français

Domaine(s)
  • Intelligence artificielle
  • Mathématiques informatiques
DEF

Dispositif mathématique abstrait capable de lire et d'écrire des informations unitaires, au stade le plus élémentaire de leur analyse logique, sur une bande idéale en procédant case par case.

CONT

En 1936, quand Alan Turing introduisit le modèle aujourd'hui connu sous le nom de machine de Turing et qui servit de fondement mathématique aux premiers ordinateurs, il le présenta comme une formulation explicite des opérations mentales d'un «homme en train de calculer».

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
  • Matemáticas para computación
CONT

Una máquina de Turing es un modelo matemático de un dispositivo computacional que puede seguir un conjunto de instrucciones para realizar cálculos.

Conserver la fiche 6

Fiche 7 2024-10-01

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
CONT

Hoare logic... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.

Espagnol

Conserver la fiche 7

Fiche 8 2024-09-30

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Government Accounting
  • Federal Administration
DEF

The planning tool used for performance audit and special examination.

OBS

The [Office of the Auditor General of Canada] has designed... the audit logic matrix(ALM), which describes the logical relationship between the audit objectives, criteria, audit scope and approach, and the observations to emerge.

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Comptabilité publique
  • Administration fédérale
DEF

Outil de planification utilisé pour les audits de performance et les examens spéciaux.

OBS

Le [Bureau du vérificateur général du Canada] a conçu [...] la grille logique d'audit qui décrit la relation logique entre l'objectif, les critères, l'étendue et l'approche de l'audit, ainsi que les observations qui pourraient en découler.

OBS

grille logique de vérification : Le terme «vérification» a été en usage dans les normes canadiennes jusqu'en décembre 2010, date à laquelle un consensus international a entériné l'emploi de la désignation «audit».

OBS

grille logique d'audit : Le Bureau de la traduction du gouvernement du Canada recommande l'usage du terme «audit» dans le domaine de la comptabilité (REC-13/2013-02).

Espagnol

Conserver la fiche 8

Fiche 9 2024-09-25

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

... semantic reasoning, which is the ability to reach logical conclusions based on facts extracted from text.

Français

Domaine(s)
  • Intelligence artificielle
CONT

[...] le raisonnement sémantique, qui consiste en la capacité à parvenir à une conclusion logique sur la base des faits extraits du texte.

Espagnol

Conserver la fiche 9

Fiche 10 2024-09-24

Anglais

Subject field(s)
  • General Conduct of Military Operations
DEF

A logical process of reasoning by which a commander considers the circumstances affecting the military situation and arrives at a decision as to the course of action to be taken to accomplish the mission.

OBS

estimate of the situation; appreciation of the situation: designations and definition officially approved by the Joint Terminology Panel and the Defence Terminology Standardization Board; designations and definition standardized by NATO.

OBS

estimate; est: designations officially approved by the Department of National Defence and the Canadian Forces.

Français

Domaine(s)
  • Conduite générale des opérations militaires
DEF

Procédé de raisonnement logique qui permet à un commandant de prendre en considération les facteurs influant sur la situation militaire et de choisir le plan d'action à adopter pour accomplir la mission.

OBS

appréciation de la situation : désignation et définition uniformisées par le Groupe d'experts en terminologie interarmées et par le Conseil de normalisation de terminologie de la Défense.

OBS

appréciation de la situation : désignation normalisée par l'OTAN.

OBS

appréciation; appr : désignations uniformisées par le ministère de la Défense nationale et les Forces canadiennes et par le Comité de terminologie française du Conseil de doctrine et de tactique de l'Armée de terre.

Espagnol

Campo(s) temático(s)
  • Conducción general de las operaciones militares
DEF

Proceso lógico de razonamiento mediante el cual un [comandante] considera [...] las circunstancias que afectan la situación militar y [elige] la línea de acción que debe adoptar para el cumplimiento de su misión.

Conserver la fiche 10

Fiche 11 2024-09-18

Anglais

Subject field(s)
  • Computer Mathematics
  • Artificial Intelligence
  • Atomic Physics
CONT

[The] scientists used a process called "stochastic quantum phase estimation" which uses randomness to spot and fix errors in physical qubits [quantum bits], turning them into logical qubits.

Français

Domaine(s)
  • Mathématiques informatiques
  • Intelligence artificielle
  • Physique atomique

Espagnol

Conserver la fiche 11

Fiche 12 2024-09-10

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
DEF

An inference which derives a logical conclusion from a specific set of premises.

OBS

Deduction is the only truth-preserving inference.

OBS

deductive inference; deduction: designations and definition standardized by ISO in collaboration with the International Electrotechnical Commission.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique.

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

inférence déductive; déduction : désignations et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
Conserver la fiche 12

Fiche 13 2024-08-29

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Mathematics
  • Artificial Intelligence
CONT

Intuitionistic logic encompasses the general principles of logical reasoning which have been abstracted by logicians from intuitionistic mathematics.

Français

Domaine(s)
  • Logique (Philosophie)
  • Mathématiques
  • Intelligence artificielle

Espagnol

Conserver la fiche 13

Fiche 14 2024-08-14

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

What is dynamic epistemic logic(DEL) ? It is a framework within logical theory that combines epistemic logic, which deals with knowledge and beliefs, with dynamic logic, which focuses on the effects of actions on knowledge.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
CONT

Qu'est-ce que la logique épistémique dynamique? Il s'agit d'un cadre au sein de la théorie logique qui combine la logique épistémique, qui traite des connaissances et des croyances, avec la logique dynamique, qui se concentre sur les effets des actions sur les connaissances.

Espagnol

Conserver la fiche 14

Fiche 15 2024-07-19

Anglais

Subject field(s)
  • Psychometry and Psychotechnology
  • Recruiting of Personnel
CONT

... tests of reasoning assess an individual' s capacity for logical thinking, appreciation of relationships, and practical judgment. Reasoning tests may focus on verbal reasoning, arithmetic and numeric reasoning, or visuospatial reasoning.

Français

Domaine(s)
  • Psychométrie et psychotechnique
  • Recrutement du personnel
CONT

Quand un poste suscite de nombreuses candidatures, les tests de raisonnement permettent de faire un premier tri, sur la base d'un critère considéré comme objectif et non discriminant.

Espagnol

Conserver la fiche 15

Fiche 16 2024-06-17

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Artificial Intelligence
DEF

A diagram that depicts data sources, data sinks, data storage, and processes performed on data as nodes, and logical flow of data as links between the nodes.

OBS

data flow diagram; data flowchart; data flow graph: designations and definition standardized by ISO and the International Electrotechnical Commission.

Terme(s)-clé(s)
  • data flow diagramme
  • data-flow diagram
  • data-flow diagramme
  • data flow chart
  • data-flow chart
  • data-flow graph
  • dataflow graph

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
DEF

Diagramme qui représente les sources de données, les collecteurs de données, le stockage des données et les traitements sur les données sous forme de nœuds, et qui représente les flots logiques de données sous forme d'arcs reliant ces nœuds.

OBS

diagramme de flux de données : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale.

OBS

diagramme de cheminement des données : désignation normalisée par l'Association canadienne de normalisation (CSA).

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 16

Fiche 17 2024-06-11

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Internet and Telematics
  • Artificial Intelligence
DEF

The schematic arrangement of the branches and nodes of a network.

OBS

Topologies may be physical or logical; for example, a logical ring may be physically implemented as a star network.

OBS

network topology: designation and definition standardized by ISO and the International Electrotechnical Commission.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Internet et télématique
  • Intelligence artificielle
DEF

Disposition schématique des branches et des nœuds d'un réseau.

OBS

Les topologies peuvent être physiques ou logiques. Par exemple, un anneau logique peut être mis en œuvre physiquement sous la forme d'un réseau en étoile.

OBS

topologie de réseau : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Internet y telemática
  • Inteligencia artificial
Conserver la fiche 17

Fiche 18 2024-06-04

Anglais

Subject field(s)
  • Psychoses
DEF

A fixed, false system of beliefs with complex logical structure, constructed in order to protect the coherence of a single central delusion.

OBS

Example: The patient relates an elaborate tale of persecution spanning more than 20 years, incorporating numerous details that fit together perfectly.

Terme(s)-clé(s)
  • systematised delusion

Français

Domaine(s)
  • Psychoses
CONT

Le délire systématisé : la systématisation est l'une des caractéristiques des délires paranoïaques.

Espagnol

Campo(s) temático(s)
  • Psicosis
DEF

Delirio articulado en torno a un suceso o tema único.

Conserver la fiche 18

Fiche 19 2024-05-31

Anglais

Subject field(s)
  • String Instruments
CONT

Harps first appeared around 3000 B. C. [before Christ] in Mesopotamia and Iran. They were arched harps, probably developed from hunter's bows, and the body was made of one piece of wood. A thousand years, later, around 2000 B. C., a new type was conceived when two pieces of wood were joined at right angle, one drilled into the other. The result was the angular harp... Harp designers waited millennia before taking the next logical step : connecting the two extreme ends of the angular harp with a long rigid pillar. When they did,..., it became the frame harp(also known as the "pillar harp"), a more rigid structure that allows higher string tension and more strings.

Français

Domaine(s)
  • Instruments de musique à cordes

Espagnol

Conserver la fiche 19

Fiche 20 2024-03-08

Anglais

Subject field(s)
  • Storage Media (Data Processing)
  • Audiovisual Techniques and Equipment
  • Law and Justice
CONT

A technology-based document, even when the information it contains is fragmented and dispersed in one or more media at one or more locations, is considered to form a whole if its logical structuring elements allow the fragments to be connected, directly or by reference, and if such elements ensure both the integrity of each fragment and the integrity of the document reconstituted as it existed prior to its fragmentation and dispersal.

Français

Domaine(s)
  • Supports d'information (Informatique)
  • Audiovisuel (techniques et équipement)
  • Droit et justice
CONT

Ainsi, un document est qualifié de document technologique lorsque le support qui porte l'information fait appel aux technologies de l'information : que celles-ci soient électronique, magnétique, optique, sans fil ou autres ou faisant appel à une combinaison de technologies.

Espagnol

Conserver la fiche 20

Fiche 21 2024-03-06

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

Fallacious reasoning refers to a deceptive argument that appears to be logical but actually contains false or misleading information. It is a type of faulty reasoning that can manipulate or deceive the reader or listener.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
CONT

Le raisonnement fallacieux est expressément destiné à tromper. L’idée de mauvaise foi, de moyens détournés domine. L’argument tiré de la fausseté est fallacieux.

Espagnol

Conserver la fiche 21

Fiche 22 2024-03-04

Anglais

Subject field(s)
  • Road Networks
  • Road Design
CONT

Cities that are friendly to bicyclists and pedestrians have logical route systems that allow travelers to bike and walk between destinations and adjacent jurisdictions easily and safely. [The] Design Group will conduct fieldwork to examine proposed routes and needed connections. The goal will be to develop a prioritized route network that creates vital linkages between key planned routes and creates new routes to key destinations.

Français

Domaine(s)
  • Réseaux routiers
  • Conception des voies de circulation

Espagnol

Conserver la fiche 22

Fiche 23 2024-02-05

Anglais

Subject field(s)
  • Occupation Names (General)
  • Artificial Intelligence
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.

Français

Domaine(s)
  • Désignations des emplois (Généralités)
  • Intelligence artificielle
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.

Espagnol

Conserver la fiche 23

Fiche 24 2024-01-24

Anglais

Subject field(s)
  • Computer Hardware
  • Computer Processing of Language Data
  • Artificial Intelligence
DEF

A logical and computational framework in which the behavior of various syntactic analyzers and generators can be emulated.

OBS

It includes a chart, a network grammar, and a scanning algorithm.

Français

Domaine(s)
  • Matériel informatique
  • Informatisation des données linguistiques
  • Intelligence artificielle
OBS

Système modulable pour l'analyse et la génération de chaînes en langage naturel.

Espagnol

Conserver la fiche 24

Fiche 25 2024-01-22

Anglais

Subject field(s)
  • Informatics
  • Artificial Intelligence
CONT

Computational logic is the use of computers to establish facts in a logical formalism.... Formal verification requires the support of specialized computer software. Computational logic is concerned with formal logic as implemented on computers, where it is frequently applied to solve problems related to computation.

Français

Domaine(s)
  • Informatique
  • Intelligence artificielle
CONT

La logique computationnelle est une branche qui se trouve au croisement de la logique mathématique et de l'informatique [...]

Espagnol

Conserver la fiche 25

Fiche 26 2023-12-15

Anglais

Subject field(s)
  • Telecommunications Transmission
  • Internet and Telematics
DEF

In a packet-switched network, a logical connection established between two units of data terminal equipment.

OBS

virtual circuit: designation and definition standardized by the Canadian Standards Association (CSA).

Français

Domaine(s)
  • Transmission (Télécommunications)
  • Internet et télématique
DEF

Dans un réseau à commutation de paquets, connexion logique établie entre deux équipements terminaux de données.

OBS

circuit virtuel : désignation et définition normalisées par l'Association canadienne de normalisation (CSA).

Espagnol

Campo(s) temático(s)
  • Transmisión (Telecomunicaciones)
  • Internet y telemática
Conserver la fiche 26

Fiche 27 2023-10-31

Anglais

Subject field(s)
  • Software
  • Information Technology (Informatics)
  • Artificial Intelligence
DEF

[A] software system that generates conclusions from available knowledge using logical techniques such as deduction and induction.

CONT

Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems.

Français

Domaine(s)
  • Logiciels
  • Technologie de l'information (Informatique)
  • Intelligence artificielle
DEF

Logiciel qui génère des conclusions à partir des connaissances disponibles en utilisant des techniques issues de la logique telles que la déduction et l'induction.

Espagnol

Conserver la fiche 27

Fiche 28 2023-10-30

Anglais

Subject field(s)
  • IT Security
DEF

The use of information-related mechanisms to provide access control.

OBS

Example: The use of a password.

OBS

logical access control : designation and definition standardized by ISO and the International Electrotechnical Commission.

Français

Domaine(s)
  • Sécurité des TI
DEF

Utilisation de mécanismes relatifs à des données ou des informations pour assurer un contrôle d'accès.

CONT

L'accès par un tiers est un risque qui n'existe pas dans toutes les entreprises; l'accès à un terminal ou un micro-ordinateur peut être protégé par des moyens physiques (zone interdite aux clients, aux fournisseurs [...]). Ce type d'attaque nécessite alors une complicité interne puisque le matériel est théoriquement inaccessible aux tiers. Si l'on veut s'en protéger, le contrôle d'accès physique peut être doublé par un contrôle d'accès logique.

OBS

Exemple : Utilisation d'un mot de passe.

OBS

contrôle d'accès logique : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Seguridad de IT
CONT

Los controles de acceso lógico permitirán únicamente el ingreso a los usuarios autorizados por la dependencia correspondiente, y en el nivel asignado, sobre los datos o sistemas necesarios para desempeñar sus tareas habituales.

Conserver la fiche 28

Fiche 29 2023-10-17

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • IT Security
CONT

Zero trust network access(ZTNA) is a product or service that creates an identity and context-based, logical access boundary around an application or set of applications. The applications are hidden from discovery, and access is restricted via a trust broker to a set of named entities.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Sécurité des TI
CONT

L'accès au réseau zéro confiance est une solution de sécurité informatique qui fournit un accès distant sécurisé aux applications, données et services d'une entreprise en fonction de politiques de contrôle d'accès clairement définies.

OBS

ZTNA : acronyme anglais signifiant «zero trust network access>.

Espagnol

Conserver la fiche 29

Fiche 30 2023-07-19

Anglais

Subject field(s)
  • Algebra
  • Computer Mathematics
DEF

A language construct that defines the computation of a logical value.

OBS

Boolean expression: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission.

Français

Domaine(s)
  • Algèbre
  • Mathématiques informatiques
DEF

Expression qui définit le calcul d'une valeur logique.

OBS

expression booléenne : désignation et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Álgebra
  • Matemáticas para computación
Conserver la fiche 30

Fiche 31 2023-04-24

Anglais

Subject field(s)
  • Human Behaviour
  • Clinical Psychology
DEF

An ego defense in which apparently logical reasons are given to justify unacceptable behavior that is motivated by unconscious instinctual impulses.

Terme(s)-clé(s)
  • rationalisation

Français

Domaine(s)
  • Comportement humain
  • Psychologie clinique
CONT

La rationalisation est une justification tendancieuse recourant à la logique ou à la morale permettant au sujet de se cacher ses véritables motivations qui ne sont pas perçues par la conscience.

Espagnol

Campo(s) temático(s)
  • Comportamiento humano
  • Psicología clínica
CONT

En el psicoanálisis, la racionalización, también conocida como intelectualización, es el mecanismo de defensa que consiste en emplear explicaciones racionales, válidas o no, para ocultar a sí mismo y a los demás los motivos detrás de un comportamiento.

Conserver la fiche 31

Fiche 32 2023-04-21

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A form of logical inference which starts with an observation or set of observations then seeks to find the simplest and most likely explanation.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 32

Fiche 33 2023-04-14

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Mathematics
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

... we are representing relations among the elements of our domain(recall that's what a logical predicate denotes) rather than computing functions that specify a single output for a given set of inputs.

Français

Domaine(s)
  • Logique (Philosophie)
  • Mathématiques
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
CONT

Le symbolisme modélise notamment les concepts sous la forme d'objets reliés entre eux par des prédicats logiques (appartient à, etc.).

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Matemáticas
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 33

Fiche 34 2023-03-30

Anglais

Subject field(s)
  • Data Banks and Databases
  • Computer Mathematics
DEF

The sum of a group of data items, computed when the data are recorded and appended to the group for checking purposes.

CONT

The checksum is calculated for a given chunk of data by sequentially combining all the bytes of data with a series of arithmetic or logical operations. After the data is transmitted or stored, a new checksum is calculated in the same way using the(possibly faulty) transmitted or stored data. If the two checksums do not match, an error has occurred, and the data should be transmitted or stored again. Checksums cannot detect all errors, and they cannot be used to correct erroneous data.

OBS

checksum: designation standardized by the Canadian Standards Association (CSA).

Français

Domaine(s)
  • Banques et bases de données
  • Mathématiques informatiques
DEF

[...] somme d'un groupe de données élémentaires calculée lorsque les données sont enregistrées et annexées au groupe à des fins de vérification.

OBS

total de contrôle : désignation normalisée par l'Association canadienne de normalisation (CSA).

Espagnol

Campo(s) temático(s)
  • Bancos y bases de datos
  • Matemáticas para computación
DEF

Suma que se genera mediante el empleo de los dígitos individuales de un número, y que se utiliza como parte de una comprobación por suma.

Conserver la fiche 34

Fiche 35 2023-02-24

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
DEF

A logical operator which joins each row from the first... input with each row from the second... input.

OBS

It can also be called a Cartesian join, since it returns the Cartesian product of the two tables.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
  • Programas y programación (Informática)
Conserver la fiche 35

Fiche 36 2023-02-17

Anglais

Subject field(s)
  • Atomic Physics
  • Relativity (Physics)
  • Informatics
CONT

When discussing quantum computers with error correction, we talk about physical and logical qubits. Physical qubits are the... physical qubits in our computer—the number of qubits on the box, whereas logical qubits are groups of physical qubits we use as a single qubit in our computation.

Français

Domaine(s)
  • Physique atomique
  • Relativité (Physique)
  • Informatique
DEF

Assemblage de qubits physiques qui permet la correction des erreurs dues notamment à la décohérence quantique, ce qui accroît ainsi le temps disponible pour un calcul quantique.

OBS

Le nombre de qubits physiques nécessaire pour réaliser un qubit logique varie d'une à plusieurs dizaines de milliers, en fonction de leur qualité et des codes de correction d'erreurs utilisés.

OBS

qubit logique : désignation, définition et observation publiées au Journal officiel de la République française le 20 décembre 2022.

Espagnol

Campo(s) temático(s)
  • Física atómica
  • Relatividad (Física)
  • Informática
CONT

Los investigadores almacenan los estados cuánticos frágiles del bit cuántico lógico en los estados entrelazados de estas partículas, y es el código cuántico de corrección de errores el que proporciona el programa que lo hace robusto.

Conserver la fiche 36

Fiche 37 2023-02-17

Anglais

Subject field(s)
  • Atomic Physics
  • Relativity (Physics)
  • Informatics
CONT

When discussing quantum computers with error correction, we talk about physical and logical qubits. Physical qubits are the... physical qubits in our computer—the number of qubits on the box, whereas logical qubits are groups of physical qubits we use as a single qubit in our computation.

Français

Domaine(s)
  • Physique atomique
  • Relativité (Physique)
  • Informatique
DEF

Support matériel d'un qubit, constitué par un système quantique à deux états superposables.

OBS

Les deux états d'un qubit physique sont relatifs, par exemple, à la polarisation d'un photon ou au spin d'un électron.

OBS

Lorsqu'un qubit physique n'est pas suffisamment isolé de son environnement, il est soumis à la décohérence quantique qui perturbe à la fois sa superposition et son intrication avec les autres qubits.

OBS

qubit physique : désignation, définition et observations publiées au Journal officiel de la République française le 20 décembre 2022.

Espagnol

Campo(s) temático(s)
  • Física atómica
  • Relatividad (Física)
  • Informática
CONT

[La] codificación tenía más robustez bajo decoherencia y permitía una reconstrucción perfecta del estado cuántico de partida (el bit cuántico lógico) en situaciones en las que se hubiera producido un error en uno de los bits cuánticos físicos.

Conserver la fiche 37

Fiche 38 2023-02-01

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
  • Computer Graphics
CONT

Non-monotonic Boolean policy : Supporting a "NOT gate" as a logical primitive is a great extension for decelerating the policies especially when the user attributes are mutually exclusive. However, the monotonic policies are unable to support this feature. [One] way to overcome this problem is to define a negation for all individual attributes as a primitive attribute, which results in an additional management burden for both users and the authority.

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
  • Infographie

Espagnol

Conserver la fiche 38

Fiche 39 2023-01-10

Anglais

Subject field(s)
  • Cognitive Psychology
  • Human Behaviour
DEF

A logical fallacy that occurs when someone focuses only on evidence that supports their stance, while ignoring evidence that contradicts it.

Français

Domaine(s)
  • Psychologie cognitive
  • Comportement humain
CONT

Ce qu'on nomme le picorage [...] est une pratique pourtant courante. Divers mouvements et certaines industries l'ont pratiqué, prenant soin d'écarter les études qui n'abondent pas dans leur sens pour ne sélectionner que celles qui soutiennent leur position.

Espagnol

Campo(s) temático(s)
  • Psicología cognitiva
  • Comportamiento humano
Conserver la fiche 39

Fiche 40 2023-01-03

Anglais

Subject field(s)
  • Cybernetic Systems
DEF

The ability of a system to change its internal organization or structure in response to environmental conditions that threaten to disturb a desired behavior or value of an essential variable.

OBS

Ultrastability is stability of a logical level higher than the stability to which a system converges without change of its internal organization or structure.

Terme(s)-clé(s)
  • ultra-stability
  • ultra stability

Français

Domaine(s)
  • Systèmes cybernétiques
DEF

Capacité d'un système, fortement perturbé par des variations inhabituelles ou excessives de ses variables d'entrée, à limiter les variations de ses variables de sortie afin qu'elles restent conformes à ses objectifs, à sa téléonomie, grâce notamment à une autotransformation de son organisation.

Terme(s)-clé(s)
  • ultra-stabilité
  • ultra stabilité

Espagnol

Conserver la fiche 40

Fiche 41 2023-01-03

Anglais

Subject field(s)
  • Occupation Names
  • Cybernetic Systems
OBS

Under general supervision, [the senior systems engineer] assists in analyzing, planning, implementing, maintaining, troubleshooting and enhancing large complex systems or networks consisting of a combination that may include servers, mainframes, mini-computers, LANS, WANs. Fabrics, storage arrays, and the physical and logical components that integrate these systems together as an enterprise networking backbone or platform.

Français

Domaine(s)
  • Désignations des emplois
  • Systèmes cybernétiques

Espagnol

Conserver la fiche 41

Fiche 42 2022-06-17

Anglais

Subject field(s)
  • Computer Peripheral Equipment
  • Informatics
CONT

Device files usually provide simple interfaces to standard devices (such as printers and serial ports), but can also be used to access specific unique resources on those devices, such as disk partitions. Additionally, device files are useful for accessing system resources that have no connection with any actual device, such as data sinks and random number generators.

OBS

... a special type of logical file that represents a device.

Français

Domaine(s)
  • Périphériques (Informatique)
  • Informatique
OBS

[...] type spécifique de fichier logique qui représente un périphérique.

Espagnol

Campo(s) temático(s)
  • Equipo periférico (Computadoras)
  • Informática
OBS

[...] tipo especial de archivo lógico que representa un dispositivo.

Conserver la fiche 42

Fiche 43 2022-06-08

Anglais

Subject field(s)
  • Data Banks and Databases
  • IT Security
  • Information Processing (Informatics)
DEF

A numeric value intended for a bit-by-bit value comparison with other numeric values, typically to flag options in parameter or return values.

OBS

Usually this comparison is done with bitwise logical operators...

Français

Domaine(s)
  • Banques et bases de données
  • Sécurité des TI
  • Traitement de l'information (Informatique)

Espagnol

Campo(s) temático(s)
  • Bancos y bases de datos
  • Seguridad de IT
  • Tratamiento de la información (Informática)
Conserver la fiche 43

Fiche 44 2022-02-24

Anglais

Subject field(s)
  • Titles of Courses
  • Management Operations (General)
  • Decision-Making Process
Universal entry(ies)
D012
code de système de classement, voir observation
OBS

This online self-paced course provides insight into the process of making logical decisions and reaching sound conclusions. Participants will learn how to organize their thought processes, use critical thinking skills, and ask smart questions to help draw conclusions.

OBS

D012: a Canada School of Public Service course code.

Français

Domaine(s)
  • Titres de cours
  • Opérations de la gestion (Généralités)
  • Processus décisionnel
Entrée(s) universelle(s)
D012
code de système de classement, voir observation
OBS

Ce cours en ligne à rythme libre fournit des renseignements sur le processus qui permet de prendre des décisions logiques et de parvenir à des conclusions solides. Les participants apprendront à organiser leurs processus de réflexion, à faire preuve de pensée critique et à poser les bonnes questions, ce qui les aidera à tirer des conclusions.

OBS

D012 : code de cours de l'École de la fonction publique du Canada.

Espagnol

Conserver la fiche 44

Fiche 45 2022-01-31

Anglais

Subject field(s)
  • Law of Evidence
  • Police
CONT

In determining whether the record contains sufficient evidence to "satisfy" the court that the offender can afford to pay the contemplated fine, the trial judge must be satisfied, on a balance of probabilities, of the offender's ability to pay.... as a logical matter, the word "satisfied" in this context cannot signify anything less than the balance of probabilities standard.

Français

Domaine(s)
  • Droit de la preuve
  • Police
CONT

Pour conclure que le dossier contient assez d'éléments de preuve pour «convaincre» le tribunal que le délinquant peut se permettre de payer l'amende proposée, le juge du procès doit être convaincu, par une preuve prépondérante, que ce dernier a la capacité de la payer. [...] il est logique de penser que le mot «convaincu» dans ce contexte ne peut désigner rien de moins que la norme de la prépondérance des probabilités.

Espagnol

Conserver la fiche 45

Fiche 46 2021-10-21

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
CONT

... a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)
CONT

Le calcul des prédicats est une extension du calcul des propositions. Il comporte en plus les notions de prédicats et des symboles de quantification universelle et d'existentialité.

Espagnol

Conserver la fiche 46

Fiche 47 2021-09-02

Anglais

Subject field(s)
  • Lexicology, Lexicography, Terminology
DEF

A type of textual support, identified by the code INF, consisting of a segment of text quoted in support of an equivalent proposed by a process of logical deduction, e. g. "plasma chemistry"(for "plasmachimie") from :"In solving the complex problems of plasma-chemical technology, there is considerable interest in the final stages of the process... ".

Terme(s)-clé(s)
  • INF

Français

Domaine(s)
  • Lexicologie, lexicographie et terminologie
DEF

Type de justification qui sert à étayer la formation, par déduction logique, d'une unité terminologique à partir d'une ou plusieurs unités terminologiques existantes. Indicatif : INF. Exemples : "indemnité de résiliation" formé à partir des termes "indemnité" et "résiliation" déjà attestés ou encore "photothermographique" obtenu à partir de "photothermographie".

Terme(s)-clé(s)
  • INF

Espagnol

Conserver la fiche 47

Fiche 48 2021-06-21

Anglais

Subject field(s)
  • National and International Security
  • Intelligence (Military)
  • Emergency Management
  • Communication and Information Management
DEF

A critical and specific piece of information that is required to plan and execute an operation and to make timely, logical decisions.

OBS

essential element of information; EEI: designations and definition standardized by the Canadian Capability-Based Planning Terminology Committee and the Translation Bureau.

OBS

essential element of information; EEI: The plural form of this designation (essential elements of information) and the abbreviation are standardized by NATO.

OBS

essential element of information; EEI: designations officially approved by the Air Force Terminology Panel.

Terme(s)-clé(s)
  • essential elements of information

Français

Domaine(s)
  • Sécurité nationale et internationale
  • Renseignement (Militaire)
  • Gestion des urgences
  • Gestion des communications et de l'information
DEF

Élément d'information crucial et précis qui est requis pour planifier et exécuter une opération et pour prendre des décisions logiques en temps opportun.

OBS

élément essentiel d'information; EEI : désignations et définition normalisées par le Comité de terminologie de la planification axée sur les capacités au Canada et le Bureau de la traduction.

OBS

élément essentiel d'information; EEI : La désignation au pluriel (éléments essentiels d'information) et l'abréviation sont normalisées par l'OTAN.

OBS

élément essentiel d'information; EEI : désignations uniformisées par le Groupe d'experts en terminologie de la Force aérienne.

Terme(s)-clé(s)
  • éléments essentiels d'information

Espagnol

Conserver la fiche 48

Fiche 49 2021-02-24

Anglais

Subject field(s)
  • Computer Mathematics
  • Currency and Foreign Exchange
DEF

A logical dilemma that illustrates how a group of Byzantine generals may have communication problems when trying to agree on their next move.

Français

Domaine(s)
  • Mathématiques informatiques
  • Politique monétaire et marché des changes

Espagnol

Conserver la fiche 49

Fiche 50 2021-01-21

Anglais

Subject field(s)
  • Life Cycle (Informatics)
  • Information Processing (Informatics)
  • Storage Media (Data Processing)
CONT

High-level formatting is the process of setting up an empty file system on a disk partition or logical volume...

Terme(s)-clé(s)
  • high-level formating
  • logical formating

Français

Domaine(s)
  • Cycle de vie (Informatique)
  • Traitement de l'information (Informatique)
  • Supports d'information (Informatique)

Espagnol

Conserver la fiche 50

Fiche 51 2021-01-21

Anglais

Subject field(s)
  • Storage Media (Data Processing)
CONT

Hard disk partitioning is the process of dividing the disk into logical pieces for alternative operating systems and files.

Terme(s)-clé(s)
  • hard disc partitioning
  • disc partitioning

Français

Domaine(s)
  • Supports d'information (Informatique)
CONT

Le partitionnement d'un disque dur se fait après le formatage physique de celui-ci et avant le formatage logique. Il consiste à créer des zones sur le disque dont les données ne seront pas mélangées.

Espagnol

Conserver la fiche 51

Fiche 52 2020-12-18

Anglais

Subject field(s)
  • Programming Languages
  • Computer Graphics
DEF

A value delivered by a logical input device.

Français

Domaine(s)
  • Langages de programmation
  • Infographie
DEF

Valeur rendue par un appareil logique d'entrée.

Espagnol

Conserver la fiche 52

Fiche 53 2020-12-15

Anglais

Subject field(s)
  • Programming Languages
CONT

CLIST (short for "command list") is a programming language used for time sharing processes in complex storage systems.

CONT

The CLIST language provides a wide range of programming functions. Its features include : CLIST statements that allow you to write structured programs, perform [input/output], define and modify variables, and handle errors and attention interruptions; arithmetic and logical operators for processing numerical data; string-handling functions for processing character data.

Terme(s)-clé(s)
  • CLIST programing language
  • command list programming language
  • command list programing language

Français

Domaine(s)
  • Langages de programmation
CONT

Command list, le plus souvent appelé simplement CLIST, est un langage de programmation procédurale que l'on retrouve essentiellement sur le système d'exploitation [Multiple Virtual Storage (MVS)] des grands systèmes IBM, en particulier sous TSO [Time Sharing Option] et TSO/ISPF [Interactive Search and Display Facility].

Espagnol

Conserver la fiche 53

Fiche 54 2020-10-29

Anglais

Subject field(s)
  • Surveillance and Formalities (Air Transport)
  • Air Traffic Control
  • Aircraft Piloting and Navigation
CONT

Operators shall establish SOPs that provide flight operational personnel guidance to ensure safe, efficient, logical and predictable means of carrying out flight procedures.

OBS

standard operating procedure; SOP: designations usually used in the plural.

OBS

standard operating procedure; SOP: designations officially approved in the plural by the International Civil Aviation Organization (ICAO).

OBS

standard operating procedure; SOP: designations standardized by the Aviation Terminology Standardization Committee.

Terme(s)-clé(s)
  • standard operating procedures
  • SOPs

Français

Domaine(s)
  • Contrôles et formalités (Transport aérien)
  • Circulation et trafic aériens
  • Pilotage et navigation aérienne
CONT

Les exploitants établiront des SOP qui donnent au personnel technique d'exploitation des indications de nature à leur permettre d'exécuter les procédures de vol de façon sûre, efficace, rationnelle et prévisible.

OBS

procédure d'exploitation normalisée; procédure d'utilisation normalisée : désignations habituellement utilisées au pluriel.

OBS

procédure d'utilisation normalisée : cette désignation n'est utilisée que dans le contexte du Règlement de l'aviation canadien (RAC).

OBS

procédure d'exploitation normalisée; SOP : désignations normalisées par le Comité de normalisation de la terminologie en aviation.

OBS

procédure d'utilisation normalisée; SOP : désignations uniformisées au pluriel par l'Organisation de l'aviation civile internationale (OACI) et par le Comité d'uniformisation de la terminologie aéronautique (CUTA) - Opérations aériennes.

Terme(s)-clé(s)
  • procédures d'exploitation normalisées
  • procédures d'utilisation normalisées

Espagnol

Campo(s) temático(s)
  • Vigilancia y formalidades (Transporte aéreo)
  • Control de tránsito aéreo
  • Pilotaje y navegación aérea
CONT

Los explotadores deberían establecer SOP que proporcionen al personal de operaciones de vuelo orientación que permita que se lleven a cabo los procedimientos de vuelo de manera segura, eficiente, lógica y previsible.

OBS

procedimientos operacionales normalizados; SOP: término y abreviatura aceptados oficialmente por la Organización de Aviación Civil Internacional (OACI).

Terme(s)-clé(s)
  • procedimiento operacional normalizado
Conserver la fiche 54

Fiche 55 2020-10-14

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Telecommunications
CONT

End-to-end network slicing... allows the operator to provide dedicated logical/virtual networks for specific requirement and functionality each having their own unique properties.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Télécommunications

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Telecomunicaciones
Conserver la fiche 55

Fiche 56 2020-10-14

Anglais

Subject field(s)
  • Information Processing (Informatics)
CONT

A data slice is a logical representation of the data that is saved in the partitions of a disk.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
CONT

Une tranche de données est une représentation logique des données qui sont sauvegardées dans les partitions d'un disque.

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
CONT

Una rebanada de datos representa un subconjunto de los datos almacenados en una partición.

Conserver la fiche 56

Fiche 57 2020-10-14

Anglais

Subject field(s)
  • Data Banks and Databases
CONT

DBCBs are needed to define logical databases and to describe the characteristics of their constituents.

Français

Domaine(s)
  • Banques et bases de données

Espagnol

Campo(s) temático(s)
  • Bancos y bases de datos
Conserver la fiche 57

Fiche 58 2020-10-14

Anglais

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Packing, scheduling, optimization, and verification problems are common and important in industrial research and development. A large class of [these] problems can be described by logical propositions over integer relations, where all variables are finitely bounded, i. e. by finite domain constraints.

Français

Domaine(s)
  • Mathématiques
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Inteligencia artificial
CONT

Para cada restricción de dominio finito se da su definición, tipo y ejemplos que en la mayoría de los casos están relacionados con sus correspondientes primitivas de Prolog.

Conserver la fiche 58

Fiche 59 2020-10-14

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

In contrast to other approaches to dialogue planning that use formal state descriptions mainly for the specification and validation of the computational approaches,... we directly reason on the formal logical representations of the agent's beliefs...

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
Conserver la fiche 59

Fiche 60 2020-09-25

Anglais

Subject field(s)
  • Computer Mathematics
DEF

The use of a computer to perform mathematical or logical operations on data in order to obtain desired results.

Français

Domaine(s)
  • Mathématiques informatiques
DEF

Emploi d'un ordinateur pour effectuer des opérations arithmétiques et logiques sur des données.

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
Conserver la fiche 60

Fiche 61 2020-09-25

Anglais

Subject field(s)
  • Information Processing (Informatics)
CONT

The logical file number associates a number to a file for future disk operations...

Français

Domaine(s)
  • Traitement de l'information (Informatique)

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
Conserver la fiche 61

Fiche 62 2020-09-14

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Telecommunications
CONT

... "network slicing"... allows multiple logical networks to be created on top of a common shared physical infrastructure...

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Télécommunications
CONT

[Le] «découpage de réseau» [...] permet de créer plusieurs réseaux logiques au-dessus d'une infrastructure physique partagée commune [...]

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Telecomunicaciones
CONT

El [rebanado de red] permite crear múltiples redes virtuales sobre una infraestructura física común compartida.

Conserver la fiche 62

Fiche 63 2020-09-14

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Storage Media (Data Processing)
CONT

... logical volumes are... created and managed in volume groups much like you create and manage files in a [file system].

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Supports d'information (Informatique)
CONT

Un volume logique [...] est un espace de stockage qui possède [...] un système de fichiers.

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Medios de almacenamiento (Procesamiento de datos)
CONT

Volumen lógico: es el equivalente a una partición en un sistema que no es LVM (logical volume manager). El volumen lógico es visto como un dispositivo de bloque, ya que puede contener un sistema de ficheros.

Conserver la fiche 63

Fiche 64 2020-09-14

Anglais

Subject field(s)
  • Data Banks and Databases
CONT

The data structure in a logical database is hierarchical.

Français

Domaine(s)
  • Banques et bases de données
CONT

Les bases de données logiques [...] permettent de simplifier la lecture de tables qui ont une relation logique entre elles [...]

Espagnol

Campo(s) temático(s)
  • Bancos y bases de datos
Conserver la fiche 64

Fiche 65 2020-09-14

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Storage Media (Data Processing)
CONT

Volume groups organize... physical storage in a collection of manageable disk chunks known as physical extents(PEs).... Logical volumes are made of logical extents(LEs), which map to the underlining PEs.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Supports d'information (Informatique)

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Medios de almacenamiento (Procesamiento de datos)
CONT

Un dominio lógico es un equipo virtual que incluye agrupaciones lógicas discretas de los recursos.

Conserver la fiche 65

Fiche 66 2020-09-14

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Internet and Telematics
CONT

A network mapper is a specialized tool that borrows features from port scanners and protocol analyzers in order to actively or passively build a logical infrastructure map of a network.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Internet et télématique

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Internet y telemática
Conserver la fiche 66

Fiche 67 2020-09-14

Anglais

Subject field(s)
  • Storage Media (Data Processing)
CONT

Volume groups organize... physical storage in a collection of manageable disk chunks known as physical extents(PEs).... Logical volumes are made of logical extents(LEs), which map to the underlining PEs.

Français

Domaine(s)
  • Supports d'information (Informatique)

Espagnol

Campo(s) temático(s)
  • Medios de almacenamiento (Procesamiento de datos)
CONT

Los volúmenes físicos (PV) se dividen en bloques de datos, los PE.

Conserver la fiche 67

Fiche 68 2020-07-29

Anglais

Subject field(s)
  • Cognitive Psychology
  • Educational Psychology
OBS

This learner likes : order, logical sequence, following directions, predictability [and] getting facts. They learn best when : they have a structured environment, they can rely on others to complete [the] task, are faced with predictable situations [and] can apply ideas in pragmatic ways.

Français

Domaine(s)
  • Psychologie cognitive
  • Psychologie scolaire
CONT

Le style concret-séquentiel se caractérise par une préférence pour ce qui est pratique, ordonné, stable et la prise d'informations dans des expériences concrètes et pratiques.

CONT

Les penseurs concrets-séquentiels vivent dans le monde physique qu'ils peuvent percevoir par leurs sens. Ils remarquent les détails et s'en souviennent facilement, et mémorisent aisément faits, formules et règles. Ils apprennent bien au moyen d'expériences manuelles concrètes.

Espagnol

Campo(s) temático(s)
  • Psicología cognitiva
  • Psicología educacional
OBS

Estilo mental.

Conserver la fiche 68

Fiche 69 2019-12-30

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
DEF

Each part of [a] proposition that is complete [and] cannot be broken down.

CONT

In mathematical logic, an atomic formula(also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)
DEF

Proposition que l'on ne peut décomposer en une autre proposition.

Espagnol

Conserver la fiche 69

Fiche 70 2019-11-26

Anglais

Subject field(s)
  • Testing and Debugging
  • Computer Programs and Programming
DEF

[A] process that supports the analysis of software by simulating the execution of all or part of a program, using symbols for input data, such as names of variables, rather than actual values, and expressing program outputs as logical or mathematical expressions involving these symbols.

CONT

Symbolic execution does provide a complete way to establish program correctness when augmented by such case analyses and by a general inductive technique ...

OBS

symbolic execution: designation standardized by the Institute of Electrical and Electronics Engineers (IEEE); designation and definition standardized by ISO and the International Electrotechnical Commission.

Français

Domaine(s)
  • Test et débogage
  • Programmes et programmation (Informatique)
DEF

Processus d'analyse de logiciel consistant à simuler l'exécution de tout ou partie d'un programme en utilisant des symboles pour les données d'entrée, par exemple les noms des variables plutôt que leurs valeurs effectives, et en exprimant les sorties du programme sous forme d'expressions logiques ou mathématiques se référant à ces symboles.

OBS

exécution symbolique : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Prueba y depuración
  • Programas y programación (Informática)
CONT

Existen dos enfoques para la verificación de programas, analítica y dinámica, y en medio de ellas, existe la ejecución simbólica, la que estáticamente analiza el código fuente de programas, y dinámicamente simula la ejecución de las instrucciones ejecutables de programas por medio de datos de entrada simbólicos.

Conserver la fiche 70

Fiche 71 2019-11-18

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
CONT

[There are] two logical shift operations, namely LSL(logical shift left) and LSR(logical shift right). LSL is a logical shift left by 0 to 31 places. The vacated bits at the least significant end of the word are filled with zeros.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
  • Programas y programación (Informática)
Conserver la fiche 71

Fiche 72 2019-11-15

Anglais

Subject field(s)
  • IT Security
CONT

A security breach occurs when an individual or an application illegitimately enters a private, confidential or unauthorized logical IT [information technology] perimeter.... Depending on the nature of the incident, a security breach can be anything from low-risk to highly critical.

Français

Domaine(s)
  • Sécurité des TI
CONT

[...] le personnel est responsable de 60 % des atteintes à la sécurité informatique, qu'il s'agisse de virus téléchargés ou des données sorties clandestinement par message électronique ou sur disquette.

Espagnol

Campo(s) temático(s)
  • Seguridad de IT
CONT

Una violación de la seguridad informática puede significar tiempo de inactividad de la compañía, pérdida de confianza de los clientes, datos robados o incluso contratos incumplidos.

Conserver la fiche 72

Fiche 73 2019-10-30

Anglais

Subject field(s)
  • Computer Programs and Programming
CONT

The built-in atoms are composed of uppercase ASCII characters with the logical words separated by an underscore character(_), for example, WM_ICON_NAME.

Français

Domaine(s)
  • Programmes et programmation (Informatique)

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
Conserver la fiche 73

Fiche 74 2019-10-30

Anglais

Subject field(s)
  • Computer Programs and Programming
DEF

[A mode that defines] the logical truth values(true and false) with the usual boolean operations.

CONT

Supported boolean search operators when in boolean mode are: and, or, not, near (unordered proximity search), onear (ordered proximity search).

Français

Domaine(s)
  • Programmes et programmation (Informatique)
CONT

Les recherches effectuées dans le mode booléen n'utilisent pas le seuil de 50 % et ne trient pas automatiquement le résultat par ordre décroissant de pertinence.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
CONT

Un modo booleano define los valores lógicos de verdad ( TRUE y FALSE ) con las operaciones booleanas usuales.

Conserver la fiche 74

Fiche 75 2019-10-30

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
CONT

[There are] two logical shift operations, namely LSL(logical shift left) and LSR(logical shift right)... LSR is a logical shift right by 0 to 32 places. The vacated bits at the most significant end of the word are filled with zeros.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
  • Programas y programación (Informática)
Conserver la fiche 75

Fiche 76 2019-10-30

Anglais

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
CONT

An arithmetic shift left, ASL, is almost identical to a logical shift left.

Français

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)
CONT

Le registre à décalage effectue une multiplication par 2n (décalage à gauche arithmétique) ou une division entière par 2n (décalage à droite arithmétique), où n est le nombre de décalages.

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
  • Programas y programación (Informática)
CONT

Un corrimiento aritmético a la izquierda multiplica un número binario con signo por 2. Un corrimiento aritmético a la derecha divide el número entre 2.

Conserver la fiche 76

Fiche 77 2019-10-30

Anglais

Subject field(s)
  • Computer Memories
CONT

Duplex disks which use dynamic bad block remapping are logical mirrors of each other rather than physical mirrors.

Terme(s)-clé(s)
  • duplex discs

Français

Domaine(s)
  • Mémoires (Informatique)
CONT

Les disques en duplex fonctionnent comme des disques miroir à ceci près que la redondance (le doublement) est étendue au contrôleur de disques. Concrètement, deux contrôleurs de disques sont appariés à deux disques, ce qui fournit un niveau supplémentaire de redondance des composants du serveur. [Reproduit avec l'autorisation de l'AFNOR.]

Espagnol

Campo(s) temático(s)
  • Memorias (Computadoras)
Conserver la fiche 77

Fiche 78 2019-10-30

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
CONT

An operator, i. e. a logical symbol binding a variable, is called the abstraction operator if it transforms a sentential formula into a name of the set of those things which satisfy that formula.

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
  • Programas y programación (Informática)
Conserver la fiche 78

Fiche 79 2019-10-30

Anglais

Subject field(s)
  • Computer Programs and Programming
DEF

A condition that cannot be decomposed, i. e., a condition that does not contain two or more single conditions joined by a logical operator(AND, OR, XOR).

Français

Domaine(s)
  • Programmes et programmation (Informatique)
DEF

Condition qui ne peut pas être décomposée, i.e, une condition qui ne contient pas plus de deux conditions jointes par un opérateur logique (ET, OU, OU exclusif).

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
DEF

En informática, condición básica de calificación en una pregunta, consistente en el nombre de una unidad de datos, una operación lógica y un valor; por ejemplo, sexo = femenino.

Conserver la fiche 79

Fiche 80 2019-08-26

Anglais

Subject field(s)
  • Computer Hardware
  • Operating Systems (Software)
CONT

The number of virtual processor cores per logical... processor core usually equates to the number of single virtual processor core [virtual machines that can be] run on a host.

OBS

CPU: central processing unit

Français

Domaine(s)
  • Matériel informatique
  • Systèmes d'exploitation (Logiciels)
CONT

Le nombre de cœurs de processeur virtuel alloués à une machine virtuelle est limité à 50 % maximum des cœurs sur l'hôte.

Espagnol

Conserver la fiche 80

Fiche 81 2019-08-26

Anglais

Subject field(s)
  • Computer Hardware
  • Operating Systems (Software)
DEF

A processor which represents the ratio of processor time allocated to a virtual machine on a logical processor.

CONT

There is no direct correlation between virtual processors and logical processors. For instance, if a server is equipped with 12 logical processors then you are not limited to assigning 12 virtual processors. In other words, a virtual processor is not a direct representation of a physical [central processing unit] core.

Français

Domaine(s)
  • Matériel informatique
  • Systèmes d'exploitation (Logiciels)
DEF

Processeur qui représente le temps alloué à une machine virtuelle sur un processeur logique.

OBS

Un ordinateur virtuel peut avoir un nombre de processeurs virtuels plus élevé que le nombre maximal de processeurs logiques sur la plate-forme de serveur virtuel de l'hôte. Le nombre de processeurs logiques correspond au nombre de cœurs du processeur physique.

Espagnol

Campo(s) temático(s)
  • Equipo físico de computadora (Hardware)
  • Sistemas operativos (Soporte lógico)
Conserver la fiche 81

Fiche 82 2019-07-18

Anglais

Subject field(s)
  • National Bodies and Committees (Canadian)
  • Astrology
OBS

The CAAE seeks to create standardization toward the learning process of professional western astrology and works with the objective to keep the vast and diverse data that encompasses the subject of astrology into logical components for those who seek to understand western astrology better.

Terme(s)-clé(s)
  • Association for Astrological Education of Canada

Français

Domaine(s)
  • Organismes et comités nationaux canadiens
  • Astrologie
OBS

La CAAE cherche à créer une normalisation vers le processus d'apprentissage de l'astrologie occidentale professionnelle et travaille avec l'objectif de conserver les données vastes et diversifiées qui englobent le sujet de l'astrologie en composants logiques pour ceux et celles qui cherchent à mieux comprendre l'astrologie occidentale.

Terme(s)-clé(s)
  • Association pour l'éducation astrologique du Canada

Espagnol

Conserver la fiche 82

Fiche 83 2019-05-31

Anglais

Subject field(s)
  • Computer Display Technology
  • Informatics
  • Computer Programs and Programming
CONT

A picker is a control for selecting a single value by scrolling a short list which contains predictable values of a logical order. The scrollable list of a picker is displayed on the same screen where the picker is activated. The selected value appears and gets updates in the same cell of the label when a value is scrolled to the center of the picker view.

Français

Domaine(s)
  • Techniques d'affichage (Ordinateurs)
  • Informatique
  • Programmes et programmation (Informatique)

Espagnol

Conserver la fiche 83

Fiche 84 2019-04-24

Anglais

Subject field(s)
  • Mathematics
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

The optimizer receives [the] initial logical query plan and performs two main phases of optimization. First, it considers algebraic rewrite rules that transform the initial relational algebra expression into an equivalent expression that will [allow for a quicker evaluation. ]

Terme(s)-clé(s)
  • algebraic rewriting rule

Français

Domaine(s)
  • Mathématiques
  • Programmes et programmation (Informatique)
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 84

Fiche 85 2019-04-24

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

Logical rules are learned from probabilistic data in the sense that both the examples... and their classifications can be probabilistic.

Français

Domaine(s)
  • Logique (Philosophie)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
CONT

Un raisonnement logique est fait à partir d'une règle logique.

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 85

Fiche 86 2019-02-14

Anglais

Subject field(s)
  • Computer Memories
DEF

A stored representation of a data structure that preserves its associations.

OBS

The logical elements of the data structure are mapped into their stored physical counterparts, for example, the records of a record type are mapped into stored records of a file.

OBS

storage structure: term and definition standardized by the Canadian Standards Association (CSA) and reproduced with its permission.

Français

Domaine(s)
  • Mémoires (Informatique)
DEF

Représentation en mémoire d'une structure de données, préservant ses associations.

OBS

Les éléments logiques de la structure de données sont mis en correspondance avec leurs homologues physiques en mémoire; par exemple les enregistrements d'un type d'enregistrements sont mis en correspondance avec les enregistrements stockés d'un fichier.

OBS

structure de mémoire : terme et définition normalisés par l'Association canadienne de normalisation (CSA) et reproduits avec son autorisation.

Espagnol

Campo(s) temático(s)
  • Memorias (Computadoras)
Conserver la fiche 86

Fiche 87 2018-11-29

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Storage Media (Data Processing)
DEF

The actual size of data in a file from first byte to last byte, reported in bytes.

CONT

A computer file stored on disk actually has two file sizes, logical size and physical size.

Français

Domaine(s)
  • Traitement de l'information (Informatique)
  • Supports d'information (Informatique)

Espagnol

Conserver la fiche 87

Fiche 88 2018-10-05

Anglais

Subject field(s)
  • Symptoms (Medicine)
  • Cognitive Psychology
  • Clinical Psychology
DEF

Speech or thinking that is essentially incomprehensible to others because words or phrases are joined together without a logical or meaningful connection [within clauses].

Français

Domaine(s)
  • Symptômes (Médecine)
  • Psychologie cognitive
  • Psychologie clinique
DEF

Discours ou pensée qui est, pour l'essentiel, incompréhensible pour autrui en raison d'un manque de lien logique compréhensible entre les mots ou les [expressions au sein des phrases].

Espagnol

Conserver la fiche 88

Fiche 89 2018-09-24

Anglais

Subject field(s)
  • Military Materiel Management
DEF

A logical grouping of materiel used for planning and reporting purposes.

OBS

fleet: term to be used by the Department of National Defence and the Canadian Forces.

Français

Domaine(s)
  • Gestion du matériel militaire
DEF

Regroupement logique de matériel servant aux fins de planification et d'établissement de rapports.

OBS

actif : terme d'usage obligatoire au ministère de la Défense nationale et dans les Forces canadiennes.

Espagnol

Conserver la fiche 89

Fiche 90 2018-05-31

Anglais

Subject field(s)
  • Electronic Circuits Technology
  • Information Processing (Informatics)
CONT

The charge qubit uses the number of Cooper pairs on a superconducting island as its logical states.

Français

Domaine(s)
  • Technologie des circuits électroniques
  • Traitement de l'information (Informatique)
CONT

Un qubit de charge est réalisé à l'aide d'un petit îlot supraconducteur, dont les dimensions n'excèdent pas quelques centaines de nanomètres, et qui est relié à une électrode supraconductrice à l'aide d'une jonction Josephson de faible capacitance.

Espagnol

Conserver la fiche 90

Fiche 91 2018-05-02

Anglais

Subject field(s)
  • Operating Systems (Software)
  • Computer Memories
CONT

The page address is concatenated with the byte index field of the logical address to form the real-memory address.

Français

Domaine(s)
  • Systèmes d'exploitation (Logiciels)
  • Mémoires (Informatique)
CONT

Ces registres fournissent une adresse de page qui est recherchée dans une table par [adressage calculé.]

Espagnol

Conserver la fiche 91

Fiche 92 2018-04-19

Anglais

Subject field(s)
  • Computer Programs and Programming
  • IT Security
CONT

A virtual firewall is a logical firewall that acts(to the end user) like a physical firewall.

Terme(s)-clé(s)
  • virtual fire wall

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Sécurité des TI
CONT

[...] un pare-feu physique de base [peut héberger] plusieurs pare-feux virtuels [...] Ces pare-feux virtuels sont exclusifs et assurent le même niveau de sécurité que le pare-feu de base.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Seguridad de IT
Conserver la fiche 92

Fiche 93 2018-04-19

Anglais

Subject field(s)
  • Internet and Telematics
CONT

"Thin provisioning" is the practice of allocating storage to applications on a "just-in-time" and "as needed" basis by defining a logical capacity that is larger than the physical capacity.

Français

Domaine(s)
  • Internet et télématique

Espagnol

Campo(s) temático(s)
  • Internet y telemática
Conserver la fiche 93

Fiche 94 2018-04-18

Anglais

Subject field(s)
  • Informatics
  • Software
CONT

Data virtualization is the process of aggregating data from different sources of information to develop a single, logical and virtual view of information, so that it can be accessed by front-end solutions, such as applications, dashboards and portals, without having to know the data's exact storage location.

Terme(s)-clé(s)
  • data virtualisation

Français

Domaine(s)
  • Informatique
  • Logiciels

Espagnol

Campo(s) temático(s)
  • Informática
  • Soporte lógico (Software)
CONT

La virtualización de datos integra datos de fuentes dispersas, en distintas localizaciones y formatos, sin replicar los datos, para construir una capa de datos virtual que facilita la provisión de servicios de datos unificados para dar soporte a múltiples aplicaciones y usuarios.

Conserver la fiche 94

Fiche 95 2018-03-22

Anglais

Subject field(s)
  • Mathematics
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

... what underlies inference in conjectural reasoning is not only logical implication but some criterion of plausibility, allowing the choice of a class of conclusions among the possible ones.

Français

Domaine(s)
  • Mathématiques
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Raisonnement qui repose uniquement sur des opinions établies en se fondant sur des probabilités.

Espagnol

Conserver la fiche 95

Fiche 96 2018-03-19

Anglais

Subject field(s)
  • Business and Administrative Documents
  • Rights and Freedoms
CONT

RDF [Resource Description Framework] can be used in a variety of application areas, for example : in resource discovery to provide better search engine capabilities, in cataloging for describing the content and content relationships available at a particular Web site, page, or digital library, by intelligent software agents to facilitate knowledge sharing and exchange, in content rating, in describing collections of pages that represent a single logical document, for describing intellectual property rights of Web pages, and for expressing the privacy preferences of a user as well as the privacy policies of a Web site.

Français

Domaine(s)
  • Écrits commerciaux et administratifs
  • Droits et libertés
CONT

[Le Commissariat à la protection de la vie privée du Canada encourage] par ailleurs les utilisateurs à lire les conditions d'utilisation et la politique de confidentalité de tous les services de réseautage social qu'ils utilisent.

Espagnol

Campo(s) temático(s)
  • Documentos comerciales y administrativos
  • Derechos y Libertades
Conserver la fiche 96

Fiche 97 2018-03-07

Anglais

Subject field(s)
  • Water Transport
  • Transport of Goods
CONT

The logical place to discuss time charter hire and matters associated with it is together with associated problems which have in the past arisen in respect of voyage freight.

Français

Domaine(s)
  • Transport par eau
  • Transport de marchandises

Espagnol

Conserver la fiche 97

Fiche 98 2018-02-23

Anglais

Subject field(s)
  • Defence Planning and Military Doctrine
  • Military Logistics
DEF

A logical grouping of capabilities that should be addressed cohesively to promote coherent capability development.

OBS

capability area: designation and definition standardized by NATO.

Français

Domaine(s)
  • Doctrine militaire et planification de défense
  • Logistique militaire
DEF

Groupement logique de capacités qu’il convient de considérer de façon cohésive afin de promouvoir un développement capacitaire cohérent.

OBS

catégorie capacitaire; domaine capacitaire : désignations et définition normalisées par l'OTAN.

Espagnol

Conserver la fiche 98

Fiche 99 2018-01-26

Anglais

Subject field(s)
  • Meats and Meat Industries
  • Slaughterhouses
CONT

Chapin and other Yoke's managers looked at their competition in the Spokane area. They noticed most of the smaller independent retailers had followed the lead of the mega-chains and dropped their principal beef offerings to USDA Select. Thus, the logical first step was to ally with a quality beef program. Yoke's chose the Certified hereford Beef(CHB) program. "We knew we had to stay in the business of offering higher-end beef, "...

Français

Domaine(s)
  • Salaison, boucherie et charcuterie
  • Abattoirs
CONT

Si, après étude et réflexion, un producteur choisit une niche commerciale (marché particulier), c'est qu'il veut se démarquer avec un bœuf haut de gamme.

OBS

haut de gamme : Produit qui, dans sa catégorie, offre la meilleure qualité.

Espagnol

Conserver la fiche 99

Fiche 100 2018-01-10

Anglais

Subject field(s)
  • Telecommunications Transmission
CONT

A call leg is a logical connection between two voice gateways or between a gateway and an [Internet Protocol(IP) ] telephony device.

Français

Domaine(s)
  • Transmission (Télécommunications)

Espagnol

Conserver la fiche 100

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :