Structure de contrôle

Résumé

En programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée. Si, au plus bas niveau, l'éventail se limite généralement aux branchements et aux appels de sous-programme, les langages structurés offrent des constructions plus élaborées comme les alternatives (if, if–else, switch…), les boucles (while, do–while, for…) ou encore les appels de fonction. Outre ces structures usuelles, la large palette des structures de contrôle s'étend des constructions de gestion d'exceptions (try–catch…) fréquemment trouvés dans les langages de haut niveau aux particularismes de certains langages comme les instructions différées (defer) de Go. Structures de contrôle séquentielles Un programme informatique impératif est une suite d'instructions. Un registre interne du processeur, le compteur ordinal (PC), est chargé de mémoriser l'adresse de

Source officielle

https://fr.wikipedia.org/wiki/Structure_de_contr%C3%B4le

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (75)

Publications associées

Chargement

Personnes associées (5)

Personnes associées

Chargement

Unités associées (6)

Unités associées

Chargement

Concepts associés (127)

Concepts associés

Chargement

Cours associés (39)

Cours associés

Chargement

Séances de cours associées (101)

Afficher plus

Séances de cours associées

Chargement

This article proposes a discussion on the strengths, weaknesses, opportunities and threats related to the deployment of QUIC end-to-end from a satellite-operator point-of-view. The deployment of QUIC is an opportunity for improving the quality of experience when exploiting satellite broadband accesses. Indeed, the fast establishment of secured connections reduces the short files transmission time. Moreover, removing transport layer performance enhancing proxies reduces the cost of network infrastructures and improves the integration of satellite systems. However, the congestion and flow controls at end points are not always suitable for satellite communications due to the intrinsic high bandwidth-delay product. Further acceptance of QUIC in satellite systems would be guaranteed if its performance in specific use-cases is increased. We propose a running code for an IETF document, and based on an emulated platform and on open-source software, this paper proposes values of performance metrics just as one piece of the puzzle. The final performance objective requires consensus among the different actors. The objective should be challenging enough for satellite operators to allow QUIC traffic but reasonable enough to keep QUIC Internet.

IEEE2020

Chargement

Improved methodology and set-point design for diagnosis of model-plant mismatch in control loops using plant-model ratio

Alireza Karimi

Performance of any model-based control scheme depends on the quality of model. When these schemes deliver poor loop performance due to model-plant mismatch (MPM), a detection of the same needs to be in place. A recently introduced plant model ratio (PMR) not only detects MPM but also facilitates a unique identification of the source of mismatch, namely, gain, dynamics (time constant) and delay mismatches. The prime objective of this work is to improve the PMR approach in a few key aspects, namely, estimation and experimental effort, and assessment procedure by taking a fresh perspective of PMR and conducting a detailed theoretical study of its signatures. A rigorous assessment procedure based on the theoretical properties of PMR is devised. Three threshold-based hypotheses tests are proposed for significance testing of PMR. A key contribution of this work is the design of set-point with minimal excitation for diagnosis of MPM, based on the features of PMR. The revised methodology is demonstrated and compared with the existing method through simulation examples. The study also demonstrates the potential of the proposed method in serving as a prelude to full/partial model re-identification.

Elsevier2014

Chargement

A Control Flow Prototype for a Dose Recommending Device for Chronic Myeloid Leukemia Patients

Giovanni De Micheli, Alena Simalatsar, Dechao Sun, Wenqi You Dubout

In this paper we present a prototype of a control flow for an a posteriori drug dose adaptation for Chronic Myelogenous Leukemia (CML) patients. The control flow is modeled using Timed Automata extended with Tasks (TAT) model. The feedback loop of the control flow includes the decision-making process for drug dose adaptation. This is based on the outputs of the body response model represented by the Support Vector Machine (SVM) algorithm for drug concentration prediction. The decision is further checked for conformity with the dose level rules of a medical guideline. We also have developed an automatic code synthesizer for the icycom platform as an extension of the TIMES tool.

2013

Chargement