Université Constantine 2
Abdelhamid Mehri University Constantine2 Scholarlyworks RepositoryNot a member yet
128 research outputs found
Sort by
Biomarker Discovery Based on Large-Scale Feature Selection and MapReduce
No full textLarge-scale feature selection is one of the most important fields in the big data domain that can solve real data problems, such as bioinformatics, where it is necessary to process huge amount of data. The efficiency of existing feature selection algorithms significantly downgrades, if not totally inapplicable, when data size exceeds hundreds of gigabytes, because most feature selection algorithms are designed for centralized computing architecture. For that, distributed computing techniques, such as MapReduce can be applied to handle very large data. Our approach is to scale the existing method for feature selection, Kmeans clustering and Signal to Noise Ratio (SNR) combined with optimization technique as Binary Particle Swarm Optimization (BPSO). The proposed method is divided into two stages. In the first stage, we have used parallel Kmeans on MapReduce for clustering features, and then we have applied iterative MapReduce that implement parallel SNR ranking for each cluster. After, we have selected the top ranked feature from each cluster. The top scored features from each cluster are gathered and a new feature subset is generated. In the second stage, the new feature subset is used as input to the proposed BPSO based on MapReduce which provides an optimized feature subset. The proposed method is implemented in a distributed environment, and its efficiency is illustrated through analyzing practical problems such as biomarker discovery.456819
Similarity measures for Content-Based Dermoscopic Image Retrieval: A comparative study
No full textSimilarity measures play crucial role in Content-Based Dermoscopic Image Retrieval (CBDIR). This paper analyses and compares images based respectively on twelve distances namely: Minkowski, Euclidean, Standardized Euclidean, Mahalanobis, Manhattan, Chebychev, Cosine, Canberra, Relative Deviation, Bray-Curtis, Square Chord and Square Chi-Squared measures for CBDIR. Two dermatologists were asked to diagnose 176 skin lesion images in order to classify them. Eight common classes of pigmented skin lesions have been identified, including: Melanoma, Nevus/Mole (ML), Lentigo (Len), Basal Cell Carcinoma (BCC), Seborrhoeic Keratosis (SK), Actinic Keratosis (AK), Angioma (AG) and Dermatofibroma (DF). Color and texture features have been extracted from the segmented skin lesions. Then a series of CBDIR experiments were conducted on the image database. The results indicate that the CBDIR performance is significantly improved by using Canberra and Bray-Curtis distances compared to conventional measures
Modelling and analysis of mobile computing systems: An extended Petri Nets formalism
No full textIn its basic version, Petri Nets are defined as fixed graphs, where thebehaviour of the system is modelled as the marking of the graph which changes overtime. This constraint makes the Petri Nets a poor tool to deal with reconfigurablesystems as mobile computing systems, where the structure of the system can changeas its behaviour, during time. Many extended Petri nets were proposed to deal withthis weakness. The aim of this work is to present a new extension of Petri Nets, wherethe structure of the graph can be highly flexible. This flexibility gives a rich modelwith complex behaviours, not allowed in previous extensions. The second aim is toprove that even these behaviours are so complex; they can be translated into otherlow level models (as Coloured Petri Nets [21]) and so be analysed. This translationexploits Dynamic Petri Nets [11] as an intermediary representation between our modeland Coloured Petri Nets.100
العدالة التنظيمية وعلاقتها بالالتزام التنظيمي
No full textتهدف هذه الدراسة إلى معرفة العلاقة الموجودة بين العدالة التنظيمية والالتزام التنظيمي في مؤسسة موبيلس الجزائر، المديرية الجهوية للشرق الجزائري. لقد تم التطرق إلى أهم العناصر الأساسية المتعلقين بالمتغيرين السابق ذكرهما. اعتمدنا على المنهج الوصفي للوصول إلى نتائج الدراسة الميدانية بتطبيق استبيان على عينة عشوائية من المجتمع الأصلي للدراسة .L’objet du présent article vise à déterminer la relation entre la justice organisationnelle et l'engagement organisationnel au sein de la filiale Mobilisau moyen d’une enquête sur terrain sur un échantillon aléatoire composé de trente travailleurs.أ4454156
Relative Timed Model for Coordinated Multi Agent Systems
No full textThe MAS engineering is becoming very important, it is concerned with models, methods and tools. Therefore, verifying the correctness of MAS is the next challenge. We are interested by MAS where each participating agent has its own physical clock of varying frequency, while no global clock is available or desirable. Under such circumstances models must be adapted. In this paper we attempt a novel approach to model the MAS, with a respect of two characteristics, the concurrent aspect and heterogeneity of agents (perceived as a different time rates of agents plan execution). Timed automata with action durations are used; for the circumstance it’s extended to deal with relative time rates. Its semantic is abstracted by a novel equivalence relation leading to a region automaton for decidability assessment and proof.45
Formalisation and Analysis of Time and Timed BPEL Processes by means of Time Models
No full textDifferent standards and languages have been proposed in the literature for modeling the composition of Web services. Unfortunately, these languages are essentially syntactic and, thus, contain much ambiguity and inconsistency. In addition, the formal verification of these languages is impossible. In this thesis, we propose transformation approaches to high and low level real-time formal models in order to allow the formal representation, analysis, verification and refinement of BPEL Web services compositions. Both, timed constraints and the durations of interactions between these services are taken into account. We present a formal environment, named FMEBP, for modeling business processes. This environment is based on a transformation approach that translates Web services, described in BPEL language, to abstract specifications, written in a high-level real-time language, called D-LOTOS.Différents standards et langages ont été proposés dans la littérature pour modéliser la composition de services Web. Malheureusement, ces langages sont essentiellement syntaxiques et contiennent ainsi beaucoup d’ambiguïté et d’incohérence. En outre, la vérification formelle des langages proposés est impossible. Dans cette thèse, nous proposons des approches de transformation vers des modèles formels temps-réel de haut et de bas niveau permettant la représentation formelle, l’analyse, la vérification et le raffinement de compositions de services Web BPEL. Par ailleurs, les contraintes temporelles et les durées des interactions entre ces services sont prises en compte. Nous présentons un environnement formel, nommé FMEBP, pour la modélisation des processus métiers. Cet environnement est basé sur une approche de transformation qui traduit des services Web, décrits dans le langage BPEL, en des spécifications abstraites, écrites dans un langage temps-réel de haut-niveau, appelé D-LOTOS
Résolution de problèmes d’optimisation combinatoire par les algorithmes du calcul évolutionnaire
No full textUne voie de recherche qui est très active de nos jours est celle qui essaye de développer de nouvelles approches s’inspirant des principes de la science de la complexité pour traiter plus efficacement les différents problèmes, notamment ceux portant sur l’optimisation. Les algorithmes du calcul évolutionnaire constituent une famille d’algorithmes inspirés de systèmes complexes biologiques, elle regroupe les algorithmes évolutionnaires et les algorithmes de l’intelligence en essaim. Ces techniques sont particulièrement utiles pour résoudre les problèmes d’optimisation combinatoire difficile où les algorithmes d’optimisation classiques sont incapables de produire des résultats satisfaisants. Certains algorithmes performants ont été développés pour résoudre les problèmes d’optimisation continus. Cependant, plusieurs chercheurs les ont ainsi adaptés pour traiter les problèmes combinatoires. Par ailleurs, la littérature a signalé que la plupart des techniques du calcul évolutionnaire trouvent des difficultés fasse au contrôle de l’équilibre diversification/intensification. En conséquence, plusieurs approches hybrides ont été conçues pour pallier ce dernier problème. L’objectif de cette thèse est de proposer de nouveaux algorithmes d’optimisation en s’appuyant sur les algorithmes du calcul évolutionnaire. Trois contributions ont été mises en œuvre pour réaliser cet objectif. Dans la première contribution, nous avons introduit une nouvelle méthode de recherche locale pour le problème du voyageur de commerce afin de l’incorporer avec les opérateurs de l’algorithme génétique pour améliorer leur performance de résolution. Dans la deuxième contribution, nous avons proposé une version discrète de l’algorithme de chauves-souris qui a été initialement développé pour les problèmes continus. Dans la dernière contribution, nous avons développé un algorithme évolutionnaire basé sur un nouvel opérateur de mutation afin de résoudre les problèmes d’optimisation binaire.Nowadays, an active research direction is trying to develop new approaches inspired by complex systems theory to deal more effectively the various problems, especially those on optimization. Evolutionary computation is a family of bio-inspired optimization techniques that includes evolutionary algorithms and swarm intelligence algorithms. These techniques are particularly useful for solving difficult combinatorial optimization problems where classical optimization algorithms are incapable of producing good results. Some efficient algorithms have been developed to solve continuous problems. Therefore, many researchers have adapted them to deal with combinatorial problems. Most of the evolutionary computation techniques have some difficulties to control the trade-off between the intensification and the diversification. Thus, several hybrid approaches have been developed to overcome this problem. The objective of this thesis is to propose new efficient optimization algorithms based on evolutionary computation algorithms. Three contributions have been developed to achieve this goal. First, we have introduced a new local search method for the traveling salesman problem. Second, we have proposed a discrete binary version of the bat algorithm to solve combinatorial optimization problems. Finally, we have developed a new evolutionary algorithm for binary optimization problems, the latter is based on a new mutation operator
مشاريع المكتبات الرقمية بالجامعات الجزائرية بين الجاهزية وآليات التأسيس: دراسة ميدانية بالمكتبات الجامعية قسنطينة
No full text.دكتوراه. تقنيات المعلومات في الأنظمة الوثائقية. جامعة قسنطينة. معهد علم المكتبات والتوثيق. 2014جاءت الدراسة للوقوف على واقع مشاريع المكتبات الرقمية بالجامعات الجزائرية، ودراستها من حيث جاهزيتها واستعدادها لهذا النوع من المشاريع الرقمية،وهذا يعود للأهمية البالغة التي تكتسبها المكتبات سواء منها الجامعية ودورها الاستراتيجي في خدمة وتطوير البحث العلمي أو المكتبات الرقمية كشكل متطور للمكتبات يساهم في زيادة فعالية تطوير أداء المكتبات. وقد أخذت الدراسة مكتبات جامعات قسنطينة نموذجا للوقوف على الإشكال الرئيسي المتمثل في جاهزية واستعداد مكتبات جامعات قسنطينة لمشاريع المكتبات الرقمية كنموذج عن الجامعات الجزائرية؛ ولدراسة هذا الموضوع تم تناول جانب نظري في شكل فصول،حيث جاء الفصل الأول شاملا للأمور المنهجية وإجراءات الدراسة الميدانية؛ أما في الفصل الثاني فقد تم التركيز على المكتبات الرقمية كمفهوم وتقنية والتركيز أكثر على مراحل بناء ومعالجة الصور الرقمية؛ وفي الفصل الثالث، تم التركيز على المكتبات الرقمية كمشاريع والاستراتيجيات المتعلقة بالتخطيط لها وتنفيذها مع ذكر أفضل الممارسات في مجال المكتبات الرقمية على مستوى المكتبات الجامعية عبر العالم؛ أما الفصل الرابع فقد عرض لواقع المكتبات الجامعية الجزائرية في ظل التطورات التكنولوجية الحديثة، مع التركيز على أهم المبادرات التي جرت تبنيها للاندماج في ظل البيئة الرقمية، ثم تم الانتقال إلى الجانب الميداني فاستُخدمت الملاحظة والاستبيان كوسيلتين لجمع البيانات، وتطبيقها على المكتبيين والمستفيدين كعينتين للدراسة، حيث كان الهدف من استقصاء آراء جميع المكتبيين على مستوى مكتبات جامعات قسنطينة هو تحديد آرائهم حول واقع المكتبات ومدى صلاحية المكتبات الرقمية كحل لها، بالإضافة إلى تحديد مستوى مهاراتهم الرقمية،أما على مستوى المستفيدين فقد تم أخذ طلبة الدكتوراه (نظام ل.م.د) كعينة عن كافة المستفيدين المحتملين، وقد كان الهدف هو تحديد استخداماتهم للمكتبة ومعرفة مدى احتياجهم ورغبتهم في استخدام مصادر معلومات رقمية، وتحديد مستوى وطبيعة التكوين اللازم لكل عينة. وقد توصلت الدراسة إلى أن مكتبات جامعات قسنطينة هي بعيدة كل البعد عن بيئة مشاريع المكتبات الرقمية، حيث يمكن اعتبارها جد متأخرة عن ركب البيئة الرقمية، وذلك بالنظر لضعف بنيتها سواء في بيئتها التقليدية، أو بالنسبة إلى ضعف تواجدها ضمن البيئة الرقمية، لذلك فإنه من الصعب التفكير في اعتماد المكتبات الرقمية في ظل الوضع الراهن، ولا حتى في تصور آلية لتنفيذه، قبل أن يُعاد النظر في واقع مكتبات جامعات قسنطينة والتفكير في سياسات علمية تمكنها من النهوض بخدمات المكتبات وانتشالها من حالة الفوضى التي تعيشها. (ملخص المؤلف)This research attempts to highlight the situation of Algerian university digital libraries’ projects, and to study whether they are well disposed towards digital projects. This is due, on the one hand, to the great importance of university libraries and their role in relation to scientific research and its development, and on the other hand, to the digital libraries which constitute a sophisticated type of libraries that contribute to the improvement of these libraries tasks’ efficiency. This study deals with the universities of Constantine libraries as a model stating the problem of whether these institutions are really disposed towards undertaking digital projects for a future extension to the other Algerian universities. We have begun our research by covering the theoretical aspect via four chapters. The first chapter treats the methodological procedure adopted by the researcher. The second chapter underlines digital libraries as a concept and a technique insisting on the steps for designing and processing the digital image. The third chapter valorizes university library digital projects and the strategies that should be implemented in order to succeed in planning and undertaking such projects. In the fourth chapter, we portray the Algerian university libraries’ situation in the era of modern technological developments and through the initiatives taken by these institutions to integrate the digital environment. The second aspect, a practical one, consisting of two chapters attempts to show the professionals’ point of view of Constantine university libraries and their aptitudes in undertaking digital library projects. In this survey, a sample of doctorate students from these universities is exploited to identify their behavior in using university libraries and digital resources, in addition to their needs in terms of training. The observation and the questionnaire are the tools selected in our survey for collecting information. The results of our study show that Constantine universities’ libraries are far from the environment of digital projects. These documentary institutions are extremely late for integrating this modern space due to the weak basic infrastructure either in the classical or digital environment. It seems hard to think about a digital library solution in such conditions. It is really difficult to design a process that can achieve such a project. These university libraries should think above all about a scientific policy that can help, on the one hand, to develop their services and activities, and on the other hand, to get out of the despondency in which they are. (Author’s abstract)Cette recherche a pour but d’éclairer les lecteurs sur la situation de projets ayant trait aux bibliothèques numériques des universités algériennes, et à leur étude en termes de disposition pour ce genre de réalisations numériques. Ceci est du, d’un coté, à l’importance primordiale des bibliothèques universitaires et à leur rôle stratégique vis-à-vis de la recherche scientifique et de son développement, et d’un autre côté, aux bibliothèques numériques qui constituent un type sophistiqué de bibliothèques contribuant à améliorer l’efficience des tâches de ces institutions documentaires. Cette étude a donc pris comme modèle d’investigation les bibliothèques des universités de Constantine pour poser la problématique de l’évaluation du degré de disposition de ces institutions et de leurs capacités à prendre en mains des projets de numérisation en vue de leur généralisation à d’autres universités algériennes. De ce fait, nous avons traité notre thème de recherche à travers une première partie théorique subdivisée en quatre chapitres, et via une deuxième partie subdivisée en deux chapitres. Le premier chapitre a été consacré au processus méthodologique dans toute sa dimension. Dans le deuxième, nous avons mis en relief les bibliothèques numériques en tant qu’entité et technique tout en insistant sur les étapes de conception et de traitement de l’image numérisée. Le troisième chapitre, par contre, a valorisé les projets de numérisation des bibliothèques universitaires et les stratégies à mettre en oeuvre pour réussir la planification et l’exécution de tels projets. Dans le quatrième chapitre, nous avons abordé la situation des bibliothèques universitaires algériennes à l’ère des développements technologiques modernes, et suite aux initiatives prises par ces institutions pour intégrer l’environnement numérique. La deuxième partie purement pratique subdivisée en deux chapitres, œuvre à faire connaitre le point de vue des professionnels de bibliothèques des universités de Constantine, et leurs aptitudes à prendre en charge des projets de numérisation des bibliothèques. Dans cette enquête, un échantillon de doctorants de ces universités a également été exploité pour connaitre leurs comportements quant à l’utilisation des bibliothèques universitaires et des ressources numériques, en plus de leurs besoins en matière de formation. L’observation et le questionnaire ont été à la base de notre étude pratique à travers leur utilisation comme outils de collecte d’informations. Les résultats de notre enquête démontrent que les bibliothèques des universités de Constantine sont bien éloignées de l’environnement de projets de numérisation. Ces institutions documentaires sont même très en retard pour pouvoir intégrer cet espace moderne du fait de la faiblesse de leur infrastructure de base que ce soit dans l’environnement classique ou numérique. Il est vraiment difficile de réfléchir à une solution de bibliothèques numériques dans les conditions actuelles. Il n’est même pas possible de concevoir un procédé capable de réaliser un tel projet. Il revient à ces bibliothèques universitaires de réfléchir surtout à propos d’une politique scientifique qui leur permettra, d’une part, de développer leurs services et leurs activités, et d’autre part, de sortir du marasme dans lequel elles se trouvent. (Résumé de l’auteur
النظام المحاسبي المالي الجديد في الجزائر والمرجعية الدولية للمحاسبة
No full textفي ظل الاتجاه المتنامي لعولمة المعايير المحاسبية تتفاعل البيئة الجزائرية تفاعلا إيجابيا ومضطردا من خلال إصلاح النظام المحاسبي بما يحقق التوافق بين الممارسة المحاسبية في الجزائر ومتطلبات معايير المحاسبة الدولية. وقد تم تبني هذا النظام المحاسبي المالي الجديد بالنظر لجملة من العوامل التي تتعلق بالمستجدات المحاسبية الدولية من جهة، والتحولات الجذرية التي عرفها الاقتصاد الجزائري في ظل تبني آليات اقتصاد السوق، اتفاق الشراكة مع الإتحاد الأوروبي، والمساعي الرامية للانضمام إلى المنظمة العالمية للتجارةIn the light of globalization of accounting standards system that has been progressing, Algerian accounting system is being positively interactive to that environment, and complied with the requirements of international accounting standards practices. The adoption of the new International Financial Reporting Standards (IFRS) was as a result of the newly reviewing international accounting, and radical changes that Algerian economy has known. Market economy adoption, partnership agreement with the European Union, and the efforts that have been doing to join the World Trade Organization (WTO) are factors through which Algerian accounting system reforms are being processed.ب4137539
Reasoning on Hybrid Ontology Using Extended SWRL Rules
No full textIn this paper we present the principal steps to create a semantic rule which integrates Object Oriented Techniques to the comportment of the concepts. The set of rules obtained from the extension of SWRL rules will be posted to Jess Engine using rewrite meta-rules. The reasoning on this combination allows inferring new knowledge and stores it in the knowledge base. We propose an implementation of the method of extending SWRL rules with the adaptation of the different Object Oriented Techniques. The engine executes the transformation of these techniques to the Jess model. Our demonstration clarifies the importance of this kind of reasoning. We use a case study inherent to interpret a check up in preventive medicine.060