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.
Lockstep (computing)Lockstep systems are fault-tolerant computer systems that run the same set of operations at the same time in parallel. The redundancy (duplication) allows error detection and error correction: the output from lockstep operations can be compared to determine if there has been a fault if there are at least two systems (dual modular redundancy), and the error can be automatically corrected if there are at least three systems (triple modular redundancy), via majority vote.
Component Object ModelComponent Object Model (abr. COM) est une technique de composants logiciels développée par Microsoft et DEC, depuis 1994, populaire sur Windows et également disponible sur les systèmes d'exploitation OpenVMS, Tru64 ainsi que d'autres Unix. Utilisée pour mettre en œuvre OLE et ActiveX, COM est dépassé depuis 2009 par le Framework .NET de Microsoft. Les technologies COM regroupent OLE, COM+, Distributed COM et ActiveX.
Distributed Component Object ModelDistributed Component Object Model (abr. DCOM) est une technique propriétaire de Microsoft qui permet la communication entre des composants logiciels distribués au sein d'un réseau informatique. DCOM, appelé à l'origine « Network OLE », étend COM et fournit le substrat sous l'infrastructure du serveur d'application COM+. Il a été rendu obsolète par Microsoft .NET. L'addition du « D » à COM est due à l'utilisation intensive de DCE/RPC, plus précisément sa version Microsoft, connue sous le nom de MSRPC.
Groupe résolubleEn mathématiques, un groupe résoluble est un groupe qui peut être construit à partir de groupes abéliens par une suite finie d'extensions. Théorème d'Abel (algèbre) La théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de degré 5 ou plus. Le concept de groupe résoluble provient d'une propriété partagée par les groupes d'automorphismes des polynômes dont les racines peuvent être exprimées en utilisant seulement un nombre fini d'opérations élémentaires (racine n-ième, addition, multiplication, ).
Unified field theoryIn physics, a unified field theory (UFT) is a type of field theory that allows all that is usually thought of as fundamental forces and elementary particles to be written in terms of a pair of physical and virtual fields. According to the modern discoveries in physics, forces are not transmitted directly between interacting objects but instead are described and interpreted by intermediary entities called fields. Classically, however, a duality of the fields is combined into a single physical field.
Méthode du consensusDans le monde politique et technique et dans les groupes, tout ou partie des acteurs ont souvent besoin d'appuyer leurs choix et décisions stratégiques sur des « preuves » rationnelles et scientifiques. Or ils sont souvent confrontés à des incertitudes. Pour réduire cette incertitude diverses méthodes ont été au cours du élaborées et affinées, dont les conférences de consensus qui aboutissent parfois à des résultats provisoires mais plus ou moins relativement consensuels. C'est un des moyens de résolution non violente de conflits.
Colonel généralLe grade de colonel général est un grade spécifique pour un général dans plusieurs armées. Le grade de Generaloberst était, jusqu'en 1945, le plus haut grade de général en Allemagne, situé après celui de Generalfeldmarschall. Dans la République démocratique allemande, qui était alors membre du pacte de Varsovie, ce grade correspondait au grade russe de general-polkovnik et était le plus haut grade après ceux de Marschall der DDR et d’Armeegeneral.
Central seriesIn mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, the existence of a central series means it is a nilpotent group; for matrix rings (considered as Lie algebras), it means that in some basis the ring consists entirely of upper triangular matrices with constant diagonal. This article uses the language of group theory; analogous terms are used for Lie algebras.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Général de brigadevignette|Le képi de général de brigade Français. Le grade de général de brigade, brigadier général, brigadier-général ou brigadier est un grade militaire de certaines armées, le premier dans l'ordre des officiers généraux pour une armée de terre ou une force aérienne. Cependant, certaines armées ne considèrent pas le grade de brigadier comme étant un grade de général même si celui-ci se situe au même niveau hiérarchique. Il se situe généralement après celui de colonel et avant celui de général de division ou de major général en suivant l'ordre hiérarchique croissant.
Tumeur bénignethumb|Tumeur bénigne de la peau d'un chien Une tumeur bénigne est une tumeur sans gravité, c'est-à-dire ne pouvant donner lieu à des métastases et n'étant pas mortelle, par exemple une verrue. Néanmoins une telle tumeur peut évoluer vers une tumeur maligne, qui peut, elle, être fatale si elle n'est pas traitée. Une tumeur bénigne peut cependant être mortelle dans les cas où son environnement ne laisse pas suffisamment de place à son développement. Exemple : une tumeur bénigne au cerveau.
