Pavage hexagonalLe pavage hexagonal est, en géométrie, un pavage du plan euclidien constitué d'hexagones réguliers. C'est l'un des trois pavages réguliers du plan euclidien, avec le pavage carré et le pavage triangulaire. Le pavage hexagonal possède un symbole de Schläfli de {6,3}, signifiant que chaque sommet est entouré par 3 hexagones. Le Théorème du nid d'abeille énonce que le pavage hexagonal régulier est la partition du plan en surfaces égales ayant le plus petit périmètre.
Réseau (géométrie)En mathématiques, un réseau d'un espace (vectoriel) euclidien est un sous-groupe discret de l’espace, de rang fini n. Par exemple, les vecteurs de Rn à coordonnées entières dans une base forment un réseau de Rn. Cette notion permet de décrire mathématiquement des maillages, comme celui correspondant à la figure 1. thumb|Fig. 1. Un réseau est un ensemble discret disposé dans un espace vectoriel réel de dimension finie de manière régulière, au sens où la différence de deux éléments du réseau est encore élément du réseau.
HexagoneUn hexagone, du grec et , est un polygone à six sommets et six côtés. Un hexagone peut être régulier ou irrégulier. Un hexagone régulier est un hexagone convexe dont les six côtés ont tous la même longueur. Les angles internes d'un hexagone régulier sont tous de 120°. Comme les carrés et les triangles équilatéraux, les hexagones réguliers permettent un pavage régulier du plan. Les pavages carrés et hexagonaux sont notamment utilisés pour réaliser des dallages.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Pavage triangulaireIn geometry, the triangular tiling or triangular tessellation is one of the three regular tilings of the Euclidean plane, and is the only such tiling where the constituent shapes are not parallelogons. Because the internal angle of the equilateral triangle is 60 degrees, six triangles at a point occupy a full 360 degrees. The triangular tiling has Schläfli symbol of {3,6}. English mathematician John Conway called it a deltille, named from the triangular shape of the Greek letter delta (Δ).
Bande interditeredresse=.9|vignette|Bandes d'un semiconducteur. La bande interdite d'un matériau, ou gap, est l'intervalle, situé entre la bande de valence et la bande de conduction, dans lequel la densité d'états électroniques est nulle, de sorte qu'on n'y trouve pas de niveau d'énergie électronique. La largeur de bande interdite, ou band gap en anglais, est une caractéristique fondamentale des matériaux semiconducteurs ; souvent notée , elle est généralement exprimée en électronvolts (eV). Fichier:Band filling diagram.
Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
Réseau réciproqueEn cristallographie, le réseau réciproque d'un réseau de Bravais est l'ensemble des vecteurs tels que : pour tous les vecteurs position du réseau de Bravais. Ce réseau réciproque est lui-même un réseau de Bravais, et son réseau réciproque est le réseau de Bravais de départ. Un cristal peut se décrire comme un réseau aux nœuds duquel se trouvent des motifs : atome, ion, molécule. Si l'on appelle les vecteurs définissant la maille élémentaire, ces vecteurs définissent une base de l'espace.
Groupe de papier peintUn groupe de papier peint (ou groupe d'espace bidimensionnel, ou groupe cristallographique du plan) est un groupe mathématique constitué par l'ensemble des symétries d'un motif bidimensionnel périodique. De tels motifs, engendrés par la répétition (translation) à l'infini d'une forme dans deux directions du plan, sont souvent utilisés en architecture et dans les arts décoratifs. Il existe 17 types de groupes de papier peint, qui permettent une classification mathématique de tous les motifs bidimensionnels périodiques.
