Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos.

Hasta la fecha se han evaluado distintas técnicas de verificación y validación teórica y empíricamente. La mayoría de las evaluaciones empíricas se han llevado a cabo sin sujetos, abstrayendo el efecto del sujeto sobre la técnica a la hora de aplicarla. Hemos evaluado mediante un experimento con sujetos la efectividad de tres técnicas de verificación y validación de código: partición en clases de equivalencia, cobertura de decisión y lectura de código mediante abstracciones sucesivas, estudiando la capacidad de las técnicas para la detección de fallos en tres programas distintos. Hemos replicado el experimento ocho veces en cuatro entornos distintos. Los resultados arrojan diferencias entre las técnicas y señalan variables contextuales del proyecto software que deberían considerarse cuando se quiera elegir o aplicar una técnica de verificación y validación.

Diseño de la metodología para el control de la calidad de la exactitud posicional de la serie L del Centro geográfico del Ejército de Tierra (CEGET).

En este trabajo se ha evaluado la hoja correspondiente a la 1074 del Mapa Topográfico Nacional (Tahivilla) o 13-47 de la “serie L” (1:50.000) según la denominación del Centro Geográfico del Ejército de Tierra en tres formatos distintos; formato en impreso en papel, formato raster, y formato vectorial. Con este Proyecto Fin de Carrera se pretende desarrollar una metodología adecuada para el control de calidad en la exactitud posicional de la serie L del Centro Geográfico del Ejército de Tierra (C.E.G.E.T.), así como aplicar, ampliar y afianzar los conocimientos adquiridos a lo largo de los cursos de la titulación de Ingeniero Técnico en Topografía. Se debe mencionar la necesidad de realizar este tipo de controles a la cartografía editada en los distintos formatos, ya que se pueden obtener enseñanzas que afecten al flujo de producción, además de cumplir los estándares marcados por la alianza para los centros productores de cartografía de los países miembros de la OTAN. Según el estudio expuesto en este proyecto, se puede afirmar que el control de calidad de la exactitud posicional según lo recogido en el STANAG 2215, “Evaluation of land maps, aeronautical charts and digital topographic data”, la clasificación OTAN para dicha serie, es AA-M10. La hoja de “Tahivilla” se eligió por se una de las últimas editadas por el CEGET, y por responder a unas características generales representaticas de la serie L. El Proyecto Fin de Carrera, está dirigido a todos los expertos en la materia, personal docente y alumnos de Ingeniería Técnica en Topografía y alumnos de Grado en Ingeniería Geomática y Topografía. Este proyecto se realiza como parte del control de calidad que el CEGET realiza a la serie L. En concreto de la última edición publicada en el año 2010. Además, la Escuela Técnica Superior de Ingenieros en Topografía Geodesia y Cartografía mediante el convenio firmado con el CEGET, se compromete a colaborar activamente con dicho Centro en las necesidades que cada Proyecto Fin de Carrera surja de este convenio.

La nueva Serie 500 de Fendt. Con el privilegio de ser de los primeros en probarla

Prueba de campo de la serie 500 de Fendt

Massey Ferguson Serie 1500. Rojo vida

Presentación de la serie 1500 de Massey Ferguson

Serie 6030 de John Deere ¡trabaja y disfruta!

Prueba de campo de la serie 6030 de John Deere

La serie Massey Fergusson 3600 : Tractor joven y perfeccionado

Los tractores que quiero analizar son los nuevos de la Serie 3600, tractores Massey Ferguson. La serie 3600, que sustituye a la prestigiosa 3400, se presentó a nivel mundial en FIMA 2008 de Zaragoza. He tenido la suerte de probar un tractor que pertenece al tipo de los tractores que me gustan (los pequeños: viñeros, fruteros, estrechos…), y ahora tengo un problema: ¿Cómo sintetizar en éstas pocas páginas lo bueno que ofrecen estos tractores?

Análisis comparativo de series temporales de precio de diferentes metales : obtención de una serie -resumen

El objetivo de este proyecto de investigación es analizar el conjunto de las diez series temporales, relativas a los precios de diez metales (plata, aluminio, oro, cobre, níquel, paladio, plomo, platino, estaño y zinc), comprendidos en el periodo de enero de 2008 a septiembre de 2013, con el objetivo de reducir la dimensionalidad del conjunto de datos y facilitar la comparación de los mismos y la predicción de valores futuros. Para ello pretendemos aplicar una metodología, que nos permitirá deducir, a partir de una serie resumen y de unos coeficientes multiplicativos, la evolución del comportamiento de cualquier otro metal. Pese a la escasísima documentación existente al respecto, se valorará e intentará aplicarse una reciente metodología denominada “Metodología del haz de rectas” Como herramienta de trabajo para los programas informáticos desarrollados y para representar las gráficas asociadas al proyecto, se utilizó Matlab®, habida cuenta de su enorme potencia y por disponer de un lenguaje de programación sencillo y lo suficientemente versátil para las tareas que necesitamos. Abstract. The objective of this research project is to analyze the set of ten time series on prices of the ten metals (silver, aluminum, gold, copper, nickel, palladium, lead, platinum, tin and zinc), included in the period January 2008 to September 2013, with the aim of reducing the dimensionality of the data set and to facilitate comparison of the data and the prediction of future values To apply this methodology, allowing us to predict, from a series summarizes the evolution of the behavior of any other metal. This methodology is called "straight beam Methodology" As a tool for developing computer software and associated graphs to represent the project, Matlab® was used in view of its enormous power and have a simple programming language and versatile enough for the tasks we need

Notas sueltas sobre el desarrollo de la ciencia en España (Primera Serie)

Lo primero que tiene que hacer algo que se quiere desarrollar, es nacer. ¿Puede relacionarse esto con la Ciencia en España? Ha habido chispas fulgurantes: «Ese es el camino », dijeron muchas voces. Pero lo dijeron cuando la chispa estaba a punto de agotarse. O cuando estaba agotada ya. Estatuas, discursos...

Notas sueltas sobre el desarrollo de la ciencia en España (Segunda serie)

Ha habido siempre un fondo de aislamiento celtíbero que, a lo largo de los siglos, ha cortado siempre nuestro posible nacer científico. Ha habido cosas muy curiosas y que son casi por completo desconocidas para la mayoría de la gente. Hay partes de nuestra historia que son casi por completo ignoradas.

Funcionamiento de reguladores de presión en paralelo y serie.

Modelación matemática fundamentada en los fenómenos de pérdidas de carga y empuje de llaves hidráulica reguladoras de presión. Las estaciones reguladoras de presión están formadas por la agrupación, generalmente dos, de estos dispositivos en serie o en paralelo, según las características de la demanda y de la magnitud de la presión a regular.

La cuestión de la vivienda social en Brasil: una propuesta de implantación urbana y de producción en serie de unidades residenciales unifamiliares para el nordeste brasileño

La simple lectura de periódicos en la prensa o en Internet, o lo ver o oír de los noticieros en las emisoras de radio o televisión, fornecen subsidios ya suficientes para la percepción de la amplitud de la cuestión de la vivienda social en todo el mundo. Esto trabajo, que ahora se presenta, es el resultado de una investigación científica desarrollada de modo a subsidiar una Tesis de Doctorado a ser presentada en la Universidad Politécnica de Madrid. En la investigación científica, se pretendió sistematizar lecturas y datos sobre la cuestión habitar en todo el mundo, y sobre todo en Brasil, donde se tuvo como foco principal, las poblaciones inseridas en las fajas de renta inferiores a €300 mensuales, ubicadas en nordeste de Brasil. Basándose en todo eso trabajo de investigación científica, que tanto se preocupó con los aspectos ergonómicos, sociales, conceptuales, proyéctales, ambientales, arquitectónicos y urbanísticos, como también con los estadísticos, tecnológicos, infraestructurales, económicos y comerciales, se propugnó una metodología para la implantación urbana de asentamientos planeados de viviendas sociales y la producción en serie de unidades residenciales unifamiliares. La cuestión urbana fue la primera preocupación del científico, tanto en lo que se refiere al planeamiento estratégico de ciudades, como los temas que envuelven la espontaneidad, intencionalidad, territorialidad y centralidades de las ocupaciones humanas en la modernidad y postmodernidad. Proyectos de edificios y de conjuntos de viviendas, así como planes urbanos, fueron utilizados como estudios de casos de modo a basar los análisis presentados en esa tesis. La definición de diseños para la vivienda social, tuvo como premisas, la mejor adecuación posible a las características bioclimáticas de los diversos sitios elegidos y atender a las necesidades presentadas por los futuros usuarios de los objetos arquitectónicos construidos. Los partidos arquitectónicos adoptados intentaron ser coherentes con los valores antropológicos y culturales de las poblaciones atendidas con los bienes producidos, y se ajustaren a las capacidades de comprometimiento financiero de las diversas comunidades atendidas con las edificaciones. Pretendió aún, esa tesis de doctorado, hacer una correlación entre las políticas oficiales apuntadas para la vivienda social existentes en Brasil y las encontradas en los países desarrollados; así como los antecedentes históricos de las singulares problemáticas habitacionales, que tuvieron como cumbre la producción de estrategias gerenciales propias. Se aprovecho, también, mucho de la experiencia norteamericana y europea de industrialización, para ser empleada en la producción en serie de unidades habitacionales en nordeste de Brasil, de modo a que esa tecnología de construcción tanto pueda ser operada por un sistema fabril formal, cuanto por procesos de autogestión y autoconstrucción, actualmente adoptados en amplia escala en Brasil. ABSTRACT The simple reading of nowadays newspapers or the facts presented at Internet, or that can been seen on television or heard on a radio, gives the audience enough arguments to support the right perception of the magnitude of housing problem around the world. This paper is the result of a scientific investigation developed to support a Doctoral Thesis, which will be presented in the Universidad Politécnica de Madrid. This research aimed at presenting a methodology for serial production of housing designed for planned areas and their integration to urban space. Information that refers to housing problem around the world, including Brazil, was systematized. We selected as target people that live in the Northeast Region of the country and perceive less than €300 per month as a salary. We analyzed data regarding ergonomic, social, conceptual, environmental and architectural aspects, as well as project and urban information; and also considering statistical, technological, infrastructural, economical and commercial issues. Urban request was the first aspect analyzed. City strategic plan and themes involving aspects such as spontaneity, intentionality, territory and centrality of human occupations in modern and postmodern time were deeply considered. This thesis is also referenced on well known building projects and cities planning. The most adequate constructions considering local weather and poor people architectural necessities programs were pointed out before defining the projects’ sketches. The coherence between plans and anthropologic-cultural values, and also the perfect match to future owners’ financial capacities were also objectives of this work. This study also intended to compare Brazilian’s policies to the ones found in developed countries; and discusses historical facts involved with housing problem, which resulted with management strategies and policies. Some aspects of North American and European industrial experiences were applied to develop serial production of Northeast Brazilian housing. The technology obtained with this methodology intends to be applied in industrial production and also in self-management or self-production procedures, largely used in Brazil.