La competencia comunicativa intercultural en el aula de español de los negocios: análisis de materiales para su enseñanza

RESUMEN La adquisición de la competencia comunicativa intercultural en la enseñanza de Lenguas Extranjeras (LE) y/o Lenguas para Fines Específicos (LFE) debe ser un proceso de aprendizaje consciente y explícito cuyo fin es la transmisión de conocimientos teóricos, el desarrollo de habilidades comportamentales y de actitudes positivas a través del contacto con la/s cultura/s meta. Esta tesis tiene como objetivo general contribuir al desarrollo de la competencia comunicativa intercultural comercial del estudiante de español de los negocios (EN). Para ello se ha realizado un análisis de los manuales para su enseñanza. En concreto, hemos auditado los manuales de EN con el fin de conocer la metodología didáctica que emplean en la enseñanza de la competencia comunicativa intercultural comercial, tomando como marco de referencia el enfoque intercultural para la enseñanza de las Lenguas de los Negocios. Para alcanzar este fin se ha dividido la investigación en tres partes: 1) la revisión de los antecedentes sobre la enseñanza del componente intercultural y del análisis de materiales en los cursos de LFE; 2) la configuración de un constructo teórico que permitiera a la vez, seleccionar el objeto de estudio, diseñar el instrumento de análisis y disponer de un marco de referencia valorativo; 3) y la creación, pilotaje y aplicación del instrumento de análisis, y la auditoría de los datos. Los resultados muestran que, en líneas generales, predomina una visión tradicional de la cultura; un escaso tratamiento de la relación lengua-y-cultura; un seguimiento parcial de los principios pedagógicos para la adquisición de la competencia comunicativa intercultural; un tratamiento bajo de las habilidades interculturales específicas en las interacciones comerciales; y una cobertura parcial de las habilidades interculturales generales, las cuales se centran fundamentalmente en la adqusición de saberes teóricos. PALABRAS CLAVE: competencia comunicativa intercultural; comunicación intercultural comercial; español de los negocios; español para fines específicos; auditoria de manuales didácticos. ABSTRACT The acquisition of intercultural communicative competence in Foreign Language (FL) and / or Languages for Specific Purposes teaching (LSP) must be a conscious and explicit learning to develop knowledge, skills and positive attitudes through contact with the target culture/s. The overall objective of this thesis is to assist the development of the intercultural communicative competence of the student of Spanish for Business (SB) through the audit of the teaching textbooks published in the last decade through a multidisciplinary approach to teaching LSP. The audit was carried out in order to ascertain the underlying approach and course design for the development of the intercultural communicative competence; to state the methodological approach to culture, language-and-culture relationship, culture teaching, culture acquisition and course design. To achieve this objective, the work has been divided into four parts: 1) review of the background on teaching the intercultural component and the analysis of materials in a courses of LSP through a multidisciplinary approach, 2) configuration of a theoretical construct allowing to select the object of study, to design the analytical instrument and to have an evaluative framework, together with the selection of a corpus of Spanish for Business textbooks, 3) development of the analytical instrument and 4) application of the analytical instrument and audit of selected textbooks. The results show that, in the textbooks analyzed, dominated a traditional view of culture, a low ratio treatment of the language-and-culture relationship, a partial implementation of the pedagogical principles for the acquisition of intercultural communicative competence; poor treatment of specific intercultural skills in business interactions, and partial coverage of the general cultural skills, which focus primarily on the acquisition of theoretical knowledge. KEY WORDS: Intercultural communicative competence; Intercultural communicative competence; Spanish for Business; Spanish for Specific Purposes; Textbook audit

Fish communities as indicators of biological conditions of rivers: methods for reference conditions

Fish communities are a key element in fluvial ecosystems Their position in the top of the food chain and their sensitivity to a whole range of impacts make them a clear objective for ecosystem conservation and a sound indicator of biological integrity. The UE Water Framework Directive includes fish community composition, abundance and structure as relevant elements for the evaluation os biological condition. Several approaches have been proposed for the evaluation of the condition of fish communities, from the bio-indicator concept to the IBI (Index of biotic integrity) proposals. However, the complexity of fish communities and their ecological responses make this evaluation difficult, and we must avoid both oversimplified and extreme analytical procedures. In this work we present a new proposal to define reference conditions in fish communities, discussing them from an ecological viewpoint. This method is a synthetic approach called SYNTHETIC OPEN METHODOLOGICAL FRAMEWORK (SOMF) that has been applied to the rivers of Navarra. As a result, it is recommended the integration of all the available information from spatial, modelling, historical and expert sources, providing the better approach to fish reference conditions, keeping the highest level of information and meeting the legal requirements of the WFD.

Hand Image Segmentation by means of Gaussian Multiscale Aggregation for biometric applications

Applying biometrics to daily scenarios involves demanding requirements in terms of software and hardware. On the contrary, current biometric techniques are also being adapted to present-day devices, like mobile phones, laptops and the like, which are far from meeting the previous stated requirements. In fact, achieving a combination of both necessities is one of the most difficult problems at present in biometrics. Therefore, this paper presents a segmentation algorithm able to provide suitable solutions in terms of precision for hand biometric recognition, considering a wide range of backgrounds like carpets, glass, grass, mud, pavement, plastic, tiles or wood. Results highlight that segmentation accuracy is carried out with high rates of precision (F-measure 88%)), presenting competitive time results when compared to state-of-the-art segmentation algorithms time performance

Statistical Machine Learning for Automatic Assessment of Physical Activity Intensity Using Multi-axial Accelerometry and Heart Rate

This work explores the automatic recognition of physical activity intensity patterns from multi-axial accelerometry and heart rate signals. Data collection was carried out in free-living conditions and in three controlled gymnasium circuits, for a total amount of 179.80 h of data divided into: sedentary situations (65.5%), light-to-moderate activity (17.6%) and vigorous exercise (16.9%). The proposed machine learning algorithms comprise the following steps: time-domain feature definition, standardization and PCA projection, unsupervised clustering (by k-means and GMM) and a HMM to account for long-term temporal trends. Performance was evaluated by 30 runs of a 10-fold cross-validation. Both k-means and GMM-based approaches yielded high overall accuracy (86.97% and 85.03%, respectively) and, given the imbalance of the dataset, meritorious F-measures (up to 77.88%) for non-sedentary cases. Classification errors tended to be concentrated around transients, what constrains their practical impact. Hence, we consider our proposal to be suitable for 24 h-based monitoring of physical activity in ambulatory scenarios and a first step towards intensity-specific energy expenditure estimators

Análisis del modelo regulatorio de la seguridad y salud en la construcción en España e integración de la prevención a través del diseño

La necesidad de mejorar la eficacia preventiva del sector de la construcción en España exige profundizar en el análisis del modelo regulatorio vigente a la vez que evaluar los resultados del mismo. Considerando que la regulación española emana de la Directiva 92/57/CEE, es preciso partir de un estudio específico de dicha referencia normativa para, seguidamente, identificar tanto las diferencias y particularidades introducidas en nuestra transposición nacional como, en su caso, la coherencia de las mismas con la regulación comunitaria. Para todo ello, la memoria realizada analiza de manera discriminada las diferencias que, cada modelo regulatorio de la UE-15, introduce en las figuras y herramientas de gestión preventiva instauradas por la citada Directiva. Adicionalmente, la presente investigación evalúa los resultados que, en términos de siniestralidad laboral, costes económicos y responsabilidades legales, han arrojado los vigentes modelos de regulación del sector a nivel comunitario (UE-15) y español. Dicho análisis permite identificar, además, aquellos estados miembros de la UE-15 que, en términos comparativos, han logrado una mayor eficacia preventiva específica en el sector de la construcción y establecer, en su caso, la correspondiente correlación con el tipo de modelo regulatorio. Por otra parte, se analiza la vinculación existente entre los accidentes de trabajo en la construcción y las decisiones tomadas en la etapa de diseño (incluyendo un estudio experimental) así como, con carácter específico, las técnicas desarrolladas para integrar los aspectos preventivos en dicha etapa. Dichas técnicas, englobadas a nivel internacional bajo la denominación de Prevention Through Design (PtD), son analizadas en detalle a la vez que se prospecciona su aplicación al modelo regulatorio español. Por último, se realiza un análisis comparativo del modelo regulatorio español frente a aquellos sistemas que, a nivel internacional, han logrado mejores resultados relativos para, en base al mismo, efectuar una propuesta justificada y pormenorizada de modificación del actual modelo regulatorio de la seguridad y salud en la construcción en España. The need to improve risk prevention efficacy in construction sites in Spain requires a deeper analysis of the current regulatory model while evaluating its results. Whereas the Spanish regulation stems from Directive 92/57/EEC, it is necessary to start from a specific study of such reference, and then pass to identify both the differences and particularities introduced in national transposition and, where appropriate, its consistency with the European regulation system. Above from that, this research analyzes how each country of the EU15 has adapted the provisions in Directive 92/57/EEC and their respective regulation of the preventive management tools introduced by it. Additionally, this research evaluates the results, in terms of workplace accidents, economic costs and liabilities, produced by the current models of sector regulation both at EU-15 and Spanish level. This analysis allows to identify also those member states of the EU-15 that, in comparison, have achieved greater efficiency in specific preventive construction sector and establish, where appropriate, the corresponding correlation with the type of regulatory model. Moreover, we analyze the link between occupational accidents in the construction and the decisions taken at the design stage (including a pilot study) and, with specificity, the techniques developed to integrate the preventive aspects in the design works. Such techniques, included internationally under the name of Prevention through Design (PtD), are analyzed in detail while collating their application routes to the Spanish regulatory model. Finally, we develop a comparative analysis of the Spanish regulatory model against those systems that, worldwide, have achieved better results relating to make a justified and detailed proposal to amend the current regulatory model and health and safety in construction in Spain.

Biokerosene from coconut, babassu, camelina and palm kernel oils: production and properties of their blends with fossil kerosene

On December 20th 2006 the European Commission approved a law proposal to include the civil aviation sector in the European market of carbon dioxide emission rights [European Union Emissions Trading System, EUETS). On July 8th 2009, the European Parliament and Conseil agreed that all flights leaving or landing in the EU airports starting from January 1st 2012 should be included in the EUETS. On November 19th 2008, the EU Directive 2008/101/CE [1] included the civil aviation activities in the EUETS, and this directive was transposed by the Spanish law 13/2010 of July 5th 2010 [2]. Thus, in 2012 the aviation sector should reduce their emissions to 97 % of the mean values registered in the period 2004-2006, and for 2013 these emission reductions should reach 95 % of the mean values for that same period. Trying to face this situation, the aviation companies are planning seriously the use of alternative jet fuels to reduce their greenhouse gas emissions and to lower their costs. However, some US airlines have issued a lawsuit before the European Court of Justice based in that this EU action violates a long standing worldwide aviation treaty, the Chicago convention of 1944, and also the Chinese aviation companies have rejected to pay any EU carbon dioxide tax [3]. Moreover, the USA Departments of Agriculture and Energy and the Navy will invest a total of up to $150 million over three years to spur production of aviation and marine biofuels for commercial and military applications [4]. However, the jet fuels should fulfill a set of extraordinarily sensitive properties to guarantee the safety of planes and passengers during all the flights.

Ontology Requirements Specification

The goal of the ontology requirements specification activity is to state why the ontology is being built, what its intended uses are, who the end users are, and which requirements the ontology should fulfill. This chapter presents detailed methodological guidelines for specifying ontology requirements efficiently. These guidelines will help ontology engineers to capture ontology requirements and produce the ontology requirements specification document (ORSD). The ORSD will play a key role during the ontology development process because it facilitates, among other activities, (1) the search and reuse of existing knowledge resources with the aim of reengineering them into ontologies, (2) the search and reuse of ontological resources (ontologies, ontology modules, ontology statements as well as ontology design patterns), and (3) the verification of the ontology along the ontology development.

Use of Feynman diagrams in large-scale neural networks with nonlinear behaviour

A new proposal to the study of large-scale neural networks is reported. It is based on the use of similar graphs to the Feynman diagrams. A first general theory is presented and some interpretations are given. A propagator, based on the Green's function of the neuron, is the basis of the method. Application to a simple case is reported.

Development of a Uniform Theory of Diffraction for Scattered and Surface Electromagnetic Field Analysis on a Cylinder

Con esta tesis ”Desarrollo de una Teoría Uniforme de la Difracción para el Análisis de los Campos Electromagnéticos Dispersados y Superficiales sobre un Cilindro” hemos iniciado una nueva línea de investigación que trata de responder a la siguiente pregunta: ¿cuál es la impedancia de superficie que describe una estructura de conductor eléctrico perfecto (PEC) convexa recubierta por un material no conductor? Este tipo de estudios tienen interés hoy en día porque ayudan a predecir el campo electromagnético incidente, radiado o que se propaga sobre estructuras metálicas y localmente convexas que se encuentran recubiertas de algún material dieléctrico, o sobre estructuras metálicas con pérdidas, como por ejemplo se necesita en determinadas aplicaciones aeroespaciales, marítimas o automovilísticas. Además, desde un punto de vista teórico, la caracterización de la impedancia de superficie de una estructura PEC recubierta o no por un dieléctrico es una generalización de varias soluciones que tratan ambos tipos de problemas por separado. En esta tesis se desarrolla una teoría uniforme de la difracción (UTD) para analizar el problema canónico del campo electromagnético dispersado y superficial en un cilindro circular eléctricamente grande con una condición de contorno de impedancia (IBC) para frecuencias altas. Construir una solución basada en UTD para este problema canónico es crucial en el desarrollo de un método UTD para el caso más general de una superficie arbitrariamente convexa, mediante el uso del principio de localización de los campos electromagnéticos a altas frecuencias. Esta tesis doctoral se ha llevado a cabo a través de una serie de hitos que se enumeran a continuación, enfatizando las contribuciones a las que ha dado lugar. Inicialmente se realiza una revisión en profundidad del estado del arte de los métodos asintóticos con numerosas referencias. As í, cualquier lector novel puede llegar a conocer la historia de la óptica geométrica (GO) y la teoría geométrica de la difracción (GTD), que dieron lugar al desarrollo de la UTD. Después, se investiga ampliamente la UTD y los trabajos más importantes que pueden encontrarse en la literatura. As í, este capítulo, nos coloca en la posición de afirmar que, hasta donde nosotros conocemos, nadie ha intentado antes llevar a cabo una investigación rigurosa sobre la caracterización de la impedancia de superficie de una estructura PEC recubierta por un material dieléctrico, utilizando para ello la UTD. Primero, se desarrolla una UTD para el problema canónico de la dispersión electromagnética de un cilindro circular eléctricamente grande con una IBC uniforme, cuando es iluminado por una onda plana con incidencia oblicua a frecuencias altas. La solución a este problema canónico se construye a partir de una solución exacta mediante una expansión de autofunciones de propagación radial. Entonces, ésta se convierte en una nueva expansión de autofunciones de propagación circunferencial muy apropiada para cilindros grandes, a través de la transformación de Watson. De esta forma, la expresión del campo se reduce a una integral que se evalúa asintóticamente, para altas frecuencias, de manera uniforme. El resultado se expresa según el trazado de rayos descrito en la UTD. La solución es uniforme porque tiene la importante propiedad de mantenerse continua a lo largo de la región de transición, a ambos lados de la superficie del contorno de sombra. Fuera de la región de transición la solución se reduce al campo incidente y reflejado puramente ópticos en la región iluminada del cilindro, y al campo superficial difractado en la región de sombra. Debido a la IBC el campo dispersado contiene una componente contrapolar a causa de un acoplamiento entre las ondas TEz y TMz (donde z es el eje del cilindro). Esta componente contrapolar desaparece cuando la incidencia es normal al cilindro, y también en la región iluminada cuando la incidencia es oblicua donde el campo se reduce a la solución de GO. La solución UTD presenta una muy buena exactitud cuando se compara numéricamente con una solución de referencia exacta. A continuación, se desarrolla una IBC efectiva para el cálculo del campo electromagnético dispersado en un cilindro circular PEC recubierto por un dieléctrico e iluminado por una onda plana incidiendo oblicuamente. Para ello se derivan dos impedancias de superficie en relación directa con las ondas creeping y de superficie TM y TE que se excitan en un cilindro recubierto por un material no conductor. Las impedancias de superficie TM y TE están acopladas cuando la incidencia es oblicua, y dependen de la geometría del problema y de los números de onda. Además, se ha derivado una impedancia de superficie constante, aunque con diferente valor cuando el observador se encuentra en la zona iluminada o en la zona de sombra. Después, se presenta una solución UTD para el cálculo de la dispersión de una onda plana con incidencia oblicua sobre un cilindro eléctricamente grande y convexo, mediante la generalización del problema canónico correspondiente al cilindro circular. La solución asintótica es uniforme porque se mantiene continua a lo largo de la región de transición, en las inmediaciones del contorno de sombra, y se reduce a la solución de rayos ópticos en la zona iluminada y a la contribución de las ondas de superficie dentro de la zona de sombra, lejos de la región de transición. Cuando se usa cualquier material no conductor se excita una componente contrapolar que tiende a desaparecer cuando la incidencia es normal al cilindro y en la región iluminada. Se discuten ampliamente las limitaciones de las fórmulas para la impedancia de superficie efectiva, y se compara la solución UTD con otras soluciones de referencia, donde se observa una muy buena concordancia. Y en tercer lugar, se presenta una aproximación para una impedancia de superficie efectiva para el cálculo de los campos superficiales en un cilindro circular conductor recubierto por un dieléctrico. Se discuten las principales diferencias que existen entre un cilindro PEC recubierto por un dieléctrico desde un punto de vista riguroso y un cilindro con una IBC. Mientras para un cilindro de impedancia se considera una impedancia de superficie constante o uniforme, para un cilindro conductor recubierto por un dieléctrico se derivan dos impedancias de superficie. Estas impedancias de superficie están asociadas a los modos de ondas creeping TM y TE excitadas en un cilindro, y dependen de la posición y de la orientación del observador y de la fuente. Con esto en mente, se deriva una solución UTD con IBC para los campos superficiales teniendo en cuenta las dependencias de la impedancia de superficie. La expansión asintótica se realiza, mediante la transformación de Watson, sobre la representación en serie de las funciones de Green correspondientes, evitando as í calcular las derivadas de orden superior de las integrales de tipo Fock, y dando lugar a una solución rápida y precisa. En los ejemplos numéricos realizados se observa una muy buena precisión cuando el cilindro y la separación entre el observador y la fuente son grandes. Esta solución, junto con el método de los momentos (MoM), se puede aplicar para el cálculo eficiente del acoplamiento mutuo de grandes arrays conformados de antenas de parches. Los métodos propuestos basados en UTD para el cálculo del campo electromagnético dispersado y superficial sobre un cilindro PEC recubierto de dieléctrico con una IBC efectiva suponen un primer paso hacia la generalización de una solución UTD para superficies metálicas convexas arbitrarias cubiertas por un material no conductor e iluminadas por una fuente electromagnética arbitraria. ABSTRACT With this thesis ”Development of a Uniform Theory of Diffraction for Scattered and Surface Electromagnetic Field Analysis on a Cylinder” we have initiated a line of investigation whose goal is to answer the following question: what is the surface impedance which describes a perfect electric conductor (PEC) convex structure covered by a material coating? These studies are of current and future interest for predicting the electromagnetic (EM) fields incident, radiating or propagating on locally smooth convex parts of highly metallic structures with a material coating, or by a lossy metallic surfaces, as for example in aerospace, maritime and automotive applications. Moreover, from a theoretical point of view, the surface impedance characterization of PEC surfaces with or without a material coating represents a generalization of independent solutions for both type of problems. A uniform geometrical theory of diffraction (UTD) is developed in this thesis for analyzing the canonical problem of EM scattered and surface field by an electrically large circular cylinder with an impedance boundary condition (IBC) in the high frequency regime, by means of a surface impedance characterization. The construction of a UTD solution for this canonical problem is crucial for the development of the corresponding UTD solution for the more general case of an arbitrary smooth convex surface, via the principle of the localization of high frequency EM fields. The development of the present doctoral thesis has been carried out through a series of landmarks that are enumerated as follows, emphasizing the main contributions that this work has given rise to. Initially, a profound revision is made in the state of art of asymptotic methods where numerous references are given. Thus, any reader may know the history of geometrical optics (GO) and geometrical theory of diffraction (GTD), which led to the development of UTD. Then, the UTD is deeply investigated and the main studies which are found in the literature are shown. This chapter situates us in the position to state that, as far as we know, nobody has attempted before to perform a rigorous research about the surface impedance characterization for material-coated PEC convex structures via UTD. First, a UTD solution is developed for the canonical problem of the EM scattering by an electrically large circular cylinder with a uniform IBC, when it is illuminated by an obliquely incident high frequency plane wave. A solution to this canonical problem is first constructed in terms of an exact formulation involving a radially propagating eigenfunction expansion. The latter is converted into a circumferentially propagating eigenfunction expansion suited for large cylinders, via the Watson transformation, which is expressed as an integral that is subsequently evaluated asymptotically, for high frequencies, in a uniform manner. The resulting solution is then expressed in the desired UTD ray form. This solution is uniform in the sense that it has the important property that it remains continuous across the transition region on either side of the surface shadow boundary. Outside the shadow boundary transition region it recovers the purely ray optical incident and reflected ray fields on the deep lit side of the shadow boundary and to the modal surface diffracted ray fields on the deep shadow side. The scattered field is seen to have a cross-polarized component due to the coupling between the TEz and TMz waves (where z is the cylinder axis) resulting from the IBC. Such cross-polarization vanishes for normal incidence on the cylinder, and also in the deep lit region for oblique incidence where it properly reduces to the GO or ray optical solution. This UTD solution is shown to be very accurate by a numerical comparison with an exact reference solution. Then, an effective IBC is developed for the EM scattered field on a coated PEC circular cylinder illuminated by an obliquely incident plane wave. Two surface impedances are derived in a direct relation with the TM and TE surface and creeping wave modes excited on a coated cylinder. The TM and TE surface impedances are coupled at oblique incidence, and depend on the geometry of the problem and the wave numbers. Nevertheless, a constant surface impedance is found, although with a different value when the observation point lays in the lit or in the shadow region. Then, a UTD solution for the scattering of an obliquely incident plane wave on an electrically large smooth convex coated PEC cylinder is introduced, via a generalization of the canonical circular cylinder problem. The asymptotic solution is uniform because it remains continuous across the transition region, in the vicinity of the shadow boundary, and it recovers the ray optical solution in the deep lit region and the creeping wave formulation within the deep shadow region. When a coating is present a cross-polar field term is excited, which vanishes at normal incidence and in the deep lit region. The limitations of the effective surface impedance formulas are discussed, and the UTD solution is compared with some reference solutions where a very good agreement is met. And in third place, an effective surface impedance approach is introduced for determining surface fields on an electrically large coated metallic circular cylinder. Differences in analysis of rigorouslytreated coated metallic cylinders and cylinders with an IBC are discussed. While for the impedance cylinder case a single constant or uniform surface impedance is considered, for the coated metallic cylinder case two surface impedances are derived. These are associated with the TM and TE creeping wave modes excited on a cylinder and depend on observation and source positions and orientations. With this in mind, a UTD based method with IBC is derived for the surface fields by taking into account the surface impedance variation. The asymptotic expansion is performed, via the Watson transformation, over the appropriate series representation of the Green’s functions, thus avoiding higher-order derivatives of Fock-type integrals, and yielding a fast and an accurate solution. Numerical examples reveal a very good accuracy for large cylinders when the separation between the observation and the source point is large. Thus, this solution could be efficiently applied in mutual coupling analysis, along with the method of moments (MoM), of large conformal microstrip array antennas. The proposed UTD methods for scattered and surface EM field analysis on a coated PEC cylinder with an effective IBC are considered the first steps toward the generalization of a UTD solution for large arbitrarily convex smooth metallic surfaces covered by a material coating and illuminated by an arbitrary EM source.

Image characterisation based on the mammalian visual cortex

A proposal for a model of the primary visual cortex is reported. It is structured with the basis of a simple unit cell able to perform fourteen pairs of different boolean functions corresponding to the two possible inputs. As a first step, a model of the retina is presented. Different types of responses, according to the different possibilities of interconnecting the building blocks, have been obtained. These responses constitute the basis for an initial configuration of the mammalian primary visual cortex. Some qualitative functions, as symmetry or size of an optical input, have been obtained. A proposal to extend this model to some higher functions, concludes the paper.

Transmission of digital chaotic and information-bearing signals in optical communication systems

A new proposal to have secure communications in a system is reported. The basis is the use of a synchronized digital chaotic systems, sending the information signal added to an initial chaos. The received signal is analyzed by another chaos generator located at the receiver and, by a logic boolean function of the chaotic and the received signals, the original information is recovered. One of the most important facts of this system is that the bandwidth needed by the system remain the same with and without chaos.

Towards an abstract domain for resource analysis of logic programs using sized types

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Performance metrics for small-signal stability assessment of DC-distributed power-system-architecture comparisons

The objective of this paper is to provide performance metrics for small-signal stability assessment of a given system architecture. The stability margins are stated utilizing a concept of maximum peak criteria (MPC) derived from the behavior of an impedance-based sensitivity function. For each minor-loop gain defined at every system interface, a single number to state the robustness of stability is provided based on the computed maximum value of the corresponding sensitivity function. In order to compare various power-architecture solutions in terms of stability, a parameter providing an overall measure of the whole system stability is required. The selected figure of merit is geometric average of each maximum peak value within the system. It provides a meaningful metrics for system comparisons: the best system in terms of robust stability is the one that minimizes this index. In addition, the largest peak value within the system interfaces is given thus detecting the weakest point of the system in terms of robustness.

Simplified small-signal stability analysis for optimized power system architecture

The optimization of power architectures is a complex problem due to the plethora of different ways to connect various system components. This issue has been addressed by developing a methodology to design and optimize power architectures in terms of the most fundamental system features: size, cost and efficiency. The process assumes various simplifications regarding the utilized DC/DC converter models in order to prevent the simulation time to become excessive and, therefore, stability is not considered. The objective of this paper is to present a simplified method to analyze small-signal stability of a system in order to integrate it into the optimization methodology. A black-box modeling approach, applicable to commercial converters with unknown topology and components, is based on frequency response measurements enabling the system small-signal stability assessment. The applicability of passivity-based stability criterion is assessed. The stability margins are stated utilizing a concept of maximum peak criteria derived from the behavior of the impedance-based sensitivity function that provides a single number to state the robustness of the stability of a well-defined minor-loop gain.

Airplane materials compatibility with blends of fossil kerosene JET A1 with biokerosenes from babassu, palm kernel and coconut oils

The aviation companies are facing some problems that argue in favor of biofuels: Rising cost of traditional fuel: from 0.71 USD/gallon in May 2003 to 3.09 USD/gallon in January 2012. Environmental concerns: direct emissions from aviation account for about 3 % of the EU’s total greenhouse gas emissions. The International Civil Aviation Organization (ICAO) forecasts that by 2050 they could grow by a further 300-700 %. On December 20th 2006 the European Commission approved a law proposal to include the civil aviation sector in the European market of carbon dioxide emission rights (European Union Emissions Trading System, EUETS)