En esta tesis se abordan dos problemas fundamentales relacionados con los estudios de estabilidad y seguridad de reactores nucleares, donde es necesario resolver eficientemente sistemas de ecuaciones lineales dispersos de gran dimensi'on. El primero de ellos est'a relacionado con el problema de los modos Lambda de la ecuaci'on de difusi'on neutr'onica aplicada a un caso de estudio (reactor Ringhals I, tipo agua en ebullici'on o BWR), que constituye un problema de valores propios generalizado. El segundo problema est'a relacionado con la resoluci'on de un sistema de ecuaciones lineales disperso de gran dimensi'on que surge de la discretizaci'on temporal de la ecuaci'on de difusi'on neutr'onica aplicada a otro caso de estudio (reactor Leibstadt, tipo BWR) y que debe resolverse en distintos pasos de tiempo. Para la resoluci'on de los sistemas de ecuaciones lineales dispersos de gran dimensi'on asociados al problema de los modos Lambda, en esta tesis se ha realizado un estudio num'erico del comportamiento secuencial y paralelo de algunos de los m'etodos que resuelven este tipo de problemas, tales como: m'etodos directos, m'etodos iterativos y m'etodos basados en subespacios de Krylov. Para realizar el estudio se han utilizando librer'yas de libre distribuci'on, tanto secuenciales como paralelas. Con los resultados obtenidos, se han identificado aquellos m'etodos y librer'yas que resuelven m'as eficientemente los sistemas lineales para el caso de estudio seleccionado. Para la resoluci'on de los sistemas de ecuaciones lineales dispersos del caso din'amico, en esta tesis se han propuesto m'etodos iterativos multipaso para la aceleraci'on de su resoluci'on, los cuales tambi'en se han implementado secuencial y paralelamente utilizando librer'yas de libre distribuci'on. En la experimentaci'on de estos m'etodos iterativos multipaso propuestos se ha podido comprobar que se ha alcanzado una aceleraci'on considerable y que pueden ser una opci'on apropiada para llevar a cabo simul / Flores Sánchez, O. (2009). Estudio de librerías paralelas de libre distribución y algoritmos paralelos iterativos multipaso para la resolución de sistemas de ecuaciones lineales dispersos. Aplicación a la ecuación de difusión neutrónica [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/4334

La supervisión de programas tiene como objetivo la automatización de las distintas actividades implicadas en la utilización especializada de una librería de programas. Para llevar a cabo esta tarea, los sistemas de supervisión de programas necesitan una gran cantidad de conocimiento sobre la utilización de los programas, incluyendo las situaciones en que pueden ser aplicados, las combinaciones de programas habitualmente utilizadas, etc. Los sistemas de supervisión de programas incorporan esta experiencia en una arquitectura basada en el conocimiento. Sus características distintivas son la variedad de conocimiento que emplean y su representación, la cual normalmente incluye objetos estructurados y reglas de producción. A pesar de su importancia creciente, poca investigación se ha dedicado a la verificación y validación de sistemas con las características anteriores. En esta tesis acometemos la verificación y validación de sistemas de supervisión de programas a partir de un modelado del conocimiento, explotando la información sobre el conocimiento que requieren, su organización y la manera precisa en que utilizan este conocimiento durante el razonamiento. Esta información nos permite identificar las propiedades que las bases de conocimiento deben verificar para servir adecuadamente a la supervisión de programas, propiedades mas allá de la consistencia y completitud de su implementación. En esta tesis presentamos las herramientas de verificación de bases de conocimiento desarrolladas de acuerdo con este enfoque, así como algunos experimentos en la aplicación de técnicas de verificación de programas a motores de supervisión de programas con el fin de identificar las propiedades que nos interesan.

Predecir el precio de una acción es un tema muy importante en el mundo financiero, debido a que mediante ella se puede generar una estrategia de inversión y obtener muchas ganancias. El comportamiento de los precios de las acciones sigue una distribución muy compleja, siendo afectadas por factores internos de las compañías, tales como decisiones gerenciales, y también por factores externos, como el estado del mercado en un momento dado. El sector minero es considerado uno de los sectores más volátiles dentro de la bolsa, y frecuentemente atrae a los inversionistas más arriesgados que desean obtener rápidas ganancias; sin embargo no se han encontrado estudios que se hayan enfocado en este sector. La precisión de los modelos de machine learning dependen de la correcta elección de las variables y técnicas a utilizar, así como también del pre procesamiento que se realice a la data antes de ser ingresada al modelo, es por esto que en el presente trabajo se realizó una encuesta a expertos de inversión en la bolsa de valores sobre las variables influyentes en el comportamiento de una acción minera, producto de ello se identificaron variables como el precio de los metales, precio de los índices y precio del dólar; las cuales, junto a las variables fundamentales y técnicas, participaron en la selección de variables mediante el cálculo del coeficiente de correlación de Pearson en cada una de ellas. Las variables resultantes fueron ingresadas posteriormente al modelo híbrido propuesto, donde las salidas de cada una de las técnicas de machine learning utilizadas (redes neuronales artificiales, máquinas de soporte vectorial para regresión y red neuronal de base radial) formaban parte de la entrada hacia una red neuronal artificial, considerada como técnica principal debido a que alcanzaba los mejores resultados en la fase experimental. Para validar el sistema se consideró el dataset de las empresas Buenaventura, Southern Copper, Fortuna Silver Mines, Barrick Gold Corporation y BHP Billiton Limited; que alcanzaron un MAPE de 1.666, 1.470, 1.375, 2.567 y 0.998 respectivamente, y un promedio de error de 1.615%, lo que demuestra una gran mejora con respecto al 5.4% de error obtenido en el sector más cercano (petrolero). / Tesis

La presente investigación aborda el problema de los Sistemas de Armas Autónomas Letales (SAAL), debido a que se tratan de armas que no dependen de un control humano, sino de su programación basada en inteligencia artificial (IA) para seleccionar y atacar objetivos militares. Este asunto constituye uno de los campos más novedosos del Derecho Internacional debido al creciente avance de la tecnología militar para poner en funcionamiento robots carentes de juicio humano en los conflictos armados. En tal sentido, esta investigación cuestiona si el uso de los SAAL es conforme al Derecho Internacional Humanitario (DIH), principalmente con los Principios Distinción, Proporcionalidad, Precaución y Humanidad, con el objetivo de determinar cómo está regulado este tipo de armamento robótico en la conducción de las hostilidades. Por lo mencionado, se justifica que los SAAL, a pesar de que aún no están desplegados en los conflictos armados, están generando un intenso debate y preocupación mundial respecto a su legalidad y aplicación el DIH, como medio y método de guerra. Para comprender el marco general de regulación de las armas en el DIH se utilizó el análisis y el método sistémico. Finalmente, se concluye que el uso de los SAAL no es conforme al DIH porque viola los principios que constituyen su base y fundamento jurídico, siendo los seres humanos quienes deben mantener siempre el control y dirección de las hostilidades, para garantizar la observancia y cumplimiento del derecho de los conflictos armados.

Presenta el diseño e implementación de un sistema experto en la detección de lavado de activos basándose en la determinación del riesgo de la transacción financiera inusual y el conocimiento del cliente. Para el desarrollo del sistema se usó la metodología CommonKADS por ser un estándar de facto en la construcción de sistemas basados en conocimiento. El sistema toma como entrada los datos de las operaciones bancarias contenidas en un caso inusual reportado y los datos del cliente obteniendo, mediante el motor de inferencia, el riesgo final del caso, que permitirá concluir si se debe reportar o no como sospechosa. Las pruebas realizadas han consistido en la evaluación de 251 casos obteniendo como resultado un porcentaje de acierto del 98.81% a la cuarta iteración.

[pt] Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela está no núcleo de todas as interações entre as entidades que precisam operar em ambientes com muita incerteza e que se modificam constantemente. Dada essa complexidade, esses componentes, e o sistema resultante, são cada vez mais contextualizados, desenhados e construídos usando técnicas baseadas em agentes. Portanto, confiança é fundamental em um sistema multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos (Desires) e intenções (Intentions), chamado de agente BDI. Ou seja, o agente passa a ter um quarto componente chamado confiança (Trust). Dessa forma, é necessário uma lógica para englobar o conceito de confiança em um MAS BDI aberto. Isso é feito usando uma lógica multi-modal indexada, onde os mundos possíveis que modelam um sistema multi-agentes representam quais agentes estão presentes em um dado instante de tempo. E, para cada uma três componentes originais de um agente BDI, há também uma representação de mundos possíveis, pois as mesmas são tratadas como modalidades. Já a confiança é modelada como sendo um predicado, e não uma modalidade. / [en] Trust is a fundamental concern in large-escale open distributed sytems. It lies at the core of all interactios between the entities that have to operate in such uncertain and constantly changing environmonts. Given the complexity of the interactions, these components, and the ensuing system, are increasingly being conceptualised, desined, and built using agent-based techiques. Therefore, the presence of trust is imperative in a multi-agent system (MAS). Consequently, this work studies how to have a explicit trust model in intelligent agent, which has beliefs, desires and intentions (BDI agent). Thas is, the agent now has a fourth component called Trust. This way, a logic to include the concept of trust in an open BDI MAS is interesting, so that the different aspects of a trust model can be expressed formally and accuratelly. This is achieved by using an indexed multi-modal logic, where the possible worlds which model a multi-agent system represent which agents are in the system in a given moment. Moreover, for each one of the three original components of a BDI agent, where the components represent beliefs, desires and intentions, there is a representation of possible worlds, because these are treated as modalities. However, trust is modelled as predicate, not as a modality.

[pt] Esta obra compreende a utilização de Máquinas de Estados Hierárquicas na definição e no controle de comportamento de agentes inteligentes para jogos eletrônicos. Esse tipo de Máquina de Estados permite reduções drásticas no número de transições quando comparada com uma Máquina de Estados não hierárquica que implemente o mesmo comportamento; além disso, oferece uma maneira mais intuitiva de se definir e entender representações gráficas de Máquinas de Estados compostas por muitos estados, típicas de agentes de jogos que necessitam de comportamento reativo complexo. / [en] This work comprehends the use of Hierarchical State Machines in the definition and control of behavior pertaining to intelligent agents in electronic games. This type of State Machine permits drastic reductions in the number of transitions when compared to a non-hierarchical State Machine that implements the same behavior; besides, it offers a more intuitive manner for defining and understanding graphical representations of State Machines consisting of many states, a typical scenario in game agents that need to exhibit complex reactive behavior.

Proyecto DGESIC PB98-0977

No description available.

No description available.