Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales

Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI

Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales

Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI

Procedimiento de obtención de materiales compuestos ferrita-circona

Fecha de presentación internacional: 02.11.2004. - Titular: Consejo Superior de Investigaciones Científicas (CSIC)[EN] The invention relates to a method of obtaining ferrite-zirconia composite materials. The inventive method consists in preparing dense materials comprising a soft ferrite matrix with a second dispersed phase of zirconia particles, at a concentration of between 0.5 and 50 % by volume, by liquid process. The materials thus obtained with a second phase of polycrystalline tetragonal zirconia stabilised with Y2O3 are characterised in that the mechanical properties thereof (resistance to deformation and/or modulus of rupture) can be up to 100 % greater than those of the ferrite material forming the matrix. If the material obtained has a second phase of polycrystalline zirconia stabilised with CaO, said material is characterised in that it has a maximum magnetic permeability of less than 6 %, with a temperature variation in the range of -40ºC to 100ºC and up to a field value of 30 % of the saturation.[ES] Consiste en la preparación de materiales densos compuestos de matriz ferrítica blanda con una segunda fase dispersa de partículas de circona, con una concentración entre 0.5-50 % en volumen, mediante un procesamiento en vía líquida. Los materiales así obtenidos con una segunda fase de circona tetragonal policristalina estabilizada con Y20 3, se caracterizan por poseer unas propiedades mecánicas (tenacidad y/o módulo de rotura) que pueden llegar a ser hasta un 100 % superior a la del material ferrítico que constituye la matriz. Por otro lado, si el material obtenido posee una segunda fase de circona policristalina estabilizada con CaO, se caracterizará por tener una permeabilidad magnética máxima menor que el 6 %, con una variación de temperatura en el rango de -40ºC a 100ºC y hasta un valor de campo del 30% de la saturaciónPeer reviewe