Publicaciones

Affichage de 5131 à 5140 sur 5525

THESE

Méthodologie de développement des systèmes d'information personnalisés : Application à un système d'information au service des usagers des transports terrestres de personnes, Development methodology of the personalized information systems: Application to an information system dedicated to traveller information

Abdouroihamane Anli

Cette thèse propose une méthode pour l'analyse, la conception et la modélisation des systèmes d'information personnalisés. Cette méthode que nous appelons PerMet (PERsonalization METhodology) permet aussi bien la mise en place d'un nouveau système d'information personnalisé que..., This thesis proposes a methodology for the analysis, the design and the modelling of the personalized information systems. This methodology called PerMet (PERsonalization METhodology) allows as well the development of a new personalized information system as the personalization of an already...

Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00151014⟩

THESE

Méthode et outil de simulation distribuée pour l’accommodation de la conduite de réseaux d'entreprise, Method and distributed simulation tool for the control accomodation of corporate networks

Simon Enjalbert

Aujourd'hui, la plupart des entreprises s'organisent en réseaux de partenaires, de fournisseurs et de sous traitants pour réaliser de nouveaux projets. Cependant, les outils classiques de planification n'offrent pas toutes les fonctionnalités nécessaires pour garantir la conduite de..., Method and distributed simulation tool for the control accomodation of corporate networks

Automatique / Robotique. Institut national polytechnique de Toulouse (INPT), 2006. Français. ⟨NNT : ⟩. ⟨tel-01973229⟩

THESE

Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B

Samuel Colin

Dans le domaine des systèmes informatisés où la fiabilité est la première priorité, les méthodes formelles ont prouvé leur efficacité pour la conception de logiciels sûrs. La dépendance à de tels systèmes augmente, et les contraintes rencontrées se font plus diverses et précises, en particulier les..., In the field of automated systems where reliability is the first requirement, formal methods proved to be efficient for the design of safe software. The dependency towards such systems is increasing, and the constraints to be met by these systems become more and more various and precise,...

Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00123899⟩

COMM

Approches orientées services web de l'IHM de supervision : nouvelles solutions technologiques pour les ingénieurs et nouvelles problématiques pour les ergonomes ?

Djilali Idoughi, Christophe Kolski

Dans cet article, nous considérons l’IHM de supervision dans un contexte technologique nouveau et en constante évolution, lequel est caractérisé par des aspects importants comme la mobilité et la coopération entre acteurs d’une part, et l’inter connectivité, l’interopérabilité et l’hétérogénéité..., We consider HCI issues for modern supervisory and control systems within a new technological context, in constant evolution. This evolution is characterized by some important features such as mobility, cooperation between human actors, but also interconnectivity, interoperability and heterogeneity...

ErgoIA 2006, "L'humain comme facteur de performance des systèmes complexes", Oct 2006, Biarritz, France. pp.111-118. ⟨hal-03457071⟩

ART

Matrix metalloproteinase 3 is present in the cell nucleus and is involved in apoptosis.

Karim Si-Tayeb, Arnaud Monvoisin, Claire Mazzocco, Sébastien Lepreux, Marion Decossas, Gaëlle Cubel, Danièle Taras, Jean-Frédéric Blanc, Derrick R Robinson, Jean Rosenbaum

Matrix metalloproteinase (MMP)-3 is a protease involved in cancer progression and tissue remodeling. Using immunofluorescence and immunoelectron microscopy, we identified nuclear localization of MMP-3 in several cultured cell types and in human liver tissue sections. Western blot analysis of...

American Journal of Pathology, 2006, 169 (4), pp.1390-1401. ⟨10.2353/ajpath.2006.060005.⟩. ⟨hal-00215931⟩

THESE

Attelage virtuel pour véhicules automatisés, Automatic control of two vehicles virtually linked

Pierre-Frédéric Toulotte

Ce mémoire est consacré à la réalisation d'un attelage virtuel entre deux véhicules dans des conditions « normales » de conduite et de route (pas de situation d'urgence, route sèche, etc.). Après une présentation de l'historique et de l'état de l'art de la conduite assistée..., This document is devoted to the study of vehicle platooning in "normal" driving conditions and roads (without emergency situations, on dry road, etc.). After a review of the different existing aided or automated driving systems, a model of the longitudinal and/or lateral dynamics of the...

Automatique / Robotique. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00112889v2⟩

THESE

Heuristiques hybrides pour la résolution de problèmes en variables 0-1 mixtes, Hybrid heuristics for 0-1 mixed integer programming

Christophe Wilbaut

Les problèmes d'optimisation en variables 0-1 mixtes permettent de modéliser de nombreux problèmes réels difficiles à résoudre. Cette thèse s'intéresse à la mise en oeuvre de méthodes de résolution hybrides pour obtenir des solutions de bonne qualité en des temps raisonnables pour ces..., The 0-1 mixed integer programs represent many difficult real problems. The subject of this thesis is the proposition of hybrid methods to obtain good solutions in reasonable time for these problems. The algorithms presented in this thesis are tested on the multidimensional knapsack problem. It...

Modélisation et simulation. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00409493⟩

THESE

Contribution à l'évaluation des systèmes interactifs orientés agents, Contribution to the evaluation of interactive systems based on oriented agent architecture

Abdelwaheb Trabelsi

Ce mémoire présente une contribution à l'évaluation des systèmes interactifs basés sur des architectures orientées agents. Avec l'apparition de nouvelles architectures et de nouveaux systèmes à base d'agents, de nouvelles problématiques d'évaluation des systèmes interactifs..., This thesis presents a contribution to the evaluation of interactive systems based on oriented agent architecture. The appearance of new agent based architectures and systems provide new problems concerning the evaluation of agent based interactive systems. So, our work aims at the proposal of a...

Interface homme-machine [cs.HC]. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩. ⟨tel-00393862⟩

ART

Exact differentiation and sliding mode observers for switched Lagrangian systems

Hassan Saadaoui, Noureddine Manamanni, Mohamed Djemai, Jean-Pierre Barbot, Thierry Floquet

The main topic of this paper is the problem of constructing observers for switched mechanical systems, which includes, as a specific case, the design of observers based on the high order sliding mode technique. The high order sliding mode is used to overcome the chattering phenomena occurring,...

Nonlinear Analysis: Theory, Methods and Applications, 2006, 65 (5), pp.1050-1069. ⟨10.1016/j.na.2005.09.047⟩. ⟨hal-00924782⟩

COMM

Odds algorithm'-based opportunity-triggered preventive maintenance with production policy

Edouard Thomas, Eric Levrat, Benoît Iung, Maxime Monnin

In the field of manufacturing, the planning of opportunistic preventive maintenance actions adapted to minimise the number of unnecessary interruptions to production remains a major industrial challenge. Indeed, maintenance decisions have to be made in synchronisation with the production demands to...

6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess'06, Aug 2006, Beijing, China. pp.835-840. ⟨hal-00092005v2⟩