Problème du consensusLe problème du consensus est un problème fondamental en théorie du calcul distribué. Il consiste pour un ensemble de machines à se mettre d'accord sur une valeur ou, par extension, sur une séquence de valeurs. La résolution du consensus est primordiale pour la coordination des systèmes distribués. Elle permet notamment la consistance des systèmes répliqués malgré la défaillance d'une partie de leurs composants.
Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
Vote postalthumb|Enveloppe pour le vote postal à l'élection du bourgmestre de Cologne en 2015. Le vote postal ou vote par correspondance est une procédure de vote qui permet aux électeurs d'exprimer leur droit de vote par correspondance au moyen d'un système postal. Il consiste à envoyer à l’avance (vote anticipé) son bulletin de vote par voie postale ; un numéro d’identification permet de garantir qu’une personne ne vote qu’une fois, tout en maintenant le secret du vote.
Fraude électoraleLa fraude électorale est une violation des règles d'un système d'élections, de façon à garantir ou favoriser (augmenter la probabilité) un résultat voulu. Toutes les sociétés utilisant le système des votes sont confrontées au problème, et se sont également dotées de règles pour s'en prémunir. Un des marqueurs du bon fonctionnement démocratique est une limitation de la fraude, à un niveau satisfaisant également les perdants.
DépouillementVote counting is the process of counting votes in an election. It can be done manually or by machines. In the United States, the compilation of election returns and validation of the outcome that forms the basis of the official results is called canvassing. Counts are simplest in elections where just one choice is on the ballot, and these are often counted manually. In elections where many choices are on the same ballot, counts are often done by computers to give quick results.
Failure mode and effects analysisFailure mode and effects analysis (FMEA; often written with "failure modes" in plural) is the process of reviewing as many components, assemblies, and subsystems as possible to identify potential failure modes in a system and their causes and effects. For each component, the failure modes and their resulting effects on the rest of the system are recorded in a specific FMEA worksheet. There are numerous variations of such worksheets.
Algorithmique répartieUn algorithme réparti (ou distribué) est une suite d'instructions et il est généralement un algorithme parallèle (mais pas toujours, exemple, une communication téléphonique) réparti sur plusieurs sites. Chaque site calcule (i.e. produit de nouveaux résultats) et communique (i.e. échange des données avec d'autres sites). Un algorithme réparti décrit le fonctionnement d'un système informatique composé de plusieurs unités de calcul reliées par un réseau de communication, tels que les routeurs dans Internet.
Finance décentraliséeLa finance décentralisée ou DeFi (Decentralized Finance) est un moyen d'échanger, d'acheter et de vendre avec peu d'intermédiaires et donc par théorie, d'éviter les fonds bloqués ou des frais non prévus à la base ou toute autre action qui impacterait les finances des propriétaires de fonds (comme la crise des subprimes). Cela est accessible grâce en particulier à la blockchain d'Ethereum, en utilisant le peer to peer entre particulier et grâce aux protocoles Uniswap, Polygon et autres.
Mode de défaillanceLe mode de défaillance est la forme observable du dysfonctionnement d’un produit ou d’une opération du système étudié. Il sert de base de travail dans l'élaboration d'une analyse de type AMDEC Un mode de défaillance doit répondre aux caractéristiques suivantes : Il est relatif à la fonction étudiée. Il décrit la manière dont le système ne remplit plus sa fonction. Il s'exprime en termes techniques précis (court-circuit...) Il existe 5 modes génériques de défaillance : perte de la fonction fonctionnement in
Architecture distribuéeL’architecture distribuée ou l'informatique distribuée désigne un système d'information ou un réseau pour lequel l'ensemble des ressources disponibles ne se trouvent pas au même endroit ou sur la même machine. Ce concept, dont une version peut être une combinaison de transmissions du type client-serveur, s'oppose à celui d'informatique centralisée. Internet est un exemple de réseau distribué puisqu'il ne possède aucun nœud central.
Taux de défaillanceLe taux de défaillance, ou taux de panne, est une expression relative à la fiabilité des équipements et de chacun de leurs composants. Son symbole est la lettre grecque λ (lambda). Le taux de défaillance d'un équipement à l'instant t est la limite, si elle existe, du quotient de la probabilité conditionnelle que l'instant T de la (première) défaillance de cet équipement soit compris dans l'intervalle de temps donné [t, t + Δt] par la durée Δt de cet intervalle, lorsque Δt tend vers zéro, en supposant que l'entité soit disponible au début de l'intervalle de temps.
Organisation autonome décentraliséeUne organisation autonome décentralisée ou DAO (de l’anglais decentralized autonomous organization) est une organisation qui se fixe une mission et qui fonctionne grâce à un ensemble de smart contracts permettant d'établir et de fournir des règles de gouvernance à une organisation. Ces règles sont transparentes et immuables car inscrites dans un réseau blockchain, une technologie de stockage et de transmission d’informations, transparente, sécurisée, et fonctionnant sans organe central de contrôle.
DécentralisationLa décentralisation consiste en un transfert de pouvoirs de l'État vers des personnes morales de droit public distinctes de lui. Elles disposent : d'une autonomie plus ou moins grande, selon le degré de décentralisation ; d'un budget propre. Ces entités juridiques restent sous la surveillance de l'État, autorité de tutelle. La décentralisation est un système d’administration dans lequel le pouvoir de décision est exercé à la fois par l’État et par des personnes morales autonomes soumises au contrôle, au principe de légalité, des autorités étatiques.
Majority ruleMajority rule is the principle that the group that has the most supporters gets its way. A majority is more than half of the voters involved, and rule by such a majority is thought to be to the benefit of more than rule by less than half (a mere minority) would be. Majority rule is the binary decision rule most often used in decision-making bodies, including many legislatures of democratic nations. Where no one party wins a majority of the seats in a legislature, the majority of legislators that wields power is partly composed of members of other parties in support.
Broadcast licenseA broadcast license is a type of spectrum license granting the licensee permission to use a portion of the radio frequency spectrum in a given geographical area for broadcasting purposes. The licenses generally include restrictions, which vary from band to band. Spectrum may be divided according to use. As indicated in a graph from the National Telecommunications and Information Administration (NTIA), frequency allocations may be represented by different types of services which vary in size.
Gentzen's consistency proofGentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are "consistent"), as long as a certain other system used in the proof does not contain any contradictions either. This other system, today called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor stronger than the system of Peano axioms.
Majorité qualifiéeLa majorité qualifiée est une part spécifique des votes qu'une proposition doit obtenir afin d'être acceptée. Elle s'oppose alors à la minorité de blocage, qui permet, avec moins de la moitié des voix, de bloquer une décision. Elle se distingue de la majorité absolue par le fait qu'elle peut être à la base beaucoup plus large. En effet, une simple majorité absolue requiert au minimum la moitié des voix plus une.
Norme et standard de télévisionUne série de normes et standards de télévision a été développée au plan mondial pour simplifier l'industrialisation et la commercialisation des téléviseurs puis des appareils vidéo et informatiques; ces accords internationaux définissent les spécifications et compatibilités entre les systèmes ou équipements exploités. Ces normes et standards s'appliquent pour les signaux analogiques dès la fin des années 1930 et à partir de la fin du XXe siècle, sont progressivement remplacés par les normes de télédiffusion numérique.
Two-phase commit protocolIn transaction processing, databases, and computer networking, the two-phase commit protocol (2PC, tupac) is a type of atomic commitment protocol (ACP). It is a distributed algorithm that coordinates all the processes that participate in a distributed atomic transaction on whether to commit or abort (roll back) the transaction. This protocol (a specialised type of consensus protocol) achieves its goal even in many cases of temporary system failure (involving either process, network node, communication, etc.
Rougevignette|La fleur rouge du coquelicot. Le rouge est un champ chromatique regroupant les couleurs vives situées sur le cercle chromatique entre l'orange et les pourpres. Lavé de blanc, le rouge devient rose, assombri et grisé, il s'appelle brun. Opposé au vert, il forme un des contrastes qui, avec celui entre le bleu et le jaune et celui entre le noir et le blanc, orientent la perception visuelle. Un rouge, un vert et un bleu suffisent pour la synthèse additive des couleurs ; différentes nuances de rouge peuvent servir de couleur primaire.
