Resumen: Nuestro trabajo ha consistido en la busqueda de un posible comportamiento en una máquina simple aleatoria, como es el lanzamiento de una moneda. Hemos simulado dichos lanzamientos mediante generación de números pseudoaleatorios, especificando el sesgo de la moneda y recogiendo las variables de cada experimento.
Hemos realizado una amplia experimentación, de la cual hemos extraído y analizado
diferentes variables en relación a las distancias [1] para comprobar si aportan nueva información útil, con la que aumentar la credibilidad del sesgo estimado por las máquinas fuzzy implementadas que utilizan únicamente el porcentaje de apariciones.
[ABSTRACT]
Our project is about the seeking of behavior on a simple random machine as is the toss of a coin. We have simulated those tossing through the generation of pseudo-random numbers specifying the coin bias and collecting variables for each experiment.
We have accomplished a huge experimentation, from which we have inferred and analyzed different kinds of variables such as distances [1]to probe if they can generate new information to increase the credibility of the estimated bias by the fuzzy machines implemented, which only use the percentage of heads.
Resumen: En este trabajo vamos a presentar una extensión concurrente para lenguajes de programación lógico funcionales con restricciones que permita modelar aplicaciones declarativas concretas donde la concurrencia y la resolución de restricciones sean necesarias. Codificaremos procesos dentro del esquema CFLP(D), cuyos fundamentos teóricos sobre las semanticas de programas funcionales y lógicos con restricciones
sobre un dominio de restricciones paramétrico D, proporcionan un modelo declarativo que permite especificar, implementar y ejecutar, a un nivel superior de abstracción, aplicaciones concurrentes reales, es decir, programas declarativos con restricciones que describen varios procesos para la resolución de objetivos que deben ser ejecutados concurrentemente y cooperar para llevar a cabo tareas específicas mediante estrechamiento dirigido por demanda con árboles definicionales, residuación
declarativa, resolución cooperativa de restricciones, y comunicación o compartición de recursos críticos por medio de sincronización haciendo uso de variables lógicas.
[ABSTRACT]
In this work we sketch a concurrent extension for constraint functional logic programming languages which allows to model concrete declarative applications in which concurrency and constraint solving are necessary. We encode goal solving processes into the CFLP(D) scheme, a uniform foundation for the semantics of functional and constraint
logic programs over a parametrically given constraint domain D, in order to provide a declarative model for the possibility of specify, implement and execute, at a higher level of abstraction, concurrent real-world applications, i.e., declarative constraint programs describing several processes which may be executed concurrently and cooperate together to achieve their specific tasks via demand-driven narrowing with definitional trees, declarative residuation, cooperative constraint solving, and communication or sharing critical resources by means of the synchronization on logic variables.
Resumen: El Proyecto que se presenta forma parte de un proyecto más amplio con dos
partes bien definidas: 1) implementación de métodos de clasificación de texturas
naturales en imágenes digitales y 2) diseño de un interfaz gráfico de comunicación
hombre-máquina (IHM). El primer aspecto ha sido abordado por un grupo de
trabajo distinto a éste. El segundo es abordado por el grupo de trabajo
que
presentamos esta memoria.
Uno de los aspectos más relevantes a destacar estaba en el hecho de la necesidad
de integración de ambos trabajos en un único proyecto a modo de imitación a lo que
realmente supone un proyecto real en la industria.
El IHM recoge los datos procedentes del usuario para proceder a la clasificación por
los tres métodos implementados (Fuzzy clustering, Lloyd, clasificador Bayesiano)
por este motivo describimos los métodos con el fin de asimilar los parámetros
seguidos por cada método.
Tras el proceso el IHM trasfiere los resultados al usuario.
La planificación y los detalles del proceso de desarrollo se detallan más adelante
en el apartado de “Especificación “, en el que se ha prestado una especial atención a
la parte gráfica.
[ABSTRACT]
This proyect’s part of a bigger one with two well defined parts: 1) Methods of
natural textures used in digital images, 2) design of an interface graphic in the
interface man-machine communication.
Item 1) has been approached by a work group different from this one.
Item 2) is approached by the work group introducing this memory.
One of the most relevant aspects was the necessity of integrating both works in
one project as a means of an imitation to what a real one is supposed to be in
industry.
The MMI ( Man Machine Interface ) selects data from the users in order to
classify the 3 methods to be carried out ( Fuzzy clustering, Lloyd, and Bayesian
algorithm ). That’s why we describe the different methods in order to assimilate the
parameters followed by each method. After the process the MMI transfers the
results to the user. Planning details are described and shown in detail in
“Specifications” where we have paid special attention to the Graphs.
Palabras clave: Clasificación, Texturas, Lloyd, Fuzzy, Bayesiano, JAI
Resumen: Se proponen Modelos Circuitales Equivalentes, bien sobre nuevos aspectos no antes tratados, o bien con precisión mejorada frente a los modelos convencionales, para la simulación de respuestas en Sistemas de Visualización Ultrasónica, incluyendo sus etapas piezoeléctricas, electrónicas y ultrasónicas. Se incluye la modelización de aspectos importantes presentes en las configuraciones prácticas para diagnóstico industrial y médico, que no
son considerados en aproximaciones previas: Excitación impulsiva en Alta Tensión AT (modelización completa con su etapa previa de baja tensión); Efectos no lineales en circuitos de emisión y de recepción; Aspectos no ideales sobre perdidas y distorsiones eléctricas en la electrónica; Cuantificación precisa del comportamiento frecuencial de las pérdidas mecánicas en el elemento piezoeléctrico y en el medio de propagación. Algunos de estos modelos utilizan datos estimados con precisión para los parámetros internos de los transductores piezoeléctricos. Estos datos se obtienen mediante un nuevo método aquí propuesto, basado en técnicas de inteligencia artificial, concretamente en Algoritmos Genéticos (AGs). Se presentan implementaciones Pspice específicas de estos modelos para simular directamente en el dominio del tiempo distintas disposiciones de visualización para ensayos no destructivos (END), por Transmisión (ET) y por Pulso-Eco (EPE), en régimen de alta tensión y con las topologías circuitales no-lineales más usuales en los transceptores electrónicos involucrados. Se aplica todo ello a la evaluación "cuantitativa" de pulsos eléctricos, excitadores AT y respuestas ultrasónicas globales, con transductores concretos, incluyendo efectos eléctricos no-ideales y la topología real de los transceptores ultrasónicos usados en visualización industrial, concretamente para inspecciones END. La contrastación con datos experimentales muestra la clara mejora en precisión de los modelos propuestos. Finalmente, se propone y aplica un método para análisis paramétrico en régimen transitorio, en los dominios del tiempo y la frecuencia, del comportamiento de las etapas electrónicas no-lineales y de AT involucradas en aplicaciones de visualización.
Editorial: Universidad Complutense de Madrid, Servicio de Publicaciones
Departamento: Fac. de CC. Físicas - Sección Deptal. de Arquitectura de Computadores y Automática
ISBN: 978-84-669-2559-4
Notas: Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Físicas, Departamento de Arquitectura de Computadores y Automática, leída el 13-05-2004