Investigation of multi-phase tubular permanent magnet linear generator for wave energy converters

In this article, an investigation into different magnetization topologies for a long stator tubular permanent magnet linear generator is performed through a comparison based on the cogging force disturbance, the power output, and the cost of the raw materials of the machines. The results obtained from finite element analysis simulation are compared with an existing linear generator described in [1]. To ensure accurate results, the generator developed in [1] is built with 3D CAD and simulated using the finite-element method, and the obtained results are verified with the source.The PRIMaRE project

A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Use of Heating Loads for Grid Frequency Control

Power generation from the renewable energy sources is usually intermittent and uncontrollable which challenges the grid frequency stability. The smart control of loads is an effective means to mitigate the challenge. A decentralized control of heating loads -- industrial melting pots (MPs), was developed which dynamically changes the power consumption of loads in response to grid frequency. A thermodynamic model of MPs was developed and validated based on site measurements by Open Energi. An aggregation of MP models with the control was integrated with a simplified Great Britain power system model. Results showed that MPs are able to provide frequency response in a way similar to generators, which provide a means for the system operator to quantify the benefits of demand response

System Operability Framework 2015. UK electricity transmission

The System Operability Framework (SOF) takes a holistic view of the changing energy landscape to assess the future operation of Britain's electricity networks. The SOF combines insight from the Future Energy Scenarios with a programme of technical assessments to identify medium-term and long-term requirements for operability

Hypothesis-based semantics of logic programs in multivalued logics

International audienc

Semi-qualitative reasoning about distances: a preliminary report

We introduce a family of languages intended for representing knowledge and reasoning about metric (and more general distance) spaces. While the simplest language can speak only about distances between individual objects and Boolean relations between sets, the more expressive ones are capable of capturing notions such as ‘somewhere in (or somewhere out of) the sphere of a certain radius’, ‘everywhere in a certain ring’, etc. The computational complexity of the satisfiability problem for formulas in our languages ranges from NP-completeness to undecidability and depends on the class of distance spaces in which they are interpreted. Besides the class of all metric spaces, we consider, for example, the spaces ℝ × ℝ and ℕ × ℕ with their natural metrics