Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Modelos aplicables en mediación intercultural

Una concepción inclusiva de la cultura debe necesariamente resaltar su carácter diverso y cambiante. Partiendo de este enfoque, que permite abordar la cuestión migratoria teniendo en cuenta el factor étnico, junto a otros elementos esenciales que vertebran su multidimensionalidad, perfilaremos la mediación intercultural desde la perspectiva de su aplicabilidad en situaciones sociales de multiculturalidad significativa, planteamiento que permite promover la igualdad y el respeto a la diferencia, junto a la interacción positiva entre las partes, poniendo el acento sobre lo que se tiene en común. A tal fin, analizaremos los principales modelos aplicables en mediación intercultural, trazando un perfil del papel del mediador y las características del proceso.

Aprendizaje transformativo y programas de investigaci??n en el desarrollo docente universitario

Resumen basado en el de la publicaci??n

Evolución de la eficiencia reproductiva en la finca piloto San José del municipio de Santo Tomás, Chontales. Area modelo del proyecto de mejoramiento de la productividad ganadera para los productores de pequeña y mediana escala

El presente estudio se realizo con el objetivo de determinar la evolución de la eficiencia reproductiva en la finca piloto San José del municipio de Santo tomas, del departamento de Chontales. Evolución de la Eficiencia Reproductiva en la Finca Piloto San José, en el Municipio de Santo Tomas Chontales. Area modelo del proyecto de Mejoramiento de la Productividad Ganadera para los Productores de Pequeña y Mediana Escala. La finca se sitúa entre las coordenadas 13º28’51’’ latitud norte y 70º77’02’’ longitud este, con altura de 420 msnm, con una precipitación promedio anual de 1600 a 2000 mm, con temperatura media anual de 25º a 27ºC. El presente estudio se evaluaron los diferentes índices reproductivos de la finca piloto San José, haciendo uso de los registros que se levantaron durante la etapa de ejecución del proyecto, realizando monitoreos periódicos como: pesajes de ganado y diagnósticos reproductivos, también se realizaba pesaje de leche y prueba de mastitis, estas actividades se realizan una vez al mes, pero con diferencias de 15 días por actividades. La producción total de leche obtenida en la finca fue de 49.500kg de leche durante un año, cuando el IPP fue de 12 meses. Cuando el IPP llego a los 24 meses la producción de leche fue de 27,000Kg. Se obtuvo que entre menor fueron los IPP y los ingresos de las finca fueron mayores. Cuando se alargaron los dias de ordeño también se alargaron los dias de secado. En el año 2005 el promedio del IPC era de 8.5 meses y en el año 2008 se redujo a 4.7 meses. En el año 2005 el IPP era de 18 meses y para el año 2008 se redujo a 14 meses. Para el invierno del 2005 se tenía promedios de 9 partos en invierno con relación al de verano que fue de 3 partos, luego en el verano del 2008 los partos se redujeron a 4 partos, pero en invierno aumentaron a 15 partos por época. El IPC para el 2005 correspondía a un 22 %, para el año 2008 se logro reducir a un 7.5 %. El IPP en el año 2005 fue del 45.7 % y para el 2008 se redujo a un22.4 %, prácticamente se redujo a un 50 %. En la finca piloto en el 2005 se contaba con 12 animales en ordeño y al año 2008 se incremento su número de animales productivos a 19 animales. La producción promedio por vaca siempre se mantuvo estable entre los 4 y 5 litros de leche por vaca, aumentado solamente la producción total de leche por día.

Implementación del Modelo de Red Causal en un texto narrativo en español

Resumen: El Modelo de Red Causal propone que la estructura causal de una historia y su representación en la memoria episódica se asemejan a una red, en la que los acontecimientos resultan de una combinación de antecedentes causales, que a su vez tienen múltiples consecuencias. El estudio de la comprensión de textos según este modelo ha tendido a llevarse a cabo utilizando textos experimentales en inglés. En razón de ello, el objetivo de este trabajo consistió en presentar la aplicación del Modelo de Red Causal a un texto narrativo natural en español, a fin de abogar por su utilidad para examinar los procesos cognitivos involucrados en la comprensión textual.

Alfonso X : un modelo de rey letrado

Integran este número de la revista ponencias presentadas en Studia Hispanica Medievalia VIII: Actas de las IX Jornadas Internacionales de Literatura Española Medieval, 2008, y de Homenaje al Quinto Centenario de Amadis de Gaula.

El modelo de gestión estratégica de recursos humanos como herramienta de desarrollo, crecimiento, eficiencia y modernización de la gestión pública

Resumen: El éxito de toda organización depende de una serie de factores, en su mayoría referidos a la actividad de recursos humanos. En esta esfera es donde surgen grandes desafíos signados por los cambios que se vienen produciendo en el mundo globalizado. Surge la necesidad de adquirir nuevas competencias en cuanto a cómo planificar y gerenciar los Recursos Humanos en tiempos de incertidumbre e inestabilidad. Resulta imperioso para las organizaciones contemporáneas desarrollar e implementar procesos de formación de directivos con una orientación gerencial más avanzada, a partir de un rediseño de su perfil de competencias que permita replantear su misión y redefinir muchas de sus funciones, donde sus recursos humanos juegan un rol protagónico. La Administración Pública no escapa a estos cambios, que inciden directamente sobre el Modelo de Gestión Estratégica de Recursos Humanos, al enfrentar con frecuencia grandes obstáculos y resistencia al cambio.

Estudio de la estabilidad de una variante del modelo de la telaraña

Resumen: Este artículo versa sobre una de las aplicaciones de las ecuaciones en diferencias finitas lineales de primer orden en el análisis económico de un problema. A partir del conocido modelo de la telaraña o modelo de cobweb se introducen, siguiendo a P. Cagan (1956), expectativas adaptativas y se obtiene una variante de dicho modelo. Se estudia la estabilidad de tal variante a partir del análisis del carácter de la sucesión de precios generada por la solución del modelo.

Efectos de la política monetaria en un modelo de precios rígidos en distintas monedas

Resumen: En un modelo dinámico, de dos países y con precios rígidos, este trabajo analiza la transmisión de la política monetaria cuando las empresas fijan sus precios en distintas monedas. Siguiendo el modelo de Betts y Devereux (2000) suponemos que las empresas pueden fijar un único precio para el mercado local y extranjero en moneda del país al cual exportan. Algunas empresas segmentan el mercado por país y otras fijan un único precio en su propia moneda o en la del país vecino. Los precios rígidos en moneda del país vecino aumentan la variabilidad del tipo de cambio y reducen los efectos positivos que la política monetaria tiene sobre el consumo y la tasa de interés real, respecto a una situación donde las empresas sólo segmentan el mercado o fijan un único precio en su propia moneda. En ausencia de segmentación de mercado, a mayor número de empresas que fijen su precio en moneda del país vecino, mayor es el efecto positivo que un shock monetario en el país extranjero tiene sobre su bienestar y el del otro, pero es menor en ambos cuando se produce en el país local.

Formación de ingenieros agrónomos con orientación en suelos y aguas: justificación, modelo del profesional, planes y programas de estudio

El patrón del desarrollo económico- social de Nicaragua está determinado en gran medida por los recursos naturales; suelo, agua, bosque y clima: la bibliografía indica que la distribución y cuantía de los recursos condicionan el desarrollo de las fuerzas productivas, hay más desarrollo económica y social en aquellas zonas donde se concentran los recursos naturales, específicamente donde la cantidad del entorno natural en términos de suelo y clima es superior. 2.- el territorio nacional, en cuanto a ambiente natural, es extremadamente inestable. Esto se deriva del hecho de tratarse de un territorio geomorfológicamente reciente (específicamente el pacifico) y las características edafológicas y del clima. La productividad de los ecosistemas se basa en un balance o equilibrio muy delicado. El clima es agresivo, la precipitación es abundante y muy desigualmente distribuida en el territorio y en el tiempo, lo que implica exceso de agua en una parte del año y sequía y vientos intensos y turbulentos por otra parte. El suelo, dada la presencia de materiales piro clásicos y sedimentos aluviales, presenta una alta susceptibilidad a la degradación, erosión (tanto hídrica como eólica), calificación, sellado superficial, extractos duros (talpetate), pie de agrado etc., principalmente en el pacifico y parte de la zona central. La cantidad del entorno físico, dado principalmente por el clima y la edafología, indican que la intervención del hombre en la naturaleza con miras a su aprovechamiento tiene que ajustarse a la capacidad y potencialidades de los recursos, La revisión de los antecedentes, al respecto, revelan que hay tato sobreutilización de los antecedentes, al respecto revelan que hay tanto sobreutilización como subutilización de los recursos suelo, aguas y bosque. Seguramente la situación presente es más grave de lo que aparenta ser a la luz de los antecedentes brindados por la bibliografía consultada, dada la carencia de información actualizada y simple ausencia de la información en muchos aspectos. El conocimiento de la aptitud y uso potencial recién se inicia, la infraestructura material, recurso humano y experiencia en matera de estudios básicos es aun débil y esta lejos de responder a las necesidades presentes a mediano y largo plazo. Las apreciaciones que se derivan del diagnóstico general de los recursos naturales, presentados en 2.. parecen confirmarse plenamente en los resultados de las encuestas que se realizan con el fin de auscultar en pensamiento de los profesionales relacionados directamente en el aprovechamientos y manejo de estos recursos, laborando a diferentes niveles jerárquicos en instituciones relacionadas tanto con la producción, la planificación, la investigación y la enseñanza. Mayoritariamente los profesionales opinan que: Existe una peligrosa tendencia con la degradación de los recursos, el aprovechamiento que se hace de estos es incipiente, que no existen en el país las capacidades humanas para hacer frente a este situación y que en la perspectiva del desarrollo agropecuario es necesaria la formación de un profesional orientado en este sentido. Estos planteamientos y el contenido del diagnóstico en general fueron respaldados por los puntos de vista de los participantes en el seminario taller: PERFIL DEL INGENIERO AGRONOMO ORIENTADO EN SUELOS Y AGUAS celebrado con el propósitos exclusivo de evaluar la necesidad de crear una orientación de suelo y aguas en el ISCA, como se puede verificar en las siguientes conclusiones del seminario. Proponer a las autoridades del ISCA, continúe con la elaboración de los documentos que conduzcan a la creación, para 1990, de la orientación de suelos y aguas dentro de la carrera de ingeniería Agronómica. No existe ninguna contraposición entre el perfil del ingeniero Agrónomo con orientación en suelos y aguas y otros perfiles existentes, por el contrario se complementan. Con base a estos antecedentes el ISCA ha formulado la propuesta de creación de la orientación de suelos y aguas y elevarla a consideración de las autoridades de la enseñanza superior: En los capítulos siguientes se presenta detalladamente los diversos componentes del modelo del profesional, del plan de estudios (debidamente) organizado en disciplinas y en bloques) y resumen de los programas de asignaturas, partiendo de una conceptualización general de cada uno de ellos.

Determinación del brillo de negatoscopios con un modelo lambertiano

Resumen: En este trabajo se propone un método experimental simple para medir indirectamente la luminancia de una región circular en el centro de la superficie de diagnóstico de un negatoscopio. La determinación de la luminancia se hace a partir de mediciones de iluminación realizadas con un luxómetro en un cuarto oscuro y a una distancia fija de la superficie luminosa. La hipótesis fundamental del modelo teórico empleado es que la superficie del negatoscopio, en el centro del mismo, obedece la Ley de Lambert. El alto valor del coeficiente de correlación, 0.9998, calculado para los datos experimentales en la representación gráfica lineal elegida, señala que la superficie del negatoscopio se comporta como lambertiana con gran aproximación. El procedimiento empleado, además, permite determinar la luminancia con una incerteza relativa del orden del 2%. En suma, el método prueba ser eficiente y económico para el control de calidad de los negatoscopios empleados actualmente en muchos centros de salud de la región.

El Modelo de los Cinco Factores de Personalidad : contribución predictiva al rendimiento académico

Resumen: La presente revisión tiene como objetivo conocer cuáles son los principales rasgos de personalidad que permiten predecir el éxito académico e identificar la relación de los mismos con otras variables psicológicas tales como la inteligencia, los intereses, las creencias de autoeficacia y las metas de rendimiento. Especialmente se ha utilizado el Modelo de los Cinco Factores de Personalidad, ya que es considerada una de las explicaciones más exhaustivas y con mejores perspectivas para la medición de la personalidad. De la revisión realizada puede decirse que de los cinco factores de personalidad, el más consistentemente asociado con el éxito académico es el factor Responsabilidad. Con respecto a los restantes rasgos de personalidad, la asociación es menos clara. Se espera que la información aportada ayude a investigadores y profesionales del ámbito educativo a comprender e identificar cuál es el patrón psicológico que facilita el éxito académico. Se mencionan algunas limitaciones y se proponen nuevas directrices.

Sistema de informação em gestão de competências : proposta de um modelo de mapa do conhecimento aplicado à Câmara Legislativa do Distrito Federal

Apresenta a proposta de um modelo de mapa do conhecimento, como ferramenta informacional em gestão de competências, aplicado à Câmara Legislativa do Distrito Federal - CLDF, para auxiliar no processo de governança legislativa. São abordados e discutidos os conceitos de administração pública gerencial; competência; competência nas organizações e alguns modelos, métodos e técnicas de gestão de competências. Apresenta, ainda, o mapeamento das áreas de competência existentes na CLDF, e a modelagem e classificação das competências por áreas. O modelo proposto envolveu a construção de um modelo de dados; de uma taxonomia institucional; de uma arquitetura da informação, com concepção do padrão institucional de metadados, do repositório da taxonomia e dos metadados; e a definição das unidades organizacionais responsáveis pelo gerenciamento do conteúdo e da operacionalização do sistema, com suas atribuições e responsabilidades. Por fim, recomenda a aplicação do modelo e a ampliação do estudo em instituições públicas e, particularmente, nas instituições do poder legislativo municipal, estadual e federal.

Modelo de representação na legislação cubana

Com base em pesquisa histórico-documental com técnica comparativa, estuda a organização do Estado cubano, a partir de sua legislação. Expõe um relato histórico sobre o momento de construção da atual Constituição e apresenta as leis referentes ao processo eleitoral, revogação de mandatos e conselho popular. Constata que o modelo de representação do Estado cubano possui um alto grau de delegação, o que o torna mais participativo que o modelo de representação do Brasil, que é fortemente marcado pela independência dos eleitos.

O sistema eleitoral alemão como modelo para a reforma do sistema eleitoral brasileiro

Consultoria Legislativa - Área XIX - Ciência Política, Relações Internacionais.