Noyau de système d'exploitationUn noyau de système d’exploitation, ou simplement noyau, ou kernel en anglais, est une des parties fondamentales de certains systèmes d’exploitation. Il gère les ressources de l’ordinateur et permet aux différents composants — matériels et logiciels — de communiquer entre eux. En tant que partie du système d’exploitation, le noyau fournit des mécanismes d’abstraction du matériel, notamment de la mémoire, du (ou des) processeur(s), et des échanges d’informations entre logiciels et périphériques matériels.
IsomorphismeEn mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structure. Plus généralement, en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse ». Par exemple, sur l'intervalle des valeurs ... peuvent être remplacées par leur logarithme ..., et les relations d'ordre entre elles seront conservées. On peut à tout moment retrouver les valeurs et en prenant les exponentielles de et .
Noyau Linuxvignette|upright=2|Couches de fonctions du Noyau Linux Le noyau Linux est un noyau de système d'exploitation de type UNIX. Il est utilisé dans plusieurs systèmes d'exploitation dont notamment GNU/Linux (couramment appelé « Linux ») et Android. Le noyau Linux est un logiciel partiellement libre (contenant des BLOB et des modules non-libre - consultez Linux-libre) développé essentiellement en langage C par des milliers de bénévoles et salariés collaborant sur Internet.
Théorèmes d'isomorphismeEn mathématiques, les trois théorèmes d'isomorphisme fournissent l'existence d'isomorphismes dans le cadre de la théorie des groupes. Ces trois théorèmes d'isomorphisme sont généralisables à d'autres structures que les groupes. Voir notamment « Anneau quotient », « Algèbre universelle » et « Groupe à opérateurs ». Le premier théorème d'isomorphisme affirme qu'étant donné un morphisme de groupes , on peut rendre injectif en quotientant par son noyau Ker f, qui est un sous-groupe normal de G.
Comparison of operating system kernelsA kernel is a component of a computer operating system. A comparison of system kernels can provide insight into the design and architectural choices made by the developers of particular operating systems. The following tables compare general and technical information for a number of widely used and currently available operating system kernels. Please see the individual products' articles for further information.
Hybrid kernelA hybrid kernel is an operating system kernel architecture that attempts to combine aspects and benefits of microkernel and monolithic kernel architectures used in operating systems. The traditional kernel categories are monolithic kernels and microkernels (with nanokernels and exokernels seen as more extreme versions of microkernels). The "hybrid" category is controversial, due to the similarity of hybrid kernels and ordinary monolithic kernels; the term has been dismissed by Linus Torvalds as simple marketing.
Lemme de SchurEn mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur dans le cadre de ses travaux sur la théorie des représentations d'un groupe fini. Ce lemme est à la base de l'analyse d'un caractère d'une représentation d'un groupe fini ; il permet, par exemple, de caractériser les groupes abéliens finis.
Monolithic kernelA monolithic kernel is an operating system architecture where the entire operating system is working in kernel space. The monolithic model differs from other operating system architectures (such as the microkernel architecture) in that it alone defines a high-level virtual interface over computer hardware. A set of primitives or system calls implement all operating system services such as process management, concurrency, and memory management. Device drivers can be added to the kernel as modules.
Group isomorphismIn abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.
Order isomorphismIn the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
Astuce du noyauEn apprentissage automatique, l'astuce du noyau, ou kernel trick en anglais, est une méthode qui permet d'utiliser un classifieur linéaire pour résoudre un problème non linéaire. L'idée est de transformer l'espace de représentation des données d'entrées en un espace de plus grande dimension, où un classifieur linéaire peut être utilisé et obtenir de bonnes performances. La discrimination linéaire dans l'espace de grande dimension (appelé aussi espace de redescription) est équivalente à une discrimination non linéaire dans l'espace d'origine.
Noyau (algèbre)En mathématiques et plus particulièrement en algèbre générale, le noyau d'un morphisme mesure la non-injectivité d'un morphisme. Dans de nombreux cas, le noyau d'un morphisme est un sous-ensemble de l'ensemble de définition du morphisme : l'ensemble des éléments qui sont envoyés sur l'élément neutre de l'ensemble d'arrivée. Dans des contextes plus généraux, le noyau est interprété comme une relation d'équivalence sur l'ensemble de définition : la relation qui relie les éléments qui sont envoyés sur une même par le morphisme.
ÉquivarianceEn mathématiques, léquivariance est une forme de symétrie de fonctions d'un espace par symétrie avec un autre (tels que les espaces symétriques). Une application est dite équivariante par l'action d'un groupe de symétrie si ce groupe peut agir sur ses ensembles de départ et d'arrivée et quand cette application commute avec l'action de groupe. Autrement dit, appliquer une transformation du groupe de symétrie puis effectuer l'application produit le même résultat que d'effectuer ces opérations en sens inverse.
Représentation unitaireEn mathématiques, une représentation unitaire d'un groupe G est une représentation linéaire π de G sur un espace de Hilbert complexe V telle que π(g) est un opérateur unitaire pour tout g ∈ G. La théorie générale est bien développée dans le cas où G est un groupe topologique localement compact (séparé) et les représentations sont fortement continues. La théorie a été largement appliquée en mécanique quantique depuis les années 1920, particulièrement sous l'influence par le livre de 1928 de Hermann Weyl, Gruppentheorie und Quantenmechanik.
Isomorphisme de graphesEn mathématiques, dans le cadre de la théorie des graphes, un isomorphisme de graphes est une bijection entre les sommets de deux graphes qui préserve les arêtes. Ce concept est en accord avec la notion générale d'isomorphisme, une bijection qui préserve les structures. Plus précisément, un isomorphisme f entre les graphes G et H est une bijection entre les sommets de G et ceux de H, telle qu'une paire de sommets {u, v} de G est une arête de G si et seulement si {ƒ(u), ƒ(v)} est une arête de H.
Problème de l'isomorphisme de sous-graphesvignette|Le problème est de savoir si un graphe contient un autre graphe comme sous-graphe. En informatique théorique, le problème de l'isomorphisme de sous-graphes est le problème de décision suivant : étant donnés deux graphes G et H, déterminer si G contient un sous-graphe isomorphe à H. C'est une généralisation du problème de l'isomorphisme de graphes. Soient et deux graphes. Le problème de décision de l'isomorphisme de sous-graphe est : « Est-ce qu'il existe un sous-graphe , avec et , tel qu'il existe une bijection telle que ? ».
Noyau (théorie des catégories)La théorie des catégories est une théorie unificatrice des Mathématiques. La notion de noyau est une notion centrale en algèbre. Ici, le concept de noyau est un concept général applicable à de nombreuses branches des mathématiques abstraites. Considérons dans une catégorie deux flèches et de même source et de même but . Une flèche de but est dite noyau ou égalisateur du couple si elle vérifie les deux propriétés suivantes : (1) On a uk=vk (2) Pour toute flèche telle que l'on ait , il existe une flèche unique telle que .
Positive-definite kernelIn operator theory, a branch of mathematics, a positive-definite kernel is a generalization of a positive-definite function or a positive-definite matrix. It was first introduced by James Mercer in the early 20th century, in the context of solving integral operator equations. Since then, positive-definite functions and their various analogues and generalizations have arisen in diverse parts of mathematics.
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Opérateur unitaireEn analyse fonctionnelle, un opérateur unitaire est un opérateur linéaire U d'un espace de Hilbert tel queUU = UU = Ioù U* est l'adjoint de U, et I l'opérateur identité. Cette propriété est équivalente à : U est une application d' dense et U préserve le produit scalaire ⟨ , ⟩. Autrement dit, pour tous vecteurs x et y de l'espace de Hilbert, ⟨Ux, Uy⟩ = ⟨x, y⟩ (ce qui entraîne que U est linéaire). D'après l'identité de polarisation, on peut remplacer « U préserve le produit scalaire » par « U préserve la norme » donc par « U est une isométrie qui fixe 0 ».
