Au Moyen Âge, des enluminures étaient destinées aux élites de la société et leurs servaient de moyen de communication pour étendre leurs influences sociales et pour représenter leurs environnements sociaux. Elles constituent un système d'information basé sur des composants symboliques reliés entre eux par des relations sémantiques et influentes dont la structure est proche des modèles représentant des relations sociales et des réseaux. Aujourd'hui, la compréhension de ces enluminures et l'extraction de leurs messages implicites, exprimés par la combinaison d'éléments graphiques métaphoriques, sont une tâche difficile réservée aux experts. Pour aider ces derniers et traiter l'hétérogénéité sémantique des enluminures, cet article explore la synergie entre les techniques de représentation des connaissances et l'analyse des documents médiévaux pour construire un modèle de connaissances décrivant ces peintures médiévales. Il propose une ontologie formelle composée d'entités décrivant les savoirs explicites et visibles des enluminures médiévales et d'autres exprimant leurs messages implicites. Les enluminures concernées sont une partie de celles commandées et relatives au duc de Bourgogne, Philiphe le Bon.
Social graph analysis is generally based on a local exploration of the underlying graph. That is, the analysis of a node of the graph is often done after having analyzed nodes located in its vicinity. However, over the time, networks are bound to grow with the addition of new members, which inevitably leads to the enlargement of the corresponding graphs. At this level we therefore have a problem because more the size of the graph increases, more the execution time of graph analysis applications too. This is due to the very large number of nodes that will need to be treated. Some recent work in-faces this problem by exploiting the properties of social networks such as the community structure to renumber the nodes of the graph in order to reduce cache misses. Reducing cache misses in an application allows to reduce the execution time of this application. In this paper, we argue that combining existing graph ordering with a new numbering that exploit execution traces analysis can allow to improve cache misses reduction and hence execution time reduction. The idea is to build graph numbering using execution traces of graph analysis applications and then combine it with an existing graph numbering (such as cn-order). To build this new ordering, we define a new distance and then used it to analyse execution traces with well known clustering algorithms K-means (for Kmeans-order) and hierarchical clustering (for cl-hier-order). Experiments on a user machine (dual-core) and four cores […]
Le GRAFCET est un puissant langage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événements discrets. Il prend en compte des structures hiérarchiques ainsi que des contraintes structurelles et sémantiques.Ici, nous proposons d'utiliser un modèle de spécification GRAFCET dans une approche d'ingénierie dirigée par les modèles (IDM) pour la synthèse multi-cible de systèmes de contrôle commande embarqués basés sur des microcontrôleurs.Dans cette approche, un métamodèle GRAFCET est associé à un métamodèle microcontrôleur, lequel caractérise les fonctionnalités de la plateforme spécifique microcontrôleur à considérer lors de la génération de code.Ce métamodèle GRAFCET proposé prend en compte la modélisation des expressions pour faciliter la vérification du modèle et une interprétation facile des événements GRAFCET ainsi que des contraintes de temps. Les règles de transformation utiles à la génération de code pour des microcontrôleurs C-programmables sont ensuite présentées.Comme application, nous présentons une plateforme basée sur Eclipse EMF, Object Constraint Language (OCL) et le moteur de génération de code Acceleo.
