Literatura académica sobre el tema "Système à sortie binaire"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Système à sortie binaire".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Système à sortie binaire"
1
Massara, R. y P. Feschotte. "Le système binaire PdSi". Journal of Alloys and Compounds 190, n.º 2 (enero de 1993): 249–54. http://dx.doi.org/10.1016/0925-8388(93)90406-d.
Texto completo
2
Massara, R. y P. Feschotte. "Le système binaire PtSi". Journal of Alloys and Compounds 201, n.º 1-2 (noviembre de 1993): 223–27. http://dx.doi.org/10.1016/0925-8388(93)90888-t.
Texto completo
3
Durussel, Ph, R. Massara y P. Feschotte. "Le système binaire PtSn". Journal of Alloys and Compounds 215, n.º 1-2 (noviembre de 1994): 175–79. http://dx.doi.org/10.1016/0925-8388(94)90837-0.
Texto completo
4
Salama, Pierre. "capitalisation comme fausse solution à la sortie de crise". Tensões Mundiais 15, n.º 29 (6 de enero de 2020): 45–58. http://dx.doi.org/10.33956/tensoesmundiais.v15i29.1423.
Texto completoResumen
Sauf mouvements sociaux de grande ampleur, les pays latino-américains qui avaient opté pour un système de répartition, se dirigent petit à petit vers un système mixte alliant le système de répartition - avec des retraites calculées à partir d’un salaire de référence faible - et le système de capitalisation, obligatoire ou non, pour ceux qui désireraient avoir une retraite plus élevée. On aurait ainsi un système de retraite universel par répartition faible couplé d’un système par capitalisation de plus en plus important. Cette réforme rapprocherait les pays ayant opté pour la répartition vers ceux qui comme le Chili, la Colombie, le Mexique ont favorisé le système de capitalisation en espérant qu’un jour cela favoriserait la croissance…et pas seulement la spéculation boursière. Cet article a pour objet d’analyser les raisons pour lesquels le système de retraite en Amérique latine doit évoluer compte tenu de la transition démographique sans pour autant entrer dans un système de capitalisation . Contrairement à ce qui est souvent écrit, il existe des solutions alternatives à celles qui sont proposées.
5
Bellajrou, R., M. Th Cohen-Adad y M. El Hadek. "Diagramme d'équilibre liquide vapeur du système binaire NH3-CH3NH2". Le Journal de Physique IV 11, PR10 (diciembre de 2001): Pr10–183—Pr10–185. http://dx.doi.org/10.1051/jp4:20011027.
Texto completo
6
Ingouacka, Guy-Cyr y Eugène Shimamungu. "Représentation du temps en bantu. Système comparé du lingala et du kinyarwanda". Revue québécoise de linguistique 23, n.º 2 (29 de abril de 2009): 47–71. http://dx.doi.org/10.7202/603092ar.
Texto completoResumen
RÉSUMÉ Le kinyarwanda et le lingala, l’un vernaculaire, l’autre véhiculaire, sont représentatifs respectivement d’un système complexe et d’un système réduit parmi les langues bantu. Le système du lingala, basé sur l’expression de l’aspect, oppose les formes qui expriment le révolu à celles qui expriment le non-révolu (absence/présence du morphème |(-)ko-|. Le système du kinyarwanda oppose, quant à l’expression du temps, les formes hypothétiques (infinitif, optatif et potentiel) qui ne peuvent exprimer que le présent et le futur, à la forme thétique, l’indicatif, qui peut exprimer, en plus du présent et du futur, le passé. Il apparaît que, du plus au moins complexe, le système fondamental commun aux deux langues reste basé sur un schème binaire d’oppositions : actuel/virtuel, révolu/non-révolu, sans position intermédiaire.
7
Mary, Laura. "Déstabiliser la binarité en archéologie : le cas des tombes 137 et 260 de la nécropole mérovingienne de Bossut-Gottechain". Aux frontières des genres, n.º 5 (15 de diciembre de 2021): 17–25. http://dx.doi.org/10.35562/frontieres.819.
Texto completoResumen
Le sexe est une « catégorie biologique, immuable et universelle ». Le genre est un « système socialement construit catégorisant de manière hiérarchique les sexes ». Depuis les premiers travaux se revendiquant de l’archéologie du genre dans les années 1980, les recherches récentes nous invitent à remettre en question ces définitions, à cesser de considérer le sexe comme une entité figée et à dépasser le modèle binaire du sexe et du genre. Ces réflexions peinent cependant à se frayer un chemin jusqu’à l’archéologie mérovingienne. En prenant pour point de départ deux sépultures particulières de la nécropole de Bossut-Gottechain (Belgique), cet article envisage de questionner la catégorisation binaire des sexes et des genres en archéologie.
8
Moretti, Alexia. "Au‑delà de la frontière binaire du genre : les personnages sculptés recuay (100‑700 apr. J.‑C., sierra nord-centrale du Pérou)". Aux frontières des genres, n.º 5 (15 de diciembre de 2021): 37–51. http://dx.doi.org/10.35562/frontieres.865.
Texto completoResumen
Longtemps étudiées et comprises à partir de schémas conceptuels calqués sur les modèles ethnocentristes de l’Ancien Monde, les sociétés anciennes du Nouveau Monde ont souvent été observées à travers un système binaire et invariable du sexe et du genre. Néanmoins, il est aujourd’hui reconnu que de nombreuses sociétés amérindiennes anciennes et documentées par l'ethnographie perçoivent le sexe et le genre de manière plus ouverte et muable, comme un continuum de possibilités dépassant la frontière binaire du genre. Les chercheurs sont ainsi invités à réfléchir aux possibilités qu’offre cette conception fluide et dynamique du genre et à en tenir compte dans leurs travaux, afin de proposer une restitution de ces sociétés anciennes plus en phase avec le système de pensée préhispanique. C’est précisément le but de cette étude sur les sculptures en pierre anthropomorphes appartenant à la tradition andine préhispanique recuay. Cette contribution interroge la manière dont la fluidité du genre intervient au sein de l’iconographie des sculptures, cela afin de permettre de mieux appréhender l’essence des personnages représentés.
9
Wojakowska, A., A. Górniak y W. Gawel. "Limites des solutions solides dans le système binaire CdBr2-AgBr". Le Journal de Physique IV 11, PR10 (diciembre de 2001): Pr10–147—Pr10–151. http://dx.doi.org/10.1051/jp4:20011022.
Texto completo
10
Kherris, Sahraoui, Djallel Zebbar, Mohamed Makhlouf, Souhila Zebbar y Kouider Mostefa. "Etude et analyse d’une machine frigorifique à absorption-diffusion solaire NH3-H2O-H2". Journal of Renewable Energies 15, n.º 3 (23 de octubre de 2023): 373–82. http://dx.doi.org/10.54966/jreen.v15i3.328.
Texto completoResumen
Cet article est consacré à la modélisation mathématique d’un système frigorifique solaire en vue de déterminer ses paramètres énergétiques. Le système en question est à absorption-diffusion fonctionnant avec le couple ammoniac-eau et l’hydrogène comme gaz inerte. Au cours de cette étude et pour la première fois, est utilisé dans le calcul de ce type de machine, un nouveau modèle mathématique pour le calcul des propriétés thermodynamiques du couple binaire ammoniac eau. A l’issue de cette étude, une analyse comparative des résultats a été effectuée sur la base des données de Bourseau.
Tesis sobre el tema "Système à sortie binaire"
1
Goudjil, Abdelhak. "De l'identification des systèmes (hybrides et à sortie binaire) à l'extraction de motifs". Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC240/document.
Texto completoResumen
Les travaux de cette thèse portent sur l'identification des systèmes et l'extraction de motifs à partir de données. Dans le cadre de l'identification des systèmes, nous nous intéressons plus précisément à l'identification des systèmes dynamiques hybrides et l'identification des systèmes dynamiques linéaires ayant une sortie binaire. Deux classes très populaires des systèmes hybrides sont les systèmes linéaires à commutations et les systèmes affines par morceaux. Nous faisons tout d'abord un état de l'art sur les méthodes d'identification de ces deux classes. Nous proposons ensuite un algorithme basé sur une méthode d'identification de type OBE "Outer Bounding Ellipsoid" pour l'identification en temps réel des systèmes à commutations soumis à un bruit borné. Nous présentons ensuite plusieurs extensions de l'algorithme soit pour l'identification des systèmes affines par morceaux, l'identification des systèmes à commutations décrits par un modèle du type erreur de sortie et l'identification des systèmes MIMO à commutations. Nous abordons ensuite le problème d'identification des systèmes linéaires ayant une sortie binaire en introduisant un point de vue original consiste à formuler le problème d'identification comme un problème de classification. Ceci permet de proposer deux algorithmes d'identification basés sur l'utilisation des SVMs. Le premier algorithme est dédié à l'identification des systèmes à temps discret et le deuxième algorithme est dédié à l'identification des systèmes à temps continu. Dans le cadre de l'extraction de motifs, nous présentons dans un premier temps un état de l'art sur les algorithmes d'extraction de motifs et sur les techniques de la classification non supervisée. Ensuite, nous proposons un algorithme d'extraction de motifs à partir des données basé sur des techniques de classification non superviséeIn this thesis, we deal with the identification of systems and the extraction of patterns from data. In the context of system identification, we focus precisely on the identification of hybrid systems and the identification of linear systems using binary sensors. Two very popular classes of hybrid systems are switched linear systems and piecewise affine systems. First, we give an overview of the different approaches available in the literature for the identification of these two classes. Then, we propose a new real-time identification algorithm for switched linear systems, it's based on an Outer Bounding Ellipsoid (OBE) type algorithm suitable for system identification with bounded noise. We then present several extensions of the algorithm either for the identification of piecewise affine systems, the identification of switched linear systems described by an output error model and the identification of MIMO switched linear systems. After this, we address the problem of the identification of linear systems using binary sensors by introducing an original point of view. We formulate the identification problem as a classification problem. This formulation allows the use of supervised learning algorithms such as Support Vector Machines (SVMs) for the identification of discrete time systems and the identification of continuous-time systems using binary sensors. In the context of pattern extraction, we first present an overview of the different pattern extraction algorithms and clustering techniques available in the literature. Next, we propose an algorithm for extracting patterns from data based on clustering techniques
2
Oualla, Hicham. "Contributions à l'identification en boucle ouverte/fermée des systèmes à base de données binaires". Electronic Thesis or Diss., Normandie, 2022. http://www.theses.fr/2022NORMC229.
Texto completoResumen
Cette thèse est consacrée à l'identification des systèmes à base de données binaires. Dans un premier temps, une présentation succincte de l'ensemble des méthodes d'identification des systèmes basé sur l'utilisation des données binaires existant dans la littérature est donnée. Dans la suite nous nous sommes intéressé au problème d'identification en boucle ouverte des systèmes à sortie et entrée binaires. Nous proposons des méthodes permettant l'identification des systèmes RIF et plus complexes les RII ayant une entrée et sortie binaires. Ces méthodes sont analysées et testées par des exemples numériques. Dans le reste de ce travail, nous proposons des premières solutions aux problèmes d'identification en boucle fermée des systèmes à base de données binaires. Les premières solutions sont dédiées aux systèmes à sortie binaire, l'excitation de la boucle fermée est supposée être à haute résolution. Enfin, deux méthodes sont proposées pour les systèmes en boucle fermée à sortie et entrée binaires. Ces solutions sont testées sur des exemples numériques pour mesurer leurs performancesThis thesis is devoted to the identification of systems based on binary data. First, a brief presentation of all the methods of identification of systems based on the use of binary data existing in the literature is given. In the following, we are interested in the problem of open loop identification of systems with binary output and input. We propose methods for the identification of FIR systems and more complex IIR systems with binary input and output. These methods are analyzed and tested by numerical examples. In the rest of this work, we propose first solutions to the problems of closed-loop identification of systems based on binary data. The first solutions are dedicated to binary output systems, the closed loop excitation is assumed to be high resolution. Finally, two methods are proposed for closed loop systems with binary output and input. These solutions are tested on numerical examples to quantify their performances
3
Davidenko, Tatyana. "Hydratation d'un système cimentaire binaire contenant des cendres volantes de biomasse". Thèse, Université de Sherbrooke, 2015. http://hdl.handle.net/11143/6988.
Texto completoResumen
Résumé : L’utilisation des cendres volantes générées par la combustion de biomasse présente une solution très prometteuse pour la conception de bétons écologiques de haute performance. Cependant, leur comportement dans un milieu cimentaire est encore peu étudié. Ce projet est concentré sur la compréhension des processus d’hydratation d’un système cimentaire contenant les cendres volantes de biomasse disponibles localement.
Lors du programme expérimental, la caractérisation physico-chimique des cendres volantes étudiées a d’abord été réalisée. Ensuite, leur effet sur les propriétés rhéologiques, la cinétique d’hydratation, l’évolution des hydrates avec le temps et le développement des résistances ont été examinés. Les systèmes étudiés sont des pâtes et des mortiers avec différents taux de remplacement de ciment par les cendres volantes et deux rapports eau/liant de 0,5 et 0,4 en absence et en présence de superplastifiant. La variation des propriétés physico-chimiques de différents échantillons des cendres volantes (finesse, teneur en chaux libre, en sulfates et en calcite) a été utilisée pour déterminer l’effet de chacun de ces paramètres sur les performances des mélanges.
Le remplacement partiel du ciment par les cendres volantes de biomasse entraine des changements sur la rhéologie, la cinétique d’hydratation, la composition des hydrates et la microstructure des pâtes hydratées. De plus, certains problèmes de compatibilité entre les cendres volantes et les superplastifiants sont observés. En se basant sur l’analyse des résultats obtenus, les explications des phénomènes qui se produisent dans les systèmes cimentaires contenant les cendres volantes de biomasse sont proposées.Abstract : The use of wastepaper sludge ash (WSA) represents a very promising solution for ecological high performance concrete design. However, the effect of WSA on cementitious systems properties is still insufficiently studied. The present project intends to understand the hydration process in Portland cement systems containing locally available WSA. The experimental program begins with characterization of WSA physico-chemical properties. Then, the effect of WSA on rheology, hydration kinetics, hydration products evolution over time and strength development in cement blends is investigated. The systems discussed here are cement pastes and mortars with different cement replacement by WSA ratio and two water to binder ratio (0,5 and 0,4) with and without superplasticizer. The variation of physico-chemical properties (fineness; free lime, sulphate and calcite content) between different WSA samples was used to determine the effect of each of these parameters on blended cement performances. Partial cement replacement by WSA leads to changes in rheology, hydration kinetics, composition of the hydrates and microstructure of hydrated pastes. Moreover, some incompatibility problems between WSA and superplasticizers used are observed. Based on experimental results analysis, the explanations of the phenomena taking place in cement systems containing WSA are proposed.
4
Kadok, Joris. "Le système binaire aluminium-iridium, du diagramme de phases aux surfaces atomiques". Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0202/document.
Texto completoResumen
Un alliage métallique complexe (CMA) est un composé intermétallique dont la maille élémentaire est constituée d’un nombre important d’atomes formant bien souvent des aggrégats de haute symmétrie. De la complexité de ces composés peuvent découler des propriétés physico-chimiques intéressantes pour divers domaines d’application. Le système binaire aluminium-iridium est un système qui présente de nombreux composés intermétalliques dont la moitié sont des CMA. Malgré l’étude approfondie dont ce système a fait l’objet dans la littérature, certaines incertitudes demeuraient irrésolues, nous amenant ainsi à réexaminer le diagramme de phase Al-Ir. Nous avons également exploré les systèmes ternaires dits "push-pull" Al-Au-Ir et Al-Ag-Ir, propices à la formation de phases CMA selon certains auteurs. Au total, une centaine d’échantillons ont été préparés par fusion à l’arc puis analysés par diverses techniques de caractérisations: diffraction des rayons X (XRD), microscopie électronique à balayage (SEM), analyse dispersive en énergie (EDS) et analyse thermique différentielle (DTA). Quatre nouveaux composés intermétalliques ont ainsi été identifiés: Al2.4Ir, Al72Au2.5Ir29.5, Al3AuIr et Al11SiIr6, ce dernier étant issu d’une manipulation accidentelle. La structure cristallographique de chacun de ces composés a été résolue, révélant Al2.4Ir et Al72Au2.5Ir29.5 comme étant des CMA possédant une centaine d’atomes dans la maille. Des calculs basés sur la théorie de la fonctionnelle de la densité (DFT) sont venus apporter des précisions concernant la stabilité des composés Al3AuIr et Al11SiIr6. Pour le système Al-Ir, une variante structurale de deux CMA déjà connus de la littérature a également pu être mise en évidence. Les structures cristallographiques de la variante de Al2.75Ir et de celle de Al28Ir9 ont ainsi été approchées, présentant 240 et 444 atomes dans leur maille respective. Les propriétés de surface comptent parmi les aspects les plus intéressants des CMA, par exemple pour la catalyse hétérogène. En l’absence de monocristaux de taille macroscopique, nous avons étudié la possibilité de former des composés de surface par dépôt de Ir sur une surface Al(100) suivi de recuits. Des caractérisations par diffraction d’électrons lents (LEED), spectroscopie de photoélectrons excités par rayons X (XPS) et microscopie à effet tunnel (STM) supportés par ces calculs ab initio ont révélé qu’à partir de 320°C, le composé Al9Ir2 se formait en surface mais également dans une partie du volume du substratA complex metallic alloy (CMA) is an intermetallic compound whose unit cell contains a large number of atoms oftenly forming highly-symmetric clusters. From the complexity of these compounds can arise physical and chemical properties interesting for various fields of application. The aluminium-iridium binary system exhibits numerous intermetallic compounds of which half of them are actually CMAs. Despite this system being extensively studied in the literature, some uncertainies remained unsolved, leading us to reinvestigate the Al-Ir phase diagram. In addition, the "push-pull" systems Al-Au-Ir and Al-Ag-Ir, favorable for the formation of CMA according to the literature, have been explored. Thus, near a hundred of samples have been prepared by arc-melting before being analyzed with different characterizations techniques: X-ray diffraction (XRD), scanning electron microscopy (SEM), energy dispersive X-ray spectroscopy (EDS) and differential thermal analysis (DTA). From this study, 4 new intermetallic compounds could be identified: Al2.4Ir, Al72Au2.5Ir29.5, Al3AuIr and Al11SiIr6, the latter being the result of a fortuitous manipulation. The crystallographic structure of each of these compounds has been solved, revealing Al2.4Ir and Al72Au2.5Ir29.5 to be two CMAs with around one hundred of atoms in their unit cell. Calculations based on the density functional theory (DFT) brought further details about the stability of the two other Al3AuIr and Al11SiIr6 compounds. In the Al-Ir binary system, a structural variant of two well-known CMAs has been also unveiled. The crystallographic structures of the Al2.75Ir and Al28Ir9 variant have been approached, revealing 240 and 444 atoms in their respective unit cell. The CMAs oftently exhibit interesting surface properties. In order to study the Al-Ir compound surfaces, iridium adsorption on Al(100) surface followed by annealing has been investigated. The characterizations by lowenergy electrons diffraction (LEED), X-ray photoelectron spectroscopy (XPS) and scanning tunneling miscoscopy (STM) supported by ab initio calculations revealed that, from 320 C, the Al9Ir2 compound is formed at the surface but also in the substrate bulk
5
Poujade, Olivier. "Itération post-newtonienne du champ de gravitation d'un système isolé en relativité générale : application au cas d'un système binaire d'étoiles étendues". Paris 7, 2002. https://tel.archives-ouvertes.fr/tel-00002179v2.
Texto completo
6
Abdelatif, Radhia. "Etude de plusieurs problèmes de dénombrement liés à la numération binaire". Paris 6, 1986. http://www.theses.fr/1986PA066100.
Texto completoResumen
Introduction. Comptage des mots circulaires de longueur n. Recherche d'une fonction de comptage. Généralisation du problème aux cycles. Définitions et propriétés des suites binaires périodiques de période 2 h. Cycles antisymétriques. Etude de la loi croisée du couple (i. J. ) Lorsque le nombre d'itérations est supérieur à 1.
7
Marchetti, Franck. "Contribution à la classification de données binaires et qualitatives". Metz, 1989. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1989/Marchetti.Franck.SMZ897.pdf.
Texto completoResumen
Dans ce travail, nous étudions des méthodes de classification automatique spécifiques aux données binaires et qualitatives nominales et ordinales. A chaque fois, nous essayons de rester proche de la forme et de la structure initiale des données. Ces méthodes fournissent des partitions optimisant un critère défini à partir de la distance en valeurs absolues ou distance L1. Cette approche permet d'aboutir à des résultats facilement interprétables par rapport aux données initiales. Nous définissons ensuite une inertie sur l'espace binaire muni de la distance L1. Cette inertie binaire se comporte comme l'inertie habituelle : une relation de type Huyghens et une relation de décomposition de l'inertie sont démontrées. La méthode de classification et la méthode de classification croisée pour tableaux de variables binaires peuvent ainsi être replacées dans un contexte plus habituel. Elles optimisent respectivement un critère d'inertie intraclasse et une mesure d'information. Une extension à la classification ascendante hiérarchique est également envisagée. Ensuite, toujours en restant proche des données initiales, une analyse en composantes principales pour données binaires est construite. Celle-ci recherche un ensemble d'axes factoriels binaires et permet de mettre en évidence des sous-tableaux homogènes. Enfin, un bilan des méthodes pour tableaux binaires est effectué. Toutes les méthodes proposées ici ont été programmées et intégrées au logiciel d'analyse de données SICLA (système interactif et classification automatique, INRIA)We propose several clustering methods which are specific of binary and categorical data. Each time, we try to keep to the initial data structure. These methods supply partition optimising criteria defined with absolute value distance or L1 distance. The advantage of this approach is to give results easy to interpret in regard of initial data. Then, we define an inertia on binary space. This binary inertia behaves as an ordinary inertia : a relation of the Huyghens type and a relation of decomposition of the inertia are demonstrated. The clustering method and the crossed clustering method for binary data could be replaced in a more usual context. They respectively optimise an inertia criteria and a measure of information. An agglomerative hierarchical method for binary data is also proposed. Then, we studied a principal components analysis for binary data. This analysis, which is defined with binary factors, can be used to find homogeneous submatrix. Every methods proposed here have been programmed and integrated in SICLA system
8
Ait, Mansour El Houssain. "Numérisation rapide d'un système synchronisé en sortie d'antennes multi-réparties tel que le Radiohéliographe de Nançay". Thesis, Paris Sciences et Lettres (ComUE), 2018. http://www.theses.fr/2018PSLEO001/document.
Texto completoResumen
Le Radiohéliographe de Nançay est le seul instrument dédié à l'imagerie du soleil en ondes décimétriques-métriques. Il fonctionne sur le principe de l'interférométrie, en utilisant 47 antennes essentiellement réparties sur des axes est-ouest (3,2 km) et nord-sud (2,5 km). Cette étude a pour but d'explorer un nouveau concept de numérisation propre à la radioastronomie du futur, appliquée ici à l'interférométrie solaire. Elle porte sur la numérisation rapide d'un système synchronisé en sortie d'antennes. Ces aspects "numérisation rapide" et "synchronisation" sont d'une importance capitale pour les prochains radiotélescopes du futur. Ils permettent de simplifier les chaînes de réception radiofréquence et de diminuer la consommation électrique ainsi que les coûts d'entretien et de la maintenance. L'application à l'observation du soleil comporte cependant des contraintes originales, comme la grande dynamique des signaux, qui ne sont pas prises en compte actuellement dans les études en cours pour les radiotélescopes du futur. Le radiohéliographe actuel a une chaîne de réception analogique avec une numérisation centralisée. La commutation entre les différentes fréquences dans la bande 150-450~MHz est réalisée d'une façon analogique et temporelle. Ceci nécessite beaucoup de calibrations analogiques et oblige de figer la gamme des fréquences (10 fréquences de largeur 1~MHz). De plus, en interférométrie métrique, les très grandes longueurs de câbles coaxiales sont onéreuses. Les signaux transmis des antennes au récepteur sont toujours sources d'erreurs et des fluctuations importantes réduisent l'information radiofréquence. Toutefois, apporter une numérisation complète de la bande (300~MHz) permet d'avoir de la souplesse dans le traitement et l'analyse des données (résolution fréquentielle et la possibilité d'observer plusieurs bandes simultanément, traitement des parasites). Ceci engendre la nécessité d'avoir une très grande précision des horloges (0,7~ps d'erreur de phase) pour cadencer des ADC (Analog-to-Digital-Converter) large bande (1~GHz d'horloge). L'objectif principal de la thèse est d'étudier la synchronisation pour l'application à un réseau d'antennes multi-réparties. Le saut technologique ainsi induit et les concepts étudiés sont un enjeu grandissant dans les grands projets européens et internationauxThe Nançay Radioheliograph is the only instrument dedicated to the solar corona imaging in the 150-450 MHz frequency band. It operates on the principle of interferometry, using 47 antennas essentially distributed on the east-west (3.2 km) and north-south (2.5 km) axes. This study aims to explore a new technical concept for future radio astronomy, applied to solar interferometer. It deals with the rapid digitization of a synchronized system at the antenna sides. High speed digitization and high accuracy synchronization are the most important aspects for future radio telescopes. They make it possible to simplify radiofrequency reception chains and reduce their power consumption, as well as maintenance costs and complexity. The application to the observation of the sun, however, has some original constraints, such as the great dynamics of the signals, which are not taken into account in the current studies for future radio telescopes. The current radio telescope has an analog receiver with a centralized digitization. The switching time between each frequency (10 frequencies of 1 MHz width) in 150-450 MHz band analyzed introduce latency in solar images processing, also decrease the signal-to-noise ratio. In addition, in metric interferometry, the several lengths of coaxial cables in which the signal is transported from the antennas to the receiver always cause significant errors and fluctuations in the radiofrequency reception chains. Providing full digitization of the band (300 MHz) allows more flexibility in data processing and analyzing (frequency resolution and the ability to observe multiple bands simultaneously). This required high clock accuracy (0.7 ps of jitter) for ADCs clocks (1 GHz clock). Therefore, the main objective of this thesis is to reach a sub-ns global time synchronization of distributed networks such as radio interferometer array as the Nançay Radioheliograph. The technological leap thus induced is a growing challenge in major European and international projects
9
Cuvelier, Hervé. "Une approche de la localisation de l'information appliquée à la reconnaissance du courrier manuscrit". Vandoeuvre-les-Nancy, INPL, 1988. http://www.theses.fr/1988NAN10349.
Texto completoResumen
Une approche de réduction et de localisation de l'information a été développée et intégrée dans un système de lecture du courrier manuscrit américain. Une étape préliminaire de binarisation de l'image diminue le volume d'information à traiter et atténue la présence d'éléments superflus en évitant de détériorer les caractères. Une méthodologie originale, fondée sur des critères géométriques simples, montre l'intérêt d'utiliser les points extrêmes des formes pour décrire l'image et localiser l'information
10
Ghaoui, Jade. "Modélisation de la formation de motifs périodiques dans un système eutectique binaire formant un corps igné". Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/33149.
Texto completoResumen
Les oscillations en composition et taille des grains peuvent parfois être générées dans les intrusions magmatiques, produisant des motifs caractéristiques à l’échelle du centimètre au mètre sous forme de couches cycliques. Il est essentiel de comprendre l’origine de ces motifs afin d’établir les circonstances géologiques de formation de ces corps.
Nous travaillons avec l’hypothèse que ces motifs sont le résultat d’un processus d’auto- organisation non linéaire selon lequel l’interaction entre la dynamique de cristallisation et la diffusion cause la ségrégation des minéraux selon leur nature et leur taille. Ce mécanisme est semblable à celui à l’origine des bandes de Liesegang et mène à des caractéristiques comparables, telles qu’une progression géométrique de la position des bandes. Dans le but d’obtenir une description plus complète du processus de formation des motifs périodiques dans le contexte d’un système magmatique eutectique binaire en contact avec une roche- mère plus froide, nous présentons un modèle numérique en une dimension de nucléation et croissance qui généralise les modèles précédents. Notre modèle inclut une correction tenant compte de l’effet de la porosité sur la tortuosité, ainsi que le mûrissement d’Ostwald, facul- tativement. La solidification est contrôlée par des paramètres clés déterminant l’émergence du motif. De plus, en utilisant une géométrie sphériquement symétrique, notre modèle peut être appliqué à la formation de granites orbiculaires.
Libros sobre el tema "Système à sortie binaire"
1
Système d'exploitation et extensions du matériel. Paris: Masson, 1987.
Buscar texto completo
2
1949-, Hutchison David, Mariani J. A. 1957- y Shepherd W. D. 1939-, eds. Local area networks: An advanced course, Glasgow, July 11-22, 1983 proceedings. Berlin: Springer-Verlag, 1985.
Buscar texto completo
3
Architecture matérielle et logicielle des ordinateurs et des microprocesseurs. Paris: Armand Colin, 1990.
Buscar texto completo
4
A, Patterson David, ed. Computer Organization and Design: The Hardware/Software Interface. 2a ed. San Francisco, Calif: Morgan Kaufmann Publishers, 1998.
Buscar texto completo
5
Hennessy, John L. Computer organization and design: The hardware/software interface. San Francisco: Morgan Kaufmann Publishers, 1994.
Buscar texto completo
6
Hennessy, John L. Computer Organization and Design: The Hardware/Software Interface. San Mateo, Calif: Morgan Kaufmann, 1994.
Buscar texto completo
7
Hennessy, John L. Computer organization and design: The hardware/software interface. San Mateo, Calif: Morgan Kaufmann, 1994.
Buscar texto completo
8
Questions, Réponses et Solutions Sur SYSTÈME BINAIRE: Saveur des Mathématiques. Independently Published, 2020.
Buscar texto completo
9
Dakhlallah, Jamil. Risque de sortie de route et développement d'un système d'alerte: Nouvelle architecture pour le développement d'un profil de vitesse maximale (Omn.Univ.Europ.) (French Edition). Editions universitaires europeennes, 2010.
Buscar texto completo
10
Geyh, Charles Gardner. Who is to Judge? Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190887148.001.0001.
Texto completoResumen
An elected judiciary is virtually unique to the American experience, and creates a paradox in a representative democracy. Elected judges take an oath to uphold the law impartially, which calls upon them to swear off the influence of the very constituencies they must cultivate in order to attain and retain judicial office. This paradox has given rise to perennially shrill and unproductive binary arguments over the merits and demerits of elected and appointed judiciaries, which this project seeks to transcend and reconceptualize with a search for middle ground. When the exaggerated arguments of disputants on both sides of the debate are identified and discounted, it becomes possible to approach consensus. By better informing the judicial selection debate with the lessons of law, politics, psychology, history, and anthropology, participants are better able to sort wheat from chaff and limit the scope of their disagreements. While consensus can thus be approached, it is unlikely to be achieved, because disuniformity is both inevitable and desirable. It is inevitable as long as state and regional histories, political cultures, and current events differ significantly enough to cultivate competing views as to whether judges can be better trusted to uphold the law with or without voter supervision. It is desirable, because a menu of viable, alternative selection systems enables states to address the legitimacy problems that their courts encounter over time, without devolving into constitutional crisis.
Capítulos de libros sobre el tema "Système à sortie binaire"
1
Bromberger, Martin, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali y Christoph Weidenbach. "A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic". En Tools and Algorithms for the Construction and Analysis of Systems, 480–501. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_27.
Texto completoResumen
AbstractIn a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clause sets over a finite set of first-order constants. The translation preserves validity and satisfiability and it is still applicable if we extend our input with positive universally or existentially quantified verification conditions (conjectures). We call this translation a Datalog hammer. The combination of its implementation in SPASS-SPL with the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. We verify supervisor code for two examples: a lane change assistant in a car and an electronic control unit of a supercharged combustion engine.In this paper, we improve our Datalog hammer in several ways: we generalize it to mixed real-integer arithmetic and finite first-order sorts; we extend the class of acceptable inequalities beyond variable bounds and positively grounded inequalities; and we significantly reduce the size of the hammer output by a soft typing discipline. We call the result the sorted Datalog hammer. It not only allows us to handle more complex supervisor code and to model already considered supervisor code more concisely, but it also improves our performance on real world benchmark examples. Finally, we replace the before file-based interface between SPASS-SPL and VLog by a close coupling resulting in a single executable binary.
2
Le, Quang Loc y Xuan-Bach D. Le. "An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic". En Lecture Notes in Computer Science, 477–97. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30829-1_23.
Texto completoResumen
AbstractAn efficient entailment proof system is essential to compositional verification using separation logic. Unfortunately, existing decision procedures are either inexpressive or inefficient. For example, Smallfoot is an efficient procedure but only works with hardwired lists and trees. Other procedures that can support general inductive predicates run exponentially in time as their proof search requires back-tracking to deal with a disjunction in the consequent.This paper presents a decision procedure to derive cyclic entailment proofs for general inductive predicates in polynomial time. Our procedure is efficient and does not require back-tracking; it uses normalisation rules that help avoid the introduction of disjunction in the consequent. Moreover, our decidable fragment is sufficiently expressive: It is based on compositional predicates and can capture a wide range of data structures, including sorted and nested list segments, skip lists with fast-forward pointers, and binary search trees. We implemented the proposal in a prototype tool, called $$\mathtt {S2S_{Lin}}$$ S 2 S Lin , and evaluated it over challenging problems from a recent separation logic competition. The experimental results confirm the efficiency of the proposed system.
3
"Chapitre 4 RÉSOLUTION DU BAGUENODIER AVEC LE SYSTÈME BINAIRE". En Le binaire au bout des doigts, 63–92. EDP Sciences, 2023. http://dx.doi.org/10.1051/978-2-7598-3088-6.c006.
Texto completo
4
"Chapitre 3 LE SYSTÈME BINAIRE DE POSITION ET SON HISTOIRE". En Le binaire au bout des doigts, 45–62. EDP Sciences, 2023. http://dx.doi.org/10.1051/978-2-7598-3088-6.c005.
Texto completo
5
WEBB, Natalie. "Objets compacts". En Gravitation, 109–83. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9120.ch2.
Texto completoResumen
Ce chapitre présente la formation et la description dans le cadre de la relativité générale des objets compacts, les naines blanches, les étoiles à neutrons et les trous noirs. Il présente également les caractéristiques observationnelles de ces objets. Il aborde aussi les manifestations différentes quand ces objets se trouvent dans un système binaire.
6
HYGOUNENC, Emmanuel. "Conception physique". En Ingénierie des systèmes, 193–232. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9108.ch10.
Texto completoResumen
Le processus de conception physique a pour objectif d’identifier une ou plusieurs architectures pouvant être réalisées, répondant au problème posé par la spécification du système. L’architecture physique en sortie de ce processus de conception devra mettre en œuvre les fonctions de l’architecture fonctionnelle et répondre aux missions de l’architecture opérationnelle.
7
Drutman, Lee. "All Politics Is Conflict; Not All Conflict Is Toxic". En Breaking the Two-Party Doom Loop, 123–56. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780190913854.003.0007.
Texto completoResumen
This chapter assesses why the binary conflict over national identity is so destructive, and why it is so hard to escape from inside the two-party system. A conflict over identity leads to increasing inequality in a two-party system: because it crowds out economic voting, and makes it harder for voters to signal their dissatisfaction with economics separate from their cultural preferences. The chapter then explains why people cannot get rid of "identity politics"-group identities are the building blocks of political life. However, identity politics can be made less toxic by fostering a party system where important identities are cross-cutting instead of cumulative, and where people experience more uncertainty and complexity. A fully sorted two-party system collapses people’s thinking into dangerous binaries.
8
Cupillard, Emilie, Sébastien Durrier y Alexandra Louvet. "Les conditions d’accès à l’apprentissage dans le secondaire en 2018 à la sortie de la classe de troisième". En Sélections, du système éducatif au marché du travail, 69–83. Céreq, 2021. http://dx.doi.org/10.4000/books.cereq.1164.
Texto completo
9
Damour, M. M. Thibaut y Remo Ruffini. "Sur certaines vérifications nouvelles de la Relativité générale rendues possibles par la découverte d'un pulsar membre d'un système binaire". En Nonlinear Gravitodynamics, 484–86. WORLD SCIENTIFIC, 2003. http://dx.doi.org/10.1142/9789812564818_0039.
Texto completo
10
MADEC, S. y E. VALADE. "Transport aérien de patients hautement contagieux". En Médecine et Armées Vol. 46 No.4, 399–404. Editions des archives contemporaines, 2018. http://dx.doi.org/10.17184/eac.7331.
Texto completoResumen
Le transport aérien de patients hautement contagieux est un défi humain et technique, à la croisée de problématiques médicales, aéronautiques, réglementaires internationales et parfois éthiques. Les grands principes sont bien connus en matière de confinement et de biosécurité. Dans le cadre de la maladie à virus Ebola, le point de départ a été la déclaration de la directrice générale de l’Organisation mondiale de la santé le 8 août 2014 définissant l’épidémie en Afrique de l’Ouest comme une urgence de santé publique de portée internationale et enjoignant les pays occidentaux à être capables de rapatrier leurs ressortissants. Le travail initié reste à ce jour inachevé, le système de confinement industrialisé restant au stade de prototype et le projet de remplacement du caisson de transport pour l’entrée et la sortie n’ayant pas encore abouti. Il existe par ailleurs de nombreuses autres solutions techniques développées en Europe et aux États-Unis qui illustrent les deux grandes approches possibles avec des systèmes souples ou rigides. La permanence de la menace biologique illustrée par les récentes épidémies à Corona Virus nécessite de disposer de cette capacité.
Actas de conferencias sobre el tema "Système à sortie binaire"
1
Chytas, Dimitris y Vassilis Paliouras. "Approximate Sorting Check Node Processing in Non-Binary LDPC Decoders". En 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS). IEEE, 2020. http://dx.doi.org/10.1109/icecs49266.2020.9294934.
Texto completo
2
Alaparthi, Srikanth, Kanupriya Gulati y Sunil P. Khatri. "Sorting binary numbers in hardware - A novel algorithm and its implementation". En 2009 IEEE International Symposium on Circuits and Systems - ISCAS 2009. IEEE, 2009. http://dx.doi.org/10.1109/iscas.2009.5118240.
Texto completo
3
Wang, Shen-Ge y Nicholas George. "Signal, noise, and background theory for white-light correlation filters". En OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1988. http://dx.doi.org/10.1364/oam.1988.mv1.
Texto completoResumen
A theoretical study is presented comparing the performance of several correlation filters including the Fourier-based matched filter, the Hartley transform system, and the sine-filter-cosine configuration.1 In principle all these can be realized in systems using incoherent illumination, but the latter two possess the distinct advantage that the filter transmittance is a real number. Both a sine filter and a binarized sine filter are studied for the sine-cosine cascade correlator, and the latter is clearly shown to be superior. The evaluation is based on calculations of the ratio of peak output signal-to-noise as is customary. Additionally it is important to consider the ambient background signal in regions near the correlation peak and the spatial variation in this local background. We show that all four systems provide matched filter performance. However, the sine transform filter and its binary version are superior, since for these the mean value of the local background is zero. Computer simulations are provided, illustrating the two important applications of sorting pictorial scenes and words.
4
Wang, Jun, Sonjoy Das, Chi Zhou y Rahul Rai. "Data-Driven Simulation for Fast Prediction of Pull-Up Process in Bottom-Up Stereo-Lithography". En ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/detc2016-59723.
Texto completoResumen
Developing cohesive finite element simulation models of the pull-up process in bottom-up stereo-lithography (SLA) system can significantly increase the reliability and through-put of the bottom-up SLA process. Pull-up process modeling investigates relation between motion profile and crack initialization and propagation during the separation process. However, finite element (FE) simulation of the pull-up process is computationally very expensive and time-consuming. This paper outlines a method to quickly predict the separation stress distribution based on 2D shape grid mapping and neural network. Sixteen cohesive FE models with various cross-section shapes form our database. Specific 2D shape grid mapping was utilized to describe each shape by generating a sorted binary vector. A backpropagation (BP) neural network was then trained using binary vectors, material properties, and FE simulated pull-up separation stress distribution. Given material properties, the trained model can then be used to predict the pull-up separation stress distribution of a new shape. The results demonstrate that the proposed data driven method can drastically reduce computing costs. The comparison between the predicted values by the data driven approach and simulated FE models verify the validity of the proposed method.