Droplet-based microfluidicsDroplet-based microfluidics manipulate discrete volumes of fluids in immiscible phases with low Reynolds number and laminar flow regimes. Interest in droplet-based microfluidics systems has been growing substantially in past decades. Microdroplets offer the feasibility of handling miniature volumes (μl to fl) of fluids conveniently, provide better mixing, encapsulation, sorting, sensing and are suitable for high throughput experiments.
MicrofluidiqueLa microfluidique est la science et la technique des systèmes manipulant des fluides et dont au moins l'une des dimensions caractéristiques est de l'ordre du micromètre. George Whitesides définit la microfluidique comme « la science et la technologie des systèmes qui manipulent de petits volumes de fluides ( à ), en utilisant des canaux de la dimension de quelques dizaines de micromètres ». Selon Patrick Tabeling, Tabeling précise qu'il entend essentiellement par « nouvelles techniques » la microfabrication héritée de la micro-électronique.
Test unitaireEn programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.
Automatisation de testL'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Paper-based microfluidicsPaper-based microfluidics are microfluidic devices that consist of a series of hydrophilic cellulose or nitrocellulose fibers that transport fluid from an inlet through the porous medium to a desired outlet or region of the device, by means of capillary action. This technology builds on the conventional lateral flow test which is capable of detecting many infectious agents and chemical contaminants. The main advantage of this is that it is largely a passively controlled device unlike more complex microfluidic devices.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Test caseIn software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested.
Test de régressionUn test de régression, ou test de non-régression, est un test ayant pour but de détecter les régressions introduites dans un logiciel après un changement effectué dans celui-ci. Une régression est un défaut qui se produit après une modification d'un logiciel lorsque des fonctionnalités existantes ne sont plus réalisées aussi bien qu'avant.
Test d'intégrationDans le monde du développement informatique, L'objectif de chaque phase de test est de détecter les erreurs qui n'ont pas pu être détectées lors de la précédente phase. Pour cela, le test d’intégration a pour cible de détecter les erreurs non détectables par le test unitaire. Le test d’intégration permet également de vérifier l'aspect fonctionnel, les performances et la fiabilité du logiciel. L'intégration fait appel en général à un système de gestion de versions, et éventuellement à des programmes d'installation.
Deformation (engineering)In engineering, deformation refers to the change in size or shape of an object. Displacements are the absolute change in position of a point on the object. Deflection is the relative change in external displacements on an object. Strain is the relative internal change in shape of an infinitesimally small cube of material and can be expressed as a non-dimensional change in length or angle of distortion of the cube. Strains are related to the forces acting on the cube, which are known as stress, by a stress-strain curve.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Spin–spin relaxationIn physics, the spin–spin relaxation is the mechanism by which Mxy, the transverse component of the magnetization vector, exponentially decays towards its equilibrium value in nuclear magnetic resonance (NMR) and magnetic resonance imaging (MRI). It is characterized by the spin–spin relaxation time, known as T2, a time constant characterizing the signal decay. It is named in contrast to T1, the spin–lattice relaxation time.
Laboratoire sur puceUn laboratoire sur puce est un dispositif intégré rassemblant, sur un substrat miniaturisé, une ou plusieurs fonctions de laboratoire. L'analyse du vivant regroupe trois des quatre raisons majeures ayant entraîné le développement de la microfluidique ; elle représente par conséquent une large part des applications. On considère généralement que le premier dispositif microfluidique d'analyse est celui développé par Terry et al. ; ceux-ci réalisent en 1979 un système miniaturisé d'analyse de gaz par chromatographie sur un substrat de silicium.
Tension superficiellevignette|et aux gerridés de se déplacer à la surface d'une mare. La tension superficielle est un phénomène physico-chimique lié aux interactions moléculaires d'un fluide. Elle résulte de l'augmentation de l'énergie à l'interface entre deux fluides. Le système tend vers un équilibre qui correspond à la configuration de plus basse énergie, il modifie donc sa géométrie pour diminuer l'aire de cette interface. La force qui maintient le système dans cette configuration est la tension superficielle.
FluageLe fluage est le phénomène physique qui provoque la déformation irréversible différée (c'est-à-dire non instantanée) d’un matériau soumis à une contrainte constante (notée ), même inférieure à la limite d'élasticité du matériau, pendant une durée suffisante. Le fluage ainsi que la relaxation de contrainte sont deux méthodes en quasi statique de caractérisation des matériaux visqueux (cas du béton). vignette|100px|Essai de fluage à chaud.
Déformation plastiqueLa théorie de la plasticité traite des déformations irréversibles indépendantes du temps, elle est basée sur des mécanismes physiques intervenant dans les métaux et alliages mettant en jeu des mouvements de dislocations (un réarrangement de la position relative des atomes, ou plus généralement des éléments constitutifs du matériau) dans un réseau cristallin sans influence de phénomènes visqueux ni présence de décohésion endommageant la matière. Une des caractéristiques de la plasticité est qu’elle n’apparaît qu’une fois un seuil de charge atteint.
