Université Constantine 2
Abdelhamid Mehri University Constantine2 Scholarlyworks RepositoryNot a member yet
128 research outputs found
Sort by
A higher-order agent model with contextual planning management for ambient systems
No full textThis paper presents a concrete software architecture dedi-cated to ambient intelligence (AmI) features and requirements.The pro-posed behavioral model, called Higher-order Agent (HoA) captures theevolution of the mental representation of the agent and the oneof itsplan simultaneously. Plan expressions are written and composed using aformal algebraic language, namely AgLOTOS, so that plans are built au-tomatically and on the fly, as a system of concurrent processes. Based ona specific semantics, a guidance service is also proposed to assist the agentin its execution. Moreover due to the specific structure of AgLOTOS ex-pressions, the update of sub-plans is realized automaticallyaccordinglyto the revising of intentions, hence maintaining the consistency of theagent
الوظائف الرسمية والمهن الحرة بسيرتا عاصمة النوميديين من خلال نصب معبد الحفرة
No full textحاولت في هذه الدراسة الاعتماد على نصب معبد الحفرة، معبد مدينة سيرتا، لإلقاء الضوء على جانب من جوانب مجتمع المدينة في القرن الثاني ق.م ، من خلال التطرق إلى بعض الوظائف الرسمية و المهن الحرة التي كانوا يمارسونها، والتي استخلصنا منها أن المجتمع السيرتي كان مجتمع منظم ومتحضر ومتفتح على الحضارات المعاصرة.Dans cette étude, l’auteure tente de faire la lumière sur un aspect de la société cirtienne au cours du deuxième siècle av.J.C en s’appuyant sur les stèles de sanctuaire d’El-Hofra (le sanctuaire de la ville de Cirta). Elle évoque les diverses fonctions officielles et métiers libres de la société cirtienne qui témoignent de sa civilisation et son ouverture aux civilisations contemporaines.250213114
CBIR with RF: Which technique for which image
No full textIn the current decade, we are witnessing a great interest in Content Based Image Retrieval (CBIR) together with a wealth of promising technologies, paved for a large number of new mechanisms and systems. In terms of mechanisms, a strong trend towards the employment of diverse Relevance Feedback (RF) approaches in CBIR systems to capture image(s) of interest has emerged. However, the need to select a particular technique in a given application domain depends on the nature of images in the collection at hand. So our paper mainly reviews and compares different approaches of CBIR using RF. Its ultimate goal is to present information about image database aspects and image features setting so as to support the selection of the appropriate CBIR with RF Techniques
A discrete binary version of bat algorithm for multidimensional knapsack problem
No full textThe nature has become a main inspiration source of scientists for developing new intelligent systems and techniques. Nature-inspired meta-heuristics is a kind of algorithms that imitate the social behaviour of some biological species. The bat algorithm (BA) is a new bio-inspired algorithm recently introduced by Yang (2010a). It is an optimisation method that is based on the echolocation behaviour of microbats. Firstly, the BA has been proposed for continuous problems. In this paper, we propose a discrete binary bat algorithm (BinBA) for solving the optimisation problems in binary space. The proposed algorithm is based on the sigmoid function used by Kennedy and Eberhart in 1997 for their binary particle swarm optimisation algorithm. The BinBA was tested on hard instances of the multidimensional knapsack problem. The obtained results are very promising compared to other bio-inspired algorithms6
The Conception of the New Agent-Based Platform for Modeling and Implementation of Parallel Evolutionary Algorithms
No full textEvolutionary algorithms (EAs) are a range of problem-solving techniques based on mechanisms inspired by biological evolution. Nowadays, EAs have proven their ability and effectiveness to solve combinatorial problems. However, these methods require a considerable time of calculation. To overcome this problem, several parallelization strategies have been proposed in the literature. In this paper, we present a new parallel agent-based EC framework for solving numerical optimization problems in order to optimize computation time and solutions quality6
الوصول الحر للرسائل الجامعية الإلكترونية:مشروع إتاحة بمكتبة معهد علم المكتبات والتوثيق قسنطينة -الجزائر
No full textUniversity libraries play an important role in providing sources of information to beneficiaries to contain valuable sources of information. Where scientific communication system knew drastic changes mainly in the emergence of the movement of free access as a new model for scholarly communication, leading to inevitable provision of scientific and technical information online and access it. Thesis is one of the sources of information of the University libraries, which had made available for students and researchers to the information and in-depth analysis, studies and research, and by providing electronic catalogues for theses and providing access to the full text of these messages by using the equipment and software. The study aims to design a Web site for library science library and documentation Institute (University of Constantine-2-) using the content management system Joomla Joomla, with access to the index of the thesis, we have created a database of thesis using the integrated library management system open source PMB, which contains more than 250 electronic theses full text PDF, theses and dissertations
تكوين الأرشيفيين بالجامعة الجزائرية بين النظري والواقع : تجربة تخصص تقنيات أرشيفية في نظام ل م د بجامعة قسنطينة 2
No full textدكتوراه. تقنيات المعلومات في الأنظمة الوثائقية. جامعة قسنطينة. معهد علم المكتبات والتوثيق. 2014.هذه الدراسة علمية منهجية تتناول موضوعا حيويا يحظى باهتمام ومتابعة واسعة في مجال التعليم العالي العالمي والمؤسسات الدولية الفاعلة في هذا المجال، وتهدف الدراسة إلى معرفة مدى فعالية التكوين الأكاديمي في مساعدة اختصاصي الأرشيف على إنجاز مهامه، وكيف يمكن لهذه المقررات والمقاييس المدرَّسة بمعهد علم المكتبات والتوثيق بجامعة قسنطينة 2، أن تصنع أرشيفا متخصصا مؤهلا يمكنه المواكبة والتأقلم مع متغيرات العصر الجديدة، خاصة ما يتعلق منها بالبيئة الرقمية. تم اعتماد المنهج الوصفي والأسلوب التحليلي. واستُخدمت استمارتا: الاستبيان كوسيلة أساسية لجمع المعلومات، والمقابلة والملاحظة كوسيلتين ثانويتين، كما استطاع البرنامج المسطّر تكوين باحثين شباب قُدِّر عددهم في جانفيه 2014 بـ: 10 أفراد من أجل تطوير الدراسات الأكاديمية في مجال الأرشيف، كما كشفت الدراسة أن الموظفين خرّيجيّ هذا التكوين يعانون جملة من المشاكل والمعوِّقات خارجة عن سيطرتهم، تحول دون ممارستهم الجيدة للمهنة الأرشيفية، من أبرزها: ظروف العمل السيئة، وغياب الثقافة الأرشيفية لدى المسؤولين وزملائهم الإداريين، ونقص في الوسائل والتجهيزات الأرشيفية، وغياب قاعة خاصة بمعالجة الأرشيف. إضافة إلى ضيق مخازن الحفظ ووجود تجهيزات غير مستعملة ومحطّمة وأثاث قديم داخل المخزن نفسه مع الأرشيف.. إلخ. مما فرض عليهم عبئا ثقيلا ولّد صعوبة كبيرة في تطبيق معارفهم النظرية على أرض الواقع. (ملخص المؤلف بتصرف)Cette étude scientifique structurée traite un sujet vif qui a de l’importance, et qui est suivi dans le domaine de l’enseignement supérieur et dans les institutions étatiques actionnantes. Cette étude a pour objectif de connaitre l’efficacité de la formation académique pour porter un soutien aux archivistes, pour réaliser ses tâches et comment ces programmes et ces modules enseignés à l’institut des sciences de l’économie bibliothécaire dans l’université de Constantine 2, pour générer un archiviste spécialiste, apte, qui pourra s’adapter aux nouveaux changements des temps modernes et précisément en ce qui concerne l’environnement numérique. Dans cette étude, on s’est appuyé sur l’aspect descriptif et le style analytique qui sont basés sur la description. Aussi on s’est appuyé sur deux questionnaires, comme outil de base pour rassembler les informations et l’interview et l’observation comme outil secondaire. Aussi ce programme a pu former de jeunes chercheurs dont leur nombre est estimé en janvier 2014 à 10 personnes afin de développer les recherches académiques dans le domaine des archives. Cette étude a démontré que les fonctionnaires diplômés de cette formation souffrent d’un ensemble de problèmes et de contraintes hors de leur contrôle qui présentent un obstacle lors de la pratique de la profession archiviste, particulièrement: les mauvaises conditions de travail, l’absence de la culture archiviste des responsables et leurs collègues administratifs, le manque du matériel et des outils d’archiviste, l’absence d’une salle spéciale pour le traitement des archives, en plus l’espace étroit réservé à la conservation et la présence des matériels non utilisables, défectueux, meubles usés dans la même salle avec l’archive…etc., ce qui a entrainé un lourd fardeau qui a généré une grande difficulté dans la réalisation de leurs connaissances théoriques en pratique. (Résumé de l’auteur avec modification
A RT-Maude-based framework for component installation
No full textReal-time systems are considered in most cases as critical systems because they must strictly satisfy expected requirements in respect to giving timing constraints. The best way to develop and deploy these complex systems is the component-based software engineering. Traditionally, software components are developed independently and often considered as black boxes. However, they might be dependent from each other at assembly and deployment stages and used by a third party in various environments. In a previous work Belguidoum et al., 2011, we have proposed a Maude-based framework for safe component installation. In this paper, we extend this work by taking into account real-time constraints for installation operation. This framework is implemented using Real-Time Maude system enabling both the real-time installation execution and its formal analysis using its LTL model checker.51/
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker
No full textFormal methods are system design techniques based on rigorous mathematical models to build software systems. Our aim in this paper is to define formal specifications of cloud systems and offer analysis support to formally model check their inherent properties. Hence, we define a formal semantic framework, based on Bigraphical Reactive Systems (BRS), for specifying cloud architectures and their shape shifting to ensure service availability and quick scalability. Then, we propose a Bigraphical Maude-based Model Checker to formally verify some properties.31
From AADL to timed automaton-A verification approach
No full textThe AADL is considered as one of the most powerful language for modeling the embedded systems. In this work, we propose an approach for the verification of the AADL architecture by using of the timed automata formalism. Indeed, the AADL architecture cannot be directly analyzed by model checking. An alternative for achieving that is to use the model driven engineering technology to extract an analysis model so that the properties can be verified using a model checker toolbox. The goal of this effort is to insure some properties of the AADL models using the Uppaal model checker. We show the application of our approach to an example.070