All Outputs (346)

Enhancing the searchability of page-image PDF documents using an aligned hidden layer from a truth text (2016)
Conference Proceeding

The search accuracy achieved in a PDF image-plus-hidden- text (PDF-IT) document depends upon the accuracy of the optical character recognition (OCR) process that produced the searchable hidden text layer. In many cases recognising words in a blurred... Read More about Enhancing the searchability of page-image PDF documents using an aligned hidden layer from a truth text.

On the Complexity of Resource-Bounded Logics (2016)
Conference Proceeding

© Springer International Publishing Switzerland 2016. We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking pr... Read More about On the Complexity of Resource-Bounded Logics.

Modelling framework for optimum multiaxial 3D woven textile composites (2016)
Conference Proceeding

The application of 3D weaves has advantages over conventional uni-directional or 2D woven lay-ups. There is potential to produce near net-shaped preforms and to increase damage resistance due to the presence of through thickness reinforcement. Conven... Read More about Modelling framework for optimum multiaxial 3D woven textile composites.

Stability assessment of a high speed permanent magnet machine based aircraft electrical power system (2016)
Conference Proceeding

Starting an aircraft engine with an electrical machine has been one of the major trends for future aircraft. This paper studies the stability of a permanent-magnet machine (PMM) based aircraft starter/generator (S/G) system. Using control-to-output t... Read More about Stability assessment of a high speed permanent magnet machine based aircraft electrical power system.

Supermonads: One notion to bind them all (2016)
Conference Proceeding

Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class a... Read More about Supermonads: One notion to bind them all.

Multimodal “sensory illusions” for improving spatial awareness in virtual environments (2016)
Conference Proceeding

Inaccurate judgement of distances in virtual environments (VEs) restricts their usefulness for engineering development, in which engineers must have a good understanding of the spaces they are designing. Multimodal feedback can improve depth percept... Read More about Multimodal “sensory illusions” for improving spatial awareness in virtual environments.

Thermal management of a permanent magnet motor for an directly coupled pump (2016)
Conference Proceeding

A high speed permanent magnet motor is designed for a flooded industrial pump. Oil in the pump is used to cool the motor. Due to the limitation of space and mass requirement for the application, thermal management is one of the main challenges. This... Read More about Thermal management of a permanent magnet motor for an directly coupled pump.

Modular plug-in high-performance assembly of a power converter (2016)
Conference Proceeding

This paper presents the work on an alternative integration scheme for a half-bridge switch using 70 ?m thin Si IGBTs and diodes addressing higher strength, higher toughness and higher thermal conductivity. The switch is totally bond wireless, since b... Read More about Modular plug-in high-performance assembly of a power converter.

The effect of including power converter losses when modelling energy storage systems: a UK domestic study (2016)
Conference Proceeding

Energy storage systems (ESS) are seen as an increasingly important technology for managing electrical distribution systems, and there is now much research into both the underlying technologies of these systems, and their “optimum” management especial... Read More about The effect of including power converter losses when modelling energy storage systems: a UK domestic study.

Distributed current control for multi-three phase synchronous machines in fault conditions (2016)
Conference Proceeding

Among challenges and requirements of on-going electrification process and future transportation systems there is demand for arrangements with both increased fault tolerance and reliability. Next aerospace, power-train and automotive systems exploitin... Read More about Distributed current control for multi-three phase synchronous machines in fault conditions.

Structural design optimization of a high speed synchronous reluctance machine (2016)
Conference Proceeding

Synchronous reluctance machines, including the permanent magnet assisted variants are competitive motor topologies if the application requires high efficiency and a cost effective solution with a high flux weakening capability. However, increasing sp... Read More about Structural design optimization of a high speed synchronous reluctance machine.

Short term duty electrical machines (2016)
Conference Proceeding

This paper presents a design of a short term duty electrical machine working in an extreme environment consisting of 80oC ambient temperature and altitudes of over 30,000m. Higher power density is a key factor in the design wherein the machine’s oper... Read More about Short term duty electrical machines.

Radial force control of multi-sector permanent magnet machines (2016)
Conference Proceeding

The paper presents an alternative radial force control technique for a Multi-Sector Permanent Magnet machine (MSPM). Radial force control has been widely investigated for a variety of bearingless machines and can be also applied to conventional PMSM... Read More about Radial force control of multi-sector permanent magnet machines.

New directions for preserving intangible cultural heritage through the use of mobile technologies (2016)
Conference Proceeding

While many cultural heritage projects currently exist, few explore the full potential of mobile technologies as a mechanism to explore intangible heritage as a way to preserve culture. This paper outlines three distinct areas necessary for the design... Read More about New directions for preserving intangible cultural heritage through the use of mobile technologies.

Proposed novel multiphase-multilevel inverter configuration for open-end winding loads (2016)
Conference Proceeding

This article address a new multiphase-multilevel inverter configuration for open-winding loads and suitable for medium power (low-voltage/high-current) applications such as ‘More Electric Aircraft’. Modular structure comprised of standard dual three-... Read More about Proposed novel multiphase-multilevel inverter configuration for open-end winding loads.

Silicon carbide MOSFETs in more electric aircraft power converters: the performance and reliability benefits over silicon IGBTs for a specified flight mission profile (2016)
Conference Proceeding

This paper describes the design, construction and performance of a 5 kVA aviation power module containing silicon carbide MOSFETs. The function and control of this module within a commercial aviation power electrical control unit (ECU) application is... Read More about Silicon carbide MOSFETs in more electric aircraft power converters: the performance and reliability benefits over silicon IGBTs for a specified flight mission profile.

Interaction techniques for mobile collocation (2016)
Conference Proceeding

Research on mobile collocated interactions has been exploring situations where collocated users engage in collaborative activities using their personal mobile devices (e.g., smartphones and tablets), thus going from personal/individual toward shared/... Read More about Interaction techniques for mobile collocation.

A survey on configurations of current-limiting circuit breakers (CL-CB) (2016)
Conference Proceeding

This paper presents a survey of topology configurations of current-limiting circuit breakers. Twelve different current-limiting topologies within four categories are detailed discussed and compared. It is concluded that active CL-CB may be a good cho... Read More about A survey on configurations of current-limiting circuit breakers (CL-CB).

Using web applications for data visualisation (2016)
Conference Proceeding

In this paper, we describe the evolution of web-based applications in the context of data visualization, with respect to the capabilities of modern day browsers in terms of performance and graphical complexity.

Audio in place: media, mobility & HCI: creating meaning in space (2016)
Conference Proceeding

Audio-based content, location and mobile technologies can offer a multitude of interactional possibilities when combined in innovative and creative ways. It is important not to underestimate impact of the interplay between location, place and sound.... Read More about Audio in place: media, mobility & HCI: creating meaning in space.