scholarly journals Un modèle de tâches exploitable à l'exécution pour une assistance à l'utilisateur dans les environnements ambiants

2015 ◽  
Vol Volume 3, Issue 3, Special... (Special issue on Task Models) ◽  
Author(s):  
Asma Gharsellaoui ◽  
Yacine Bellik ◽  
Christophe Jacquet

International audience Existing task models have often been used in the context of graphic systems. In this paper, we propose to use the task model at runtime to monitor user actions, to verify that he/she has not made a mistake when performing his/her actions and to give him/her help when necessary. In particular, we present, as a first contribution, a task model specific to interactions in ambient environments. This model enables to assign dynamic characteristics to each task thereby allowing to a supervision system to assign states to tasks at runtime based on the information exchanged with the environment (start of a task, end of a task, preconditions states...). Our second contribution is a monitoring and support system that exploits our task model. More precisely we specify the intervention strategy of our system in order to guide the user. We present then an illustration of our system through the execution of a scenario on our simulator. This simulation shows how the interactions with the task model at runtime allow us to produce a dynamic system that takes into consideration the context and provides assistance to the users while carrying out their daily tasks. Finally, we end with a conclusion and perspectives of our approach. Les modèles de tâches existants ont souvent été utilisés dans le cadre des systèmes interactifs gra-phiques. Dans cet article, nous proposons d'utiliser le modèle de tâches dans un environnement ambiant au moment de l'exécution des tâches par l'utilisateur, afin de suivre les actions de l'utilisateur, vérifier qu'il n'a pas fait d'erreurs lors de l'accomplissement de ses tâches et lui procurer de l'aide quand cela est nécessaire. En particulier, nous présentons, dans une première contribution, un modèle de tâches spécifique aux environnements ambiants. Ce modèle permet d'associer des caractéristiques dynamiques à chaque tâche permettant ainsi à un système de supervision d'attribuer des états aux tâches au moment de l'exécution en fonction des informations échangées avec l'environnement (démarrage d'une tâche, fin de réalisation d'une tâche, états des pré-conditions...). Notre deuxième contribution consiste en un système de suivi et d'assistance qui exploite notre modèle de tâches. Plus précisément nous spécifions la stratégie d'intervention du système qui va orienter l'utilisateur. Nous présentons par la suite une illustration de notre système à travers le déroulement d'un scénario sur notre simulateur. Cette simulation montre comment les interactions avec le modèle de tâches à l'exécution nous permettent de produire un système dynamique, qui prend en considération le contexte et fournit une aide à l'utilisateur pour la réalisation de ses tâches quotidiennes. Enfin, nous terminons par une conclusion sur notre approche et les perspectives ouvertes pour ce travail.

Author(s):  
Karim Achour ◽  
Nadia Zenati ◽  
Oualid Djekoune

International audience The reduction of the blur and the noise is an important task in image processing. Indeed, these two types of degradation are some undesirable components during some high level treatments. In this paper, we propose an optimization method based on neural network model for the regularized image restoration. We used in this application a modified Hopfield neural network. We propose two algorithms using the modified Hopfield neural network with two updating modes : the algorithm with a sequential updates and the algorithm with the n-simultaneous updates. The quality of the obtained result attests the efficiency of the proposed method when applied on several images degraded with blur and noise. La réduction du bruit et du flou est une tâche très importante en traitement d'images. En effet, ces deux types de dégradations sont des composantes indésirables lors des traitements de haut niveau. Dans cet article, nous proposons une méthode d'optimisation basée sur les réseaux de neurones pour résoudre le problème de restauration d'images floues-bruitées. Le réseau de neurones utilisé est le réseau de « Hopfield ». Nous proposons deux algorithmes utilisant deux modes de mise à jour: Un algorithme avec un mode de mise à jour séquentiel et un algorithme avec un mode de mise à jour n-simultanée. L'efficacité de la méthode mise en œuvre a été testée sur divers types d'images dégradées.


2015 ◽  
Vol Volume 3, Issue 3, Special... (Special issue on Task Models) ◽  
Author(s):  
Thomas Lachaume ◽  
Laurent Guittet ◽  
Patrick Girard ◽  
Allan Fousse

International audience La description de l’activité humain-système par des modèles de tâches existe depuis plusieurs années. Après l’époque papier-crayon, les outils d’édition des modèles de tâches ont permis la conception et l’archivage des modèles selon une notation rigoureuse, et la vérification de leur cohérence. Mais la compréhension de la dynamique est restée affaire de spécialiste jusqu’à l’apparition des simulateurs de modèles. Une simulation permet d’appréhender les enchaînements réels de tâches - décrits implicitement par les opérateurs temporels - et de valider les scénarios ainsi réalisés. Cet article décrit et compare les simulateurs actuellement disponibles et maintenus, et explique leurs différents usages en fonction des buts et niveaux d’expertise des utilisateurs. De nouvelles perspectives d’évolutions de ces modèles et outils sont alors définies dans le but d’améliorer leur sémantique. Task modelling has enabled the building of models of human activity for a long time. In the early years, pencil and paper where the only means available to build task models from task model notations. Because of the lack of computed constraints, task models often did not conform to the notation. To solve this problem, some tools were designed by authors in order to help users create, modify and save correct models that conform to the notation syntactic rules. However, understanding the full semantics of task models appeared difficult for practitioners. The dynamic aspects of task models could only be understood "in the user's head". New tools, named simulators, emerged to solve this problem. They allow to "run" or to "simulate" task models and to record scenarios. This execution fulfils the semantics of task model operators, which define the task dynamic semantics. Simulators can be used in many ways such as understanding model semantics, verifying or validating models, building valid scenarios, etc. In this article, we describe and compare currently available and maintained task model simulators, and explain the different usages of these tools, according to user goals and qualifications. Then, we explore the different challenges for these tools to exploit the complete semantics of task models.


2013 ◽  
Vol 49 (6) ◽  
pp. 657-661 ◽  
Author(s):  
K. Yu. Aref’ev ◽  
A. V. Voronetskii ◽  
M. A. Il’chenko

2012 ◽  
Vol 538-541 ◽  
pp. 2649-2653
Author(s):  
Yan Hua Zhao ◽  
Guo Zhang ◽  
Chun Xia Duan

Self-balancing robot is a multivariable, coupled, nonlinear dynamic system, using the optimal pole assignment which can give attention to both good dynamic characteristics and LQ optimal design technology robustness and other advantages. Emulation and real-time control are given to show the effectiveness of the presented method.


2006 ◽  
Vol Volume 5, Special Issue TAM... ◽  
Author(s):  
F.Z. Nouri ◽  
K. Amoura

International audience This study is a continuation of the one done in [7],[8] and [9] which are based on the work, first derived by Glowinski et al. in [3] and [4] and also Bernardi et al. [1] and [2]. Here, we propose an Algorithm to solve a nonlinear problem rising from fluid mechanics. In [7], we have studied Stokes problem by adapting Glowinski technique. This technique is userful as it decouples the pressure from the velocity during the resolution of the Stokes problem. In this paper, we extend our study to show that this technique can be used in solving a nonlinear problem such as the Navier Stokes equations. Numerical experiments confirm the interest of this discretisation. Cette étude est la continuation des travaux [7],[8] et [9] qui sont basés sur l'étude faite par Glowinski et al. [3] et [4] ainsi que Bernardi et al. (voir [1] et [2]). Ici nous proposons un Algorithme pour résoudre un problème non-linéaire issu de la mécanique des fluides. Dans [7] nous avons étudié le problème de Stokes en adaptant la technique de Glowinski, grace à aquelle, on peut découpler la pression de la vitesse lors de la résolution du problème de Stokes. Dans ce travail, nous étendons notre étude et montrons que cette technique peut être utilisée dans la résolution d'un probème non-linéaire comme les quations de Navier Stokes. Des tests numériques confirment l'intérêt de la discrétisation.


2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Jennifer Morse ◽  
Anne Schilling

International audience We provide a new description of the Pieri rule of the homology of the affine Grassmannian and an affineanalogue of the charge statistics in terms of bounded partitions. This makes it possible to extend the formulation ofthe Kostka–Foulkes polynomials in terms of solvable lattice models by Nakayashiki and Yamada to the affine setting. Nous proposons une nouvelle description de la règle de Pieri de l’homologie de la variété Grassmannienneaffine et un analogue affine de la statistique de charge en termes de partitions bornées . Il est ainsi possible d’étendreau cas affine la formulation due à Nakayashiki et Yamada des polynômes de Kostka–Foulkes en termes de modèlesde réseaux résolubles.


2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Suho Oh ◽  
Hwanchul Yoo

International audience Develin and Sturmfels showed that regular triangulations of $\Delta_{n-1} \times \Delta_{d-1}$ can be thought of as tropical polytopes. Tropical oriented matroids were defined by Ardila and Develin, and were conjectured to be in bijection with all subdivisions of $\Delta_{n-1} \times \Delta_{d-1}$. In this paper, we show that any triangulation of $\Delta_{n-1} \times \Delta_{d-1}$ encodes a tropical oriented matroid. We also suggest a new class of combinatorial objects that may describe all subdivisions of a bigger class of polytopes. Develin et Sturmfels ont montré que les triangulations de $\Delta_{n-1} \times \Delta_{d-1}$ peuvent être considérées comme des polytopes tropicaux. Les matroïdes orientés tropicaux ont été définis par Ardila et Develin, et ils ont été conjecturés être en bijection avec les subdivisions de $\Delta_{n-1} \times \Delta_{d-1}$. Dans cet article, nous montrons que toute triangulation de $\Delta_{n-1} \times \Delta_{d-1}$ encode un matroïde orienté tropical. De plus, nous proposons une nouvelle classe d'objets combinatoires qui peuvent décrire toutes les subdivisions d'une plus grande classe de polytopes.


Sign in / Sign up

Export Citation Format

Share Document