n/a

n/a

Would it be necessary to charge rapidly the electric vehicle (EV) and hybrid electric vehicle (HEV)? It is not easy to answer without a thorough look at the capability of the modern propulsion battery and the power necessities of the EV and HEV. The different possible solutions are compared and maximum speed of charging is analysed. The wired connection for charging is compared to the wireless energy transfer and because of the limitations imposed by the modern and future batteries, the contactless energy transfer is chosen as the future charging method.

TheRuleInterchangeFormatProductionRuleDialect(RIF- PRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operationally via labeled ter- minal transition systems.
In this paper, we introduce a declarative logical characterization of the full default semantics of RIF-PRD based on Answer Set Programming (ASP), including matching, conflict resolution and acting.
Our proposal to the semantics of RIF-PRD enjoys several features. Being based on ASP, it enables a straightforward integration with Logic Programming rule based technology, namely for reasoning and acting with ontologies. Then, its full declarative logical character facilitates the in- vestigation of formal properties of RIF-PRD itself. Furthermore, it turns out that our characterization based on ASP is flexible enough so that new conflict resolution semantics for RIF-PRD can easily be defined and encoded. Finally, it immediately serves as the declarative specification of an implementation, whose prototype we developed.

The Upper Jurassic of Portugal has a rich vertebrate fauna well documented from both body and trace fossils. Although the occurrence of crocodyles and pterosaurs is well documented from body fossils, trace fossils from both groups were unknown until now. Here we describe an isolated crocodyle-like track from Praia da Peralta and pterosaur tracks from the Kimmeridgian of Pedreira do Avelino, Sesimbra (Azóia Fm.) and Porto das Barcas, Lourinhã (Lourinhã Fm.). An enigmatic track suggests the possible presence of a small, tail-dragging tetrapod. Possible track-makers are suggested based on the known Late Jurassic vertebrate fauna of Portugal.

Ontologies and rules are usually loosely coupled in knowledge rep- resentation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One ex- ception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the prac- tical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general Oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we pro- vide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by a CDF (ALCQ) theory.

Recent issues of global heating and energy shortages are imposing a need to change our paradigm around transportation. Somehow, electric vehicles are progressively standing as a strong and necessary alternative for the society. Technically and technologically the acceptance of the EV is easier now than ever but the psychology of the consumers and the running business of internal combustion vehicles, the whole existing infrastructure are too much conservative to be changed easily. The changes in technology require changes in the engineering society and its human resources. The objective of this paper is to give a contribution to the discussion and reflection of potential future scenarios where EV/HEV‘s are spread across the society. It gives an overview of the range of knowledge and competences necessary for a sustainable and streamlined development of those. In fact, it is expected that a new kind of professional profiles need to be created or developed to supply the work market with the right human resources. The paper provides some discussion on the creation of new profiles or adaption of existing ones. Among different possible scenarios the creation of post-graduation courses for students holding undergraduate profiles in the fields referred to earlier would be an interesting and viable solution for fast response. The post graduation would be focused in specific key areas of the EV/HEV. Several factors are pointed out to endorse this scenario

Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic program- ming is that, instead of atomic first-order formulas, a parametrized logic program reasons about formulas of a given parameter logic. Of course, the main challenge is to define the semantics of such general programs. In this work we introduce the novel definitions along with some motivating examples. This approach allows us to prove general results that can be instantiated for every particular choice of the parameter logic. Impor- tant general results we can prove include the existence of semantics and the alternating fix-point theorem of well-founded semantics. To reenforce the soundness of our general framework we show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.

Modern marine species populations are often evaluated in terms of bottom-up, resource limited structure, or top-down, predator controlled structure. In a larger timeframe, investiga- tion of physical drivers in marine tetrapod evolution relies on the recognition of patterns and the correlation in timing of physical events with biotic change. However, it has been dem- onstrated through the study of fossil cetaceans that a broader deep-time perspective within a top-down or bottom-up framework is informative. Here we examine the fossil record of &UHWDFHRXV PDULQH WHWUDSRGV LQ $QJROD WR GLVFHUQ SDWWHUQV WKDW PD\ UHÀHFW SK\VLFDO GULYHUV RI evolution, and that are also relevant to population structure. In modern marine ecosystems, GLVWULEXWLRQ SDWWHUQV UHÀHFWLQJ SULPDU\ SURGXFWLYLW\ DUH LQGLFDWLYH RI ERWWRP?XS FRQWURO? ,Q the fossil record, productivity-controlled distribution patterns can also be perceived. Physi- cal parameters resulting in environmental stability, sea-level change, oceanic anoxic events, paleoclimate, and paleogeography are examined in comparison with taxonomic diversity and life history patterns. Mosasaurs originated during a time of high global temperatures and shallow temperature gradients. As upper-trophic-level species of modest size and plesiopedal limb structure (capable of terrestrial locomotion), early mosasaurs were subject to both top- down and bottom up pressures. The attainment of larger size coupled with emigration and biogeographic distribution in areas of high primary productivity, and niche differentiation VKRZQ E\ 13C values, indicate bottom-up pressures. Productivity along the African coast since the formation of the Atlantic Ocean facilitated the co-occurrence of diverse marine tetrapods through time, and has culminated today in the Benguela large marine ecosystem. Just as the current Benguela ecosystem has tetrapod species populations dominated by both bottom-up (cetaceans) and top-down strategies (sea birds and pinnipeds), so too did the Cre- taceous community, with mosasaurs and plesiosaurs having predominantly bottom-up popu- lation structure, while sea turtles and pterosaurs were more subject to top-down pressures.

A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and
ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for EL+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable
(wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

The electromagnetic resonance became irreplaceable tool for wirelessly transfer energy and information. Since long this effect is widely used in communications but recently it is deeply studied and applied at the contactless transfer of energy. The electric/hybrid car battery charging is an urgent need and the knowledge about the resonant contactless transfer became very important. The study of the Series Loaded Series Resonant converter shows it as well suitable for the contactless energy transfer. The idealized Series Resonant Power Converter is used as a base for defining the best (most efficient) modes of operation. Based on the magnetic parameters of the loosely coupled transformer (magnetic link), the characteristics of the contactless power converter are described in approximated form, thus permitting an easier and faster calculation of the converter variables. This is used for instantaneous control of the converter, free from previously known defects.