Systems designSystems design interfaces, and data for an electronic control system to satisfy specified requirements. System design could be seen as the application of system theory to product development. There is some overlap with the disciplines of system analysis, system architecture and system engineering. If the broader topic of product development "blends the perspective of marketing, design, and manufacturing into a single approach to product development," then design is the act of taking the marketing information and creating the design of the product to be manufactured.
Modulation par déplacement de fréquenceLa modulation par déplacement de fréquence (MDF), plus connue sous sa dénomination anglophone frequency-shift keying (FSK) est un mode de modulation de fréquence numérique dans lequel la fréquence du signal modulé varie entre des fréquences prédéterminées. Généralement, la fréquence instantanée peut prendre deux valeurs discrètes appelées mark et space. Il s'agit d'une forme non-cohérente de FSK. Dans les formes cohérentes de FSK, il n'y a pas de discontinuité de phase dans le signal de sortie.
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.
Communications optiques en espace libreDans le domaine des télécommunications, les communications optiques en espace libre (en anglais Free Space Optics ou FSO) constituent une technologie optique de communications qui fait appel à la propagation de la lumière (spectre visible ou infrarouge) en espace libre, afin de transmettre des données entre deux points distants. Cette technologie présente un intérêt lorsqu'une connexion physique par le biais de câble ou de fibre optique est inadaptée, en particulier pour des raisons de coûts.
Near-field communicationUn distributeur de billets de train en Autriche proposant la technologie NFC afin de recevoir le ticket sur son téléphone|vignette Le near-field communication ou la communication en champ proche (CCP), souvent désigné par son sigle anglais NFC, est une technologie de communication sans fil à courte portée et à haute fréquence, permettant l'échange d'informations entre des périphériques jusqu'à une distance d'environ dans le cas général.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Quartz (électronique)En électronique, un quartz est un composant électronique qui possède comme propriété utile d'osciller à une fréquence stable lorsqu'il est stimulé électriquement. Les propriétés piézoélectriques remarquables du minéral de quartz permettent d'obtenir des fréquences d'oscillation très précises, qui en font un élément important en électronique numérique ainsi qu'en électronique analogique. Les propriétés piézoélectriques du quartz qui sont à la base de son emploi en électronique sont découvertes par les frères Pierre et Jacques Curie en 1880 : le cristal leur sert d'abord de détecteur des très faibles impulsions électriques.
Polymère électroactifvignette|Figure 1 : The black strips are the working electroactif polymers. They are powered with the same squared voltage. 300px|vignette|Figure 2 : illustration d'une pince en EAP. (a) Une tension est appliquée, les deux doigts en EAP se déforment de sorte à contourner la balle. (b) Lorsque la tension électrique est coupée, les doigts en EAP reprennent leur forme d'origine et attrapent la balle. (c). Les polymères électroactifs (PEA) ( (EAP)), sont des polymères dont la forme ou la taille changent lorsqu'ils sont stimulés par un champ électrique.
Sensor nodeA sensor node (also known as a mote in North America), consists of an individual node from a sensor network that is capable of performing a desired action such as gathering, processing or communicating information with other connected nodes in a network. Although wireless sensor networks have existed for decades and used for diverse applications such as earthquake measurements or warfare, the modern development of small sensor nodes dates back to the 1998 Smartdust project and the NASA.
FréquenceEn physique, la fréquence est le nombre de fois qu'un phénomène périodique se reproduit par unité de temps. Dans le Système international d'unités, la fréquence s'exprime en hertz (Hz). La notion de fréquence s'applique aux phénomènes périodiques ou non. L'analyse spectrale transforme la description d'un phénomène en fonction du temps en description en fonction de la fréquence. Dans plusieurs domaines technologiques, on parle de fréquence spatiale. Dans cet usage, une dimension de l'espace prend la place du temps.
Active-pixel sensorAn active-pixel sensor (APS) is an , which was invented by Peter J.W. Noble in 1968, where each pixel sensor unit cell has a photodetector (typically a pinned photodiode) and one or more active transistors. In a metal–oxide–semiconductor (MOS) active-pixel sensor, MOS field-effect transistors (MOSFETs) are used as amplifiers. There are different types of APS, including the early NMOS APS and the now much more common complementary MOS (CMOS) APS, also known as the CMOS sensor.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
