On the existence of exponential polynomials with prefixed gaps

This paper shows that the conjecture of Lapidus and Van Frankenhuysen on the set of dimensions of fractality associated with a nonlattice fractal string is true in the important special case of a generic nonlattice self-similar string, but in general is false. The proof and the counterexample of this have been given by virtue of a result on exponential polynomials P(z), with real frequencies linearly independent over the rationals, that establishes a bound for the number of gaps of RP, the closure of the set of the real projections of its zeros, and the reason for which these gaps are produced.

Efficient tool path computation using multi-core GPUs

Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for standard machining. However, the algorithms used for tool path computation demand a higher computation performance, which makes the implementation on many existing systems very slow or even impractical. Hardware acceleration is an incremental solution that can be cleanly added to these systems while keeping everything else intact. It is completely transparent to the user. The cost is much lower and the development time is much shorter than replacing the computers by faster ones. This paper presents an optimisation that uses a specific graphic hardware approach using the power of multi-core Graphic Processing Units (GPUs) in order to improve the tool path computation. This improvement is applied on a highly accurate and robust tool path generation algorithm. The paper presents, as a case of study, a fully implemented algorithm used for turning lathe machining of shoe lasts. A comparative study will show the gain achieved in terms of total computing time. The execution time is almost two orders of magnitude faster than modern PCs.

3D-based reconstruction using growing neural gas landmark: application to rapid prototyping in shoe last manufacturing

Customizing shoe manufacturing is one of the great challenges in the footwear industry. It is a production model change where design adopts not only the main role, but also the main bottleneck. It is therefore necessary to accelerate this process by improving the accuracy of current methods. Rapid prototyping techniques are based on the reuse of manufactured footwear lasts so that they can be modified with CAD systems leading rapidly to new shoe models. In this work, we present a shoe last fast reconstruction method that fits current design and manufacturing processes. The method is based on the scanning of shoe last obtaining sections and establishing a fixed number of landmarks onto those sections to reconstruct the shoe last 3D surface. Automated landmark extraction is accomplished through the use of the self-organizing network, the growing neural gas (GNG), which is able to topographically map the low dimensionality of the network to the high dimensionality of the contour manifold without requiring a priori knowledge of the input space structure. Moreover, our GNG landmark method is tolerant to noise and eliminates outliers. Our method accelerates up to 12 times the surface reconstruction and filtering processes used by the current shoe last design software. The proposed method offers higher accuracy compared with methods with similar efficiency as voxel grid.

3D Hand Pose Estimation with Neural Networks

We propose the design of a real-time system to recognize and interprethand gestures. The acquisition devices are low cost 3D sensors. 3D hand pose will be segmented, characterized and track using growing neural gas (GNG) structure. The capacity of the system to obtain information with a high degree of freedom allows the encoding of many gestures and a very accurate motion capture. The use of hand pose models combined with motion information provide with GNG permits to deal with the problem of the hand motion representation. A natural interface applied to a virtual mirrorwriting system and to a system to estimate hand pose will be designed to demonstrate the validity of the system.

An approach to the application of shift-and-add algorithms on engineering and industrial processes

Different kinds of algorithms can be chosen so as to compute elementary functions. Among all of them, it is worthwhile mentioning the shift-and-add algorithms due to the fact that they have been specifically designed to be very simple and to save computer resources. In fact, almost the only operations usually involved with these methods are additions and shifts, which can be easily and efficiently performed by a digital processor. Shift-and-add algorithms allow fairly good precision with low cost iterations. The most famous algorithm belonging to this type is CORDIC. CORDIC has the capability of approximating a wide variety of functions with only the help of a slight change in their iterations. In this paper, we will analyze the requirements of some engineering and industrial problems in terms of type of operands and functions to approximate. Then, we will propose the application of shift-and-add algorithms based on CORDIC to these problems. We will make a comparison between the different methods applied in terms of the precision of the results and the number of iterations required.

Augmented and Virtual Reality techniques for footwear

The use of 3D imaging techniques has been early adopted in the footwear industry. In particular, 3D imaging could be used to aid commerce and improve the quality and sales of shoes. Footwear customization is an added value aimed not only to improve product quality, but also consumer comfort. Moreover, customisation implies a new business model that avoids the competition of mass production coming from new manufacturers settled mainly in Asian countries. However, footwear customisation implies a significant effort at different levels. In manufacturing, rapid and virtual prototyping is required; indeed the prototype is intended to become the final product. The whole design procedure must be validated using exclusively virtual techniques to ensure the feasibility of this process, since physical prototypes should be avoided. With regard to commerce, it would be desirable for the consumer to choose any model of shoes from a large 3D database and be able to try them on looking at a magic mirror. This would probably reduce costs and increase sales, since shops would not require storing every shoe model and the process of trying several models on would be easier and faster for the consumer. In this paper, new advances in 3D techniques coming from experience in cinema, TV and games are successfully applied to footwear. Firstly, the characteristics of a high-quality stereoscopic vision system for footwear are presented. Secondly, a system for the interaction with virtual footwear models based on 3D gloves is detailed. Finally, an augmented reality system (magic mirror) is presented, which is implemented with low-cost computational elements that allow a hypothetical customer to check in real time the goodness of a given virtual footwear model from an aesthetical point of view.

Footwear bio-modelling: An industrial approach

There is a growing need within the footwear sector to customise the design of the last from which a specific footwear style is to be produced. This customisation is necessary for user comfort and health reasons, as the user needs to wear a suitable shoe. For this purpose, a relationship must be established between the user foot and the last with which the style will be made; up until now, no model has existed that integrates both elements. On the one hand, traditional customised footwear manufacturing techniques are based on purely artisanal procedures which make the process arduous and complex; on the other hand, geometric models proposed by different authors present the impossibility of implementing them in an industrial environment with limited resources for the acquisition of morphometric and structural data for the foot, apart from the fact that they do not prove to be sufficiently accurate given the non-similarity of the foot and last. In this paper, two interrelated geometric models are defined, the first, a bio-deformable foot model and the second, a deformable last model. The experiments completed show the goodness of the model, with it obtaining satisfactory results in terms of comfort, efficiency and precision, which make it viable for use in the sector.

A new surface joining technique for the design of shoe lasts

The footwear industry is a traditional craft sector, where technological advances are difficult to implement owing to the complexity of the processes being carried out, and the level of precision demanded by most of them. The shoe last joining operation is one clear example, where two halves from different lasts are put together, following a specifically traditional process, to create a new one. Existing surface joining techniques analysed in this paper are not well adapted to shoe last design and production processes, which makes their implementation in the industry difficult. This paper presents an alternative surface joining technique, inspired by the traditional work of lastmakers. This way, lastmakers will be able to easily adapt to the new tool and make the most out of their know-how. The technique is based on the use of curve networks that are created on the surfaces to be joined, instead of using discrete data. Finally, a series of joining tests are presented, in which real lasts were successfully joined using a commercial last design software. The method has shown to be valid, efficient, and feasible within the sector.

Selective SWIFT-R. A Flexible Software-Based Technique for Soft Error Mitigation in Low-Cost Embedded Systems

Commercial off-the-shelf microprocessors are the core of low-cost embedded systems due to their programmability and cost-effectiveness. Recent advances in electronic technologies have allowed remarkable improvements in their performance. However, they have also made microprocessors more susceptible to transient faults induced by radiation. These non-destructive events (soft errors), may cause a microprocessor to produce a wrong computation result or lose control of a system with catastrophic consequences. Therefore, soft error mitigation has become a compulsory requirement for an increasing number of applications, which operate from the space to the ground level. In this context, this paper uses the concept of selective hardening, which is aimed to design reduced-overhead and flexible mitigation techniques. Following this concept, a novel flexible version of the software-based fault recovery technique known as SWIFT-R is proposed. Our approach makes possible to select different registers subsets from the microprocessor register file to be protected on software. Thus, design space is enriched with a wide spectrum of new partially protected versions, which offer more flexibility to designers. This permits to find the best trade-offs between performance, code size, and fault coverage. Three case studies have been developed to show the applicability and flexibility of the proposal.

Fault tolerant embedded systems design by multi-objective optimization

The design of fault tolerant systems is gaining importance in large domains of embedded applications where design constrains are as important as reliability. New software techniques, based on selective application of redundancy, have shown remarkable fault coverage with reduced costs and overheads. However, the large number of different solutions provided by these techniques, and the costly process to assess their reliability, make the design space exploration a very difficult and time-consuming task. This paper proposes the integration of a multi-objective optimization tool with a software hardening environment to perform an automatic design space exploration in the search for the best trade-offs between reliability, cost, and performance. The first tool is commanded by a genetic algorithm which can simultaneously fulfill many design goals thanks to the use of the NSGA-II multi-objective algorithm. The second is a compiler-based infrastructure that automatically produces selective protected (hardened) versions of the software and generates accurate overhead reports and fault coverage estimations. The advantages of our proposal are illustrated by means of a complex and detailed case study involving a typical embedded application, the AES (Advanced Encryption Standard).

RetinaStudio: A bioinspired framework to encode visual information

The retina is a very complex neural structure, which performs spatial, temporal, and chromatic processing on visual information and converts it into a compact ‘digital’ format composed of neural impulses. This paper presents a new compiler-based framework able to describe, simulate and validate custom retina models. The framework is compatible with the most usual neural recording and analysis tools, taking advantage of the interoperability with these kinds of applications. Furthermore it is possible to compile the code to generate accelerated versions of the visual processing models compatible with COTS microprocessors, FPGAs or GPUs. The whole system represents an ongoing work to design and develop a functional visual neuroprosthesis. Several case studies are described to assess the effectiveness and usefulness of the framework.

Fraseodidáctica: a fraseoloxía para a didáctica

In this article it is offered a different view of the role of phraseology in the foreign language class. Considering the holistic nature of language, phraseological units are conceived as inherent elements in the verbal communication, which confirms its importance in the formation process of the communicative competence in a foreign language. With attention to the modular conceptions of the communicative competence (Canale 1983) and of the phraseological meaning (Timofeeva 2012), it is proposed conceiving the phraseology as a starting point for developing the different parts of communicative competence. As it is explained, phraseological meaning is conformed by several informational chunks articulated in two levels, the semantic and the pragmatic. The connexions between these chunks and the parts of communicative competence allow to use more effectively the phraseological contents for the foreign language learning and teaching.

Conocimiento de matemáticas especializado de los estudiantes para maestro de primaria en relación al razonamiento proporcional

Un dominio particular del conocimiento matemático para la enseñanza es el conocimiento de matemáticas especializado. Este estudio se centra en examinar el conocimiento de matemáticas especializado en el ámbito del razonamiento proporcional de un grupo de estudiantes para maestro de Educación Primaria. Los resultados muestran que los estudiantes para maestro tienen un conocimiento especializado sobre el razonamiento proporcional limitado puesto de manifiesto por la dificultad en identificar situaciones no proporcionales, en desarrollar formas de razonar en relación a la construcción de la unidad y en manejar el significado multiplicativo de la idea de operador.

Geodiversidad mineralógica y petrológica del diapiro de Pinoso y su interés como patrimonio geológico

El diapiro de Pinoso, también denominado Cerro o Cabeҫo de la Sal, está situado al W de la provincia de Alicante, (38º24’ N- 01º02”O), de forma elíptica con eje mayor (NW-SE) de 7,5 km y altura máxima de 893 m, 350 m por encima de la superficie erosiva colindante. Constituido por materiales de facies Keuper, presenta un núcleo de halita que ha sido objeto de explotación, tanto por minería subterránea como por evaporación (extracción y comercialización de sal manantial). También, a principios del siglo XX, aguas procedentes del Cabeҫo fueron utilizadas en un balneario, previo calentamiento del agua. Desde 1973 se explota por disolución y la salmuera extraída es llevada a Torrevieja mediante un salmueroducto y allí pasa a formar parte del proceso de evaporación de explotación de las salinas. La variedad de las litologías presentes en él, así como su riqueza en patrimonio mineral mueble, algunos de los cuales son minerales autigénicos característicos de las facies Keuper, confieren al Cabeҫo de la Sal un notable valor como Patrimonio Geológico, este carácter patrimonial se ve aumentado por los rasgos geomorfológicos asociados al exokarst en materiales yesíferos hipergénicos que genera formas erosivas cualitativa y cuantitativamente muy importantes.

Contribuciones al estudio analítico del movimiento de rotación de una Tierra deformable

Esta memoria para optar al grado de doctor por la Universidad de Alicante, en el área de Matemática Aplicada, se divide en ocho capítulos. En los cuatro primeros se lleva a cabo una revisión del problema de la rotación de la Tierra rígida y elástica, en formalismo hamiltoniano, y se introducen algunas alternativas originales a la construcción de ciertos elementos de la teoría. En los otros cuatro se presentan nuevas contribuciones al estudio analítico de los movimientos de precesión y nutación de la Tierra deformable. Estas se pueden agrupar en dos categorías: la obtención de fórmulas que describen el movimiento de rotación del eje de figura, que completan las existentes hasta la fecha, y la extensión del formalismo para hacerlo compatible con modelos reológicos de la Tierra más generales.