Automatic static analysis of software performance

Performance is a critical component of software quality. Software performance can have drastic repercussions on an application, frustrating its users, breaking the functionality of its components, or even rendering it defenseless against hackers. Unfortunately, unlike in the program verification domain, robust analysis techniques for software performance are almost non-existent. In this thesis we formalize important classes of performance-related bugs and security vulnerabilities, and implement novel static analysis techniques for automatically detecting them in widely used open-source applications. Our tools are able to uncover 92 performance bugs and 47 security vulnerabilities, while analyzing hundreds of thousands of lines of code and reporting a modest amount of false positives. Our work opens a new avenue for research: the development of rigorous automatic analyses for effective software performance understanding, inspired by traditional research in functional verification.Computer Science

Evaluation of low-volume herbicide application technology for no-till soybeans

A study performed at The University of Tennessee Milan Experiment Station during 1983 evaluated and compared preemergence and postemergence herbicide application techniques in no-tillage and conventionally-cultivated soybean plots. The equipment utilized for herbicide application included conventional medium-volume hydraulic flat fan nozzles, low-volume flat fan nozzles, controlled droplet applicators (CDA), and an ultra low-volume electrostatic sprayer. Various application parameters and techniques were compared: low-volume versus medium-volume spray rates, ultra-low versus medium-volume application rates, flat fan nozzles versus controlled droplet applicators (CDA) for low-volume spraying, and water-only carrier versus oil-in-water diluents for low-volume application. Sprayed plots were evaluated for percentage control of selected weed species and for soybean yields. Results showed that spray application volume (5 gal/acre versus 20 gal/acre) applied either preemergence or postemergence did not affect the level of weed control in no-till soybeans. Moreover, low-volume hydraulic nozzles and controlled droplet applicators (CDA) at 5 gal/acre were equally effective in controlling weeds. Roundup plus Lorox plus Lasso applied preemergence in wheat stubble gave significantly better control of Pennsylvania smartweed than a tank mix of paraquat plus Lorox plus Lasso. Both full and half-label rates of Basagran plus Blazer applied postemergence in wheat stubble were significantly more effective in controlling cocklebur than Pennsylvania smartweed. Addition of a crop oil concentrate did not increase weed control in the low-volume treatments. Application of Fusilade in conventionally-cultivated soybeans using an electrostatic spray system at 0.8 pt/acre total spray volume gave similar levels of weed control to applications of the same herbicide rates at 20 gal/acre using conventional hydraulic nozzles. Soybean yields overall in 1983 were much below normal due to drought conditions during the growing season. Crop yields within a given production practice were not significantly affected by spray application techniques

Liderazgo sistématico: una consideración holística del liderazgo en línea con las nuevas ciencias

En la actualidad uno de los temas de los que más se habla en la Alta Gerencia es el de liderazgo, sin embargo la mayoría de las conceptualizaciones, que sobre ella se hacen están en enmarcadas en la física clásica newtoniana, dejando de lado los avances de la biología, la química y la física, las cuales han obligado a replantarse conceptos como la organización, las teorías de control, la dinámica de los sistemas y por ende debiera afectar o redefinir el concepto de liderazgo. En el presente ensayo pretendo, apoyado en diferentes ponentes de la Teoría general de los Sistemas (TGS), y de otros que sin serlo me ha servido y me sirven para apoyar mis ideas, y en especial, en compañía del lector, para realizar un viaje que nos permita redefinir el concepto, toda vez que pondremos a prueba las bases mismas de la definición de liderazgo: nuestros paradigmas respecto a la objetividad con que observamos, la capacidad para distinguir el todo de tan solo una de sus partes, nos cuestionaremos nuestra capacidad para expresar verbalmente lo observado y por último validaremos nuestra capacidad de ejecución de nuestro liderazgo de manera efectiv

A MEDIAÇÃO APLICADA NA GESTÃO DE CONFLITOS INTERPESSOAIS UNIVERSITÁRIA: ESTUDO DE CASO DA UNIVERSIDADE FEDERAL DE SANTA CATARINA

A importância de gerir os conflitos interpessoais que ocorrem no ambiente universitário, no sentido de promover a construtividade a partir de conjunturas antagônicas, embasa o contexto deste trabalho, o qual tem como objetivo investigar se é possível utilizar a mediação, como método alternativo, na resolução de conflitos interpessoais em uma Instituição de Ensino Superior Pública Federal, neste estudo - a Universidade Federal de Santa Catarina. A metodologia é de natureza aplicada e está pautada na abordagem científica de natureza predominantemente qualitativa, entretanto há o aporte quantitativo naquilo que diz respeito ao estudo de caso. Quanto aos objetivos é descritiva, com base na análise de obras, periódicos, revistas especializadas, leis, documentos e questionário. O resultado evidenciou que a mediação é aceita e pode ser aplicada como ferramenta de resolução de conflitos interpessoais menos complexos, que ocorrem na Instituição estudo de caso desta pesquisa

ANÁLISIS DE LA CONVENIENCIA DE LA COBERTURA DE RIESGO DE PRECIOS CON OPCIONES EN LA ACTIVIDAD AGROPECUARIA A TRAVÉS DE SIMULACIONES

The operation with options on futures will not necessarily result in a greater benefit for an agricultural producer who doesn’t want to speculate, but only to cover the risks of variation in prices. Futures contracts provide on the one hand the security of the setting of the sale price, but at the same time - and as a logical counterpart - they prevent it from benefiting from the eventual appreciation that the producer would achieve, without coverage, in the event that prices move in your favor. In the event that the producer decides to operate with options, he will have the advantage of being able to sell at a minimum fixed price without having to resign the possible profit that would be obtained in the event that the prices move in his favor. However, the eventual benefits of that "better" coverage are sometimes not enough to offset their costs. Especially in cases in which an adverse event (weather, plague, etc.) decreases their yields, may lead to over-coverage.La operatoria con opciones sobre futuros no necesariamente redundará en un mayor beneficio para un productor agropecuario que no desee especular, sino solamente cubrirse de los riesgos de variación de los precios. Los contratos de futuros brindan por un lado la seguridad de la fijación del precio de venta, pero al mismo tiempo -y como lógica contrapartida- le impiden beneficiarse con la eventual apreciación que el productor lograría, sin cobertura, en el caso que los precios se muevan a su favor. En el caso que el productor decidiera operar con opciones, tendrá la ventaja de poder vender a un precio fijo mínimo sin necesidad de resignar la eventual ganancia que se obtendría en el caso que los precios se muevan a su favor. Sin embargo, los eventuales beneficios de esa “mejor” cobertura en ocasiones no son suficientes para compensar sus costos. Sobre todo en los casos en que algún evento adverso (clima, plaga, etc.) disminuya sus rindes, pueda derivar en una sobre-cobertura

Inteligencia emocional y rendimiento académico en estudiantes del I ciclo de la Escuela Profesional de Marketing y Dirección de Empresas de la Universidad César Vallejo Campus Lima Norte 2016-I

El trabajo de investigación buscó conocer la relación entre la inteligencia emocional y el rendimiento académico en estudiantes del I Ciclo de la Escuela Profesional de Marketing y Dirección de Empresas de la Universidad César Vallejo Campus Lima Norte 2016-I Es un tipo de investigación básica, de nivel descriptiva correlacional, se utilizó el diseño no experimental, en una muestra de 63 estudiantes, se obtuvieron resultados que se evidencian a través de las tablas y figuras, y se usó el coeficiente de correlación Rho Spearman para la prueba de hipótesis. Los resultados arrojaron que la inteligencia emocional no se relaciona con el rendimiento académico en los estudiantes del primer ciclo de la E.P. de Marketing y Dirección de Empresas Periodo Académico 201 6-I (r= 0.190 y p> 0,05

Sistema de control interno para exportación de café a Europa

Universidad Nacional Agraria La Molina. Facultad de Agronomía. Departamento Académico de HorticulturaEl presente trabajo monográfico realiza el análisis y evaluación del desempeño íntegro del Sistema de Control Interno de la Cooperativa Agraria de la Región San Martin, productores de café certificado bajo la normativa europea, así mismo hace contar con una estrategia como medio para alcanzar los objetivos y tener éxito en la producción. Estos indicadores fueron empleados y comparados para mostrar la relación y diferencia entre distintas formar de evaluar el desempeño de una organización, puestos que esta alternativa permite observar la diferencia de rendimiento que hay en la producción entre café orgánico certificado y café convencional. En la primera parte del trabajo monográfico se describe el entorno de la producción del café en nuestro país en la actualidad, haciendo énfasis en la necesidad de contar con una estrategia productiva, se plantea la problemática, objetivos así como la justificación y alcances de la misma. La segunda parte del trabajo monográfico es el marco teórico y la importancia que tiene el estudio del café certificado, Plataforma SCAN – Red de Asistencia para Productores Primarios Sostenibles, certificación del café orgánico hacia el mercado europeo, se enuncia el Sistema Interno de Gestión (SIG), mejoramiento continuo, enfoque basado en riesgos, estructura del sistema interno de gestión. En la última parte se incluye conclusiones, recomendaciones a las que se llegó con el estudio

Aplicación de Lean Manufacturing para mejorar la productividad en la linea de producción, en la Empresa Dupree Venta Directa S.R.L., Ate, 2017

La presente tesis realiza el análisis y evaluación de la productividad en línea de producción de la empresa Dupree Venta Directa S.R.L., ATE, 2017. Mediante la aplicación de Lean Manufacturing y las herramientas aplicadas como el VSM, 5´S y el Trabajo estandarizado. Los indicadores que fueron empleados son de eficiencia, eficacia y el Takt time. Además, han sido analizados bajo las teorías de Madariaga, Fernández, Gutiérrez, Pagés, etc. En la introducción se describe la situación actual de la empresa Dupree, haciendo énfasis que sea nivel externo e interno. Así mismo, se refiere al marco teórico y la importancia que tiene el estudio de la productividad y Lean Manufacturing; se recolecta información teórica que fundamenten las variables de estudio. También, se plantean los problemas, se define el objetivo general y los objetivos específicos de la presente investigación, así como también la justificación. En el método se describe que la presente investigación es aplicada, cuasi experimental, explicativa, longitudinal y cuantitativo. También que la población y muestra son iguales por ser cuasi experimental, donde está constituido por la cantidad diaria de pedidos armados durante 30 días laborales. Las técnicas utilizadas son de observación y de ficha de registro. Los datos fueron analizados mediante el software SPSS versión 23, donde se realizó la contrastación de las hipótesis. Llegando a la conclusión que la primera etapa los procesos una productividad 89% al aplicar la herramienta de limón a favor turistas incremento en 28% de lo que nos da una productividad total del 117%. También, en la primera etapa los procesos una eficiencia de 95% al aplicar Lean Manufacturing incrementa un 4% de lo que nos da una eficacia total de 99%. Y por último, en la primera etapa los procesos una eficiencia del 93% al aplicar la herramienta de Lean Manufacturing se incrementó porcentualmente un 24% de lo que no da una eficiencia total de117%. Se recomienda aplicar las demás técnicas como TPM, SMED y jidoka. Y por último, que los cambios que se realice se recomiendan registrarlo y analizarlos para seguir con la mejora continua