Reports and Publications
Number: 001
Date: December 2002
Author: Eustache MUTEBA
An Algorithm's Approach for Multipath Computation
Abstract.
The multipath algorithm are used whether the problem concerned is dynamic. Many problem in telecommunication and in image processing need to be represented in a general and flexible form. We present an approach of multipath algorithm addressed to this kind of problem which is referred to the algorithm graph. The algorithm graph can serve an important role. Suppose from a current node i there exists a minimum one decision node in the algorithm graph, G. A decision has to be made about which is the next operation to be performed. Also, we admit that there exists multiple path that can forward to a goal node j. The cost will be defined to all feasible paths. Let us consider that at such node there is possibility to determine the path with minimum cost to the destination. It is an optimal solution.
Number: 002
Date: October 2003
Author: Eustache MUTEBA
Protocols and Strategies in n-players Game
Abstract.
N-Players game is a generalization of two players game in which players takes turns alternately. We call the player who plays first the ACTIVE player and others opponent the PASSIVE players. We examine how to describe and design a system in which N-Players can communicate and interact with each other by means of protocols and set of strategies. The players can have conflicting goals or self interests (non cooperative), in this case, the objective is to maximize the utilities of the players. When the players have similar goals or common problems (cooperative), the objective of is to maintain globally coherent of the players without violating autonomy. The main question is the arbitration or coordination of player's actions assuming that there is a need to meet global constraints. The constraint satisfaction problem that require a classification of constraints and need a good interpretation. The N-Players game problem uses the multipath computation.
Number: 003
Date: September 1999, revised in May 2004
Author: Eustache MUTEBA
Wavelet Transform: Pyramidal Algorithm
Abstract.
Usually, for processing classical images the sampling is made in accordance with Shannon's theorem and the Discrete Wavelet Transform can be derived from this theorem if we process a signal has a cut-off frequency. The wavelet transform is widely used for image compression, but can be extended for others applications such as video sequences. Image coding methods based on wavelet transform can be successful provide high rates of compression while maintaining good image quality. So, to model and to compute an image based on wavelet transform, we make use of Pyramidal Algorithm. The idea is that in one hand the forward transform, we make low-pass decomposition and high-pass decomposition to decompose the image. In the other hand the reverse transform, we do low-pass composition and high-pass composition to reconstruct the image.
Number: 004
Date: May 2004, revised in February 2005
Author: Eustache MUTEBA
Abstract View of Medical Simulators: Syntheses of Images
Abstract.
The instrument study is the echograph. The echograph uses the propagation of the sound in the bodies to build plans of cut. We need the representation of the bodies that is must include and understand: - physical characteristics (acoustic impedance, propagation velocity of the sound); - geometrical characteristics (the volume and the echographic aspect of the interior). To synthesize, it is necessary to have a representation of the various objects and the bodies composing the echograph. The images of good quality and in real time, we allow a good interaction between the gestures of the expert and the images.
We can formalize the abstract view of the simulator like this: We assume that the simulator work in environments which are represented by the physical characteristics and the geometrical characteristics, and can be characterized as a set of states S={s(1), ..., s(n)}. A simulator will have a repertoire of actions that are composed by the different gestures of the expert on various objects and the bodies available to it. Thus, the simulator is assumed to be represented also by a set A={a(1), ..., a(n)} of actions. The key problem opposite to a simulator is that of deciding which of its actions it should perform in order to best satisfy its design goals, a set G={g(1),..., g(n)}. The simulator is intended to simulate the gestures of the expert on various objects and the bodies composing the echograph.
Number: 005
Date: February 2005
Author: Eustache MUTEBA
Modelling a context classification of terms
Abstract.
We analyze the problem of the classification of the terms/words by context which problem is regarded as a challenge in many applications of data-processing linguistics such as the representation of the knowledge, machine translation and others. We focus our attention on the semantic relations, the supplies of the contexts and other information on the terms for a classification. The system of classification of the terms by context is a system in which one assigns with a certain class or category a term according to rules' of decisions based on contexts given. The classifier would be a function fulfilled by K and assigns the term m to the category C combined with the parameters P, f(k)=c(m)*p.
Number: 006
Date: February 2005
Author: Eustache MUTEBA
The B-Method: Automatic Translator of Optimization Based On Constraints Satisfactions
Abstract.
The smart cards are subjected to strong requirements in term of safety. In the opened systems, it is possible to charge of new applications in the smart card, the use of formal techniques such as the B-method is necessary in order to bring insurance. Due to strong constraints related to the smart card in term of consumption memory, to integrate code proven in a smart card is currently hard. It comes that the use of formal methods is limited to the validation and the proof of specification and in many cases, a manual translation is used to eliminate the unit tests. The automation would allow significant profits of productivity for smart card and could be useful technologies for others embarked contexts. The prototype of automatic translator of optimization which we consider rests mainly on the technique of the constraints satisfactions and other techniques which are very flexible.
Number: 007
Date: October 2007
Author: Eustache MUTEBA
Algorithms for Weaving Aspects in Distributed Application
Abstract.
One of the challenge in aspect-oriented programming language is to manage the interactions of components in an open environment due to multiple contexts. Generally distributed computing environment is characterized by the fact that application run on different operating systems and various hardware platforms. Thus, a distributed application must handle certain requirements such as network heterogeneity, object location and selection, synchronous communication and threading, deferred activation, security and binary data exchange, in order to offer benefits. To date, Java Aspect Component (JAC) gives a framework for building aspect-oriented distributed applications in Java. We shows, in this paper, algorithms for weaving aspect in distributed application. The abstraction provided by our algorithms are designed to enable distributed computing environment of applications.
Number: 008
Date: November 2007
Author: Eustache MUTEBA
Mixed Methodologies for an Embedded Software
Abstract.
To date digital information technology is embedded our environment. Think to telecommunication, flight, automotive and medical systems. These systems usually must achieve a higher level of robustness and reliability because they control real-world physical process or devices upon which we depend. Main issues of these kinds of embedded systems are to build embedded software that can integrate in several dependent components the requirements. In the work presented here, we propose methodologies for designing embedded software. These methods show a way to handle non-functional requirements by using Aspect-Oriented Technology (AOT). AOT tries to solve the problem that often a single dimension of functional decomposition is not sufficient to implement all aspects of software in a modular way. AOT helps out of this dilemma, by allowing an environment to implement such crosscutting concerns in modular units called aspects. Thus, it complements Object-Oriented Technology (OOT) by providing other techniques.
Number: 009
Date: December 2007
Author: Eustache MUTEBA
Modelling Medical Image Analysis: Object-Based Knowledge Representation and Reasoning
Abstract.
Modelling of medical image pathologies are highly complex. In most cases, information important for the understanding of an image is not represented in single pixel but in meaning full image objects and their mutual relation. The medical image processing and analysis software may brings the physician a considerable help for diagnosis and therapy. The present work describes the basic knowledge entities and their reasoning information with object-oriented techniques. To permit the flexibility of the system, we define the fuzzies knowledge entities and dynamic reasoning by means of aspect-oriented techniques. At last, we make a formalization of the knowledge representation and reasoning (KRR) in medical image analysis based on the two techniques.
Number: 010
Date: March 2008
Author: Eustache MUTEBA
Requirement Specification of a Run Time Manager
Abstract.
We are interesting to incorporate the Run Time Manager that is one of the challenges of hiding implementation details from advice in aspect-oriented programming environment. How to maintain internal descriptors which keep track of each join point at run time efficiently? We propose the approach based on dynamic techniques and we consider that those techniques can exploit run time execution information including static information of a base program.
Number: 011
Date: May 2008
Author: Eustache MUTEBA
Agent Based Modeling of the Virtual Community
Abstract.
In today’s society there are some important evolutional improvements of the Internet like virtual community. A virtual community is mainly focus on communication and interaction of different agents about any topic that is governed any exchange of information or resources. The idea is to create social systems in a virtual way by a network or by a technology supporting the real-time interaction between agents through their devices, terminals, networks, computers. The approach of agent-based has advocated for designing is due to fact that agents can interact with each other and can operate robustly in rapidly changing of information, in unpredictable or an open and distributed network environments. In this paper we take up the challenge of formalizing a virtual community by means of functions. We argue that the principle of functionality can be a selective principle that distinguishes variants acceptable by the system, or possible changes, from unacceptable variants.
Number: 012
Date: August 2008
Author: Eustache MUTEBA
The Formal Methods for the Errors Correction in Ambient Intelligence Systems
Abstract.
When deploying an Ambient Intelligence (AmI) in chaotic environments, there is in it a real challenge due to the nature of interaction between objects (devices) or the humans and objects. Since, the most complex general class of environments is those that are non-deterministic, inaccessible, non-episodic, dynamic, and continuous. This paper aims to combines numerous heterogeneous computational artifacts and fuzzy-logic-based learning approach for the errors correction in AmI system. The basic goal of these methodologies is to provide an approach of a dynamic AmI system.
Number: 013
Date: August 2008
Status: Accepted paper at the World Congress on Science, Engineering and Technology (WCSET 2008). No published.
Author: Eustache MUTEBA
Reliable 3-D Wireless Imaging based on Forward Error-Correcting Coding
Abstract.
The Discret Wavelet Transform is one of the techniques that are addressed to image processing, video streaming and wireless technologies. Wireless communications used widely multimedia contents over wireless channels in that there is narrow bandwidth and noisy. The wireless multimedia applications such as video streaming and image compression require certainly accuracy and adaptability in such wireless channels. This paper proposed a mathematical model of a Reliable 3-D Imaging based on Forward Error-Correcting Coding. We introduce the method of permutation transformation for the redundancy aspects to handle the Forward Error-Correcting Coding.
Number: 014
Date: October 2008
Status: Work in progress
Author: Eustache MUTEBA
Contractual Specification of Distributed Interfaces Devices in Dynamic Federation
Abstract.
Idea beyond federation information system is to provide a framework, an uniform view, of independent information sources taking care technical aspects. This framework can support interoperability and evolution functionalities of devices that are placed into different platforms.
Due to openness and extensibility of the federation, specification of interface between functionalities devices is needed to integrate new applications.
This paper aims to provide a contractual specification of an interface to instantiate at composition time the new application in an existing component and to handle mobility of information.
Number: 015
Status: Work in progress
Date: December 2008
Author: Eustache MUTEBA
Information Retrieval Service to Support Clinical Decision-Making based on Dynamic Virtual Integrating of Data
Abstract.
To date new technology are needed to support clinical decision via the network system. This is due to the fact that most of decision support systems available on the Net are passive and do not integrated diagnostic and therapeutic decision support facilities.
The envisaged system can serve as a medical portal linked to distributed databases that are triggered by clinical events and others users’ needs. Such system requests high levels of availability and accuracy.
In this paper, we describe dynamic virtual integration of data that can be appropriate technology to provide synchronization of data of all possible point-of-care and to adapt it for any good decision.
Number:016
Status: Communication at HELINA 2009
Date: January 2009
Author: Eustache MUTEBA
Information System Specification and Description Language based on Temporal and Semantic Analysis
Abstract.
We agree that the modelling of complex information systems such as those in health - care, can be seen on several levels of abstraction, namely:
- The conceptual level to the what,
- The organizational level to the who, where and when,
- The operational level which is the technical choices, the how.
An information system of an organization can be considered as a set of abstract models of a reality which simulates this reality at different levels. An organization is a set of entities that act and interacts with each others. The problem of an information management system is essentially to know:
- What are the entities communicating in this system,
- Which entities communicating with each of them, and
- How do they communicate?
It comes as the organization of an information system of health in an organization like a hospital, will focus on:
- The establishment of its organizational structure,
- The definition of the functions and tasks of each personal in health care-centre as well as various medical equipments, treated as entities,
- The organization and interactive communication between these entities,
- The drafting of manual of administrative procedures, financial procedures, technical procedures, medical procedures and medical protocols.
Our study focuses on the organization and interactive communication among entities that have relations based on a task or a process, and specifically the dynamic aspect.
This article present an information system specification and description language based on temporal and semantic model. It is allowed to define medical activities or events on interval temporal points and causal relations expressing their links. It brings abstraction with graphical representations to define: domain, events, concerned entities, relationships between entities, processes made and duration. It is therefore possible to obtain semantic networks by means of processes that give the semantics. In addition, the semantic network, it is still possible to represent the biomedical discourse that can be used in a smart navigation in a mass of information.
Number: 017
Date: January 2009
Author: Eustache MUTEBA
Medical Language Processing: Construction and Extraction of Biomedical Knowledge
Abstract.
Health information system is characterized by a great number of vocabularies such as those used in public health mainly in the field of epidemiology or those used in health-center for medical decisions. These informations are difficult to manipulate and need an establishment of classification and consolidation.
In our study on health information system specification and description language based on temporal and semantic analysis we presented a language of graphics visualization of concepts and biomedical knowledge in one aspect of modelling. The benefit of the methodology is to demonstrate that in the medical discourse can contain semantic evolution in time of the patient's situation.
The present paper present and discuss a conceptual linguistic structure for natural language and medical language. Refer to temporal and semantic aspects of the health information system, we can formalize the construction and the extraction of biomedical knowledge in functional grammar. Know that mapping natural language into request medical language is not easy.
Thus, we proposed to add an aspect-oriented approach to the functional grammar in order to handle fuzzies and others semantics characteristics of medical discourse. This framework will facilitate: intelligent information searching, medical decision support, multi-language diagnosis and consultation processing, ...
Number: 018
Date: March 2009
Author: Eustache MUTEBA
Formal Methods of a Reliable Ambient Assisted Environment
Abstract.
New trends of Ambient Intelligence are on the use of knowledge in order to support humans in critical demanding circumstances and tasks. Critical demanding circumstances and tasks need a monitoring and assistive environment to prevent any chaotic behaviour of the user and/or the system. The monitoring and assistive environment that supports the uncertainty and anomalies of the user's behaviour needs a strong covering fault system. Therefore, the paper aims to provide the formal methods based on language theory to specify a reliable ambient assisted environment.
Number: 019
Status: Work in progress
Date: June 2009
Author: Eustache MUTEBA
Implementation of Information System Specification and Description Language (ISSDL)
Abstract.
In this paper, we are described how we implemented ISSDL that is a visual environment tool. We are building a graphical design that will aid the process of specification and description of health information system. In side of graphical modelling, there is a textual form for biomedical discourse.
The tool enables medical researchers and clinicians to organise, describe and analyse health information system. Assuming that elements manipulate by the system are domains, events, entities, processes made (activities) and duration. The behaviour of the system based on activities can be precisely specified and verified, mainly by means of simulation. The usage of virtual medical activities led the potential to compose them, to detect their incoherence and to complete them.In addition, concerning already realized medical activities, the tool allows to represent and to analyse the biomedical discourse in such aways to provide these information for decision support system.
Therefore, we have designed our tool with a five layer-architecture and an integrated database.
Number: 020
Status: Work in progress
Date: August 2009
Author: Eustache MUTEBA
Federated medical information system
Abstract.
The general direction is referred to a dynamic clinical decision support based on a federated medical information system that can assist heterogeneous medical personnel across a wide geography at the same time. Thus consultation, clinical action and treatment are shaped by the available information in a different language and how this information is communicated, structured, explored and aid to make decision. Assuming that federation can allow highly dispersed content to be searched, organized and consumed from any type of end-device, irrespective of where the information source resides.
