Improvements in interface design through implicit modeling

Touchscreen devices are often limited by the complexity of their user interface design. In the past, iterative design processes using representative user groups to test prototypes were the standard method for increasing the inclusivity of a given design, but cognitive modeling has potential to be an alternative to rigorous user testing. However, these modeling approaches currently have many limitations, some of which are based on the assumptions made in translating a User Interface (UI) into a definition file that cognitive modeling frameworks can process. This paper discusses these issues and postulates potential approaches to improvements to the translation procedure. © 2013 Springer-Verlag Berlin Heidelberg.

Convex approaches to model wavelet sparsity patterns

Statistical dependencies among wavelet coefficients are commonly represented by graphical models such as hidden Markov trees (HMTs). However, in linear inverse problems such as deconvolution, tomography, and compressed sensing, the presence of a sensing or observation matrix produces a linear mixing of the simple Markovian dependency structure. This leads to reconstruction problems that are non-convex optimizations. Past work has dealt with this issue by resorting to greedy or suboptimal iterative reconstruction methods. In this paper, we propose new modeling approaches based on group-sparsity penalties that leads to convex optimizations that can be solved exactly and efficiently. We show that the methods we develop perform significantly better in de-convolution and compressed sensing applications, while being as computationally efficient as standard coefficient-wise approaches such as lasso. © 2011 IEEE.

Designing inclusive interfaces through user modeling and simulation

Elderly and disabled people can be hugely benefited through the advancement of modern electronic devices, as those can help them to engage more fully with the world. However, existing design practices often isolate elderly or disabled users by considering them as users with special needs. This article presents a simulator that can reflect problems faced by elderly and disabled users while they use computer, television, and similar electronic devices. The simulator embodies both the internal state of an application and the perceptual, cognitive, and motor processes of its user. It can help interface designers to understand, visualize, and measure the effect of impairment on interaction with an interface. Initially a brief survey of different user modeling techniques is presented, and then the existing models are classified into different categories. In the context of existing modeling approaches the work on user modeling is presented for people with a wide range of abilities. A few applications of the simulator, which shows the predictions are accurate enough to make design choices and point out the implication and limitations of the work, are also discussed. © 2012 Copyright Taylor and Francis Group, LLC.

Drop speeds from drop-on-demand ink-jet print heads

Measured drop speeds from a range of industrial drop-on-demand (DoD) ink-jet print head designs scale with the predictions of very simple physical models and results of numerical simulations. The main drop/jet speeds at a specified stand-off depend on fluid properties, nozzle exit diameter, and print head drive amplitude for fixed waveform timescales. Drop speeds from the Xaar, Spectra Dimatix, and MicroFab DoD print heads tested with (i) Newtonian, (ii) weakly elastic, and (iii) highly shear-thinning fluids all show a characteristic linear rise with drive voltage (setting) above an apparent threshold drive voltage. Jetting, simple modeling approaches, and numerical simulations of Newtonian fluids over the typical DoD printing range of surface tensions and viscosities were studied to determine how this threshold drive value and the slope of the characteristic linear rise depend on these fluid properties and nozzle exit area. The final speed is inversely proportional to the nozzle exit area, as expected from volume conservation. These results should assist specialist users in the development and optimization of DoD applications and print head design. For a given density, the drive threshold is determined primarily by viscosity, and the constant of proportionality k linking speed with drive above a drive threshold becomes independent of viscosity and surface tension for more viscous DoD fluid jetting. © 2013 Society for Imaging Science and Technology.

Alternative approaches to slum upgrading in Kibera, Nairobi

This paper discusses the sustainability of two different approaches to upgrade water and sanitation infrastructure in Kenya’s largest informal settlement, Kibera. A background to the urbanization of poverty is outlined along with approaches to urban slums. Two case-studies of completed interventions of infrastructure upgrading have been investigated. In one case-study, the upgrading method driven by an NGO uses an integrated livelihoods and partnership technique at community level to create an individual project. in the other case-study, the method is a collaboration between the government and a multi-lateral agency to deliver upgraded services as a part of a country-wide programme. The ‘bottom-up’ (project) and ‘top-down’ (programme) approaches each seek sustainability and aim to achieve this in the same context using different techniques. This paper investigates the sustainability of each approach. The merits and challenges of the approaches are discussed with the projected future of Kibera. The paper highlights the valuable opportunity for the role of appropriate engineering infrastructure for sustainable urban development, as well as the alleviation of poverty in a developing context.

Alternative approaches to slum upgrading in Kibera, Nairobi

This paper discusses the sustainability of two different approaches to upgrade water and sanitation infrastructure in Kenya's largest informal settlement, Kibera. A background to the urbanisation of poverty is outlined along with approaches to urban slums. Two case studies of completed interventions of infrastructure upgrading have been investigated. In one case study, the upgrading method driven by a non-government organisation uses an integrated livelihoods and partnership technique at community level to create an individual project. In the other case study, the method is a collaboration between the government and a multi-lateral agency to deliver upgraded services as part of a country-wide programme. The 'bottom-up' (project) and 'top-down' (programme) approaches both seek sustainability and aim to achieve this in the same context using different techniques. This paper investigates the sustainability of each approach. The merits and challenges of the approaches are discussed with the projected future of Kibera. The paper highlights the valuable opportunity for the role of appropriate engineering infrastructure for sustainable urban development, as well as the alleviation of poverty in a developing context.

Bayesian and L1 Approaches to Sparse Unsupervised Learning

The use of L1 regularisation for sparse learning has generated immense research interest, with successful application in such diverse areas as signal acquisition, image coding, genomics and collaborative filtering. While existing work highlights the many advantages of L1 methods, in this paper we find that L1 regularisation often dramatically underperforms in terms of predictive performance when compared with other methods for inferring sparsity. We focus on unsupervised latent variable models, and develop L1 minimising factor models, Bayesian variants of "L1", and Bayesian models with a stronger L0-like sparsity induced through spike-and-slab distributions. These spike-and-slab Bayesian factor models encourage sparsity while accounting for uncertainty in a principled manner and avoiding unnecessary shrinkage of non-zero values. We demonstrate on a number of data sets that in practice spike-and-slab Bayesian methods outperform L1 minimisation, even on a computational budget. We thus highlight the need to re-assess the wide use of L1 methods in sparsity-reliant applications, particularly when we care about generalising to previously unseen data, and provide an alternative that, over many varying conditions, provides improved generalisation performance.

Intermittency transport modeling of separated flow transition

An intermittency transport model is proposed for modeling separated-flow transition. The model is based on earlier work on prediction of attached flow bypass transition and is applied for the first time to model transition in a separation bubble at various degrees of free-stream turbulence. The model has been developed so that it takes into account the entrainment of the surrounding fluid. Experimental investigations suggest that it is this phenomena which ultimately determines the extent of the separation bubble. Transition onset is determined via a boundary layer correlation based on momentum thickness at the point of separation. The intermittent flow characteristic of the transition process is modeled via an intermittency transport equation. This accounts for both normal and streamwise variation of intermittency and hence models the entrainment of surrounding flow in a more accurate manner than alternative prescribed intermittency models. The model has been validated against the well established T3L semicircular leading edge flat plate test case for three different degrees of free-stream turbulence characteristic of turbomachinery blade applications.

Design of brushless doubly-fed machines based: On magnetic circuit modeling

This paper proposes a magnetic circuit model (MCM) for the design of a brushless doubly-fed machine (BDFM). The BDFM possesses advantages in terms of high reliability and reduced gearbox stages, and it requires a fractionally-rated power converter. This makes it suitable for utilization in offshore wind turbines. It is difficult for conventional design methods to calculate the flux in the stator because the two sets of stator windings, which have different pole number, form a complex flux pattern which is not easily determined using common analytical approaches. However, it is advantageous to predict the flux density in the teeth and air-gap at the initial design stage for sizing purposes without recourse finite element analysis. Therefore a magnetic circuit model is developed in this paper to calculate the flux density. A BDFM is used as a case study with FEA validation. © 1965-2012 IEEE.

How modeling can reconcile apparently discrepant experimental results: The case of pacemaking in dopaminergic neurons

Midbrain dopaminergic neurons are endowed with endogenous slow pacemaking properties. In recent years, many different groups have studied the basis for this phenomenon, often with conflicting conclusions. In particular, the role of a slowly-inactivating L-type calcium channel in the depolarizing phase between spikes is controversial, and the analysis of slow oscillatory potential (SOP) recordings during the blockade of sodium channels has led to conflicting conclusions. Based on a minimal model of a dopaminergic neuron, our analysis suggests that the same experimental protocol may lead to drastically different observations in almost identical neurons. For example, complete L-type calcium channel blockade eliminates spontaneous firing or has almost no effect in two neurons differing by less than 1% in their maximal sodium conductance. The same prediction can be reproduced in a state of the art detailed model of a dopaminergic neuron. Some of these predictions are confirmed experimentally using single-cell recordings in brain slices. Our minimal model exhibits SOPs when sodium channels are blocked, these SOPs being uncorrelated with the spiking activity, as has been shown experimentally. We also show that block of a specific conductance (in this case, the SK conductance) can have a different effect on these two oscillatory behaviors (pacemaking and SOPs), despite the fact that they have the same initiating mechanism. These results highlight the fact that computational approaches, besides their well known confirmatory and predictive interests in neurophysiology, may also be useful to resolve apparent discrepancies between experimental results. © 2011 Drion et al.

Parametrically excited MEMS vibration energy harvesters with design approaches to overcome the initiation threshold amplitude

Resonant-based vibration harvesters have conventionally relied upon accessing the fundamental mode of directly excited resonance to maximize the conversion efficiency of mechanical-to-electrical power transduction. This paper explores the use of parametric resonance, which unlike the former, the resonant-induced amplitude growth, is not limited by linear damping and wherein can potentially offer higher and broader nonlinear peaks. A numerical model has been constructed to demonstrate the potential improvements over the convention. Despite the promising potential, a damping-dependent initiation threshold amplitude has to be attained prior to accessing this alternative resonant phenomenon. Design approaches have been explored to passively reduce this initiation threshold. Furthermore, three representative MEMS designs were fabricated with both 25 and 10 μm thick device silicon. The devices include electrostatic cantilever-based harvesters, with and without the additional design modification to overcome initiation threshold amplitude. The optimum performance was recorded for the 25 μm thick threshold-aided MEMS prototype with device volume ∼0.147 mm3. When driven at 4.2 ms -2, this prototype demonstrated a peak power output of 10.7 nW at the fundamental mode of resonance and 156 nW at the principal parametric resonance, as well as a 23-fold decrease in initiation threshold over the purely parametric prototype. An approximate doubling of the half-power bandwidth was also observed for the parametrically excited scenario. © 2013 IOP Publishing Ltd.

A novel modeling approach for design studies of brushless doubly fed induction generator based on magnetic equivalent circuit

Brushless doubly fed induction generator (BDFIG) has substantial benefits, which make it an attractive alternative as a wind turbine generator. However, it suffers from lower efficiency and larger dimensions in comparison to DFIG. Hence, optimizing the BDFIG structure is necessary for enhancing its situation commercially. In previous studies, a simple model has been used in BDFIG design procedure that is insufficiently accurate. Furthermore, magnetic saturation and iron loss are not considered because of difficulties in determination of flux density distributions. The aim of this paper is to establish an accurate yet computationally fast model suitable for BDFIG design studies. The proposed approach combines three equivalent circuits including electric, magnetic and thermal models. Utilizing electric equivalent circuit makes it possible to apply static form of magnetic equivalent circuit, because the elapsed time to reach steady-state results in the dynamic form is too long for using in population-based design studies. The operating characteristics, which are necessary for evaluating the objective function and constraints values of the optimization problem, can be calculated using the presented approach considering iron loss, saturation, and geometrical details. The simulation results of a D-180 prototype BDFIG are compared with measured data in order to validate the developed model. © 1986-2012 IEEE.