Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.

Éléments généraux de l'histoire comparée de la philosophie, de la littérature et des événements publics depuis les temps les plus reculés jusqu'à nous : avec un appendix sur l'histoire du droit, de la théologie, des sciences et des arts ... /

Texto a dos col.

Développement de méthodes analytiques de séparation des produits de digestion enzymatique des dérivés de cellulose

La cellulose et ses dérivés sont utilisés dans un vaste nombre d’applications incluant le domaine pharmaceutique pour la fabrication de médicaments en tant qu’excipient. Différents dérivés cellulosiques tels que le carboxyméthylcellulose (CMC) et l’hydroxyéthylcellulose (HEC) sont disponibles sur le commerce. Le degré de polymérisation et de modification diffèrent énormément d’un fournisseur à l’autre tout dépendamment de l’origine de la cellulose et de leur procédé de dérivation, leur conférant ainsi différentes propriétés physico-chimiques qui leurs sont propres, telles que la viscosité et la solubilité. Notre intérêt est de développer une méthode analytique permettant de distinguer la différence entre deux sources d’un produit CMC ou HEC. L’objectif spécifique de cette étude de maitrise était l’obtention d’un profil cartographique de ces biopolymères complexes et ce, par le développement d’une méthode de digestion enzymatique donnant les oligosaccharides de plus petites tailles et par la séparation de ces oligosaccharides par les méthodes chromatographiques simples. La digestion fut étudiée avec différents paramètres, tel que le milieu de l’hydrolyse, le pH, la température, le temps de digestion et le ratio substrat/enzyme. Une cellulase de Trichoderma reesei ATCC 26921 fut utilisée pour la digestion partielle de nos échantillons de cellulose. Les oligosaccharides ne possédant pas de groupements chromophores ou fluorophores, ils ne peuvent donc être détectés ni par absorbance UV-Vis, ni par fluorescence. Il a donc été question d’élaborer une méthode de marquage des oligosaccharides avec différents agents, tels que l’acide 8-aminopyrène-1,3,6-trisulfonique (APTS), le 3-acétylamino-6-aminoacridine (AA-Ac) et la phénylhydrazine (PHN). Enfin, l’utilisation de l’électrophorèse capillaire et la chromatographie liquide à haute performance a permis la séparation des produits de digestion enzymatique des dérivés de cellulose. Pour chacune de ces méthodes analytiques, plusieurs paramètres de séparation ont été étudiés.

Structure du temps de travail des infirmières de santé publique: effets de l'âge des patients, de la nature des prestations fournies et du lieu du contact. [Structure of work times of public health nurses: effect of the age of patients, nature of care given and location of contact].

In the framework of health services research sponsored by the Swiss National Science Foundation, a research was undertaken of the activity of the large majority of the public health nurses working in the Swiss cantons of Vaud and Fribourg (total population 700,000). During one week, 130 nurses gathered, with a specially devised instrument, data on 4165 patient visits. Studying the duration of the contacts, one has distinguished contact duration per se (DC), duration of the travel time preceding the contact (DD), and total duration in relation with the contact (DTC-addition of the first two). It was noted that the three durations increased significantly with patient age (as regard travel time, this is explained by the higher proportion of home visits in higher age groups, as compared with visits at a health center). Examined according to location of the visit, contact duration per se (without travel) is higher for visits at home and in nursing homes than for those taking place at a health center. Looked at in respect to the care given (technical care, or basic nursing care, or both simultaneously), our data show that the provision of basic nursing care (alone or with technical care) doubles contact duration (from 20 to 42-45'). The analyses according to patient age shows that, at an advanced age (beyond 80 years particularly), there is an important increase of the visits where both types of care are given. However, contact duration per se shows a significant raise with age only for the group "technical care only"; it can be demonstrated that this is due to the fact that older patients require more complex technical acts (e.g., bladder care, as compared with simpler acts such as injection). A model of the relationships between patient age and contact duration is proposed: it is because of the increase in the proportions of home visits, of visits including basic nursing care, and of more complex technical acts that older persons require more of the working time of public health nurses.

« Histoire du mouvement de l'apogée du soleil, ou pratique des règles d'astrologie pour juger des événements généraux. — 1711 ».

Contient : « Lettres objectives... sur divers articles de ce traité, » avec les réponses de l'auteur à « Monseigneur... »