Spelling suggestions: "subject:"computación"" "subject:"computaciónn""
81 |
Evaluación Y Nuevas Tendencias De Arquitectura De Software - SI470 201801Universidad Peruana de Ciencias Aplicadas (UPC) 04 1900 (has links)
Curso de especialidad de Evaluación y Nuevas Tendencias de Arquitectura de Software en la carrera de
Ingeniería de Software, de carácter teórico-práctico, dirigido a los estudiantes del noveno ciclo, que busca
desarrollar las competencias PROPONE SOLUCIONES A PROBLEMAS DE INGENIERÍA CON
RESPONSABILIDAD PROFESIONAL Y ÉTICA. Acorde al ABET-Student Outcome(F).
Este curso cubre el análisis, diseño y documentación de productos software a nivel de una arquitectura
distribuída y cloud, las que se encuentran en pleno auge en la actualidad. Por lo tanto, esto brinda un
conocimiento de la realidad tecnológica y permite que el estudiante este a la vanguardia.
|
82 |
Desarrollo Avanzado Con .Net - SI474 201801Universidad Peruana de Ciencias Aplicadas (UPC) 04 1900 (has links)
Curso electivo para las carreras de Ingeniería de Software (ISW), Ingeniería de Sistemas de Información (ISI) y
Ciencias de la Computación (CC), de carácter teórico-práctico, dirigido a los estudiantes de séptimo nivel para
(CC), noveno nivel para (ISI) y decimo nivel para (ISW), que busca desarrollar la competencia general de
razonamiento cuantitativo para (ISI) y la competencia especifica de resolución de problemas de ingeniería
acorde al ABET Student Outcome (e) para (ISW).
En este curso el estudiante podrá diseñar, implementar y administrar soluciones de bases de datos orientadas a
empresas, utilizando como motor el Microsoft SQL Server. En la actualidad la mayoría de proyectos
informáticos necesita de un sólido conocimiento de base de datos.
|
83 |
Planteamiento e implementación de herramienta computacional para el estudio sobre la bisección iterativa de tetraedros por su arista más largaWiche Elorza, Steffan León January 2017 (has links)
Ingeniero Civil en Computación / Dado un tetraedro, o pirámide de base triangular, es posible bisectarlo por el plano formado por el punto medio de una arista y los vértices opuestos a la misma lo que produce dos nuevos tetraedros. Si se aplica esto desde el punto medio de una de las aristas más largas se conoce como bisección por la arista más larga . Existe interés en estudiar las propiedades matemáticas de los tetraedros obtenidos por la bisección iterativa tetraedros por su arista más larga.
El tema de memoria propuesto consiste en el desarrollo de una herramienta computacional para estudiar la bisección iterativa de tetraedros por su arista más larga.
Para esto se construye una estructura de datos en forma de árbol en que cada nodo hijo almacene los tetraedros semejantes y distintos que se obtienen al aplicar dicha bisección sobre el tetraedro de su nodo padre.
En esencia esta memoria consta de tres partes: (1) El desarrollo de un sistema que soporta realizar operaciones sobre tetraedros utilizando computación exacta; (2) La implementación de la bisección por la arista más larga sobre tetraedros; (3) La construcción de una estructura de datos que soporte la aplicación iterativa de esta técnica sobre los tetraedros resultantes.
El trabajo y la herramienta computacional se utilizarán para apoyar el estudio teórico sobre el comportamiento de la bisección iterativa de tetraedros, y para desarrollar nuevas técnicas de triangulación con propósitos aplicados.
|
84 |
Generación automática de resúmenes abstractivos mono documento utilizando análisis semántico y del discursoValderrama Vilca, Gregory Cesar 20 September 2017 (has links)
The web is a giant resource of data and information about security,
health, education, and others, matters that have great utility for people, but
to get a synthesis or abstract about one or many documents is an expensive
labor, which with manual process might be impossible due to the huge amount
of data. Abstract generation is a challenging task, due to that involves analysis
and comprehension of the written text in non structural natural language dependent
of a context and it must describe an events synthesis or knowledge in
a simple form, becoming natural for any reader. There are diverse approaches
to summarize. These categorized into extractive or abstractive. On abstractive
technique, summaries are generated starting from selecting outstanding sentences
on source text. Abstractive summaries are created by regenerating the
content extracted from source text, through that phrases are reformulated by
terms fusion, compression or suppression processes. In this manner, paraphrasing
sentences are obtained or even sentences were not in the original text. This
summarize type has a major probability to reach coherence and smoothness
like one generated by human beings. The present work implements a method
that allows to integrate syntactic, semantic (AMR annotator) and discursive
(RST) information into a conceptual graph. This will be summarized through
the use of a new measure of concept similarity on WordNet.To find the most
relevant concepts we use PageRank, considering all discursive information given
by the O”Donell method application. With the most important concepts
and semantic roles information got from the PropBank, a natural language
generation method was implemented with tool SimpleNLG.
In this work we can appreciated the results of applying this method to
the corpus of Document Understanding Conference 2002 and tested by Rouge
metric, widely used in the automatic summarization task. Our method reaches
a measure F1 of 24 % in Rouge-1 metric for the mono-document abstract generation
task. This shows that using these techniques are workable and even
more profitable and recommended configurations and useful tools for this task. / Tesis
|
85 |
Plantilla para elaborar Tesis de Ciencias de la Computación / Programa Académico de Ciencias de la Computación. Facultad de IngenieríaDirección de Gestión del Conocimiento 02 1900 (has links)
Plantilla para elaborar Tesis de Ciencias de la Computación para la obtención del título profesional de Licenciado en Ciencias de la Computación en el Programa Académico de Ciencias de la computación. Facultad de Ingeniería. Universidad Peruana de Ciencias Aplicadas.
|
86 |
Combinación de clasificadores en redes neuralesTorre Dueñas, Cleto de la January 2007 (has links)
En este trabajo se describe la red neuronal como modelo estadístico no lineal, y se presenta aplicaciones de los métodos de combinación de clasificadores ‘’bagging’’ y ‘’boosting’’ en redes neuronales a las bases de datos sonar e iris, como una alternativa de reducción de la tasa de mala clasificación del método de redes neuronales. / -- In this thesis is described a neural networks as statistic model non linear and it study the method of the combination of classifiers bagging and boosting in neural networks as an alternative of reduction of the wrong rate’s classifiers for the method of neural networks. As application of this procedures are analyzed the base of dates. They are very known as ‘’ sonar’’ and ‘’iris’’. / Tesis
|
87 |
Integración de sistemas de información geográficaBuccella, Agustina 15 May 2009 (has links)
Actualmente, existe una expansión de gran cantidad de sistemas de información disponibles tanto en la Web como dentro de una misma organización. A su vez, muchos
de estos sistemas involucran información geográfica para representar simples instancias del mundo real. Es imposible hoy en día pensar en representar información de un lugar, como una casa particular o un museo, sin almacenar también su ubicación geográfica precisa. Esta explosión de información sobre nuestra tierra es fácilmente visible en nuevos desarrollos en que muchas empresas están trabajando y perfeccionando, como es un buen ejemplo Google
Earth. Es justamente esta gran proliferación de sistemas tanto convencionales como geográficos lo que ha generado un gran interés en la integración de los mismos. En general
los primeros requerimientos involucrados en un proceso de integración se basan en factores como evitar ambiguedades en los datos, el aprovechamiento de la información ya recopilada, proveer una vista más amplia de toda la información que existe en una organización, etc. Sin
embargo, comenzar un proceso de integración de datos incluso dentro de una organización es todo un desafío que no es fácil de lograr. Con esto en mente, desde hace más de diez años muchos investigadores han comenzado a trabajar en soluciones para lograr la integracióon de los datos. Así surge el
concepto de Sistemas Federados que incluye todas aquellas acciones que se deben realizar para que varios sistemas de información que son autónomos, heterogéneos y están dis-
tribuidos trabajen juntos como si fueran uno solo.
En esta tesis proponemos una novedosa solución que apunta a ayudar y mejorar el proceso de integración de los datos. Está dirigida a brindar soporte a los desarrolladores
de sistemas federados que deben iniciar un proceso de integración de varios sistemas de información involucrando también información espacial. El sistema que proponemos, de-
nominado GeoMergeP, el cual se basa en una arquitectura basada en capas y en un proceso de integración, ayudaría a los desarrolladores a simplifiar problemas comunes como
posibles ambiguedades e inconsistencias generadas al integrar varios sistemas. El sistema GeoMergeP se construye en base a dos procesos de integración, enriquecimiento semántico
y mezcla, que brindan un soporte semi-automático a la creación de una vista integral del sistema federado resultante. El uso de los estándares para la información geográfica y la representación formal de ontologías como herramienta fundamental para proporcionar información semántica, brindan ventajas esenciales para generar una integración consistente. / Nowadays, there exists a great expansion of information systems available with in an organization or even on the Web. In general, several of these systems involve geographic information to represent common instances of the real-world. It is very common to think of representing information about a place, such as a particular house or museum, without thinking of storing also their precise geographic locations. In addition, the huge number of enterprises providing geographic services on the Web along with the new developments in GIS, such as Google Earth, show the growing availability of information about the Earth. This proliferation of both conventional and geographic information systems have caused a great interest towards integration. Requirements involved in any integration
process are focused on aspects such as avoiding ambiguities in data, taking advantage of stored information, providing a more general view of distributed information, etc. How-
ever, an integration process is not as simple as joining several systems, aspects such as modiability and evolution must be taken into account. Thus, beginning an integration
process is a complex challenge to be faced. Having this in mind, for more that ten years several research groups in the
world have been working on solutions to reach integration of data. Thus, the concept of Federated Systems emerged involving the actions to be performed to make autonomous,
heterogeneous, and distributed systems work together.
In this thesis, we propose a novel solution aimed at helping and improving the data integration process. This solution provides support to developers of federated systems who are responsible for starting an integration of several spatial information systems. We propose a system, called GeoMergeP, based on a layer-based architecture and an integration process which simplify common problems such as detecting ambiguities and inconsistencies generated during the construction of a federated system. The GeoMergeP system is built by using two main processes as a basis: the semantic enrichment and the merging processes. Both provide a semi-automatic support during the construction of an integral view of the resultant integrated system. The use of standard information to represent the geographic
features, and the formal representation of ontologies as semantic resources to understand the meaning of the information, are crucial to generate a consistent integration.
|
88 |
Un enfoque declarativo para modelar el comportamiento en sistemas reactivosAsteasuain, Fernando 20 December 2013 (has links)
El comportamiento debe contemplarse desde etapas tempranas del desarrollo
de software. En este contexto el modelado declarativo incremental constituye una opción
atractiva para capturar y analizar los requerimientos con precisión sin atarse a prematuras
decisiones operacionales. Bajo esta visión, el formalismo más utilizado son lógicas
temporales como LTL. Sin embargo, en muchas ocasiones la especificación de propiedades
en LTL es un desafío importante, aún para personas con experiencia en el formalismo.
Más aún, el poder expresivo de LTL no es suficiente si se desea construir declarativamente
un sistema desde cero a partir de las propiedades que describen su comportamiento.
Varias alternativas se han desarrollado para hacer más sencilla la especificación de
propiedades. La mayoría de ellas se basa en la utilización de patrones de especificación.
Si bien los patrones de especificación ofrecen una manera más amigable de expresar los
requerimientos típicos, el usuario necesita validar o modificar la propiedad. La evidencia
indica que para realizar todas estas tareas de validación no alcanza con analizar la descripción en lenguaje natural del patrón elegido, sino que debe analizarse su traducción a
un lenguaje formal. Y para estos casos, el usuario no tiene otra alternativa que enfrentarse
a los lenguajes formales. Luego, la utilización de patrones de especificación no logra
esconder por completo los problemas de utilizar lenguajes formales.
Este contexto sugiere la necesidad de contar con un lenguaje formal de especificación
que sea sencillo de usar, y lo suficientemente expresivo para permitir a todo tipo de
usuarios utilizarlo de manera intuitiva. Para lograr este objetivo se presenta FVS (Feather
Weight Visual Scenarios) y su extensión ω-FVS, un lenguaje declarativo, no basado en
lógicas temporales, sino en simples escenarios gráficos, cuya meta es mejorar y facilitar el
proceso de especificación de propiedades, y con el suficiente poder expresivo para denotar
propiedades ω-regulares. La notación cuenta con una semántica declarativa basada en
morfismos y un procedimiento de tableau que permite la posibilidad de realizar análisis
automático.
Se exhibe la usabilidad y aplicabilidad de FVS modelando todos los patrones de especificación, comparando las especificaciones resultantes con otras notaciones conocidas.
Tal comparación permite observar el impacto de FVS en la especificación de propiedades.
Asimismo, FVS también puede ser utilizado como un poderoso lenguaje de modelado
orientado a aspectos.
Finalmente, la extensión ω-FVS permite lograr el suficiente poder expresivo para denotar
propiedades ω-regulares. Esto se logra a través de un tipo especial de eventos,
denominados eventos fantasmas, que permiten introducir niveles de abstracción en etapas
de modelado. Se ilustra el poder expresivo de ω-FVS modelando varios ejemplos, incluyendo
protocolos de comunicación de software. ω-FVS cuenta con un proceso de síntesis,
que traduce sus especificaciones a autómatas de Buchi, permitiendo así la capacidad de
llevar a cabo diferentes tipos de razonamiento automático como consistency checking,
model checking, y oráculo para verificaci´on en ejecución entre otros. / Behavior needs to be understood from early stages of software development. In this
context incremental and declarative modeling seems an attractive approach for closely
capturing and analyzing requirements without early operational commitment. In this situation,
the most widespread formalism is LTL (Linear Temporal Logic). Unfortunately, in
many cases, the formal description and validation of properties results in a daunting task,
even for trained people. Moreover, LTL expressive power fall short of if the practitioner
want to declaratively build a system from scratch upon the specified properties.
Several attempts arise to make life easier for practitioners, in order to circumvent the
complexity involved when specifying properties in LTL. The purpose of these approaches
is to provide to the user an easier way to express the desired behavior. Most of them
rely on specification patterns. Although patterns offer a friendlier way to express typical
requirements, the user still needs to validate or modify the property. However, to perform
all these validations tasks based solely on the natural language description of the patterns
may be hard to achieve and many times the pattern translation into an formalism must
be analyzed instead. Besides, sometimes a property needs to be slightly modified to suit
actual system requirements, and this, again, suggests manipulations of the translated
versions. Therefore, using patterns is not enough to entirely hide the subtleties of the
underlying formalism from the user.
This suggests the need of a formal specification language easy to use, and sufficiently
expressive to enable skilled and non-skilled users to use it appropriately, which constitutes
the main objective of this work. To achieve this goal we present FVS (Feather Weight Visual
Scenarios) and its extension ω-FVS, a declarative language, not founded on temporal
logics, but on simple graphical scenarios, which aims to improve and ease the property
specification process, and powerful enough to express omega-regular properties. The notation
is equipped with declarative semantics based on morphisms and a tableau procedure
iv
is given enabling the possibility of automatic analysis.
We illustrate FVS applicability by modeling all the specification patterns and we
thoroughly compare FVS to other known approaches, showing that FVS specifications
are better suited for validation tasks. What is more, FVS is presented as a useful aspectoriented
modeling language.
In addition, we present ω-FVS, a simple extension of FVS capable of expressing ω-
regular properties. This feature is achieved by introducing a distinctive type of events,
called “ghost” events, that allow to predicate behavior in a higher level of abstraction.
We illustrate ω-FVS expressive power by modeling several examples, including real world
protocols specifications. On the top of these features, we also developed a synthesis procedure
which translates FVS specifications into Buchi automata, enabling the possibility
for different sort of analysis, namely consistency checking, model checking, and oracle for
runtime verification among others.
|
89 |
Técnicas de aprendizaje automático y computación científica aplicadas a la predicción de parámetros ADMET-ToxSoto, Axel J. 23 June 2010 (has links)
Hace 15 a~nos atras, el desarrollo de nuevos productos farmaceuticos consista en un proceso de prueba y error basado mayormente en la busqueda de un farmacoforo o principio activo. Sin embargo, muchos compuestos eran nalmente descartados en la ultima etapa del proceso
de su desarrollo debido al comportamiento ADME-Tox. Por estos motivos, el interes en la industria y el ambito academico en las disciplinas de quimioinformatica y, en particular, en las tecnicas de tipo QSAR ha crecido considerablemente en los ultimos a~nos. El objetivo de esta tesis se centro en desarrollar metodologas para la
mejora de los modelos existentes de QSAR mediante el uso de tecnicas numericas y de aprendizaje automatico. En este sentido, se obtuvo un potente metodo para lo que se considera uno de los problemas mas importantes del modelado QSAR: la seleccion de subconjuntos de descriptores relevantes. Para esta tarea se desarrollaron distintos enfoques utilizando computacion evolutiva.
Asimismo, otro aspecto central considerado fue el desarrollo de una tecnica de identicacion de dominio de aplicacion para un metodo de prediccion, el cual permite determinar los alcances en las predicciones de un modelo. Para esta tecnica se considero la aplicacion de medidas de distancia entre compuestos qumicos, usando aprendizaje no
supervisado. Finalmente, se desarrollo un metodo generalizado que permite la proyeccion de los datos en un espacio de menor dimension, en donde las distancias entre los datos proyectados guardan relacion con las distancias de la propiedad a modelar. Este nuevo espacio permite
mejorar la visualizacion, reducir el conjunto de descriptores en forma embebida y mejorar la precision de los modelos de prediccion.
|
90 |
Toma de decisiones usando argumentación rebatibleFerretti, Edgardo 14 April 2009 (has links)
La argumentacion es un modelo de razonamiento basado
e la construcción y evaluación de argumentos que interactúan entre sí. Estos argumentos tienen como fin, soportar,
explcar o atacar enunciados que pueden ser opiniones, decisiones, etc. La argumentación ha sido utilzada en diferentes dominios, como razonamiento no monótono, manejo de inconsistencias en bases de conocimiento y modelado de diferentes tipos de diálgos en particular, persuasión y negociación. Un enfoque de negociación basado en argumentación tiene la venta a de que además de intercambiar ofertas, se intercambian razones que las soportan y que eventualmente podrán llevar al receptor a
cambiar sus preferencias. En consecuencia, se puede llegar a un acuerdo entre ls partes de manera más conveniente.
De esta manera, adoptar un enfoque de este estilo en los problemas de decisión, tendría el beneficio de que el tomador de decisiones además de tener una buena el elección, tendría las razones subyacentes que la soportan de una manera
fácil de entender. La toma de decisiones basada en argumentación, es más afín al a forma en que los seres humanos deliberan y finalente toman o entienden una
elección.
La idea de articular decisiones en base a argumentos es relevante para varios enfoques diferentes de decisión,
tales como decisión bajo incertidumbre, decisión multi-criterio y decisiones basadas en reglas. En general puede decirse que los diversos enfoques propuestos construyen para cada decisión posible un conjunto de argumentos a su favor y
un conjunto de argumentos en su contra. No obstante, los tomadores de decisiones no se limitan solamente a construir estos conjuntos, sino que ellos intercambian argumentos, los
hacen interactuar, atacándose o defendiéndose entre ellos. Asimismo, dentro de un enfoque particular de decisión, existen propuestas muy diversas que difieren en: los lenguajes de
representación de conocimiento y razonamiento que
utilizan, si su definición está dada dentro de una arquitectura de agente particular, la formalidad con l que se relacionan
con enfoques clásicos de toma de decisiones, etc.
En particular, en esta Tesis, se presenta un framework
original de toma de decisiones individual es que está vinculado formalmente con la Teoría de Decisión Clásica, pero
justificado desde el punto de vista de la argumentación.
El framework propuesto paral a toma de decisiones basadas en argumentación, combina el uso de argumentos y reglas de decisión.
El criterio de comparación de argumentos utilzado, se basa en prioridades entre literales que representan las
preferencias del agente (tomador de decisiones). Estos literales forman parte del programa del agente, y al realizar
cambios en las relaciones de preferencia entre los mismos, se puede cambiar de manera flexible las preferencias del agente
y el criterio de preferencia entre argumentos.
Nuestro enfoque también incluye una metodolgía simple para
desarrollar las componentes de decisión del agente. De esta manera, un framework de decisión desarrollado siguiendo esta metodolgía exhibe propiedades interesantes, con respecto
a la coherencia que muestra el agente en la toma de decisiones.
Si el agente, tiene disponible todo el conocimiento relvante acerca de sus preferencias con respecto a todas las
posibles alternativas que se l podrán presentar, entonces
el comportamiento de el eccion correspondiente
al framework propuesto, coincide con el comportamiento optimo respecto de una relación de preferencia racional. En cambio, si el agente tiene conocimiento parcial acerca de sus preferencias, las
decisiones que este tomará también exhibirán un cierto grado de coherencia. En particular en este caso, nuestro enfoque implmenta una estructura de elcción que satisface el axioma
débil de la preferencia revelada. Los principios enunciados en esta Tesis, serán ejemplificados en dos dominios de
aplicación distintos. En el primero, se analiza cómo se
desarrollan los procesos de decisión de un robot que
realiza tareas de limpieza y debe decidir qué caja transportará a continuación. Se presentan ejemplos donde el robot posee información completa e incompleta acerca de sus preferencias de elección, consiste de un agente de software
de impresión que debe decidir a qué impresora de la red manda un cierto trabajo, en función de las características
de las impresoras y de su disponibilidad. En este dominio
particular, también se presentan ejemplos con información
completa sobre las preferencias del agente y se muestra cómo desarrollarlos componentes de decisión para la
aplicación del framework.
|
Page generated in 0.0523 seconds