Automatic identification of whole-part relations in Portuguese

Dissertação de Mestrado, Ciências da Linguagem, Faculdade de Ciências Humanas e Sociais, Universidade do Algarve, 2014

A RBES for Generating Automatically Personalized Menus

Food bought at supermarkets in, for instance, North America or the European Union, give comprehensive information about ingredients and allergens. Meanwhile, the menus of restaurants are usually incomplete and cannot be normally completed by the waiter. This is specially important when traveling to countries with a di erent culture. A curious example is "calamares en su tinta" (squid in its own ink), a common dish in Spain. Its brief description would be "squid with boiled rice in its own (black) ink", but an ingredient of its sauce is flour, a fact very important for celiacs. There are constraints based on religious believes, due to food allergies or to illnesses, while others just derive from personal preferences. Another complicated situation arise in hospitals, where the doctors' nutritional recommendations have to be added to the patient's usual constraints. We have therefore designed and developed a Rule Based Expert System (RBES) that can address these problems. The rules derive directly from the recipes of the di fferent dishes and contain the information about the required ingredients and ways of cooking. In fact, we distinguish: ingredients and ways of cooking, intermediate products (like sauces, that aren't always made explicit) and final products (the dishes listed in the menu of the restaurant). For a certain restaurant, customer and instant, the input to the RBES are: actualized stock of ingredients and personal characteristics of that customer. The RBES then prepares a "personalized menu" using set operations and knowledge extraction (thanks to an algebraic inference engine [1]). The RBES has been implemented in the computer algebra system MapleTM2015. A rst version of this work was presented at "Applications of Computer Algebra 2015" (ACA'2015) conference. The corresponding abstract is available at [2].

MODELING AND HARDWARE-IN-THE-LOOP SIMULATION OF POWER-SPLIT HYBRID ELECTRIC VEHICLES

Conventional vehicles are creating pollution problems, global warming and the extinction of high density fuels. To address these problems, automotive companies and universities are researching on hybrid electric vehicles where two different power devices are used to propel a vehicle. This research studies the development and testing of a dynamic model for Prius 2010 Hybrid Synergy Drive (HSD), a power-split device. The device was modeled and integrated with a hybrid vehicle model. To add an electric only mode for vehicle propulsion, the hybrid synergy drive was modified by adding a clutch to carrier 1. The performance of the integrated vehicle model was tested with UDDS drive cycle using rule-based control strategy. The dSPACE Hardware-In-the-Loop (HIL) simulator was used for HIL simulation test. The HIL simulation result shows that the integration of developed HSD dynamic model with a hybrid vehicle model was successful. The HSD model was able to split power and isolate engine speed from vehicle speed in hybrid mode.

Early stage assessment of the inspectability of welded components : A case from the aerospace industry

This paper proposes a method to indicate potential problems when planning dye penetrant and x-ray inspection of welded components. Inspection has been found to be an important part of the manufacturability evaluation made in a large CAD-based parametric environment for making multidisciplinary design simulations in early stages of design at an aircraft component manufacturer. The paper explains how the proposed method is to be included in the design platform at the company. It predicts the expected probability of detection of cracks (POD) in situations where the geometry of the parts is unfavourable for inspection so that potential problems can be discovered and solved in early stages. It is based on automatically extracting information from CAD-models and making a rule-based evaluation. It also provides a scale for how favourable the geometry is for inspection. In the paper it is also shown that the manufacturability evaluation need to take into consideration the expected stresses in the structures, highlighting the importance of multi-disciplinary simulations.

Modelling the generation of customised poetry in Jess

The present paper presents an application that composes formal poetry in Spanish in a semiautomatic interactive fashion. JASPER is a forward reasoning rule-based system that obtains from the user an intended message, the desired metric, a choice of vocabulary, and a corpus of verses; and, by intelligent adaptation of selected examples from this corpus using the given words, carries out a prose-to-poetry translation of the given message. In the composition process, JASPER combines natural language generation and a set of construction heuristics obtained from formal literature on Spanish poetry.

Stratégies des entreprises chinoises dans le secteur extractif dans l’Arctique

Poussée par une croissance économique rapide ces trente dernières années, la demande chinoise en matières premières a considérablement augmenté au cours de cette période. Premier importateur mondial de nombreux minerais depuis le début du XXIe siècle, la Chine, qui n’est pas un État côtier de l’Arctique, semble attentive au potentiel économique de la région, et notamment en ce qui a trait à l’exploitation des gisements miniers. Avec l’ouverture relative des accès maritimes à travers les passages arctiques, les entreprises chinoises seraient en mesure d’effectuer des économies sur les coûts de transport et pourraient plus aisément accéder aux gisements miniers du Groenland et de l’Arctique canadien. La montée en puissance de l’économie chinoise, qui s’est concrétisée depuis le début du siècle, son affirmation politique sur la scène mondiale, et sa diplomatie des ressources perçue comme agressive a contribué à développer une perception négative de la Chine au sein des opinions publiques canadiennes, danoises, groenlandaises, et islandaises. Dans un contexte de débats et d’inquiétudes sur les questions de souveraineté dans l’Arctique, les presses canadiennes, groenlandaises et danoises ont contribué à construire, dans leurs opinions publiques respectives ces dernières années, une certaine sinophobie face aux investissements directs à l’étranger chinois, qui débutent réellement en 2005. Par exemple, un sondage mené en 2015 par l’Asia Pacific Foundation of Canada faisait ressortir que près de 76% de la population canadienne était hostile à l’acquisition d’entreprises canadiennes par des entreprises chinoises, tous secteurs confondus. Au Groenland, la perspective d’opérations minières dirigées par des entreprises chinoises a provoqué l’ire des médias danois et groenlandais. Alors que certains dénoncent une stratégie géopolitique chinoise plus large dans cette région du monde, d’autres mettent l’accent sur les implications de la venue de nombreux travailleurs chinois, de même que sur les questions d’une Chine cherchant à assurer un accès à long terme aux ressources de la région, prétextant que le Groenland serait une région d’investissement majeur pour les entreprises chinoises. La Chine, par l’entremise de ses entreprises, chercherait-elle à faire main basse sur les ressources minières de l’Arctique ? L’Arctique canadien, le Groenland et le Grand Nord québécois sont-ils des territoires d’investissements majeurs pour les entreprises chinoises ? Comment les facteurs qui déterminent les choix des entreprises chinoises se sont-ils traduits dans l’Arctique ? Dans le cadre de cette recherche, trente-six entreprises et organes du gouvernement ont été consultés. Les résultats de l’enquête soulignent que ces territoires ne sont pas des régions où les entreprises chinoises investissent d’importantes sommes, mais demeurent attractifs en raison de la stabilité politique et du climat compétitif des affaires qui y règnent, ainsi que pour la qualité des ressources physiques qu’on y retrouve. Cependant, les acteurs chinois soulignent d’importants défis tels que le déficit en matière d’infrastructures maritimes et de communication dans l’Arctique, le manque d’informations sur les opportunités d’affaires, c’est le cas des projets disponibles au Groenland notamment, et les acteurs chinois soulignent également leur manque d’expérience à l’international, de même que le coût et la disponibilité de la main-d’oeuvre comme des défis importants pour les entreprises chinoises. En somme, les investissements des entreprises chinoises dans des projets miniers dans l’Arctique canadien et au Groenland s’insèrent, certes, dans les stratégies globales des entreprises chinoises qui visent à diversifier et sécuriser leurs sources d’approvisionnements. En revanche, s’il apparaît que les territoires arctiques ne sont pas des régions d’investissements majeurs pour les entreprises chinoises dans le secteur extractif, les acteurs chinois sondés raisonnent, de manière générale, selon une logique de marché et recherchent donc, pour la plupart, à assurer la rentabilité de leur entreprise par la réalisation de gains. Outre les fluctuations des prix des matières premières sur les marchés mondiaux qui affectent grandement les opérations minières globales, de nombreux facteurs dans l’Arctique tels que l’éloignement, les conditions météorologiques extrêmes, et le manque d’infrastructures augmentent considérablement le coût de faire des affaires dans le secteur minier dans l’Arctique, qui demeure un marché niche.

Modelling and Optimization of Energy Management Strategies for Hybrid Vehicles

In the last decades the automotive sector has seen a technological revolution, due mainly to the more restrictive regulation, the newly introduced technologies and, as last, to the poor resources of fossil fuels remaining on Earth. Promising solution in vehicles’ propulsion are represented by alternative architectures and energy sources, for example fuel-cells and pure electric vehicles. The automotive transition to new and green vehicles is passing through the development of hybrid vehicles, that usually combine positive aspects of each technology. To fully exploit the powerful of hybrid vehicles, however, it is important to manage the powertrain’s degrees of freedom in the smartest way possible, otherwise hybridization would be worthless. To this aim, this dissertation is focused on the development of energy management strategies and predictive control functions. Such algorithms have the goal of increasing the powertrain overall efficiency and contextually increasing the driver safety. Such control algorithms have been applied to an axle-split Plug-in Hybrid Electric Vehicle with a complex architecture that allows more than one driving modes, including the pure electric one. The different energy management strategies investigated are mainly three: the vehicle baseline heuristic controller, in the following mentioned as rule-based controller, a sub-optimal controller that can include also predictive functionalities, referred to as Equivalent Consumption Minimization Strategy, and a vehicle global optimum control technique, called Dynamic Programming, also including the high-voltage battery thermal management. During this project, different modelling approaches have been applied to the powertrain, including Hardware-in-the-loop, and diverse powertrain high-level controllers have been developed and implemented, increasing at each step their complexity. It has been proven the potential of using sophisticated powertrain control techniques, and that the gainable benefits in terms of fuel economy are largely influenced by the chose energy management strategy, even considering the powerful vehicle investigated.

Development of Optimal Energy Management Strategies for a Hybrid Boat

The present work proposes different approaches to extend the mathematical methods of supervisory energy management used in terrestrial environments to the maritime sector, that diverges in constraints, variables and disturbances. The aim is to find the optimal real-time solution that includes the minimization of a defined track time, while maintaining the classical energetic approach. Starting from analyzing and modelling the powertrain and boat dynamics, the energy economy problem formulation is done, following the mathematical principles behind the optimal control theory. Then, an adaptation aimed in finding a winning strategy for the Monaco Energy Boat Challenge endurance trial is performed via ECMS and A-ECMS control strategies, which lead to a more accurate knowledge of energy sources and boat’s behaviour. The simulations show that the algorithm accomplishes fuel economy and time optimization targets, but the latter adds huge tuning and calculation complexity. In order to assess a practical implementation on real hardware, the knowledge of the previous approaches has been translated into a rule-based algorithm, that let it be run on an embedded CPU. Finally, the algorithm has been tuned and tested in a real-world race scenario, showing promising results.

Development of a Predictive Control Function for a Plug-in Hybrid Electric Vehicle with Electrically-heated Catalyst

This master thesis work is focused on the development of a predictive EHC control function for a diesel plug-in hybrid electric vehicle equipped with a EURO 7 compliant exhaust aftertreatment system (EATS), with the purpose of showing the advantages provided by the implementation of a predictive control strategy with respect to a rule-based one. A preliminary step will be the definition of an accurate powertrain and EATS physical model, starting from already existing and validated applications. Then, a rule-based control strategy managing the torque split between the electric motor (EM) and the internal combustion engine (ICE) will be developed and calibrated, with the main target of limiting tailpipe NOx emission by taking into account EM and ICE operating conditions together with EATS conversion efficiency. The information available from vehicle connectivity will be used to reconstruct the future driving scenario, also referred to as electronic horizon (eHorizon), and in particular to predict ICE first start. Based on this knowledge, an EATS pre-heating phase can be planned to avoid low pollutant conversion efficiencies, thus preventing high NOx emission due to engine cold start. Consequently, the final NOx emission over the complete driving cycle will be strongly reduced, allowing to comply with the limits potentially set by the incoming EURO 7 regulation. Moreover, given the same NOx emission target, the gain achieved thanks to the implementation of an EHC predictive control function will allow to consider a simplified EATS layout, thus reducing the related manufacturing cost. The promising results achieved in terms of NOx emission reduction show the effectiveness of the application of a predictive control strategy focused on EATS thermal management and highlight the potential of a complete integration and parallel development of involved vehicle physical systems, control software and connectivity data management.

Performance assessment of vehicular connectivity in hybrid electric vehicles for fuel and emissions reduction

Nowadays, the spreading of the air pollution crisis enhanced by greenhouse gases emission is leading to the worsening of global warming. Recently, several metropolitan cities introduced Zero-Emissions Zones where the use of the Internal Combustion Engine is forbidden to reduce localized pollutants emissions. This is particularly problematic for Plug-in Hybrid Electric Vehicles, which usually work in depleting mode. In order to address these issues, the present thesis presents a viable solution by exploiting vehicular connectivity to retrieve navigation data of the urban event along a selected route. The battery energy needed, in the form of a minimum State of Charge (SoC), is calculated by a Speed Profile Prediction algorithm and a Backward Vehicle Model. That value is then fed to both a Rule-Based Strategy, developed specifically for this application, and an Adaptive Equivalent Consumption Minimization Strategy (A-ECMS). The effectiveness of this approach has been tested with a Connected Hardware-in-the-Loop (C-HiL) on a driving cycle measured on-road, stimulating the predictions with multiple re-routings. However, even if hybrid electric vehicles have been recognized as a valid solution in response to increasingly tight regulations, the reduced engine load and the repeated engine starts and stops may reduce substantially the temperature of the exhaust after-treatment system (EATS), leading to relevant issues related to pollutant emission control. In this context, electrically heated catalysts (EHCs) represent a promising solution to ensure high pollutant conversion efficiency without affecting engine efficiency and performance. This work aims at studying the advantages provided by the introduction of a predictive EHC control function for a light-duty Diesel plug-in hybrid electric vehicle (PHEV) equipped with a Euro 7-oriented EATS. Based on the knowledge of future driving scenarios provided by vehicular connectivity, engine first start can be predicted and therefore an EATS pre-heating phase can be planned.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Sophisticated security verification on routing repaired balanced cell-based dual-rail logic against side channel analysis

Conventional dual-rail precharge logic suffers from difficult implementations of dual-rail structure for obtaining strict compensation between the counterpart rails. As a light-weight and high-speed dual-rail style, balanced cell-based dual-rail logic (BCDL) uses synchronised compound gates with global precharge signal to provide high resistance against differential power or electromagnetic analyses. BCDL can be realised from generic field programmable gate array (FPGA) design flows with constraints. However, routings still exist as concerns because of the deficient flexibility on routing control, which unfavourably results in bias between complementary nets in security-sensitive parts. In this article, based on a routing repair technique, novel verifications towards routing effect are presented. An 8 bit simplified advanced encryption processing (AES)-co-processor is executed that is constructed on block random access memory (RAM)-based BCDL in Xilinx Virtex-5 FPGAs. Since imbalanced routing are major defects in BCDL, the authors can rule out other influences and fairly quantify the security variants. A series of asymptotic correlation electromagnetic (EM) analyses are launched towards a group of circuits with consecutive routing schemes to be able to verify routing impact on side channel analyses. After repairing the non-identical routings, Mutual information analyses are executed to further validate the concrete security increase obtained from identical routing pairs in BCDL.

Expert system for the assessment of power transformer insulation condition based on type-2 fuzzy logic systems

An efficient expert system for the power transformer condition assessment is presented in this paper. Through the application of Duval`s triangle and the method of the gas ratios a first assessment of the transformer condition is obtained in the form of a dissolved gas analysis (DGA) diagnosis according IEC 60599. As a second step, a knowledge mining procedure is performed, by conducting surveys whose results are fed into a first Type-2 Fuzzy Logic System (T2-FLS), in order to initially evaluate the condition of the equipment taking only the results of dissolved gas analysis into account. The output of this first T2-FLS is used as the input of a second T2-FLS, which additionally weighs up the condition of the paper-oil system. The output of this last T2-FLS is given in terms of words easily understandable by the maintenance personnel. The proposed assessing methodology has been validated for several cases of transformers in service. (C) 2010 Elsevier Ltd. All rights reserved.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.