Liquid pumps and installation. General terms, definitions, quantities, letter symbols and units

2012 ◽  
Keyword(s):  
Author(s):  
Markus Krötzsch

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.


2016 ◽  
Vol 4 (2) ◽  
Author(s):  
Yoan Martínez Márquez ◽  
Yalice Gámez Batista ◽  
Norberto Valcárcel Izquierdo

Las TIC median las interacciones y la comunicación de los estudiantes a diario. Se conciben como mediado-ras de la reflexión y la autorregulación de la actividad del estudiante, resultante de la interacción consciente de la percepción que tiene el estudiante sobre si con la que negocia con el resto de los estudiantes, los ase-sores y la sociedad en general. En este contexto el aprovechamiento de las TIC debe promover una influen-cia formativa en los espacios formales y no formales. Las condicionantes de complementariedad de espa-cios y de unidad en la diversidad de recursos tecnológicos y didácticos deben guiar la actividad que tenga al estudiante como centro de la misma.Ya no se trata de integrar las TIC en el proceso de formación, haciéndolo formal y estandarizado. El reto está en que sean las características personales de los estudiantes, sus estilos de aprendizaje, sus conoci-mientos y experiencias previas, y sus esquemas afectivos los que marquen el aprovechamiento de las TIC en la evaluación del aprendizaje autónomo de inglés.En el presente trabajo se estructura el aprovechamiento de las TIC mediante un EPA base para la evalua-ción del aprendizaje autónomo de inglés. El EPA base constituye un andamiaje de personas, procedimien-tos, espacios de interacción, y de recursos tecnológicos y didácticos. Los componentes que lo conforman se encuentran débilmente acoplados por la tecnología y altamente cohesionados por la significatividad de las conexiones que el estudiante establece entre ellos. Palabras Clave: Aprendizaje, Autonomía, Entorno, Evaluación, Personal. ABSTRACT There is no doubt about the key role of ICT in the interaction and communication processes among students. ICT are thought as a mean for the reflection and self-regulation of students´ activity, which is in a permanent conscientious comparison between the perception a student has about him/herself and the one he/she nego-tiates with the rest of students, advisors and society in general terms. In this context, ICT should promote a positive influence on student formation in formal and non-formal spaces. The conditionals related to spaces combined support and union in the diversity of technological and didactical resources should guide every activity having students at the center of its conception.It is no longer about integrating ICT to the formation process making it formal and standardized. The chal-lenge on autonomous language learning evaluation with ICT has to do with making the differences through personal characteristics of students, their learning styles, previous experiences and affective schemas.In this paper the use of ICT is structured by means of a PLE frame for the evaluation of English autonomous language learning. It is a scaffolding of people, procedures, interaction spaces, and technological and didac-tical resources. Its components are weakly coupled by technologies and highly cohesive by the meaningful connections students establish among them. Keywords: Learning, Autonomy, Evaluation, Environment, Personal. Recibido: septiembre de 2016Aprobado: noviembre de 2016


2020 ◽  
Author(s):  
Xiangwen Wang ◽  
Dimitrios Toroz ◽  
Seonmyeong Kim ◽  
Simon Clegg ◽  
Gun-Sik Park ◽  
...  

<div> <p>As natural aqueous solutions are far from being pure water, being rich in ions, the properties of solvated ions are of relevance for a wide range of systems, including biological and geochemical environments. We conducted ab initio and classical MD simulations of the alkaline earth metal ions Mg<sup>2+</sup> and Ca<sup>2+</sup> and of the alkali metal ions Li<sup>+</sup>, Na<sup>+</sup>, K<sup>+</sup> and Cs<sup>+</sup> in pure water and electrolyte solutions containing the counterions Cl<sup>–</sup> and SO<sub>4</sub><sup>2–</sup>. Through a detailed analysis of these simulations, this study reports on the effect of solution chemistry (composition and concentration of the solution) to the ion–water structural properties and interaction strength, and to the dynamics, hydrogen bond network, and low-frequency dynamics of the ionic solvation shell. Except for the ion–water radial distribution function, which is weakly dependent on the counter-ions and concentrations, we found that all other properties can be significantly influenced by the chemical characteristics of the solution. Calculation of the velocity autocorrelation function of magnesium ions, for example, shows that chlorine ions located in the second coordination shell of Mg<sup>2+</sup> weaken the Mg(H<sub>2</sub>O)<sub>6</sub><sup>2+</sup> hydration ‘cage’ of the cation. The result reported in this study suggest that ionic solvation shell can be significantly influenced by the interactions between other ions present in solution ions, especially those of opposite charge. In more general terms, the chemical characteristics of the solution, including the balance between ion-solvent and ion-ion interactions, could result in significant differences in behavior and function of the ionic solvation shell.</p> </div>


Author(s):  
Peter R. Dawes

NOTE: This Map Description was published in a former series of GEUS Bulletin. Please use the original series name when citing this series, for example: Dawes, P. R. (2004). Explanatory notes to the Geological map of Greenland, 1:500 000, Humboldt Gletscher, Sheet 6. Geological Survey of Denmark and Greenland Map Series 1, 48 pp. + map. https://doi.org/10.34194/geusm.v1.4615  _______________ These explanatory notes cover the map region bounded by latitudes 78°N and 81°N and longitudes 56°W and 74°W, with geology shown on the land areas between Nares Strait - the seaway between Greenland and Ellesmere Island, Canada - and the Inland Ice. The bedrock geology is composed of Precambrian and Lower Palaeozoic provinces that continue across Nares Strait into Canada. Map units and mineral occurrences are described in general terms and are proceeded by sections on physical environment, logistics, data sources and geoscientific research. The notes are aimed at the practical user and a guide for further reading. The bedrock is composed of three provinces separated by unconformities, each representing a hiatus of c. 500 Ma during which basic dykes were emplaced. The Palaeoproterozoic Inglefield mobile belt, forming the crystalline shield, is an E-W-trending belt of deposition and orogeny characterised by polyphase magmatism, deformation and high-grade metamorphism. Clastic deposition, with magmatism at c. 1985 Ma, are the oldest events recorded, followed by the accumulation of the Etah Group (carbonate, pelitic and psammitic sediments with supposedly coeval mafic and ultramafic rocks) between 1980 and 1950 Ma ago. These rocks were intruded 1950 to 1915 Ma ago by the Etah meta-igneous complex, that records polyphase plutonism (intermediate to felsic, with some basic and magnetite-rich rocks), followed by deformation and partial melting producing granites 1785 to 1740 Ma ago. The Mesoproterozoic Thule Basin, defined by the unmetamorphosed and little deformed Thule Supergroup, records sedimentation and basaltic volcanism at least as old as 1270 Ma. The faulted, north-eastern basin margin shown on the map preserves the passage from the basinal sequence to a relatively thin platform succession invaded by basic sills. The Palaeozoic Franklinian Basin is represented by a homoclinal Cambrian to Silurian shelf carbonate succession and a major Silurian reef complex, with coeval siliciclastic slope deposits. The map region includes the classical area for Franklinian stratigraphy, now composed of 29 formations and four groups - Ryder Gletscher, Morris Bugt, Washington Land and Peary Land Groups. The only younger units preserved in the map region are widespread Quaternary deposits, an isolated outcrop of coarse-grained fluvial deposits (Bjørnehiet Formation) and non-carbonised wood erratics of Neogene age. Five mineral occurrence types are shown on the map: in lithologies of the Inglefield mobile belt, sulphide-graphite rust zones, a magnetite deposit and copper-gold mineralisation and in the Franklinian Basin, commercially drilled, zinc-lead-silver and zinc-lead-barium mineralisations. The basic ingredients of a petroleum model exist in the Franklinian Basin but prospectivity is low.


2018 ◽  
Vol 28 (6) ◽  
pp. 1993-2005
Author(s):  
Shemsije Demiri ◽  
Rudina Kaja

This paper deals with the right to property in general terms from its source in Roman law, which is the starting point for all subsequent legal systems. As a result of this, the acquisition of property rights is handled from the historical point of view, with the inclusion of various local and international literature and studies, as well as the legal aspect devoted to the respective civil codes of the states cited in the paper.Due to such socio-economic developments, state ownership and its ownership function have changed. The state function as owner of property also changed in Macedonia's property law.The new constitutional sequence of the Republic of Macedonia since 1991 became privately owned as a dominant form of ownership, however, state ownership also exists.This process of transforming social property into state or private (dissolves), in Macedonia starts from Yugoslavia through privatization, return and denationalization measures, on which basis laws on privatization have been adopted. Because of this, there will be particularly intensive negotiations regaring the remaining state assets.


2019 ◽  
Vol 21 (2) ◽  
pp. 364-380
Author(s):  
Antônio Emanuel dos' Santos Silva ◽  
Matheus Silveira Pinheiro ◽  
Davis Pereira de Paula

Ambientalmente as dunas frontais constituem estruturas verdes de proteção costeira contra o avanço do mar, em muitos casos, são responsáveis pela manutenção do equilíbrio sedimentar do sistema praia-duna, impedindo que processos como a erosão costeira e a inundação marinha se tornem danosos a sociedade civil e ao patrimônio construído. O objetivo deste estudo foi monitorar as variações morfológicas e sedimentares do sistema praia-duna entre os anos de 2016 e 2018, no trecho extremo oeste da Praia do Icaraí, através da determinação das taxas granulométricas, volumétricas e morfológicas do sistema praia-duna na Praia do Icaraí. Os procedimentos metodológicos foram divididos em três etapas principais: levantamento bibliográfico, geocartográfico e experimentos de campo. Considerou-se que as forçantes oceanográficas foram as principais responsáveis pela erosão e solapamento das dunas frontais presentes na área de estudo. Em linhas gerais, os resultados deste trabalho significam um importante instrumento de análise dos impactos das condicionantes oceanográficas e antrópicas sobre uma praia que sofre de erosão costeira acentuada. O estudo em um trecho mais preservado dessa praia indicou de forma direta os impactos sofridos em um litoral que vem passando por transformações contínuas em suas praias, como é o caso do litoral de Caucaia.Palavras-chave: Morfodinâmica; Sistema Praial; Dunas Frontais. ABSTRACTEnvironmentally the frontal dunes constitute green structures of coastal protection against the advance of the sea, in many cases, they are responsible for the maintenance of the sedimentary balance of the beach-dune system, preventing that processes such as coastal erosion and marine flooding become harmful to civil society and built heritage. The objective of this study was to monitor the morphological and sedimentary variations of the beach-dune system between the years 2016 and 2018, in the extreme west section of Icaraí Beach, by determining the granulometric, volumetric and morphological rates of the beach-dune system in Praia of Icaraí. The methodological procedures were divided into three main stages: bibliographic survey, geocartographic and field experiments. It was considered that the oceanographic forcings were the main responsible for the erosion and overlap of the frontal dunes present in the study area. In general terms, the results of this work represent an important instrument for analyzing the impacts of oceanographic and anthropogenic conditions on a beach that suffers from marked coastal erosion. The study in a more preserved stretch of this beach indicated in a direct way the impacts suffered on a coast that has undergone continuous transformations in its beaches, as is the case of the coast of Caucaia.Keywords: Morphodynamics; Praial System; Fore Dunes. RESUMENAmbientalmente, las dunas frontales son estructuras verdes de protección costera contra el avance del mar. En muchos casos, son responsables de mantener el equilibrio sedimentario del sistema de dunas de playa, evitando que procesos como la erosión costera y las inundaciones marinas dañen a la sociedad civil. y el patrimonio construido. El objetivo de este estudio fue monitorear las variaciones morfológicas y sedimentarias del sistema de dunas de playa entre 2016 y 2018, en el extremo occidental de Praia do Icaraí, determinando el tamaño de partícula, las tasas volumétricas y morfológicas del sistema de dunas de playa en Praia de Icaraí Los procedimientos metodológicos se dividieron en tres etapas principales: estudio bibliográfico, geocartográfico y experimentos de campo. El forzamiento oceanográfico se consideró el principal responsable de la erosión y el debilitamiento de las dunas frontales presentes en el área de estudio. En general, los resultados de este trabajo representan un instrumento importante para analizar los impactos de las condiciones oceanográficas y antropogénicas en una playa que sufre una severa erosión costera. El estudio en un tramo más preservado de esta playa indicó directamente los impactos sufridos en una costa que ha sufrido cambios continuos en sus playas, como es el caso de la costa de Caucaia.Palabras claves: Morfodinámica; Sistema de playa; Dunas frontales.


Author(s):  
Deirdre Wilson

This concluding chapter reflects in general terms on some aspects of relevance theory that have been fruitfully used in the analyses in this volume, and on some aspects of literary communication that have been seen by both supporters and critics of relevance theory as showing the need for modifications to the inferential mechanisms it proposes. After distinguishing comprehension (identifying the intended import of a communicative act) from interpretation (going beyond the intended import to draw one’s own conclusions), it discusses a range of stylistic and rhetorical effects—typically created by departures from expected syntax, lexis, or prosody—which provide tentative cues to ostension and therefore create greater expectations of relevance. It ends by considering how relevance theory might deal with the ‘non-propositional effects’ associated with images, emotions, and sensorimotor processes while remaining within the bounds of a properly inferential theory.


Author(s):  
Karel Schrijver

How many planetary systems formed before our’s did, and how many will form after? How old is the average exoplanet in the Galaxy? When did the earliest planets start forming? How different are the ages of terrestrial and giant planets? And, ultimately, what will the fate be of our Solar System, of the Milky Way Galaxy, and of the Universe around us? We cannot know the fate of individual exoplanets with great certainty, but based on population statistics this chapter sketches the past, present, and future of exoworlds and of our Earth in general terms.


Author(s):  
Donald C. Williams

This chapter concerns the nature of metaphysics and a defense of it through a clarification of what role it plays in our theorizing of the world. It is argued that metaphysics and science are on the same continuum and that therefore the same empirical methods apply to metaphysics and the sciences. The ontology/cosmology distinction and the analytic/speculative distinction are introduced and explained. Ontology is the study of being as such and is concerned with general features of every existent, whereas cosmology is the study of how every existent is related to every other in general terms. Analytic inquiry concerns the nature of something and is therefore deductive, whereas speculative inquiry concerns why certain things come into being and is therefore inductive. Both distinctions are distinct. The resulting proposal is that metaphysics has two branches: ontology and cosmology, and either branch can be investigated analytically or speculatively.


Sign in / Sign up

Export Citation Format

Share Document