Amalgama de filtros primos de ceros de funciones de Mcnaughton

En el artículo Geometry of Robinson consistency in Lukasiewicz logic, Manuela Busaniche y Daniele Mundici, probaron la consistencia del cálculo proposicional infinito valuado para la lógica de Lukasiewicz, a partir de herramientas elementales de la teoría de ideales primos de MV-álgebras y la geometría de Rn..

Inspección visual y estudio de patologías estructurales de puentes vehiculares en la Autopista Norte - La Caro – Briceño

Trabajo de investigaciónDesarrollamos la inspección visual y levantamiento de 10 puentes vehiculares en la autopista norte en el tramo de estudio para dar un diagnóstico y clasificación de las patologías estructurales encontradas, con el fin de identificar posibles causas de las patologías además de una clasificación por tipo de daño (físico, químico y mecánico), identificarlas por nivel de importancia y calificar los puentes en un nivel de gravedad para la jerarquización de su intervención.INTRODUCCIÓN 1. GENERALIDADES 2. INSPECCIÓN DE PUENTES VEHICULARES 3. ANALISIS DE RESULTADOS 4. CONCLUSIONES Y RECOMENDACIONES BIBLIOGRAFÍA ANEXOSPregradoIngeniero Civi

Llamamiento en garantía y denuncia del pleito en el régimen normativo colombiano

El llamamiento en garantía y la denuncia del pleito son dos figuras del derecho procesal colombiano, de mucho uso en la práctica, de poco desarrollo en la legislación y buenos intentos de interpretación por parte de la doctrina. Ambas figuras se encuentran reguladas en el C.P.C y su desarrollo está entrelazado ya que comparten artículos entre sí. Cada una de ellas posee una naturaleza que al identifica como tal, pero hoy en día existen muchas dudas sobre las mismas.82 p.Contenido parcial: La parte como sujeto procesal -- La sucesión procesal -- Acumulación de pretensiones -– Litisconsorcio -- Los terceros -- Trámite de la denuncia del pleito -- Acción de repetición

Motion-Based Design of Passive Damping Devices to Mitigate Wind-Induced Vibrations in Stay Cables

Wind action can induce large amplitude vibrations in the stay cables of bridges. To reduce the vibration level of these structural elements, different types of passive damping devices are usually installed. In this paper, a motion-based design method is proposed and implemented in order to achieve the optimum design of different passive damping devices for stay cables under wind action. According to this method, the design problem is transformed into an optimization problem. Thus, its main aim is to minimize the different terms of a multi-objective function, considering as design variables the characteristic parameters of each considered passive damping device. The multi-objective function is defined in terms of the scaled characteristic parameters, one single-function for each parameter, and an additional function that checks the compliance of the considered design criterion. Genetic algorithms are considered as a global optimization method. Three passive damping devices have been studied herein: viscous, elastomeric and friction dampers. As a benchmark structure, the Alamillo bridge (Seville, Spain), is considered in order to validate the performance of the proposed method. Finally, the parameters of the damping devices designed according to this proposal are successfully compared with the results provided by a conventional design method

Geometry of Prym semicanonical pencils and an application to cubic threefolds

In the moduli space $\mathcal{R}_g$ of double \'etale covers of curves of a fixed genus $g$, the locus formed by covers of curves with a semicanonical pencil consists of two irreducible divisors $\mathcal T^e_g$ and $\mathcal T^o_g$. We study the Prym map on these divisors, which shows significant differences between them and has a rich geometry in the cases of low genus. In particular, the analysis of $\mathcal T^o_5$ has enumerative consequences for lines on cubic threefolds.Comment: 28 pages, comments welcom

El compromiso histórico y social en la noche de las barricadas y la manifestación

Las discusiones en torno a lo que se establece como literatura regional son amplias, especialmente si se trata de la literatura latinoamericana, puesto que nuestra retórica se ha originado como una imitación constante de las formas y los estilos surgidos en España, con sus diferentes géneros; obras que llegaban directamente a las bibliotecas de los intelectuales residentes en el Nuevo Mundo, una región en donde las costumbres europeas se fueron fundiendo lentamente con algunas costumbres de los originarios de la tierra, un claro ejemplo es la adopción de ciertos vocablos indígenas a la lengua castellana, lo que origina un rasgo altamente particular en la forma de ver el mundo y de nombrarlo, una resignificación no sólo en el terreno estrictamente semántico, sino que trasciende a lo simbólico representativo, además se debe tener en cuenta la mezcla de culturas no sólo indígena y europea, también la africana que con el masivo tráfico de esclavos contribuyó a darle una faceta más a esta mixtura social tan particular

Gestión cuantitativa del proceso de desarrollo de software

Siendo la calidad un recurso tan valioso en los proyectos de Software, de alto grado de importancia en la vida cotidiana y con la alta competencia que el mercado globalizado exige, las empresas colombianas requieren implementar una metodología que permita garantizar altos niveles de madurez y calidad en los procesos de desarrollo de software, los cuales son medidos a nivel mundial por el modelo CMMI como un estándar Internacional -- El modelo CMMI consta de 5 niveles que califican la madurez en los procesos de desarrollo de Software; estos niveles son: Inicial, Administrado, Definido, Administrado cuantitativamente, y en optimización -- La calidad de los procesos productivos tiene incidencia directa en la calidad de los productos y servicios entregados a los clientes -- Contar con procesos definidos, repetibles y maduros facilita un mejor uso de los recursos de la organización, lo que por consiguiente lleva a un desempeño económico y estratégico superior para la organización -- En la industria informática es bastante habitual encontrar organizaciones que emplean enfoques muy informales para producir software, lo que podría incurrir en desperdicio de esfuerzo y presupuesto en el desarrollo de proyectos, que finalmente podrían ser cancelados o suspendidos, y las consecuencias de estas prácticas repercuten en proyectos atrasados o excedidos del presupuesto, lo que genera inconformidad en los clientes -- Por lo tanto, administrar los proyectos de desarrollo de software mediante procesos predecibles que recolecten mediciones detalladas del proceso y provean una retroalimentación cuantitativa, no sólo asegurarán una calificación en los niveles de alta madurez de CMMI, sino que permitirán a la organización eliminar la dependencia del esfuerzo individual de los programadores, y encaminarán los procesos a una fácil y premeditada prevención de defectos que no es posible sin la gestión cuantitativa, ya que ésta se retroalimenta con aprendizaje de sus propios errores y permite predecir a futuro el comportamiento del proceso, además el esfuerzo colectivo de los integrantes del proyecto que pueden interactuar fácilmente en el mejoramiento de la calidad -- Esta gestión garantizará mejoras inminentes en el logro de los objetivos y en el tiempo de realización de los mismos, lo que lleva a una mejora constante en la calidad de los procesos y por ende de los productos, llegando así a un mejoramiento del desempeño económico y estratégico de la organización -- Este proyecto de grado pretende realizar un recorrido teórico a través de la gestión cuantitativa orientada al Proceso de Desarrollo de Software, clarificar las diferencias que existen entre el Control Estadístico orientado a procesos de manufactura y la Gestión orientada al Desarrollo de Software, proponer indicadores y métricas para una correcta recopilación de datos, y servir de base y apoyo para futuras implantaciones de esta en las empresas dedicadas a esta labor -- Para así poder controlar estadísticamente los proyectos que desarrollan y así mejorar la calidad de los productos, mediante un proceso optimizado, repetible y predecibl

Implementación de un sistema de comunicación por medio de la red gsm en un procesador embebido configurable nios ii

El presente trabajo “Implementación de un Sistema de Comunicación por medio de la red GSM en un Procesador Embebido Configurable NIOS II” es uno de los temas de la Materia de Graduación “PROCESADORES EMBEBIDOS CONFIGURABLES”. Uno de los principales objetivos es conocer la manera en que los FPGA están día a día mejorando los diseños de sistemas que se implementan en la lógica digital. Esta tecnología es capaz de reemplazar gran cantidad de circuitos digitales en un solo chip, con lo cual permiten que las distintas etapas de desarrollo y aplicación se desarrollen de manera más rápida ahorrando tiempo y costos al momento de la implementación del diseño La programación la realizamos en lenguaje C utilizando el programa NIOS II. Además del FPGA, trabajamos con las siguientes herramientas: QUARTUS II el cual trabaja con lenguaje HDL, switches magnéticos de apertura de puerta, la tarjeta DE2 de la marca Altera y un módulo GSM de la marca Simcom

Manual de procedimientos y trámites para el desarrollo de proyectos públicos en el municipio de Medellín

A través de este manual se ha recogido de manera secuencial y práctica los trámites que deben considerarse a medida que se va avanzando en el desarrollo de un proyecto de infraestructura pública en la ciudad de Medellín, tal que muestre con un nivel de detalle cuales son las licencias, permisos y cumplimiento de normas que se deben tener en cuenta para su ejecución y entrega a la entidad correspondiente. Para tal finalidad se consultaron en el medio las normas técnicas de construcción, la legislación que rige esta actividad, los decretos ambientales, el plan de ordenamiento territorial, y los trámites antes las entidades donde se expiden los diferentes permisos, certificados y documentos que se exigen para la entrega de los proyectos, tales como: notarías, catastro municipal, planeación municipal, EE.PP.MM., secretaría de infraestructura municipal, oficina de registro de instrumentos públicos, rentas y registro, curadurías urbanas, secretaria de planeación entre otras. Ninguno de los textos encontrados presenta el tema con el enfoque de nuestro trabajo ya que no se muestran en forma secuencial y por etapas, todos los requerimientos legales y técnicos incluyendo los diferentes documentos y formatos que se requieren para emprender un proyecto constructivo de infraestructura pública.Through this manual, sequential and practical information has been collected about the permits required, as the different stages of public infrastructure projects in Medellin are developed, showing in detail, which licenses, permits and regulations are needed for its execution and hand-in to the corresponding institution. For this purpose, technical regulations of construction, legislation regarding this activity, environmental ordinances, land use plan, and other formalities were consulted, as well as the procedures required by the different entities that issue the different permits, certificates and documents required for the delivery of projects. Such entities are: notaries, cadastral municipality, municipal planning, EE.PP.M., secretary of municipal infrastructure, office for registration of public instruments, rentals and registration, curatorial urban planning secretary, among others. None of the texts found show the subject with the focus of our work, since all legal and technical requirements are not shown sequentially and in stages, or include different documents and forms required to undertake a construction project for public infrastructure