Publications

• COMM

Gestion Dynamique des Services Techniques pour Modèle à Composants

Colombe Hérault, Sylvain Lecomte

Les nouvelles applications étant destinées à des environnements de plus en plus hétérogènes, il est indispensable de proposer des solutions de développement qui répondent au mieux aux besoins d'adaptation des nouveaux services. La programmation par composants répond en partie à cela, en…

2004, pp.135-146. ⟨hal-00003290⟩

• THESE

Génération automatique de composants logiciels sûrs à partir de spécifications formelles B, Automatic generation of reliable components from B formal specifications

Dorian Petit

Ce mémoire est consacré à l'étude de la génération de code à partir de spécifications formelles B. L'aspect primordial à maîtriser pour la génération de code est la modularité du langage B. Pour ce faire, nous avons modélisé le système de modules du langage B en l'exprimant par un…, These works are related to the study of the code generation from B formal specifications. The main aspect that should be studied in the code generation is the modularity of the B language. We have expressed the B modularity with an Harper-Lillibridge-Leroy module system (an ML-like module system).…

Informatique [cs]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0039⟩. ⟨tel-03420740⟩

• COMM

DGPS-INS data fusion for land navigation

Denis Berdjag, Denis Pomorski

The interest for land navigation has increased for the recent years. With the advent of the Global Position System (GPS) we have now the ability to determine the absolute position anywhere on the globe. The problem is that the GPS systems work well only in open environments with no overhead…

2003 Sino-French Workshop on Sensory Evaluation and Intelligent Techniques, Dec 2003, Shanghai, China. ⟨hal-01509819⟩

• THESE

Estimation des caractéristiques du mouvement humain en station debout. Mise en œuvre d'observateurs flous sous forme descripteur, Estimation of human movement characteristics in standing. A fuzzy observer approach in descriptor form.

Kevin Guelton

La neurophysiologie et la biomécanique constituent deux approches complémentaires à la compréhension globale de la régulation posturale. Le corps humain est considéré comme un système mécanique poly-articulé régulé par le système nerveux central. Ses entrées sont les couples articulaires et ses…, Neurophysiology and biomechanics brings two complementary approaches to the postural control scheme. The human body, which is controlled by the central nervous system, is considered as rigid body segments connected by hinge joints system where inputs are the joint torques and the outputs are the…

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

• THESE

Moyens d'essais et de caractérisation de lois de comportement en dynamique moyennes vitesses, Experimental procedures to determine dynamic behaviour laws under moderate strain rates loadings

Grégory Haugou

La simulation des situations de crash des moyens de transport requiert la connaissance des paramètres de modèles de comportement viscoplastique. Leur identification repose sur des relations expérimentales fiables dans les domaines quasi-statique et dynamique. Pour établir un croisement des données…, Numerical simulation relative to transportation frameworks crashworthiness requires the knowledge of multiplicative work-hardening models' parameters. There identification is based on reliable experimental data from quasi-static to dynamic loadings. To verify the superposition of the…

Mécanique [physics.med-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0032⟩. ⟨tel-03433045⟩

• THESE

Moteur à allumage commandé avec EGR : modélisation et commande non linéaires, Spark ignition engine with EGR : non linear modeling and control

Jimmy Lauber

Ce mémoire a pour objet la modélisation et la commande d'un moteur à allumage commandé. Le premier chapitre propose alors un état de l'art sur la modélisation, l'estimation et la commande dans ces derniers. Le second chapitre s'intéresse à la commande de l'admission d'…, This report deals with modeling and control of a spark ignition engine. The first chapter presents an overview about modeling, estimation and control in IC engine. The second chapter is about inlet air control. Two control laws are developed : one based on a linearising control and another based on…

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

• COMM

Vers une personnalisation de l'information dans les transports

Christelle Petit-Rozé, Emmanuelle Grislin-Le Strugeon, Guillaume Uster, Christophe Kolski, Mourad Abed

L'aide aux voyageurs dans la planification de leur déplacement consiste à leur proposer de l'information sous la forme d'un ou plusieurs chaînages possibles de modes de transports, en tenant compte des contraintes de lieux et d'horaires. La prise en compte de contraintes…, To help the passengers in the planning of their trip consists in proposing them the information in the shape of one or several chains of means of transport, by taking into account the constraints of places and timetables. The consideration of supplementary constraints for a particular person, as…

Colloque TILT, Innovation Technologique dans les Transports Terrestres, Dec 2003, Lille, France. ⟨hal-03429511⟩

• COMM

AgenPerso : IHM à base d'AGENts logiciels PERSOnnels d'information aux usagers des transports collectifs, AgenPerso: a user interface based on personal software agents for public transportation users

Christelle Petit-Rozé, Christophe Kolski, Emmanuelle Grislin-Le Strugeon, Abdouroihamane Anli, Mourad Abed, Guillaume Uster

This paper presents our research into intelligent agentsbased Human-Computer interactions. Our goal is to design personalized information systems. For that, the aim of their intelligent interfaces is to understand the users needs, to identify his/her preferences and, to satisfy his/her expectations…

the 15th French-speaking conference on human-computer interaction, Nov 2003, Caen, France. pp.260-263, ⟨10.1145/1063669.1063712⟩. ⟨hal-03270998⟩

• REPORT

Analyse, conception et évaluation de système interactif d'aide à la décision : application au choix des investissements dans le domaine ferroviaire

Sophie Lepreux, Mourad Abed, Christophe Kolski

[Rapport de recherche] Université de valenciennes et du Hainaut-Cambrésis; LAMIH, Valenciennes. 2003. ⟨hal-03484877⟩

• ART

Relationships between the Surface Morphology and a Physical Response in the Biomaterial Field

Alain Iost, Denis Najjar, Karine Anselme, Maxence Bigerelle

Materials Science Forum, 2003, 426-432, pp.3031-3036. ⟨10.4028/www.scientific.net/MSF.426-432.3031⟩. ⟨hal-04547545⟩