Browsing by Author "Redjimi ,Mohammed"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Étude et Mise en Œuvre d'un Système d'Information pour la Gestion des Ressources Humaines : Cas d’étude Entreprise Portuaire de Skikda
    (Faculté des Sciences, 2024) Bazine , Hadille; Redjimi ,Mohammed
    La gestion des ressources humaines (GRH) occupe une place importance et capitale au sein des entreprises. Elle joue un rôle central dans leur succès, leur performance et leur compétitivité. La GRH regroupe un ensemble de méthodes, de pratiques et de stratégies qui visent à maximiser le rendement maximal des employés tout en leur offrant bien-être, épanouissement et développement au sein de ces entreprises et organisations. Parmi les fonctions les plus importantes de la GRH, on dénombre le recrutement et la sélection des employés répond aux besoins les plus adaptés de l'entreprise. La formation continue, la gestion des carrières, la gestion des relations humaines, la communication et autres fonctions sont au cœur de la gestion des ressources humaines dans l’entreprise moderne. L’Entreprise Portuaire de Skikda (EPS) est une entreprise par laquelle transitent des marchandises et autres biens. Cette entreprise contribue grandement à l’économie nationale.
  • Thumbnail Image
    Item
    Formalismes et environnements pour la modélisation et la simulation des systèmes à évènements discrets
    (Université 20 Août 1955-Skikda, 2014-10-01) Sofiane, BOUKELKOUL; Redjimi ,Mohammed
    La modélisation et la simulation nous permettent de représenter la structure et les comportements des systèmes. Plusieurs méthodes existent pour la modélisation et la simulation des systèmes. Nous pouvons considérer les approches mathématiques, mécaniques et informatiques. Les approches formelles telles que les réseaux de Pétri ou les machines à états finis présentent un ensemble d'outils permettant la représentation des systèmes et leur évolution dans le temps. Nous nous intéressons particulièrement au formalisme DEVS « Discret EVent System Spécification » qui est un formalisme de modélisation et de simulation initié par B. P. Zeigler dans les années 1970. DEVS est introduit comme formalisme abstrait pour la modélisation à événements discrets et est devenu un formalisme universel, grâce à sa force de joindre plusieurs modèles hétérogènes dans le but de modéliser les systèmes complexes. Le travail que nous présentons consiste, dans un premier temps, à faire un état de l'art très poussé de différentes approches, formalismes, méthodes et environnements touchant à la modélisation. Nous nous intéresserons ensuite plus particulièrement à la modélisation des systèmes à événements discrets. Aussi, les réseaux de Pétri représentent des outils formels très puissants et assez utilisés pour la représentation des systèmes et leurs évolutions dans le temps. Nous nous intéressons ainsi à la mise en œuvre de mécanismes de transformation de ces outils vers le formalisme DEVS. L'outil final de développement d'application évoluera dans un environnement de multi-modélisation que nous définirons en fin de ce travail de recherche et qui sera validé par une mise en œuvre robuste utilisant les composants JAVA et XML.