Injection (médecine)En médecine, une injection est une méthode instrumentale utilisée pour introduire dans l'organisme une substance à visée thérapeutique ou diagnostique. Cet acte médical se fait au moyen d'une voie d'administration constituée d'une aiguille creuse ou d'un cathéter mis en place par effraction plus ou moins profonde du revêtement externe du corps, c'est-à-dire la peau le plus souvent. Ce dispositif constitue une voie parentérale, ce qui signifie que le produit injecté dans le corps ne passe pas par les intestins, permettant une biodisponibilité de 100 %.
Injection intramusculaireLa voie intramusculaire d'injection (IM) est utilisée en médecine pour l'administration de certains médicaments. Elle sert pour injecter des vaccins, certains antibiotiques, pour lutter contre les douleurs aiguës (colique néphrétique - colique hépatique) avec des antalgiques, et en psychiatrie pour injecter des neuroleptiques ou sédatifs souvent sans consentement. Les sites d'injection préférentiels sont : le quadrant supéro-externe du muscle grand fessier, le deltoïde, plus rarement le quadriceps.
PharmacocinétiqueLa , parfois désignée sous le nom de « l'ADME » (voir plus loin) et qui suit la phase biopharmaceutique, a pour but d'étudier le devenir d'une substance active contenue dans un médicament après son administration dans l'organisme. Elle comprend, après la phase biopharmaceutique précédant le premier passage trans-membranaire, quatre grandes étapes : Absorption (A) ; Distribution (D) ; Métabolisme (M) ; Excrétion du principe actif et de ses métabolites (E).
Modèles PBPKUn modèle pharmacocinétique physiologique (PBPK) est un modèle mathématique construit pour prédire l'absorption, la distribution, le métabolisme et l'excrétion (ADME) de substances chimiques naturelles ou synthétiques chez l'homme ou l'animal. Ce type de modèle est utilisé dans la recherche et le développement de nouveaux médicaments, pour l'évaluation des risques de toxicité des substances chimiques et en biologie.
Période biologiqueLa période biologique ou demi-vie biologique d'un élément chimique est le temps au bout duquel la moitié d’une quantité ingérée ou inhalée (telle une drogue ou un radioisotope) est éliminée de l’organisme, ou a perdu son activité biologique, par des processus purement biologiques (métabolisation, excrétion), à ne pas confondre avec la demi-vie écologique (temps nécessaire à la disparition de 50 % de la quantité initiale d'une corps chimique, non pas dans l'organisme, mais dans l'environnement où des facteurs
Supervision (informatique)La supervision est une technique industrielle de suivi et de pilotage informatique de procédés de fabrication automatisés. La supervision concerne l'acquisition de données (mesures, alarmes, retour d'état de fonctionnement) et des paramètres de commande des processus généralement confiés à des automates programmables. Dans l'informatique, la supervision est la surveillance du bon fonctionnement d’un système ou d’une activité. À ne pas confondre avec l'hypervision, qui elle correspond à la centralisation des outils de supervision, d’infrastructure, d'applications et de référentiels (ex.
Stratégie de régulationUne stratégie (ou topologie) de régulation est, pour un procédé industriel, l'organisation du système de contrôle-commande en vue de maintenir une grandeur physique dans une plage de tolérance donnée. Le choix de stratégie est très important dans les industries de transformation (par exemple les industries chimiques, papetières, agroalimentaires) en raison de la variabilité d'un nombre élevé de grandeurs physiques incidentes (dites « perturbations ») qui y sont présentes.
SatisfaisabilitéEn logique mathématique, la satisfaisabilité ou satisfiabilité et la validité sont des concepts élémentaires de sémantique. Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle), une façon d'interpréter tous les éléments constitutifs de la formule, qui rend la formule vraie. Une formule est universellement valide, ou en raccourci valide si, pour toutes les interprétations, la formule est vraie.
Satisfiability modulo theoriesEn informatique et en logique mathématique, un problème de satisfiabilité modulo des théories (SMT) est un problème de décision pour des formules de logique du premier ordre avec égalité (sans quantificateurs), combinées à des théories dans lesquelles sont exprimées certains symboles de prédicat et/ou certaines fonctions. Des exemples de théories incluent la théorie des nombres réels, la théorie de l’arithmétique linéaire, des théories de diverses structures de données comme les listes, les tableaux ou les tableaux de bits, ainsi que des combinaisons de celles-ci.
Système numérique de contrôle-commandevignette|Deux racks de CS3000, un SNCC de Yokogawa. De droite à gauche, dans le rack supérieur : une alimentation, une CPU, une carte bus pour communiquer avec l'autre rack, des cartes d'entrées-sorties ; dans le rack inférieur : idem sauf la CPU. On peut remarquer que la CPU est connectée à deux câbles Ethernet redondants pour communiquer avec d'autres CPU et des PC de supervision. Un système numérique de contrôle-commande (SNCC, ou DCS pour distributed control system en anglais) est un système de contrôle d'un procédé industriel doté d'une interface homme-machine pour la supervision et d'un réseau de communication numérique.
