This site uses cookies.
Some of these cookies are essential to the operation of the site,
while others help to improve your experience by providing insights into how the site is being used.
For more information, please see the ProZ.com privacy policy.
30 years of expertise in Computer Science (English, French and Spanish)
Type de compte
Traducteur et/ou interprète indépendant
Data security
This person has a SecurePRO™ card. Because this person is not a ProZ.com Plus subscriber, to view his or her SecurePRO™ card you must be a ProZ.com Business member or Plus subscriber.
Affiliations
This person is not affiliated with any business or Blue Board record at ProZ.com.
Services
Translation, Subtitling
Compétences
Spécialisé en :
Ordinateurs : systèmes, réseaux
Mathématiques et statistiques
Ordinateurs (général)
Ordinateurs : logiciels
Tarifs
français vers espagnol - Tarif : 0.10 - 0.15 EUR par mot / 25 - 44 EUR de l'heure anglais vers espagnol - Tarif : 0.10 - 0.15 EUR par mot / 25 - 44 EUR de l'heure espagnol vers anglais - Tarif : 0.10 - 0.15 EUR par mot / 25 - 44 EUR de l'heure italien vers espagnol - Tarif : 0.10 - 0.15 EUR par mot / 25 - 44 EUR de l'heure français vers anglais - Tarif : 0.10 - 0.15 EUR par mot / 25 - 44 EUR de l'heure
IrfanView - A lightweight flexible image viewer and Editor
IrfanView is a powerful and lightweight image editing program that can provide a quick and free alternative to such graphic suites as Paintshop Pro or Adobe Photoshop.
About IrfanView
Supporting 68 different file types in the tested version, this program leads the way in flexibility for freeware graphics editing. Equipped with several unique features not commonly found in multimedia editing suites, it was the first graphics program worldwide to support multiple animated GIF files. With a single 340KB EXE file, this program is quick to load and requires no DLL support.
Features
Irfan logo
Convenient and oft-overlooked functions are found throughout the program. Some of the features that I personally found useful include the Reopen function on the File menu. This allows you to reopen the file you are currently editing, discarding all changes without having to close the file and open it once more.
Another unique feature is the ability to move from file-to-file by simply double right-clicking the viewer while in full screen mode. This cycles through the available images in the directory, a great feature for webmasters who have to deal with a lot of graphics.
Total hotkey support allows advanced users to harness the program's functions quickly and efficiently.
The only problem I found with the program was in its Red Eye Reduction feature; attempting to use it on a picture of myself, the red in my eyes stayed the same while part of my face was turned grey!
There are many different types of image effects you can add successfully, including:
* Image re-sampling to decrease file size (great for saving bandwidth on the web!)
* Image sharpening
* Creating panoramic pictures
* Blurring and embossing
IrfanView - Conclusions
All in all, IrfanView can't be beat. While there are many freeware graphics programs out there, few are as quick and feature-packed as this program. I was extremely impressed, and I will continue to use this program for all of my graphic needs that don't require advanced Photoshop functions.
Links
* IrfanView home page
* ICanLocalize
Traduction - espagnol Ejemplo de sitio web
*Inicio
*Conclusiones
IrfanView - Editora y Visionadora de imágenes flexible y ligera.
IrfanView es un programa de edición de imágenes poderoso y ligero que puede proveer una alternativa rápida y gratuita para series de gráficos de Paintshop o de Adobe Photoshop.
Acerca de IrfanView
En la versión probada este programa puede trabajar con 68 tipos diferentes de archivos, es un programa líder que demuestra la flexibilidad de programas gratuitos para editores gráficos. Está equipado con muchas características únicas no encontradas fácilmente en la edición de archivos multimedia, fue el primer programa de gráficos en el mundo en respaldar múltiples archivos de animación GIF. Usando un solo archivo EXE de 340K octetos, este programa se carga rápido y no requiere un soporte DLL
Características
A través de todo el programa se pueden encontrar funciones convenientes y útiles. Algunas de las características que personalmente encuentro útiles es la función Re-abrir en el menú Archivo. Esto le permite reabrir el archivo en el que esta trabajando actualmente, descartando todos los cambios sin tener que cerrar el archivo y volverlo a abrir.
Otra características únicas es la habilidad de moverse de archivo en archivo pinchando dos veces el botón derecho mientras se está la visionadora y en modo pantalla completa. Esto se repite a través de las imágenes disponibles en el directorio, una gran ventaja para los administradores web quienes tienen que trabajar con muchos gráficos.
Un soporte total de la tecla caliente permite a usuarios avanzados utilizar las funciones del programa de manera rápida y eficiente.
El único problema que encontré con el programa fue en la facilidad de reducción de ojos rojos: tratando de usarla en una foto mía, !el rojo de mis ojos quedó igualito mientras parte de mi cara se volvió gris!
Hay muchos tipos de efectos de imágenes que usted puede agregar exitosamente, incluyendo:
*Re-muestreo de la imagen para reducir el tamaño del archivo (excelente para ahorrar ancho de banda en la Web)
*Afinación de imágenes
*Creación de fotos panorámicas.
*Empañamiento y relieve
IrfanView - Conclusiones
Y sobretodo IrfanView no puede ser vencido por la competencia A pesar de que hay muchos programas gráficos gratuitos en el mercado, pocos son tan rápidos y con un paquete de ventajas como este programa. Me quedé extremamente impresionado y continuaré con el uso de este programa para todas mis necesidades gráficas que no requieran del avanzado Photoshop.
Vínculos
*IrfanView pagina de inicio
*ICanLocalize
espagnol vers anglais: GLIDER: A NEW SIMULATION LANGUAGE
Texte source - espagnol not available
Traduction - anglais GLIDER: A NEW SIMULATION LANGUAGE
Carlos Domingo and Marisela Hernandez
Facultad de Economia. Universidad de Los Andes.
Merida. Venezuela.
ABSTRACT
I INTRODUCTION
Many processes inscientific:reseat-ch, industry fcommet-c:et Ctnd
government can be simulated by discrete event models. These are
simulation models in which the variables change only at a
certain instants in time, called events.
.
Discrete simulation is performed by computing sequentially, in
each of those instants, at the different parts of the system.
This allows us to simulate parallel processes in a sequential
.
manner, suited to usual computers.
Let us review the thre~ typical approaches used to implement
discrete simulation. (Zeigler B. 1970, Pritsker 1986)
Then we will introduce our own approach in which the GLIDER
language is based.
a) Event oriented simulation In this approach the system is
considered as subject to state changes at each event. An
analysis of t~e whole system is made to find all the types of
events that may happen. In each event type it is required to
determine what "changes in the variable vaLues have to be made
and what new future events have to be introduced. In the
implementation the events are programmed as procedures in a
general purpose language. A reference to each event to be
executed (type of event and the time at which it has to be
executed) are stared in a list ordered by the scheduled time
(future event list or FEL).
The processing algorithm is quite simple. The first event in
the list (the next to occur) is extracted from the FEL and the
simulated time is set to the tif{l~o.f the event. Then th"a:!
procedure for thdt event is eHecuted. This may change some
variables and schedule some new events for ~he future which are
put into the FEL. Then th~ next event ~Iillbe processed. The
process continues until sOllletennindtion condition is found.
This may be: .
i) a certain 'value in the time is reached,
ii) a certain num~er of events of a given type are executed,
iii) some other co~dition specified by tha Oser.
This' metliad has many advantages. The processing schema is
simple, and the cwde to program each event. is cont:i!:ie.Th€:!
problems arise when "lear"efaced systt:!lI)
HiLh Clcoolplt:!~:built
1
up of many interacting subsystems some of them e>:ecuting
-<
complex operatiuns. The analysis of the system, which is
usually made by decompositibn into subsystems, does not clearly
unveil the interconnections of the events that usually affect
different subsystems. The programming of the events becomes
cumbersome, full of conditionals, references to variables of
differe~t subsystems and the danger of omissions and errors
increases. For this reason other approaches have been proposed.
b) Activity orientation simulation. In this method the system
is viewed as a set of active elements which perform certain
activities. To each activity a set of conditions is attached,
that have to be fulfilled to enable its execution. The
conditions may include: the time after which the activity can be
accomplished, certain values of the variables 'and certain
reIationships among them. The e>:ecution of the activity
includes changes in the values of the variables and of the
conditions of execution of the activities. The conditions and
these changes are programmed as procedures. A scanning
algorithm searches for the activity t.hat has the Io~'est
scheduled execu1:ion time and in which the condi tions of
execution are fulfilled. This is executed. Then a next scanning
and execution is made and so on. As in the case of the' event
oriented simulation some condition may stop the process.
The main advantage of this approach is that the active elements
and the activities they perform can usually be determined more
easily than the events. A complex activity may be decomposed in
several simple ones. On the other hand, the scanning algorithm
may be costly in computer time when there are many activities
with complex execution conditions.
c) Process oriented simulation. Many situations to be simulated
include, or can be reduced to, a flux of entities or
individuals which are submitted to dif~rent processes, are
delayed in queues and distributed in a network'of server's. It
is usually the case that the description of the individu~l
his~ory of an entity (or of each type of entity if there are
many types) is mor~ easily grasped than the interrelations of
events or activJti&s. The assumption is that cl correct
definition by the u~~r of the processes at which the entities
are subllitted, cl1fllpletelywhich is
tleterminesthe simulation,
then '(Iadeby a pnjct:!s~or.The Llserdefines the process by means
of a series of blocks that she or he writes in an special
language. The language pr-ovides bloc:ks to create, destroy,
transfer, change variables and characteristics of the entities.
The entity is usually represented by an array of atrib~tes, the
array c.orr-ivalul?= tha't t'/2present tht:!characteri sti cs of tht:!
as
entity.
The prCJce~sor c:onsiC:n fr-oillts
ders entity a curr-ent even list
(CEL) wlich contains those ~n~ities candidates to be prCJcessed
at current time, a~d it advC:ncesthe entity through th~ blocks.
This activates the blocks and in them the variables of tht:!
system and of the ~ntity may be chang8d. When an entity is
delayed by the cond~tions if.a block, then if its release timt:!
is known th~ entity is.put in a FEL with an indication of 'it~
position and the release tiffie.Otherwise it remains in tlteCEL,
it is m~-ked as delCiyed and the fqllowing entiLy in the CEL is
o
~
considered to be advanced. The processor continues and repeats
the scan of the entities in the CEL ~ntil no more advances are
-
possible. Then the next entity in the FEL (and eventually
others to be processed at the same time) is extracted and
transferred to the CEL. Then the scanning of the CEL is
reassumed-
The process is stopped by a condition specified by the user.
The main advantage of this approach is thatthe process is
easily determined and decribed. For this reason it is widely
used. However, in systems in which complex processes are to be
performed in a point in the system and the active elements are
not the wandering entities, but subsystems which activate
them~elves or each other ,then the representation of the s~stem
becomes factitious.
.
It is clear that the merits of one of these approaches depend
on the characteristics of the system to be simulated. In
complex systems soma parts may be adequately simulated by an
approach, others by means ous
of anath.iw. I.tis them ob.~'ithat
a mixed approach is necessary. Actually some languages with an
orientation incot-poratesOme elements of the other-two.
Let us introduce a new approach in which the three are
integrated in a common frame.
d) Network oriented simulation. In this approach the sy=tem is
considered as a set of inform~tion processing entities, called
nodes, components of a network. The nodes may receive, store,
process and send information to other nodes. They may process
information stored in themselves, in other nodas and in
external storages-TIeymay be activated (put into process) by
the incomming information, by themselves and by other nodes at
actual or future time. Whether the transformatioos in. the
information that is produced by a node is or not executed or
partially. executed can be made dependent of user programmed
conditions. One of the forms of information interchange are
messages that a node can send to other (o.to itself).
The nodes can be considered as events because they may be
programmed in a general purpose language, and may be activated
from the same node or from other nodes for the present or
future times. They may be thought as activities, because
conditions of execution may be incorporated, written in the
general language, and the nodes at-e scanned, checking the
conditions and executing the code if they are fulfilled-
Finally, the messages which flaw from a node to the other may
be considered as the entities of the process approach, because
they may activate the nodes and may be submitt~d to the same
processes see~ in that method.
The approach is particularly adequate to the situations in
which the analysis of the system has been made.by decomposition
into subsystems, because it is known that in this case the
network is the lTIostnatural re'presentation. For this reason the
correspondence betlfJeen the systelll and. the prc)gt-am is
srtaightforward.
j
..
11 THE PROBLEMS OF NETWORK ORIENTED SIMULATIQN
When designing and implementing a language for network oriented
~
o
r
simulation a series of problems are to be considered.
.a.)Definition of the network. This is done by ~'Irinude
ting the
names in any order and indicating after each name tha list of
succesor nodes. A succesor is a node at which the current node
can s~nd messages. The network may include cycles, isolated
nodes, disjoint subnetworks and loops. .
Graphic definitiun of the network is being impl~mented.
b) Definition of the activity (information transformation)
which the node performs. .This is done by means of a piece of
code associated to the node (actual~y following the name)
written in a gener-alpurposelanguage (PASCAL in the actual
implementation) completed by a set of new structured
statements, procedures and functions. The user may program his
or her own procedures and functions in the general language.
c) Storage of information at the nodes. This is accomplished by
means of an entry list for the messages received at the node
and by an internal list for those that must be stored
temporarily in it. Besides this the code associated with anode
may use the diverse types of .information storage (any type of
variables, arrays, records, files, 'lists) that may be managed
in the structured data of the general .puposed language. All
these are considered as global variables. The convenience of
including variables local to each node is being considered.
d) Interchange of information between nodes. This may be done:
i) By means of common global variables and files.
ii) By messages (PASCAL records in our case) that one node. can
send to.the entry list of other node (or to its own entry list)
Those messages are processed by the receptor when it becpmes
active. .
iii) By direct action of a node upon the information stored in
other nodes, for instance, altering its internal or entry list.
e) Information.available at the node. The code in the nodes has
direct access to the global variables. The information in the
messages is directly accessible only when the message is
processed. The value of the variables of the message may be
changed in any node by means of intructions of the general
language. In certain cases, in which comparison of messages is
required, it is possible to have simultaneuos acces to
information from two messages. Generalization to allow the
direct access to many messages is space and time consumming and
may be carefully evaluated.
.
Procedures are pr-ovided to search for information in any
message in the system.
f) Management of messages. The messages are registe~s of
different structures. They 'ar.eproduced at certain nodes, an
structure being associated to a particular node. The messages
are organized in l~sts which have .tobe managed by the system
and the user~ Bec~use it is not convenient to form lists with
register"sof diffw"8nt structures, the actually managi:d list is
one mad8 of point~r5 to the records representing the me5sag~s,
.
but tha is t the
t trat,=p~r"t::!nto user.
4
The management of lists .isfacilitated by a set of structured
statements and procedures.
Another way to provide for this management is to define certain
node types corresponding to very frequent subsystems as queues,
creators and destroyers of messages, gates, resources,
selectors, etc. When these system pre-defined node types are
used the system includes automatically the adequate list
management. The user may include in these nodes PASCAL code and
system statements to taylor the typical subsyst~m to the needed
specifical case.
g) Multiple nodes. The usual situation of having many
subsystems performing similar processes is managed. allowing
subscripted nodes. These represent as many nodes as the maximun
value of the subscript, all of them using the same code. As the
user controls the subscript and can use subscripted variables,
individual particularities for some nodes in the array are
easily programmed.
h) Processing of the network. The method of processing the
network at each event was decided with a view to mantain the
integration of the three classical approaches. A FEL is
mantained and in each event element we store a reference to the
first node to be activated at the begining of the execution of
the eveRt (~e will call it the node painted by the event), the
index of the node and the time at which the event must be
executed. The execution of the event starts with the activation
of the node pointed by the event. Then the following node (in
the sequence in which it appears in the program) is processed
if the conditions of activation are fullfilled. In this way
the scanning proceeds to the last node. Then it continues with
the first node in the program until the node firstly activ.ated
by the event is reached. If some message interchange occurred
in the scanning cycle then the cycle is repeated until a cycle
is finished ~thout message interchanges. In this case the
event is consired finished and the next event is executed.
Since the scanning process repeats itself .cyclically a number
of times not controlled by the user, means are provided to
control the processing of parts of the code of a node. The user
.may restrict the execution to only one time in the event
execution or allow the execution only to be made and only when
the event points to the node.
111 THE GLIDER-l LANGUAGE
a) Node types
In this first prototype of the GLIDER language six predefined
node types are included. The types, indicated by the letters 6,
L, I~ D, E, R, are described in what follows.
G (Gate). This typ~ of node has an entry list in which messag~s
may. be delayed. -rhe main code may allow to pass the mcssayes
according to programmed conditions and selld them to oU.er
nodes. The STATE part of the code is used to change variables
that represent the state of the gate. Those vari~bles may be
5
~
.
,.
used by the main code. This STATE part is only executed in the
first scanning cycle and only when the event points to the
node. The main part of the code is executed for each message in
the entry list that is processed.
Example
TR_LIGHT (G) AHEim.,LEFT::
STATE CASE LIGHT OF
GREEN:BEGIN LIGHT:=YELLOW; TYELL:=TIME; IT:=6 END;
YELLOW:BEGIN LIGHT:=RED; IT:=30 END;
RED:BEGIN LIGHT:=GREEN; IT:=35 END;
END;
IF (LIGHT=GREEN) OR «LIGHT=YELLOW) AND (TIME-TYELL.
'It is, used to simulate queues or delay lines in which the
messages are externally released.
Example:
QUEUE 1 (L) REJ., RR::
IF L(IL_QUEUE) > 10
THEN SENDTO(REJ)
ELSE IF TYPE=l THEN FIFO
ELSE ORDER(CLASS,A);
If the queue (internal list of node QUEUE!) has a length
greater than 10.,'the message is sent to REJ. Otherwise, the
messages with the value 1 in their field TYPE are put at the
end of the queue. The rest of the messages are added to the
internal list according t~.the ascending order of the field
CLASS.
I
I (Input) When a node of this type is activated, it generates a
message (a register) wiht an structure that must be specified
in a NODE declaration. An IT statement, indicat~s when the next
activation is going to occur.
6
Exampl e:
CAR For each message in the entry list of ttus type of
node, the code is E!Hecuted and the message is then deleted from
the system.
Example:
EX: :
ACPAY:=ACPAY + PAYMENT;
TABULATE (TABP, PAY/,1ENT);
WRITELN('A CAR IS LEAVING THE PARKING AT TIME ',TIME:7:2)
When the node EX is activated, the first message in its entry
list ;
GATE::STATE {THISCHANGESTHESTATEPOFGATE} .
IF P=CLOSED THEN BEGIN P:=OPENED; IT:=TOP END
. ELSE BEqJN P:=CLOSED;ACTIVATECGATE,TCL)END;
'IF P=OPEN THEN GOALL;
PRA CR) MERGE. :: STAY:=PAj ( DEFAULT USE IS 1 }
B3 Cp) :: IF LENGTHCEL_B3)=3 THEN GOALLj
PRB CR> :: USE:=1; STAY:=TRIACMINT,MODT,MAXT>;
MERGE :: ASSEMBLE(4,EQUFIELDCPTVPE» SENDTOCEXIT);
EXIT :: IF PTYPE=A
THEN WRITELNC'EXIT A TYPE PART')
ELSE WRITELNC'EXIT B TYPE PART');
TYPE PT=(CLOSED,OPENED); TT=(A,B);
V~R ARRT,TTERM,Wl,PA,MINT,MODT,MAXT,TOP,TCL:REALj
NODE ARRIVALCWEIGHT:REAL;PTYPE:TT); {RECORD IS DEFINEP}
GFUNCTION FW POLYS CREAL):REAL:5j
STA1lSTICS ARRIV,TERMPRO,QUEUE,EXIT;
END.
~ote th~6e.features: ComOlents may be put between { } at any
point.
Node labels must'beatthe'beginingofthelinesand may be
followedby a node type indicationenclosedin o. If the name
of the node begins with a letter ccrresponding to the tYPE:!, no
type
indication is ~equired. Then a list may fallow of succescr
I~
i
I.
I
I.
"
I
!
10
nodes at which records can be sent. If the only succesor is the
node following in the programm, this indication is not
required. After this follows:: and the code for the node
which is written in a free format as in PASCAL.
IT (for Interval Time) indicates the next activation of the
node in the future. For a type I node this implies the
generation of'a record with a structure declared in DECL NODE
below. FW is a user defined function declared in DECL as POLYG
type Cpieceway linear). whose points are initialized in the INIT
part.DISCrete and SPLINE and DISTribution types may be defined.
USE indicates how much resource is' used by the incamming
record. The maximum is defined in INIT, default value is' 1.
When the maximum is exceded the coming records waits in the
entry list of the node. STAY indicate the time of use.
SENDTO sends the processed record to the indicate node; ORDER
puts the record in the queue acording to the ascending CA) value
of the field CWEIGHT) and FIFO puts it at the end. The STATE
instruction is used to'program the state change of the gat~
The ACTIVATE procedure schedules the execution of the indicated
node for'a future time equals to the actual time plus th~ v~lue
of the indicated interval. Alternatively IT:= may
be used.
LENGTHCEL_P3) gives the length of t~e entry list (queue) at
node P3. Shortly LCEL_P3) may be used.
ASSEMBLE is a procedure which stops regiters until a certain
number (4 in our case) which fulfilI a logical condition (in
this case to have equal the field PTYPE) are collected, and
when this happ~5, allows to pass only the first, destroying
the others. TI1enad8S of type E eliminate the registers sent to
them.
In the following a ~imple fuodel of port is shown.
TITLE PORT ITH A CHANNEL
toJAND THREE BERTH TYPES.
THE SHIPS ARRIVETOAPORTWITHINTERVALTIMES GIVEN BY AN
EXPONENTIAL DISTRIBUTION WITH MEAN TBA. THERE ARE THREE TYPES
OF SHIPS:
1 GENERAL FREIGHTERS 507.
.
2 OIL TANKERS 40%
3 SHIPS TO REPAIR 10'l.
THE TYPE IS SELECTED FROM A RANDOM DISTRIBUTION FTYPE BASED IN
OBSERVATIONS. TYPE 4 IS RESERVED FOR ALL OUTGOING SHIPS.
ACCORDING TO THE TYPE THEY tlJILLTAKE BERTHS OF TYPE 1,2 OR 3.
THE ACCESS TO THE BERTHS .ISI'1ADETHROUGH A ONE WAY CHANNEL.
IF THE CHANNEL IS FREE AND THERE. IS A BERTH OF ITS CLASE' FREE
THEN THE 'SHIP IS ALLOWED }O ENTER. THE SHIP TAKES ONE BERTH AND
REMAIN THERE A TIt1ETAKEN.FROM A NORt1AL DISTRIBUTION.
STATISTICS EACH 100 HOURS OF OPERATION ARE REQUIRED.
NETWORK
.
IN:: IT:=EXPO(TBA); TYP:=FTYPE;
GATE:: IF (F_BERTH[TYPJ>O) AND (F_CHANNEL>O) THEN GO;
CHANNEL (R) BERTH[TYPJ,EXIT::
DECL
VAR TCHANNEL,STMEAN,STDEV:ARRAV[1..3] OF REAL;
TBA:REAL;
NODE IN(TVP:INTE6ER);
GFUNCTION FTYPE DIST(REAL):INTEGER:3;.
STATISTICS IN,SATE,CHANNEL,BERTH,EXIT;
END.
Note the use of subscript to simulate the three types of
berths. An isolated general tipe node STA is used to call the i
procedure STAT each 100 time units. Values in an array may be I
assigned by statement *:=.
V FUTURE EXPANSIONS
Some improvements and generalizatios-are under research. We
will mention the following ones:
a) Graphic. input and animated monitoring is being implemented.
b) Active messages. In GLIDER-l messages are carriers of data. I
It' may be useful to attach procedures to a message in order to
. simulat~ moving entities with processing capabilities, for
t
instance in material handling problems.
I
I
I
I
c) User defined node types. The user may find necessary to have
I
!
node types different to the predefined ones in GLIDER-I. It.
would be possible to' declare a new type with its list
processing an code and use many times this type of node. The
system would auto~atically add the declared code.
d) General
event types. It may be possible to .put' more
information in the event records to be used when the event is
executed.
e)Continuous simulation. In the example of the general node the
way in which continuous processes can be introduced. is
indicated. The cQordination with the discrete events is
automatic because of the way nodes are processed. Although this
method is not very efficient it is quite flexible, allowing for
mixed models and continuous simulation with different
.integration periods. To enhance the use in continuous
12
simulation some more integration facilities are needed.,
e) Variable structure. To manage structure changes during the
simulation was one of the initial aims of the GLIDER project.
Although the actual versipn does not have the required
.facilities, the language structure is well adapted to be
generalized to a more advanced one, allowing dynamic
incorporation and deletion of nodes and conections.
ACKNOWLEDGMENTS
The actual staff discussing and developing the GLIDER system
includes professors Giorgio'Tonella,. Marta Sananes, Jose G.
Silva und Herbert Hoeger. They made important contributions to
the material of this p'aper. Professor Renato Del Ca~to
encouraged .the realization of the project and participated in
the early discussions. Prof~ssor Cristina Zoltan mad~ useful
suggestions about the network processing.
BIBLIOGRAPHY
A. Alan B. Pritsker. Introduction to Simulation with ~LAN 11.
Halsted Press Bool~.New York, 1986.
Bernard P. Zeigler. Tbeory of MOdelling and Simulation. John
Wiley, New York, 1976.
espagnol vers français: Qu'est-ce qu'un rapport?
Texte source - espagnol not available
Traduction - français Université de Picardie
Master d’Informatique
Mme Marisela Hernandez
Année 2005-2006
Module Projet
1. Qu'est-ce qu'un rapport?
Le rapport n'est pas un journal de votre travail. Cela signifie qu'à une description chronologique de votre travail, vous préférerez une synthèse thématique de votre contribution au projet.
Demandez-vous quel est le public cible de votre rapport. Demandez-vous, "qu'est-ce que je savais sur le sujet au début?" et "quelles sont les informations dont il faut disposer pour continuer le projet?", et n'oubliez pas que au moins votre professeur va le lire...
Gardez en tête l'objectif d'intéresser le potentiel lecteur à votre projet.
Votre rapport sera constitué de la (des) réponse(s) amenées par votre travail au projet, basique ment constitués d'éléments théoriques référencés, de résultats si possible représentés graphiquement et interprétés. Ces réponses sont des informations scientifiques, essentiellement quantitatives (limiter les informations qualitatives), exprimées en des termes scientifiques. Exprimé brutalement: vous n'écrivez ni un article dans un quotidien, ni un roman, ni une lettre à vos parents. La plupart des ingénieurs ont une mémoire très visuelle, utilisez-le en complétant votre texte de schémas et graphiques, bien plus explicites que des textes, fussent-ils soigneusement rédigés.
2. Les éléments d'un rapport
Les rapports n'ont pas une structure définie, à l'exception de certains éléments imposés administrativement (page de garde, énoncé, résumé). Cependant, tous les rapports de projet ont à peu près les mêmes éléments que nous décrirons de façon plus détaillée par la suite.
Les éléments typiques d'un rapport sont les suivants:
1. Page de garde (sec.2.1)
2. Enoncé (sec. 2.2)
3. Résumé (sec. 2.3)
4. Table de matières (sec. 2.4)
5. Introduction (sec. 2.5)
6. Etat de l'art (sec. 2.6)
7. Théorie (sec. 2.7)
8. Expériences (sec. 2.8)
9. Conclusions (sec. 2.9)
10. Bibliographie (sec. 3)
11. Annexes (sec. 2.11)
Nous vous demandons de faire un travail de synthèse. Pensez à déplacer à l'annexe le contenu qui n'est pas essentiel à la compréhension générale du projet (ex: les longs calculs, instructions d'utilisation). Nous vous suggérons de commencer par écrire un rapport étendu sans vous soucier de l'extension et ensuite l'élaguer et déplacer dans les annexes les informations moins essentielles.
2.1 Page de garde
La page de garde doit contenir les informations suivantes:
1. Titre: Le titre est en principe défini par vous et le professeur. Dans certains cas, il est souhaitable de modifier le titre pour mieux mettre en évidence un aspect particulier du projet. Discutez toute modification du titre avec votre superviseur.
2. Auteur
3. Professeur
4. Identification de l’Université, cursus, année académique
2.2 Enoncé
L'énoncé est une description sommaire des objectifs du projet. Vous placerez l'énoncé en début du rapport, après la page de garde, pour permettre aux lecteurs du rapport de juger si les objectifs ont été atteints et de la pertinence de la démarche entreprise.
2.3 Résumé
Le résumé fait la synthèse du projet en une page au maximum. Par conséquent, il devra contenir une brève description du problème, des objectifs du projet (seulement ceux qui ont été atteints), mentionner les résultats les plus importants et dresser une conclusion. Dans le résume il faut surtout mettre en évidence les résultats car ce sont eux qui rendre mieux compte de votre travail et donnent l'envie de lire votre rapport.
Le résumé est utilisé pour publier vos projets (brochures, pages web, etc.) et est souvent la première chose que le futur lecteur voit. Il faut donc l'écrire avec un langage et un ton agréable, invitant à la lecture du reste du rapport, mais rigoureux et honnête (il s'agit d'un travail d'ingénieur et non d'un document publicitaire).
2.4 Table de matières
Si le rapport contient plus de 10 pages, il est convenable d'y ajouter une table de matières avec les titres des chapitres et des sections, ainsi que leur numéro de page.
Tous les traitements de texte modernes, génèrent la table de matières automatiquement. Ne le faites pas manuellement, car vous pourriez oublier d'y apporter les modifications introduites a posteriori.
2.5 Introduction
Il n'est pas nécessaire que le premier chapitre du rapport s'intitule ``Introduction'', mais il contient toujours à peu près les mêmes informations.
L'introduction doit:
· Définir le problème que le projet a essayé de résoudre ainsi que le cadre dans lequel le problème s'inscrit.
· Définir les objectifs du problème. Vous devez décrire de façon plus détaillée et avec vos propres mots les objectifs qui apparaissent dans l'énoncé. Décrivez le problème du point de vue de l'utilisateur (courtement rapporté) pour ensuite le formaliser en des termes utiles du point de vue de celui qui doit le résoudre. Cette formalisation est partie intégrante du projet, elle est même capitale!
· Parfois le projet qui vous occupe fait partie d'un plus grand projet du laboratoire (thèse, projet européen, projet industriel, etc.) Expliquez comment votre travail s'insère dans le projet global.
· Définissez le cadre de votre travail. Quelles ont été les contraintes imposées pour réaliser le travail? Quelle a été la méthodologie ou la philosophie choisie et suivie? Et pourquoi?
2.6 Etat de l'art
Si votre problème n'est heureusement pas identique à d'autres, il contient certaines similarités. Quantité de problèmes ont été résolus par vos prédécesseurs, du scientifique de renom au simple ingénieur en passant par vos collègues étudiants: profitez de leurs travaux!
Le titre de ce chapitre peut varier d'un rapport à l'autre. L'état de l'art situe votre projet dans le contexte actuel de la technique et de la science. Ce chapitre n'est pas réservé aux seuls projets ``de recherche''. Si vous concevez un produit commercial vous devez être très conscients des produits similaires ou concurrents, des brevets existants, voir des échecs commerciaux précédents.
2.6.1 Recherche bibliographique
Des outils de recherche sur Internet offrent d'intéressantes possibilités. Certains sont spécifiques à la recherche scientifique, tels le Web of Knowledge (http://isi6.isiknowledge.com/portal.cgi), qui comporte le Web of Science (revues) et le Web of Proceedings (conférences). D'autres sont plus généraux, comme Google. Dans tous les cas, ces recherches peuvent consommer énormément de temps, en particulier si elles sont mal orientées. N'hésitez pas à discuter avec votre professeur pour connaître les mots-clés adéquats.
Des éditeurs proposent des moteurs de recherche dans leurs journaux:
IEEE http://www.ieee.org
Springer http://link.springer.de
Sciencedirect http://www.sciencedirect.com
Emerald http://gottardo.emeraldinsight.com
Taylor&Francis http://taylorandfrancis.metapress.com
ASME http://www.asme.org
Elsevier http://contentsdirect.elsevier.com/
Kluwer http://www.wkap.nl/journal/
Mais les moteurs de recherche sur Internet ne sont pas la seule source d'information. Elle est souvent limitée, parce que la plupart des travaux antérieurs à 1995 n'y figurent pas. Ayez un regard critique sur ce qui est publié: la persistance au travers du temps des citations de certains écrits peut être un indice de fiabilité. Plus personne ne remet en cause les modèles newtoniens du mouvement des corps, mais les appliquer à des vitesses proches de celle de la lumière n'est pas judicieux, comme l'a montré Einstein. Cet exemple montre qu'il faut attacher autant d'importance à la solution qu'à ses conditions d'application. Vous devez contrôler vos sources et spécifier pourquoi et comment vous pouvez les utiliser, c'est-à-dire les hypothèses simplificatrices que vous faites.
2.7 Théorie
Dans cette partie vous devez donner au lecteur des éléments théoriques pertinents pour le projet. Ainsi, vous devrez adapter les équations générales ou algorithmes de votre domaine de travail au problème particulier qui vous concerne. Mettez le reste (équations générales, théorie de base, cas particuliers, voir dégénères) dans les annexes ou les références.
2.8 Expériences ou Résultats
Le premier objectif des expériences est de prouver quantitativement que les éléments théoriques (modèles et hypothèses) que vous avez développés et les conclusions que vous en tirez sont bel et bien valables. Le deuxième objectif est de prouver que les objectifs du projet on été atteints ou, à défaut, montrer quels objectifs on été atteints. Si vous avez conçu un un ou plusieurs programmes, vous ne devez pas vous contenter de dire ``ça marche''. Concevez des expériences pour montrer jusqu'où cela marche, pour quel type d'entrées du système, comment la sortie se dégrade, etc. C'est ce qu'on appelle caractériser un système.
Il ne faut donc pas inonder le rapport de résultats mais plutôt choisir les expériences qui valident (ou invalident!) les développements des chapitres précédents.
Les résultats de vos expériences ne sont utilisables que s'ils sont parfaitement documentés. Votre documentation doit être telle qu'une tierce personne puisse recréer des conditions identiques d'expérimentation et obtenir si possible les mêmes mesures que vous.
Si votre projet a une partie de programmation en C par exemple, votre code doit être commenté de telle sorte qu'un autre ingénieur puisse le reprendre facilement: chaque fonction, classe est courtement mais précisément commentée. Des schémas-blocs de vos algorithmes doivent figurer dans le rapport. Le code sera sauvegardé dans une disquette ou un CD, ce support est à rendre avec le rapport dûment attaché dans une pochette avec votre nom, titre du projet, université, date, … Les résultats bruts de vos mesures prendront place dans les annexes, alors que leur représentation et/ou interprétation seront dans le rapport. Un effort d'analyse est spécifiquement requis pour cette partie.
2.9 Conclusions
Vous synthétisez votre apport au projet et revenez sur vos hypothèses simplificatrices et évaluez leur coût (importance). Caractérisez votre solution en spécifiant son champ d'application.
Ayez un regard critique sur votre propre travail, ainsi que sur le projet. Vous devez porter un regard d'expert, reposant sur une vue d'ensemble développée au cours de votre travail. C'est ici qu'il faut mentionner et argumenter vos doutes ou certitudes quant à la viabilité de la recherche ou du projet, votre vision et vos idées de développement futur.
2.10 Bibliographie
Cette section du rapport contiendra la liste des références bibliographiques que vous aurez employées dans le rapport et éventuellement des références de base du domaine. En revanche, ne référencez pas ce que vous n'avez pas lu: une bibliographie "alibi" peut être source de questions dangereuses à la présentation orale... Chaque référence bibliographique doit se trouver dans le texte du rapport, il y a des différents styles à ne pas mélanger.
a) [initiales auteurs, date] auteurs, « Titre », éditeur, lieu de publication, date
b) [numérotation] auteurs, « Titre », éditeur, lieu de publication, date
2.11 Annexes
Dans cette partie de votre rapport est réservé aux informations qui ne sont pas essentielles à la compréhension générale du projet, mais qui sont tout de même utiles et d'intérêt pour le lecteur qui voudrait approfondir dans votre travail, comme par exemple quelqu’un qui continuera votre projet.
Ainsi les annexes contiendront par exemple,
· Des démonstrations ou dérivations de formules ou équations.
· Des calculs détaillés.
· Des instructions pour le démarrage et utilisation de votre manip' ou vos programmes.
· Des données brutes de mesures.
· Des dessins techniques, des listes de pièces ou composants.
· Des descriptions des protocoles ou formats de données que vous ont utilisé, pour autant qu'ils soient peu courants.
· Des glossaires.
Les références bibliographiques
"Si j'ai pu voir plus loin que les autres, c'est parce que je m'appuyais sur les épaules de géants", a dit Isaac Newton. De nos jours, la majorité des travaux scientifiques et techniques sont basés sur des résultats et des conclusions d'autres travaux. Ceci est d'autant plus vrai lorsqu'il s'agit d'une oeuvre de vulgarisation.
L'utilisation de références bibliographiques répond à plusieurs objectifs:
· L'honnêteté d'indiquer quels résultats ou conclusions n’est pas de mouture propre.
· Le désir de donner plus de force à vos propos en montrant que des autorités dans la matière sont en accord avec vous.
· L'esprit de synthèse qui veut éviter un calcul ou une démonstration compliquée simplement en se référant à quelqu'un qui l'ait déjà fait.
· L'intérêt de donner aux lecteurs assoiffés des sources pour étancher leur soif.
· Montrer que vous connaissez les autorités du domaine...
Style
· Utilisez un langage simple, objectif, quantifié, précis, concis et rigoureux. Faites des phrases courtes et directes. La quantité ne fait pas la qualité.
· Consacrez chaque paragraphe à une idée différente et donnez toujours des preuves ou exemples en soutien de vos opinions ou conclusions.
· N'hésitez pas à donner une brève définition à la première apparition d'un nouveau terme, spécifique à votre problème.
· N'oubliez pas qu'un texte orthographiquement et grammaticalement correct est plus facile à lire que s'il ne l'était pas.
· Numéroter les chapitres, sous chapitres.
· Numéroter les pages.
· Justification du texte à gauche et à droite.
· Utilisation des graphiques, dessins, tables, etc. si besoin
1990.
Doctorat ès Sciences en Informatique. - PHD - Université de Paris V. France.
1979.
"Master of Science" in Operations Research. Stanford University, USA.
1976.
Ingeniero en Computacion. Computer Engineer. Universidad Simon Bolivar, Caracas, Venezuela.
Since 1992 UNIVERSITE D'AMIENS. France.
(Associate professor) Maître de Conférences in Mathematics and Computer Science Department.
(1st class in 1995)
· Director of License in Computer Science (1994).
· Member of Board of Mathematics and Computer Science Department (1994-1997).
· Coordinator of regular joint scientific projets with Universidad de Los Andes (Mérida) Venezuela.
· Member of LAMIFA laboratory (Laboratoire de Mathématiques et Informatique Fondamental d’Amiens) and Université de Paris V laboratory (1992-1996)
· Member PRiSM research laboratory of Universite de Versailles (1996-2003) and associate member of LaRIA (Laboratoire de Recherche en Informatique et Automatique).
· Member of LaRIA since January 2004.
· Advisor of several Master degree’s projects for Industry and Academics.
Research :
· Modeling and performance evaluation of distributed systems.
· Reliability of Computer Systems.
· Load Balancing of distributed systems.
· Simulation of Computer systems.
1992-1995 Responsable for Université de Paris V in the European Project
ESPRIT-QMIPS (Quantitative Models in Parallel Systems)
Membres: Universités de Erlangen (Allemagne), Newcastle (Angleterre),
CWI (Hollande), Torino (Italie), Zaragoza (Espagne), Paris V (France).
1995-1996 Responsable for Université de Paris V in the European Project
LYDIA (Load Balancing Computer Systems).
Membres: SIEMENS (Allemagne), Universities of Crète, Zurich (Suisse), Paris V (France).
April 1995 and June 1995 Research Visitor at University of Rome – Tor Vergata, Italy. Cooperation with Professor Salvatore Tucci.
Sept 2003-january 2004 Research Visitor at Universidad de Los Andes, Venezuela. Cooperation with Professors Luis Nuñez and Marta Sananes (CeCalcULA).
Teaching: Functional Programming (Lisp), Graph Theory, Simulation (GLIDER), Modeling and Performance Evaluation of Computer Systems, Queuing Theory, Programming (Pascal, C, Java), Software Engineering, Stochastic Processes, Linear Programming, Statistics, Algorithms, Analysis and Case Studies of Information Systems, Data Structures, Complex Data Structures. Advisor of DEA (Master) projects in Simulation, Load Balancing, Distributed Systems.
1987- 1992 UNIVERSITE DE PARIS XI
Research and Teacher Assistant. Attaché Temporaire d'Enseignement et de Recherche.
Advisor of projects (License and Master).
· Organisation of the Seminar for Laboratoire d’Informatique de l’Université de Paris V. France.
Research:
· Modeling and performance evaluation of computer systems.
· Reliability of Computer Systems : Checkpoints
July-December 1990 (Post- Doctorate) Research Visitor at University of Maryland, USA.
Advisor: Professor Satish Tripathi, Director of Computer Science Department.
Assistant Professor.
· Member of board of Statistics Department.
· Responsible of hardware and software acquisitions.
· Conception and implementation of a Master’s degree in Statistics.
Research:
· Planification et contrôle de projets avec PERT et CPM.
· Design, Creation and implementation of a general purpose simulation language (GLIDER).
http://afrodita.faces.ula.ve/
· Simulation Modeling of Socio-economics systems (city of Merida Model, Venezuelan Model).
------ LANGUAGES -------------------------------
· English, French, Spanish (mother tongue), Italian.
PUBLICATIONS
· [2002]
Aguilar, J., Hernández, M.
“A Fault Tolerant Mechanism for Distributed/Parallel System based on Task Replication Techniques”.
International Journal of Computers and Applications, Acta Press, Vol. 24, No.3, pp. 129-135, 2002.
· [2000]
Aguilar, J., Hernández, M.
“Fault Tolerance Protocols for Parallel Programs based on Tasks Replication”, Proceeding of the 8th Intl. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2000), IEEE Computer Society, pp. 397-404, San Francisco, USA, August 2000.
· [1999a]
Aguilar, J., Hernández, M.
"A parallel simulator for task allocation in a distributed system subject to breakdowns". CNRS-CONICIT, PI-140, Paris, France. June 1998; (Research Report RR-99/001) Laboratory PRiSM, University of Versailles, France. January 1999.
· [1999b]
Aguilar, J., Hernández, M.
"Parallel Approaches for a Simulator for Task Assignment in a Distributed System with failures", 14th ISCIS, International Symposium on Computation and Information Sciences, pp. 868-875, Kusadasy, Turquie, October 1999.
· [1999c]
Aguilar, J., Hernández, M.
" A Parallel Simulator for Task Allocation in a Faulty Distributed System". Research Report CNRS-CONICIT, PI-98003591, Paris, France. June 1999.
· [1996a]
Chabridon, S., Hernández, M., Labed, A., Gelenbe, E.
"Queueing Networks with Negative customers applied to Load Balancing". Intl. Conference on Information, Systems, Analysis and Synthesis (July 1996, Miami, USA).
· [1996b]
Aguilar, J., Hernández, M.
"Dynamic Task Assignment on Distributed Systems with Failures". Proc. 2nd Intl. Conf. on Massively Parallel Computer Systems). Iscia, Italy (May 6-9, 1996).
· [1996c]
Aguilar, J., Hernández, M.
"Dynamic Task Assignment on Distributed System with Failures", Massively Parallel Computing Systems (Ed. G. Sechi), IEEE Computer Society Press, 1996.
· [1996d]
Aguilar, J., Hernández, M.
"Dynamic Task Assignment on Distributed Systems with Failures", Laboratoire de Recherche en Informatique (LARIA 96-02), University of Picardie Jules Verne, Amiens, France. July 1996.
· [1996e]
Born, E., Delica, T., Hernández, M.
"Some cost functions for distributed DB/DC-processing". Workshop Lydia CEE-Project. Dortmund, Germany. (March 25-26, 1996).
· [1996f]
Aguilar, J., Hernández, M.
"A Simulator for Task Allocation in a Distributed System subject to Breakdowns". Proceeding of the 1996 EUROSIM International Conference on HPCN Challenges in Telecomp and Telecom: Parallel Simulation of Complex Systems and Large-Scale Application, (Ed. J. Zuidervaart, L. Dekker, W. Smit), Elsevier Science. Delft, Holand. June 1996.
· [1995a]
Hernández, M., Aguilar, J.
"Task Allocation in a Distributed System Subject to Breakdowns". Research Report No. 95-04. LAMIFA. University of Amiens. France. 1995.
· [1995b]
Hernández, M., Aguilar, J.
"A Simulator for Task Assignment in Heterogeneous Distributed Systems in presence of Breakdowns". Proceeding of the 5th International Symposium on Systems Research, Informatics and Cybernetics, ISAS95, INTERSYMP95. pp. 215-219, Baden-Baden, Germany, August 1995.
· [1995c]
Shabridon, S., Gelenbe, E, Hernández, M., Labed, A.
"G-networks: A survey of results, applications and solutions". Proceedings of the QMIPS Project (Quantitative Modeling in Parallel Systems). September 1995.
· [1995d]
Shabridon, S., Labed, A., Hernández, M., Gelenbe, E,
"A solver tool for G-networks". Proceedings of the QMIPS Project (Quantitative Modeling in Parallel Systems). September 1995.
· [1994a]
Gelenbe, E., Hernández, M.
"Virus tests to Maximize Availability of Software Systems". Theoretical Computer Science. Vol.125, pp. 131-147, Elsevier (1994).
· [1994b]
Hernández, M., Aguilar, J.
"A simulator for Task Assignment and Load Balancing in presence of Failures". Laboratoire de Mathématiques et Informatique Fondamentale Amiens (LAMIFA 94-09), University of Picardie Jules Verne, Amiens, France. June 1994.
· [1994c]
Hernández, M., Aguilar, J.
"A Load Balancing Simulator for Distributed Systems Prone to Failures". Proc. 4th QMIPS Workshop (Quantitative Models in Parallel Systems). London, England. (April 13-14, 1994).
· [1994d]
Hernández, M.
"Interval between Virus Tests to Maximize Computer Availability". Research Report No. 94-14. LAMIFA. University of Amiens. France.
· [1993a]
Domingo, C. et al.
"Use of Object-Oriented Programming Ideas in a New Simulation Language". Proc. Simulation Conference, Boston, USA (July 29-30, 1993)
· [1993b]
Hernández, M., Fourneau, J.M.
"Modeling Defective Parts in a Flow System using G-networks". Proc. Workshop on Performability. Mont Saint Michel. France. (June 29-30, 1993).
· [1992]
Gelenbe, E., Hernández, M.
"Enhanced Availability of Transaction Oriented Systems using Consistency Checks". Proc. 3rd Intl. Symposium on Software Reliability Engineering. North Carolina, USA (October 7-10, 1992)
· [1990]
Gelenbe, E., Hernández, M.
"Optimum Checkpoints with Age Dependent Failures". Acta Informática. Vol. 27, pp. 519-531(May 1990).
· [1989]
Domingo, C., Hernández, M. “GLIDER, A New Simulation Language”. Proceedings International Congress of New Technology for the Development of Software and Supercomputers , Caracas, Venezuela. 29 November- 1 December 1989.
· [1988a]
Domingo, C., Hernández, M. “GLIDER, A Network Oriented Simulation Language for Continuous and Discrete Event Simulation”. International Conference on Mathematical Models , Madras, India. 11-14th August 1988.
· [1988b]
Domingo, C., Hernández, M. “GLIDER, A Network Oriented Simulation Language”. 2nd Workshop on Computer Performance Evaluation, Milán, Italie. May 30th – June 1st 1988.
· [1985]
Domingo, C., Hernández, M. “Ideas Básicas del Lenguaje GLIDER (Basic Ideas of GLIDER Language)”. IEAC, Universidad de Los Andes , Mérida, Venezuela, pp.37, October 1985.
1990.
Doctorat ès Sciences en Informatique. - PHD - Université de Paris V. France.
1979.
"Master of Science" in Operations Research. Stanford University, USA.
1976.
Ingeniero en Computacion. Computer Engineer. Universidad Simon Bolivar, Caracas, Venezuela.
Depuis 1992 UNIVERSITE D'AMIENS. France.
Maître de Conférences (première classe en 1995)
· Responsible de la Licence d’Informatique (1994).
· Member du Conseil d'Administration de la Faculté de Mathématiques et Informatique
(1994-1997).
· Animation de projets de collaboration scientifique régulière avec le Venezuela à l’Université des Andes (Mérida), co-auteur d’articles : M. Aguilar.
· Membre du laboratoire LAMIFA (Laboratoire de Mathématiques et Informatique Fondamental d’Amiens) (1992-1995)
· Membre du laboratoire PRISM (1996-2003) et membre associé du LaRIA.
· Membre du laboratoire LaRIA depuis janvier 2004.
Recherche :
· Modélisation et évaluation de performances de systèmes distribués.
· Fiabilité de systèmes informatiques.
· Equilibrage de la Charge de systèmes distribués.
1992-1995 Responsable pour l'Université de Paris V du Project européen
ESPRIT-QMIPS (Quantitative Models in Parallel Systems)
Membres: Universités de Erlangen (Allemagne), Newcastle (Angleterre),CWI (Hollande), Torino (Italie), Zaragoza (Espagne), Paris V (France).
1995-1996 Responsable pour l'Université de Paris V du Project européen
LYDIA (Load Balancing Computer Systems).
Membres: SIEMENS (Allemagne), Universités de Crète ,Zurich (Suisse), Paris V (France).
avril 1995 Chercheur Invité à l’Université de Rome – Tor Vergata, Italie. Coopération avec le Professeur Salvatore Tucci.
sept 2003-janvier 2004 Chercheur Invité à l’Université de Los Andes, Venezuela. Coopération avec les Professeurs Luis Nuñez et Marta Sananes (CeCalcULA). Creation et mise en place d’ un Simulateur du Réseau Informatique de l’Université (avec plus de 2000 ordinateurs)
sept 2004-janvier 2005 Chercheur Invité à l’Université de Los Andes, Venezuela. Coopération avec les Professeurs Luis Nuñez et Marta Sananes (CeCalcULA). Encadrement de projets de Master en Simulation de Systèmes Informatiques .
sept 2005-janvier 2006 Chercheur Invité à l’Université de Los Andes, Venezuela. Coopération avec les Professeurs Marta Sananes et Carlos Domingo. Encadrement de projets de Master en Statistiques : Simulations avec le langage GLIDER.
sept 2006-janvier 2007 Chercheur Invité à l’Université de Buenos Aires, Argentine. Simulation et Modelisation de Systèmes Informatiques avec Pannes.
Enseignement: Programmation Fonctionnelle, Graphes, Simulation (QNAP), Modélisation et Evaluation de Performances de Systèmes Informatiques, Théorie de Files d'attente, Programmation en Pascal, C et Java, Génie Logiciel, Algorithmique, Etudes et Recherche. Structure de données Complexes. Encadrement de stages de DEA. Module Projet de Master. Analyse et etude de cas.
1987- 1992 UNIVERSITE DE PARIS XI
Attaché Temporaire d'Enseignement et de Recherche.
Responsable de conduite de projets (Licence, Maîtrise ).
· Organisation du Séminaire du Laboratoire d’Informatique de l’Université de Paris V.
Recherche:
· Modélisation et évaluation de performances de systèmes informatiques.
· Fiabilité des systèmes informatiques: Points de reprises.
juillet-déc 1990 Chercheur Invité à l’Université de Maryland, USA. Coopération avec le Professeur Satish Tripathi.
Enseignement : Algorithmique, Compilation, Simulation, Modélisation de Systèmes Informatiques.
1980-1986 UNIVERSIDAD DE LOS ANDES, Venezuela.
Profesor Titular.
· Membre du Conseil d'Administration du département de Statistiques.
· Responsable de l'achat du matériel et logiciels.
· Conception et mise en place d'un DEA en Statistiques.
Recherche:
· Planification et contrôle de projets avec PERT et CPM.
· Création et mise en œuvre d'un langage de simulation (GLIDER).
· Construction de modèles de simulation Socio-économiques.
------ LANGUES -------------------------------
· Français et Anglais: parfaitement bilingue.
· Espagnol: langue maternelle
· Italien: Bon niveau.
PUBLICATIONS
· [2002]
Aguilar, J., Hernández, M.
“A Fault Tolerant Mechanism for Distributed/Parallel System based on Task Replication Techniques”.
International Journal of Computers and Applications, Acta Press, Vol. 24, No.3, pp. 129-135, 2002.
· [2000]
Aguilar, J., Hernández, M.
“Fault Tolerance Protocols for Parallel Programs based on Tasks Replication”, Coautores: Marisela Hernandez, Proceeding of the 8th Intl. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2000), IEEE Computer Society, pp. 397-404, San Francisco, USA, Août 2000.
· [1999a]
Aguilar, J., Hernández, M.
"A parallel simulator for task allocation in a distributed system subject to breakdowns". CNRS-CONICIT, PI-140, Paris, France. Junio 1998; (Rapport de Recherche RR-99/001) Laboratoire PRiSM, Université de Versailles, France. Janvier 1999.
· [1999b]
Aguilar, J., Hernández, M.
"Parallel Approaches for a Simulator for Task Assignment in a Distributed System with failures", 14th ISCIS, International Symposium on Computation and Information Sciences, pp. 868-875, Kusadasy, Turquie, Octobre 1999.
· [1999c]
Aguilar, J., Hernández, M.
" A Parallel Simulator for Task Allocation in a Faulty Distributed System". Rapport de Recherche CNRS-CONICIT, PI-98003591, Paris, France. Juin 1999.
· [1996a]
Chabridon, S., Hernández, M., Labed, A., Gelenbe, E.
"Queueing Networks with Negative customers applied to Load Balancing". Intl. Conference on Information, Systems, Analysis and
Synthesis (juillet 1996, Miami, USA).
· [1996b]
Aguilar, J., Hernández, M.
"Dynamic Task Assignment on Distributed Systems with Failures". Proc. 2nd Intl. Conf. on Massively Parallel Computer Systems). Iscia, Italie (mai 6-9, 1996).
· [1996c]
Aguilar, J., Hernández, M.
"Dynamic Task Assignment on Distributed System with Failures", Massively Parallel Computing Systems (Ed. G. Sechi), IEEE Computer Society Press, 1996.
· [1996d]
Aguilar, J., Hernández, M.
"Dynamic Task Assignment on Distributed Systems with Failures", Laboratoire de Recherche en Informatique (LARIA 96-02), Université de Picardie Jules Verne, Amiens, France. Juillet 1996.
· [1996e]
Born, E., Delica, T., Hernández, M.
"Some cost functions for distributed DB/DC-processing". Workshop Lydia CEE-Project. Dortmund, Allemagne. Mars 25-26, 1996.
· [1996f]
Aguilar, J., Hernández, M.
"A Simulator for Task Allocation in a Distributed System subject to Breakdowns". Proceeding of the 1996 EUROSIM International Conference on HPCN Challenges in Telecomp and Telecom: Parallel Simulation of Complex Systems and Large-Scale Application, (Ed. J. Zuidervaart, L. Dekker, W. Smit), Elsevier Science. Delft, Holanda. Juin 1996.
· [1995a]
Hernández, M., Aguilar, J.
"Task Allocation in a Distributed System Subject to Breakdowns". Rapport de Recherche No. 95-04. LAMIFA. Université de Amiens. France.
· [1995b]
Hernández, M., Aguilar, J.
"A Simulator for Task Assignment in Heterogeneous Distributed Systems in presence of Breakdowns". Proceeding of the 5th International Symposium on Systems Research, Informatics and Cybernetics, ISAS95, INTERSYMP95. pp. 215-219, Baden-Baden, Alemagne, Août 1995.
· [1994a]
Gelenbe, E., Hernández, M.
"Virus tests to Maximize Availability of Software Systems". Theoretical Computer Science. Vol.125, pp. 131-147, Elsevier (1994).
· [1994b]
Hernández, M., Aguilar, J.
"A simulator for Task Assignment and Load Balancing in presence of Failures". Laboratoire de Mathématiques et Informatique Fondamentale Amiens (LAMIFA 94-09), Université de Picardie Jules Verne, Amiens, France. Juin 1994.
· [1994c]
Hernández, M., Aguilar, J.
"A Load Balancing Simulator for Distributed Systems Prone to Failures". Proc. 4th QMIPS Workshop (Quantitative Models in Parallel Systems). Londres, Angleterre. (avril 13-14, 1994).
· [1994d]
Hernández, M.
"Interval between Virus Tests to Maximize Computer Availability". Rapport de Recherche No. 94-14. LAMIFA. Université de Amiens. France.
· [1993a]
Domingo, C. et al.
"Use of Object-Oriented Programming Ideas in a New Simulation Language". Proc. Simulation Conference, Boston, USA (juillet
29-30, 1993)
· [1993b]
Hernández, M., Fourneau, J.M.
"Modeling Defective Parts in a Flow System using G-networks". Proc. Workshop on Performability. Mont saint Michel. France
(Juin 29-30, 1993).
· [1992]
Gelenbe, E., Hernández, M.
"Enhanced Availability of Transaction Oriented Systems using Consistency Checks". Proc. 3rd Intl. Symposium on Software Reliability Engineering. North Carolina, USA (oct. 7-10, 1992)
· [1990]
Gelenbe, E., Hernández, M.
"Optimum Checkpoints with Age Dependent Failures". Acta Informática. Vol. 27, pp. 519-531(mai 1990).
§ [1989]
Domingo, C., Hernández, M. “GLIDER, A New Simulation Language”. Proceedings International Congress of New Technology for the Development of Software and Supercomputers , Caracas, Venezuela. 29 Novembre- 1 Decembre 1989.
§ [1988a]
Domingo, C., Hernández, M. “GLIDER, A Network Oriented Simulation Language for Continuous and Discrete Event Simulation”. International Conference on Mathematical Models , Madras, India. 11-14 de Août 1988.
§ [1988b]
Domingo, C., Hernández, M. “GLIDER, A Network Oriented Simulation”. 2nd Workshop on Computer Performance Evaluation, Milán, Italie. 30 de Mai – 1 de Juin 1988.
§ [1985]
Domingo, C., Hernández, M. “Ideas Básicas del Lenguaje GLIDER (Basic Ideas of GLIDER Language)”. IEAC, Université de Los Andes , Mérida, Venezuela, pp.37, Octobre 1985.
français vers espagnol: CONSTANCIA TRABAJO
Texte source - français ATTESTATION
La Directrice des Ressources Humaines de l'Université de Picardie Jules Verne d'Amiens soussignée certifie que
Madame HERNANDEZ Marisela Maître de Conférences Classe Normale, en poste à l'Université de Picardie Jules Verne depuis le 1er Octobre YYYY, perçoit un salaire mensuel brut de XXXXXX euros.
Attestation délivrée pour servir et valoir ce que de droit
Amiens, le 30 mai 2006
Pour la Directrice des Ressources Humaines
La Responsable DRH Paie
Karine BIENAIME
Traduction - espagnol CONSTANCIA
La directora de Recursos Humanos de la Universidad de Picardie Julio Verne de Amiens,
abajo firmante, certifica que
la Señora HERNANDEZ Marisela profesora titular de la Universidad de Picardie Julio Verne desde el 1 de octubre de YYYY, percibe un salario mensual bruto de XXXXXX euros.
Constancia que se expide a quien pueda interesar.
Amiens, 30 de mayo 2006
Por la directora de Recursos Humanos (DRH)
La Responsable de DHR Salarios
Karine BIENAIME
espagnol vers français: ATTESTATION D’HEBERGEMENT
Texte source - espagnol CONSTANCIA HABITACION
La suscrita Marisela HERNANDEZ C.I. XXXX, de domicilio 22, Rue des Orchidées 75013 Paris, hace constar que mi madre, la Señora Berta-Cristina Perez de nationalidad venezolana y pasaporte N° YYYY, vive en mi hogar.
Paris, 18 de febrero del 2008
Traduction - français ATTESTATION D’HEBERGEMENT
Je soussignée Mme Marisela HERNANDEZ Carte Nationale d’Identité N° XXXX demeurant 22, Rue des Orchidées 75013 Paris, certifie sur l’honneur héberger à mon domicile mentionné ci-dessus ma mère Mme Berta-Cristina Perez de nationalité vénézuélienne et N° de passeport YYYY.
Fait à Paris le 18 février 2008
More
Less
Expérience
Années d'expérience en traduction : 17. Inscrit à ProZ.com : Sep 2008.
français vers espagnol (cours de français et civilisation : Université d) anglais vers espagnol (EFL. San Francisco State University. USA.) français vers anglais (EFL. San Francisco State University. USA.) espagnol vers anglais (EFL. San Francisco State University. USA.)
Affiliations
ASETRAD= Asociación Española de Traductores, Correctores e Int
Logiciels
Adobe Acrobat, Adobe Photoshop, Frontpage, Microsoft Excel, Microsoft Word, Powerpoint, Trados Studio, Wordfast
University Professor. More than 25 publications in Computer Science in English, French and Spanish. Experience in USA, France, Venezuela and Italy as a professor and researcher.
Manager of European projects.
I have lived in USA (4 years), London (6 months), Paris (24 years), Rome (1 year), Venezuela.
Mots clés : computer science, software engineering, simulation, performance evaluation, programming languages, mathematics, statistics, probability, reliability, models. See more.computer science, software engineering, simulation, performance evaluation, programming languages, mathematics, statistics, probability, reliability, models, algorithms, networks, operations research, graph theory, data structures, modeling, statistics, probability, logic, stochastic processes, programming manuals, web site translation, art, painting.. See less.
